{
  "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.00527,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00764,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.0027,
    "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.09988,
              0.10956,
              0.11975,
              0.1403,
              0.18139,
              0.26269,
              0.42361,
              0.74527
            ],
            [
              0.09972,
              0.10939,
              0.11959,
              0.14016,
              0.18121,
              0.26239,
              0.42346,
              0.74493
            ],
            [
              0.09959,
              0.10928,
              0.11947,
              0.14003,
              0.1811,
              0.2623,
              0.42334,
              0.745
            ],
            [
              0.09945,
              0.1091,
              0.11933,
              0.13987,
              0.18094,
              0.26213,
              0.42325,
              0.74477
            ],
            [
              0.09926,
              0.10896,
              0.11915,
              0.13971,
              0.18074,
              0.26196,
              0.42318,
              0.74404
            ],
            [
              0.09908,
              0.10877,
              0.11898,
              0.13953,
              0.1806,
              0.26174,
              0.42287,
              0.744
            ],
            [
              0.09893,
              0.10859,
              0.1188,
              0.13936,
              0.18046,
              0.26147,
              0.42268,
              0.74412
            ],
            [
              0.09877,
              0.10848,
              0.11868,
              0.13923,
              0.18027,
              0.26132,
              0.42273,
              0.7443
            ],
            [
              0.09871,
              0.10836,
              0.11857,
              0.13914,
              0.18021,
              0.26119,
              0.42254,
              0.74403
            ],
            [
              0.09872,
              0.10845,
              0.11859,
              0.13915,
              0.1802,
              0.26128,
              0.42269,
              0.74414
            ],
            [
              0.09903,
              0.10869,
              0.11888,
              0.13943,
              0.18041,
              0.26171,
              0.42259,
              0.7446
            ],
            [
              0.09973,
              0.10938,
              0.1195,
              0.14003,
              0.18104,
              0.26229,
              0.42328,
              0.74432
            ],
            [
              0.10109,
              0.1107,
              0.12085,
              0.14141,
              0.18223,
              0.26327,
              0.42453,
              0.74608
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.08581,
              0.09202,
              0.09899,
              0.11329,
              0.14208,
              0.19868,
              0.31085,
              0.53285
            ],
            [
              0.08566,
              0.09184,
              0.09883,
              0.11314,
              0.14193,
              0.19851,
              0.3107,
              0.53338
            ],
            [
              0.08551,
              0.0917,
              0.09868,
              0.11299,
              0.14178,
              0.19834,
              0.31027,
              0.5332
            ],
            [
              0.08531,
              0.09153,
              0.09849,
              0.11279,
              0.14158,
              0.19818,
              0.31017,
              0.53333
            ],
            [
              0.08505,
              0.09126,
              0.09822,
              0.11253,
              0.14133,
              0.1979,
              0.30996,
              0.53185
            ],
            [
              0.08481,
              0.09101,
              0.09798,
              0.11229,
              0.14109,
              0.19771,
              0.30957,
              0.53243
            ],
            [
              0.08452,
              0.09073,
              0.09769,
              0.11201,
              0.14079,
              0.19745,
              0.30901,
              0.53268
            ],
            [
              0.08426,
              0.09045,
              0.09743,
              0.11174,
              0.14054,
              0.19711,
              0.30906,
              0.53236
            ],
            [
              0.08402,
              0.09021,
              0.09719,
              0.11151,
              0.14034,
              0.19697,
              0.30848,
              0.53135
            ],
            [
              0.08394,
              0.09014,
              0.09712,
              0.11145,
              0.14029,
              0.19692,
              0.30882,
              0.53138
            ],
            [
              0.08404,
              0.09024,
              0.09723,
              0.11158,
              0.14045,
              0.19716,
              0.30922,
              0.5315
            ],
            [
              0.08458,
              0.09078,
              0.09778,
              0.11212,
              0.14099,
              0.1976,
              0.30939,
              0.53227
            ],
            [
              0.08573,
              0.09195,
              0.09892,
              0.1133,
              0.14218,
              0.19882,
              0.31089,
              0.53397
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.09521,
              0.10494,
              0.11511,
              0.13568,
              0.17669,
              0.25781,
              0.41877,
              0.74052
            ],
            [
              0.09512,
              0.10487,
              0.11502,
              0.13557,
              0.17656,
              0.25769,
              0.41905,
              0.74003
            ],
            [
              0.09495,
              0.10469,
              0.11486,
              0.13542,
              0.17637,
              0.25755,
              0.41874,
              0.74036
            ],
            [
              0.09484,
              0.10457,
              0.11473,
              0.13529,
              0.17631,
              0.25746,
              0.41866,
              0.74019
            ],
            [
              0.09467,
              0.10442,
              0.11457,
              0.13513,
              0.17619,
              0.25724,
              0.41858,
              0.74015
            ],
            [
              0.09452,
              0.10425,
              0.11443,
              0.13502,
              0.17596,
              0.257,
              0.41825,
              0.74005
            ],
            [
              0.09445,
              0.10418,
              0.11436,
              0.13494,
              0.17593,
              0.25694,
              0.41827,
              0.73927
            ],
            [
              0.09445,
              0.10417,
              0.11436,
              0.1349,
              0.17588,
              0.25707,
              0.41834,
              0.73975
            ],
            [
              0.09456,
              0.10428,
              0.11446,
              0.13504,
              0.17594,
              0.25708,
              0.41845,
              0.74009
            ],
            [
              0.09483,
              0.10457,
              0.11473,
              0.13525,
              0.17622,
              0.25733,
              0.4186,
              0.73976
            ],
            [
              0.09538,
              0.10509,
              0.11523,
              0.13572,
              0.17664,
              0.25772,
              0.41878,
              0.74013
            ],
            [
              0.09621,
              0.10585,
              0.11596,
              0.13637,
              0.17724,
              0.25826,
              0.41938,
              0.74095
            ],
            [
              0.09783,
              0.10739,
              0.11745,
              0.13782,
              0.17849,
              0.25949,
              0.42065,
              0.74242
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.07369,
              0.07984,
              0.08682,
              0.10114,
              0.12999,
              0.18658,
              0.29878,
              0.5216
            ],
            [
              0.07358,
              0.07981,
              0.08674,
              0.10106,
              0.1299,
              0.18646,
              0.29838,
              0.52106
            ],
            [
              0.07362,
              0.07981,
              0.08679,
              0.1011,
              0.12994,
              0.18654,
              0.29829,
              0.52167
            ],
            [
              0.07359,
              0.07978,
              0.08675,
              0.10107,
              0.1299,
              0.18655,
              0.29842,
              0.52077
            ],
            [
              0.07355,
              0.07973,
              0.08672,
              0.10102,
              0.12987,
              0.1864,
              0.29865,
              0.52079
            ],
            [
              0.07352,
              0.07968,
              0.08665,
              0.10097,
              0.12981,
              0.18631,
              0.29843,
              0.52126
            ],
            [
              0.07345,
              0.07968,
              0.08662,
              0.10093,
              0.12978,
              0.18625,
              0.29837,
              0.52082
            ],
            [
              0.07347,
              0.07967,
              0.0866,
              0.10091,
              0.12973,
              0.18632,
              0.29825,
              0.52064
            ],
            [
              0.07353,
              0.07972,
              0.08667,
              0.10097,
              0.12978,
              0.18627,
              0.29829,
              0.52103
            ],
            [
              0.07377,
              0.07996,
              0.08694,
              0.10121,
              0.12999,
              0.18647,
              0.29852,
              0.52133
            ],
            [
              0.07429,
              0.08049,
              0.08743,
              0.10171,
              0.13043,
              0.18693,
              0.29904,
              0.52145
            ],
            [
              0.07524,
              0.08143,
              0.08838,
              0.10261,
              0.13127,
              0.18751,
              0.29967,
              0.52233
            ],
            [
              0.07694,
              0.08313,
              0.09004,
              0.10427,
              0.13283,
              0.18918,
              0.30128,
              0.52411
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.07487,
              0.08441,
              0.09456,
              0.11526,
              0.15639,
              0.23777,
              0.39954,
              0.72033
            ],
            [
              0.07479,
              0.08437,
              0.09449,
              0.11512,
              0.1564,
              0.23814,
              0.39906,
              0.72076
            ],
            [
              0.07478,
              0.08435,
              0.09446,
              0.11518,
              0.1563,
              0.23789,
              0.39917,
              0.72038
            ],
            [
              0.07477,
              0.0843,
              0.09444,
              0.11505,
              0.15635,
              0.23807,
              0.39899,
              0.7206
            ],
            [
              0.0747,
              0.08427,
              0.09442,
              0.11504,
              0.15625,
              0.23762,
              0.39937,
              0.72068
            ],
            [
              0.07464,
              0.08426,
              0.09438,
              0.11506,
              0.15616,
              0.23766,
              0.39923,
              0.72026
            ],
            [
              0.07464,
              0.08419,
              0.09433,
              0.11492,
              0.15613,
              0.23775,
              0.39939,
              0.72046
            ],
            [
              0.07459,
              0.08413,
              0.09428,
              0.11485,
              0.15602,
              0.23765,
              0.39897,
              0.72016
            ],
            [
              0.07452,
              0.08411,
              0.09422,
              0.11474,
              0.15588,
              0.23745,
              0.39907,
              0.71995
            ],
            [
              0.07445,
              0.08398,
              0.09409,
              0.1146,
              0.15566,
              0.23726,
              0.39889,
              0.71999
            ],
            [
              0.07454,
              0.08401,
              0.09404,
              0.11454,
              0.15548,
              0.23692,
              0.39834,
              0.7196
            ],
            [
              0.0751,
              0.08447,
              0.09435,
              0.11463,
              0.15544,
              0.23687,
              0.39836,
              0.71906
            ],
            [
              0.07634,
              0.08548,
              0.09525,
              0.11523,
              0.15582,
              0.23718,
              0.39827,
              0.7196
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.06971,
              0.07607,
              0.08309,
              0.09757,
              0.12675,
              0.1839,
              0.29549,
              0.51776
            ],
            [
              0.06976,
              0.07611,
              0.08314,
              0.09762,
              0.12681,
              0.18396,
              0.29558,
              0.518
            ],
            [
              0.06969,
              0.07605,
              0.08307,
              0.09755,
              0.12673,
              0.18388,
              0.2955,
              0.51755
            ],
            [
              0.06965,
              0.076,
              0.08302,
              0.09751,
              0.12669,
              0.18383,
              0.29531,
              0.51772
            ],
            [
              0.06961,
              0.07597,
              0.08298,
              0.09747,
              0.12666,
              0.18381,
              0.2953,
              0.51772
            ],
            [
              0.06952,
              0.07588,
              0.08289,
              0.09738,
              0.12656,
              0.18371,
              0.29542,
              0.51769
            ],
            [
              0.0694,
              0.07574,
              0.08277,
              0.09725,
              0.12642,
              0.18358,
              0.29525,
              0.51759
            ],
            [
              0.06926,
              0.0756,
              0.08264,
              0.0971,
              0.12626,
              0.18338,
              0.29496,
              0.5181
            ],
            [
              0.0691,
              0.07543,
              0.08248,
              0.09693,
              0.12605,
              0.18315,
              0.29466,
              0.51713
            ],
            [
              0.06904,
              0.07535,
              0.08236,
              0.09677,
              0.12584,
              0.18289,
              0.29423,
              0.51713
            ],
            [
              0.06902,
              0.07531,
              0.08223,
              0.09659,
              0.12559,
              0.18258,
              0.2942,
              0.51647
            ],
            [
              0.0692,
              0.07536,
              0.0823,
              0.09659,
              0.12549,
              0.18242,
              0.29393,
              0.51655
            ],
            [
              0.06968,
              0.07575,
              0.08261,
              0.0968,
              0.12561,
              0.18246,
              0.29374,
              0.51636
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.22424,
    "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.551,
              0.5836,
              0.60605,
              0.63987,
              0.69013,
              0.76581,
              0.88478,
              1.08547
            ],
            [
              0.55379,
              0.58639,
              0.60883,
              0.64264,
              0.69293,
              0.76858,
              0.88755,
              1.08834
            ],
            [
              0.55723,
              0.58982,
              0.61228,
              0.6461,
              0.69636,
              0.77204,
              0.89101,
              1.09172
            ],
            [
              0.56261,
              0.59522,
              0.61765,
              0.65146,
              0.70176,
              0.77741,
              0.89638,
              1.09728
            ],
            [
              0.5709,
              0.60351,
              0.62595,
              0.65976,
              0.71005,
              0.7857,
              0.90467,
              1.10551
            ],
            [
              0.58365,
              0.61624,
              0.63869,
              0.6725,
              0.7228,
              0.79843,
              0.91741,
              1.11822
            ],
            [
              0.60311,
              0.63571,
              0.65815,
              0.69196,
              0.74226,
              0.8179,
              0.93683,
              1.13773
            ],
            [
              0.63178,
              0.66437,
              0.68682,
              0.72063,
              0.77092,
              0.84656,
              0.96556,
              1.16646
            ],
            [
              0.67144,
              0.70403,
              0.72647,
              0.76025,
              0.81055,
              0.88625,
              1.00525,
              1.20615
            ],
            [
              0.72389,
              0.75639,
              0.77889,
              0.81269,
              0.86309,
              0.93879,
              1.05779,
              1.25859
            ],
            [
              0.78782,
              0.82032,
              0.84272,
              0.87662,
              0.92712,
              1.00292,
              1.12202,
              1.32302
            ],
            [
              0.85677,
              0.88897,
              0.91137,
              0.94527,
              0.99587,
              1.07187,
              1.19117,
              1.39227
            ],
            [
              0.9298,
              0.9615,
              0.9838,
              1.0176,
              1.0683,
              1.1445,
              1.2639,
              1.4649
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.4727,
              0.51104,
              0.53908,
              0.58461,
              0.66094,
              0.79814,
              1.06507,
              1.60017
            ],
            [
              0.4755,
              0.51384,
              0.54189,
              0.58741,
              0.66374,
              0.80095,
              1.06784,
              1.60304
            ],
            [
              0.47887,
              0.51722,
              0.54526,
              0.59078,
              0.6671,
              0.8043,
              1.07132,
              1.60642
            ],
            [
              0.48395,
              0.52229,
              0.55032,
              0.59586,
              0.67217,
              0.80937,
              1.07638,
              1.61147
            ],
            [
              0.49162,
              0.52996,
              0.55801,
              0.60353,
              0.67986,
              0.81706,
              1.08401,
              1.61921
            ],
            [
              0.50305,
              0.54139,
              0.56943,
              0.61496,
              0.69129,
              0.82849,
              1.09542,
              1.63062
            ],
            [
              0.5189,
              0.55725,
              0.58528,
              0.63081,
              0.70713,
              0.84433,
              1.11133,
              1.64643
            ],
            [
              0.53956,
              0.57789,
              0.60593,
              0.65146,
              0.72778,
              0.86496,
              1.13196,
              1.66706
            ],
            [
              0.56605,
              0.60437,
              0.63241,
              0.67793,
              0.75425,
              0.89145,
              1.15835,
              1.69345
            ],
            [
              0.5995,
              0.63779,
              0.66579,
              0.71139,
              0.78769,
              0.92479,
              1.19169,
              1.72679
            ],
            [
              0.64052,
              0.67872,
              0.70682,
              0.75232,
              0.82872,
              0.96572,
              1.23252,
              1.76762
            ],
            [
              0.68947,
              0.72767,
              0.75577,
              0.80127,
              0.87757,
              1.01467,
              1.28127,
              1.81627
            ],
            [
              0.7465,
              0.7846,
              0.8127,
              0.8582,
              0.9346,
              1.0715,
              1.338,
              1.873
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.06036,
              0.07824,
              0.09151,
              0.11302,
              0.14952,
              0.21294,
              0.32941,
              0.55974
            ],
            [
              0.06035,
              0.0782,
              0.0914,
              0.11303,
              0.14931,
              0.21283,
              0.32943,
              0.55907
            ],
            [
              0.06036,
              0.07819,
              0.0915,
              0.11301,
              0.14952,
              0.21294,
              0.32943,
              0.55965
            ],
            [
              0.06035,
              0.07821,
              0.0914,
              0.11303,
              0.14929,
              0.21286,
              0.32945,
              0.55929
            ],
            [
              0.06034,
              0.0782,
              0.09153,
              0.11303,
              0.14932,
              0.21281,
              0.32937,
              0.55892
            ],
            [
              0.06035,
              0.07821,
              0.09139,
              0.11303,
              0.14929,
              0.21286,
              0.32946,
              0.5594
            ],
            [
              0.06035,
              0.07821,
              0.0914,
              0.11303,
              0.1493,
              0.21283,
              0.32951,
              0.55924
            ],
            [
              0.06036,
              0.07821,
              0.09138,
              0.11305,
              0.14945,
              0.21297,
              0.32959,
              0.5596
            ],
            [
              0.0603,
              0.07819,
              0.09144,
              0.11302,
              0.14947,
              0.213,
              0.3297,
              0.5597
            ],
            [
              0.0603,
              0.0782,
              0.0914,
              0.113,
              0.1493,
              0.2126,
              0.3293,
              0.5597
            ],
            [
              0.0599,
              0.0781,
              0.0914,
              0.1131,
              0.1494,
              0.2129,
              0.3294,
              0.5595
            ],
            [
              0.0596,
              0.078,
              0.0912,
              0.1131,
              0.1496,
              0.213,
              0.3297,
              0.5598
            ],
            [
              0.0591,
              0.0774,
              0.0907,
              0.1128,
              0.1495,
              0.2129,
              0.3293,
              0.5599
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.05167,
              0.08026,
              0.10424,
              0.1484,
              0.2354,
              0.41588,
              0.79001,
              1.54007
            ],
            [
              0.05165,
              0.08029,
              0.10425,
              0.1484,
              0.23546,
              0.41585,
              0.78998,
              1.54154
            ],
            [
              0.05164,
              0.08045,
              0.10422,
              0.14841,
              0.2355,
              0.41576,
              0.79029,
              1.54026
            ],
            [
              0.05166,
              0.08031,
              0.10425,
              0.14839,
              0.23546,
              0.41574,
              0.79077,
              1.54004
            ],
            [
              0.05165,
              0.08032,
              0.10425,
              0.14841,
              0.23547,
              0.4159,
              0.78993,
              1.5401
            ],
            [
              0.05165,
              0.08032,
              0.10425,
              0.14841,
              0.23547,
              0.41588,
              0.79001,
              1.5402
            ],
            [
              0.05165,
              0.08029,
              0.10425,
              0.14838,
              0.23544,
              0.41574,
              0.79057,
              1.5413
            ],
            [
              0.05162,
              0.0802,
              0.10424,
              0.14839,
              0.23532,
              0.4157,
              0.79045,
              1.5403
            ],
            [
              0.05158,
              0.08019,
              0.10418,
              0.14836,
              0.23543,
              0.41566,
              0.7901,
              1.5413
            ],
            [
              0.05141,
              0.08022,
              0.10417,
              0.1483,
              0.2353,
              0.4154,
              0.7903,
              1.5412
            ],
            [
              0.0513,
              0.0799,
              0.104,
              0.1482,
              0.2352,
              0.4156,
              0.79,
              1.5413
            ],
            [
              0.0511,
              0.0798,
              0.1039,
              0.1481,
              0.2351,
              0.4152,
              0.7902,
              1.5411
            ],
            [
              0.0509,
              0.0796,
              0.1037,
              0.1481,
              0.2349,
              0.4153,
              0.7898,
              1.5409
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.57655,
              0.61266,
              0.63741,
              0.67442,
              0.72899,
              0.81039,
              0.93694,
              1.14767
            ],
            [
              0.57934,
              0.61545,
              0.64021,
              0.6772,
              0.73178,
              0.81315,
              0.93972,
              1.15034
            ],
            [
              0.58279,
              0.6189,
              0.64365,
              0.68066,
              0.73522,
              0.81662,
              0.94318,
              1.15382
            ],
            [
              0.58818,
              0.62428,
              0.64904,
              0.68605,
              0.74062,
              0.822,
              0.94856,
              1.15928
            ],
            [
              0.59648,
              0.63259,
              0.65734,
              0.69435,
              0.74891,
              0.83031,
              0.95691,
              1.16751
            ],
            [
              0.60919,
              0.64531,
              0.67005,
              0.70706,
              0.76163,
              0.84303,
              0.96962,
              1.18032
            ],
            [
              0.62862,
              0.66472,
              0.68948,
              0.72648,
              0.78106,
              0.86242,
              0.98903,
              1.19973
            ],
            [
              0.65722,
              0.69332,
              0.71807,
              0.75507,
              0.80965,
              0.89106,
              1.01756,
              1.22836
            ],
            [
              0.69708,
              0.73318,
              0.75795,
              0.79495,
              0.84955,
              0.93085,
              1.05745,
              1.26825
            ],
            [
              0.75089,
              0.78689,
              0.81169,
              0.84869,
              0.90329,
              0.98469,
              1.11129,
              1.32199
            ],
            [
              0.81842,
              0.85432,
              0.87902,
              0.91602,
              0.97072,
              1.05222,
              1.17892,
              1.38962
            ],
            [
              0.89307,
              0.92877,
              0.95327,
              0.99027,
              1.04507,
              1.12677,
              1.25357,
              1.46437
            ],
            [
              0.9688,
              1.0038,
              1.0281,
              1.0649,
              1.1197,
              1.2015,
              1.3285,
              1.5394
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.47376,
              0.51095,
              0.53807,
              0.58207,
              0.6561,
              0.78908,
              1.04437,
              1.54837
            ],
            [
              0.47656,
              0.51376,
              0.54088,
              0.58488,
              0.6589,
              0.79189,
              1.04724,
              1.55124
            ],
            [
              0.47993,
              0.51712,
              0.54425,
              0.58825,
              0.66227,
              0.79526,
              1.05032,
              1.55452
            ],
            [
              0.48501,
              0.52219,
              0.54931,
              0.59332,
              0.66734,
              0.80032,
              1.05558,
              1.55967
            ],
            [
              0.49267,
              0.52986,
              0.55698,
              0.60098,
              0.675,
              0.80799,
              1.06331,
              1.56731
            ],
            [
              0.50412,
              0.54131,
              0.56843,
              0.61243,
              0.68645,
              0.81945,
              1.07452,
              1.57872
            ],
            [
              0.52011,
              0.55729,
              0.58441,
              0.62841,
              0.70243,
              0.83543,
              1.09053,
              1.59473
            ],
            [
              0.54112,
              0.57829,
              0.60541,
              0.64941,
              0.72343,
              0.85646,
              1.11156,
              1.61576
            ],
            [
              0.56816,
              0.60531,
              0.63241,
              0.6764,
              0.75042,
              0.88345,
              1.13855,
              1.64275
            ],
            [
              0.60221,
              0.63929,
              0.66639,
              0.71039,
              0.78439,
              0.91739,
              1.17259,
              1.67679
            ],
            [
              0.64362,
              0.68062,
              0.70772,
              0.75172,
              0.82572,
              0.95872,
              1.21402,
              1.71812
            ],
            [
              0.69287,
              0.72977,
              0.75687,
              0.80077,
              0.87477,
              1.00787,
              1.26317,
              1.76727
            ],
            [
              0.7501,
              0.787,
              0.814,
              0.8579,
              0.9319,
              1.065,
              1.3203,
              1.8243
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.06866,
              0.08785,
              0.10199,
              0.12506,
              0.16339,
              0.22934,
              0.34985,
              0.58466
            ],
            [
              0.06859,
              0.08786,
              0.102,
              0.12509,
              0.16331,
              0.22929,
              0.34936,
              0.58501
            ],
            [
              0.06866,
              0.08785,
              0.10199,
              0.12505,
              0.16339,
              0.22935,
              0.34976,
              0.58467
            ],
            [
              0.06866,
              0.08785,
              0.10199,
              0.12506,
              0.16338,
              0.22939,
              0.34973,
              0.58452
            ],
            [
              0.06862,
              0.08785,
              0.10199,
              0.12506,
              0.16339,
              0.22934,
              0.34976,
              0.58467
            ],
            [
              0.06862,
              0.08784,
              0.10199,
              0.12506,
              0.16338,
              0.22931,
              0.34975,
              0.58466
            ],
            [
              0.06861,
              0.08792,
              0.10214,
              0.1251,
              0.16331,
              0.22927,
              0.34952,
              0.5848
            ],
            [
              0.06862,
              0.08785,
              0.10196,
              0.12492,
              0.16332,
              0.22912,
              0.3497,
              0.5844
            ],
            [
              0.06857,
              0.08779,
              0.10208,
              0.12504,
              0.1633,
              0.2292,
              0.3499,
              0.5846
            ],
            [
              0.0685,
              0.0878,
              0.102,
              0.125,
              0.1633,
              0.2296,
              0.3492,
              0.585
            ],
            [
              0.0683,
              0.0875,
              0.1018,
              0.125,
              0.1632,
              0.2293,
              0.3494,
              0.5849
            ],
            [
              0.0678,
              0.0874,
              0.1018,
              0.1248,
              0.1633,
              0.2291,
              0.3499,
              0.5848
            ],
            [
              0.0674,
              0.0872,
              0.1015,
              0.1248,
              0.1631,
              0.2292,
              0.35,
              0.585
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.05043,
              0.07772,
              0.10076,
              0.14373,
              0.22857,
              0.40235,
              0.75945,
              1.48376
            ],
            [
              0.05042,
              0.07773,
              0.10076,
              0.14374,
              0.22857,
              0.40231,
              0.75931,
              1.48493
            ],
            [
              0.05038,
              0.07772,
              0.10073,
              0.14379,
              0.22848,
              0.40201,
              0.75923,
              1.48405
            ],
            [
              0.05043,
              0.0777,
              0.10077,
              0.14373,
              0.22856,
              0.40231,
              0.75961,
              1.48313
            ],
            [
              0.05042,
              0.07772,
              0.10076,
              0.14373,
              0.22857,
              0.40228,
              0.75938,
              1.48399
            ],
            [
              0.0504,
              0.07772,
              0.10073,
              0.14377,
              0.22854,
              0.40213,
              0.76004,
              1.4856
            ],
            [
              0.05036,
              0.0777,
              0.10072,
              0.14377,
              0.22851,
              0.40204,
              0.75997,
              1.4856
            ],
            [
              0.05031,
              0.07764,
              0.1007,
              0.14373,
              0.22847,
              0.40226,
              0.76008,
              1.4855
            ],
            [
              0.05025,
              0.07757,
              0.10063,
              0.14361,
              0.22832,
              0.40193,
              0.7594,
              1.4835
            ],
            [
              0.05001,
              0.07744,
              0.10047,
              0.1435,
              0.2282,
              0.4019,
              0.7594,
              1.4837
            ],
            [
              0.0498,
              0.0773,
              0.1003,
              0.1434,
              0.2281,
              0.402,
              0.7595,
              1.484
            ],
            [
              0.0495,
              0.0771,
              0.1001,
              0.1432,
              0.228,
              0.4018,
              0.7595,
              1.4841
            ],
            [
              0.0492,
              0.0768,
              0.1,
              0.143,
              0.2279,
              0.4018,
              0.7594,
              1.484
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.52813,
              0.56076,
              0.58321,
              0.61701,
              0.66725,
              0.74289,
              0.86184,
              1.06257
            ],
            [
              0.53018,
              0.5628,
              0.58526,
              0.61905,
              0.66931,
              0.74493,
              0.86388,
              1.06474
            ],
            [
              0.53293,
              0.56554,
              0.588,
              0.6218,
              0.67205,
              0.74768,
              0.86662,
              1.06732
            ],
            [
              0.53738,
              0.57,
              0.59245,
              0.62626,
              0.67651,
              0.75213,
              0.87106,
              1.07188
            ],
            [
              0.54461,
              0.57723,
              0.59968,
              0.63348,
              0.68374,
              0.75935,
              0.87829,
              1.07901
            ],
            [
              0.55623,
              0.58885,
              0.61131,
              0.64511,
              0.69534,
              0.77097,
              0.8899,
              1.09072
            ],
            [
              0.57463,
              0.60724,
              0.62971,
              0.66351,
              0.71373,
              0.78937,
              0.90833,
              1.10913
            ],
            [
              0.60334,
              0.63596,
              0.65843,
              0.69222,
              0.74245,
              0.81808,
              0.93696,
              1.13786
            ],
            [
              0.64653,
              0.67916,
              0.70163,
              0.73542,
              0.78565,
              0.86125,
              0.98015,
              1.18085
            ],
            [
              0.70869,
              0.74129,
              0.76379,
              0.79759,
              0.84779,
              0.92339,
              1.04229,
              1.24309
            ],
            [
              0.79552,
              0.82812,
              0.85062,
              0.88442,
              0.93462,
              1.01022,
              1.12922,
              1.33002
            ],
            [
              0.91607,
              0.94867,
              0.97117,
              1.00497,
              1.05527,
              1.13097,
              1.24997,
              1.45077
            ],
            [
              1.0709,
              1.105,
              1.1286,
              1.1639,
              1.216,
              1.2934,
              1.4136,
              1.615
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.39745,
              0.43598,
              0.46412,
              0.50973,
              0.5861,
              0.72313,
              0.98983,
              1.52497
            ],
            [
              0.40049,
              0.43902,
              0.46716,
              0.51277,
              0.58915,
              0.72618,
              0.99284,
              1.52804
            ],
            [
              0.40409,
              0.44262,
              0.47076,
              0.51637,
              0.59274,
              0.72977,
              0.99642,
              1.53162
            ],
            [
              0.40951,
              0.44804,
              0.47618,
              0.5218,
              0.59816,
              0.7352,
              1.00198,
              1.53708
            ],
            [
              0.4174,
              0.45594,
              0.48408,
              0.5297,
              0.60607,
              0.74311,
              1.00981,
              1.54501
            ],
            [
              0.42902,
              0.46758,
              0.49572,
              0.54134,
              0.61771,
              0.75472,
              1.02142,
              1.55662
            ],
            [
              0.44606,
              0.48463,
              0.51278,
              0.5584,
              0.63476,
              0.77176,
              1.03843,
              1.57363
            ],
            [
              0.47123,
              0.50981,
              0.53797,
              0.58359,
              0.65994,
              0.79694,
              1.06366,
              1.59886
            ],
            [
              0.50853,
              0.54718,
              0.57535,
              0.62098,
              0.69732,
              0.83435,
              1.10105,
              1.63635
            ],
            [
              0.55893,
              0.59763,
              0.62581,
              0.67139,
              0.74779,
              0.88479,
              1.15169,
              1.68689
            ],
            [
              0.61772,
              0.65642,
              0.68462,
              0.73022,
              0.80652,
              0.94362,
              1.21062,
              1.74582
            ],
            [
              0.68777,
              0.72647,
              0.75467,
              0.80027,
              0.87657,
              1.01387,
              1.28107,
              1.81627
            ],
            [
              0.7708,
              0.8096,
              0.8379,
              0.8835,
              0.9601,
              1.0977,
              1.3654,
              1.9002
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.06051,
              0.07828,
              0.09159,
              0.11307,
              0.1493,
              0.2128,
              0.32935,
              0.55983
            ],
            [
              0.06051,
              0.07828,
              0.09155,
              0.11314,
              0.14951,
              0.21267,
              0.32964,
              0.55948
            ],
            [
              0.06052,
              0.07827,
              0.09143,
              0.11308,
              0.14935,
              0.21278,
              0.32949,
              0.55953
            ],
            [
              0.06053,
              0.07828,
              0.09154,
              0.11314,
              0.1495,
              0.21265,
              0.32946,
              0.55911
            ],
            [
              0.06054,
              0.0783,
              0.0914,
              0.11314,
              0.14932,
              0.213,
              0.32936,
              0.55929
            ],
            [
              0.06056,
              0.07838,
              0.09159,
              0.11312,
              0.14952,
              0.21271,
              0.32958,
              0.55913
            ],
            [
              0.06057,
              0.07831,
              0.09146,
              0.11307,
              0.14928,
              0.21281,
              0.32974,
              0.55975
            ],
            [
              0.06061,
              0.07831,
              0.09146,
              0.11307,
              0.14954,
              0.21283,
              0.32965,
              0.5594
            ],
            [
              0.06064,
              0.07831,
              0.0916,
              0.11317,
              0.14953,
              0.21282,
              0.3292,
              0.5593
            ],
            [
              0.0606,
              0.0783,
              0.0915,
              0.113,
              0.1495,
              0.2129,
              0.3293,
              0.5592
            ],
            [
              0.0605,
              0.0782,
              0.0913,
              0.113,
              0.1492,
              0.2126,
              0.3296,
              0.559
            ],
            [
              0.061,
              0.0783,
              0.0914,
              0.113,
              0.1492,
              0.2127,
              0.3292,
              0.559
            ],
            [
              0.0668,
              0.0841,
              0.0971,
              0.1187,
              0.1545,
              0.2172,
              0.3321,
              0.5609
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.05215,
              0.08091,
              0.10478,
              0.14883,
              0.23556,
              0.41559,
              0.79018,
              1.54175
            ],
            [
              0.05216,
              0.08075,
              0.10466,
              0.14885,
              0.2356,
              0.4156,
              0.7903,
              1.54197
            ],
            [
              0.05218,
              0.08076,
              0.10467,
              0.14886,
              0.23561,
              0.4156,
              0.79028,
              1.54205
            ],
            [
              0.05219,
              0.08071,
              0.10469,
              0.14881,
              0.23558,
              0.41572,
              0.78992,
              1.54117
            ],
            [
              0.05221,
              0.08076,
              0.10473,
              0.14883,
              0.23559,
              0.41565,
              0.79015,
              1.5413
            ],
            [
              0.05225,
              0.08103,
              0.10485,
              0.14889,
              0.23563,
              0.41564,
              0.79024,
              1.54049
            ],
            [
              0.05232,
              0.08091,
              0.10493,
              0.14894,
              0.23566,
              0.41564,
              0.79053,
              1.5408
            ],
            [
              0.05247,
              0.08097,
              0.10498,
              0.14901,
              0.23574,
              0.41565,
              0.79014,
              1.5413
            ],
            [
              0.05266,
              0.08119,
              0.10505,
              0.1491,
              0.23577,
              0.41587,
              0.7901,
              1.5422
            ],
            [
              0.05291,
              0.08137,
              0.10528,
              0.14924,
              0.2361,
              0.4161,
              0.7904,
              1.5415
            ],
            [
              0.0529,
              0.0814,
              0.1051,
              0.1493,
              0.2362,
              0.4164,
              0.7904,
              1.5413
            ],
            [
              0.0533,
              0.0817,
              0.1053,
              0.1494,
              0.2365,
              0.4168,
              0.7904,
              1.5406
            ],
            [
              0.0538,
              0.0819,
              0.1057,
              0.1499,
              0.2372,
              0.4178,
              0.7903,
              1.5378
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.51652,
              0.55227,
              0.5768,
              0.61363,
              0.66818,
              0.74983,
              0.87666,
              1.08747
            ],
            [
              0.51878,
              0.55457,
              0.57906,
              0.61591,
              0.67046,
              0.75208,
              0.87893,
              1.08974
            ],
            [
              0.52176,
              0.55754,
              0.58207,
              0.61891,
              0.67346,
              0.75509,
              0.88193,
              1.09272
            ],
            [
              0.52641,
              0.5622,
              0.58671,
              0.62355,
              0.67814,
              0.75974,
              0.8866,
              1.09758
            ],
            [
              0.53377,
              0.56958,
              0.5941,
              0.63094,
              0.68554,
              0.76714,
              0.894,
              1.10491
            ],
            [
              0.5453,
              0.58109,
              0.60564,
              0.6425,
              0.69708,
              0.7787,
              0.90556,
              1.11642
            ],
            [
              0.56326,
              0.59905,
              0.62361,
              0.66047,
              0.71507,
              0.79671,
              0.92353,
              1.13443
            ],
            [
              0.59052,
              0.62631,
              0.65086,
              0.68772,
              0.74234,
              0.824,
              0.95086,
              1.16186
            ],
            [
              0.63124,
              0.66699,
              0.69153,
              0.72839,
              0.78305,
              0.86475,
              0.99165,
              1.20265
            ],
            [
              0.69169,
              0.72729,
              0.75179,
              0.78869,
              0.84329,
              0.92509,
              1.05199,
              1.26299
            ],
            [
              0.77512,
              0.81062,
              0.83512,
              0.87192,
              0.92652,
              1.00832,
              1.13542,
              1.34652
            ],
            [
              0.87947,
              0.91477,
              0.93907,
              0.97577,
              1.03027,
              1.11207,
              1.23917,
              1.45047
            ],
            [
              1.007,
              1.042,
              1.0663,
              1.1028,
              1.1572,
              1.2388,
              1.366,
              1.5772
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.40134,
              0.43841,
              0.4655,
              0.50949,
              0.58351,
              0.71656,
              0.97185,
              1.47597
            ],
            [
              0.40441,
              0.44149,
              0.46857,
              0.51256,
              0.58658,
              0.71962,
              0.97494,
              1.47904
            ],
            [
              0.40806,
              0.44514,
              0.47223,
              0.51622,
              0.59023,
              0.72328,
              0.97862,
              1.48272
            ],
            [
              0.41361,
              0.45069,
              0.47779,
              0.52177,
              0.59579,
              0.72884,
              0.98408,
              1.48828
            ],
            [
              0.42185,
              0.45894,
              0.48603,
              0.53002,
              0.60404,
              0.73709,
              0.99231,
              1.49651
            ],
            [
              0.43407,
              0.47115,
              0.49825,
              0.54223,
              0.61625,
              0.7493,
              1.00452,
              1.50882
            ],
            [
              0.45199,
              0.48908,
              0.51617,
              0.56017,
              0.63418,
              0.76722,
              1.02253,
              1.52663
            ],
            [
              0.47806,
              0.51516,
              0.54225,
              0.58624,
              0.66026,
              0.7933,
              1.04846,
              1.55276
            ],
            [
              0.51601,
              0.55312,
              0.58023,
              0.62422,
              0.69823,
              0.83125,
              1.08645,
              1.59065
            ],
            [
              0.56504,
              0.60218,
              0.62928,
              0.67329,
              0.74729,
              0.88029,
              1.13549,
              1.63959
            ],
            [
              0.62412,
              0.66112,
              0.68812,
              0.73212,
              0.80602,
              0.93892,
              1.19422,
              1.69822
            ],
            [
              0.69857,
              0.73707,
              0.76497,
              0.80987,
              0.88457,
              1.01777,
              1.27287,
              1.77687
            ],
            [
              0.7886,
              0.8296,
              0.8592,
              0.9063,
              0.9835,
              1.1186,
              1.3742,
              1.8783
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.06832,
              0.08818,
              0.10255,
              0.12566,
              0.16396,
              0.23021,
              0.34994,
              0.58521
            ],
            [
              0.06833,
              0.08813,
              0.10251,
              0.12564,
              0.16399,
              0.23005,
              0.35036,
              0.58521
            ],
            [
              0.06832,
              0.08822,
              0.10253,
              0.12565,
              0.16394,
              0.23038,
              0.35043,
              0.58529
            ],
            [
              0.06833,
              0.08821,
              0.10251,
              0.1256,
              0.1641,
              0.2299,
              0.35025,
              0.58484
            ],
            [
              0.06833,
              0.08812,
              0.1025,
              0.12562,
              0.16409,
              0.22986,
              0.35028,
              0.58466
            ],
            [
              0.06833,
              0.08822,
              0.10252,
              0.12567,
              0.16393,
              0.23001,
              0.35031,
              0.58525
            ],
            [
              0.06832,
              0.08816,
              0.10252,
              0.12567,
              0.16397,
              0.23007,
              0.34999,
              0.58526
            ],
            [
              0.06831,
              0.08816,
              0.10248,
              0.12567,
              0.16399,
              0.23002,
              0.35035,
              0.5847
            ],
            [
              0.06826,
              0.08819,
              0.10248,
              0.12569,
              0.16398,
              0.23014,
              0.3504,
              0.5847
            ],
            [
              0.0682,
              0.0881,
              0.1025,
              0.1257,
              0.1643,
              0.2302,
              0.3506,
              0.5853
            ],
            [
              0.068,
              0.088,
              0.1024,
              0.1257,
              0.1643,
              0.2304,
              0.3506,
              0.585
            ],
            [
              0.0677,
              0.0877,
              0.1021,
              0.1256,
              0.1644,
              0.2304,
              0.3502,
              0.5848
            ],
            [
              0.0675,
              0.0875,
              0.1021,
              0.1256,
              0.1645,
              0.2305,
              0.3501,
              0.5848
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.04996,
              0.07743,
              0.10043,
              0.14346,
              0.22814,
              0.40196,
              0.75939,
              1.48552
            ],
            [
              0.04994,
              0.07742,
              0.10048,
              0.14349,
              0.22829,
              0.40197,
              0.75938,
              1.48342
            ],
            [
              0.04993,
              0.07745,
              0.10048,
              0.14348,
              0.22831,
              0.40199,
              0.75961,
              1.48344
            ],
            [
              0.05006,
              0.07746,
              0.10049,
              0.14345,
              0.22827,
              0.40199,
              0.75952,
              1.48405
            ],
            [
              0.05,
              0.07746,
              0.10046,
              0.14348,
              0.22817,
              0.40197,
              0.7595,
              1.48593
            ],
            [
              0.04998,
              0.07749,
              0.1005,
              0.14348,
              0.22831,
              0.40198,
              0.7596,
              1.48593
            ],
            [
              0.05001,
              0.07746,
              0.10049,
              0.14351,
              0.22818,
              0.40195,
              0.7595,
              1.4858
            ],
            [
              0.05004,
              0.07747,
              0.10051,
              0.14352,
              0.22827,
              0.40193,
              0.75926,
              1.4832
            ],
            [
              0.05013,
              0.07751,
              0.10057,
              0.14358,
              0.22837,
              0.40198,
              0.7594,
              1.486
            ],
            [
              0.05016,
              0.07755,
              0.10057,
              0.1436,
              0.2285,
              0.402,
              0.7596,
              1.4837
            ],
            [
              0.05,
              0.0773,
              0.1004,
              0.1434,
              0.2284,
              0.402,
              0.7592,
              1.4832
            ],
            [
              0.0526,
              0.0805,
              0.1036,
              0.1463,
              0.2303,
              0.4026,
              0.7596,
              1.4842
            ],
            [
              0.0567,
              0.0859,
              0.1098,
              0.153,
              0.2366,
              0.407,
              0.7611,
              1.4852
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.39534,
              0.43291,
              0.45861,
              0.49688,
              0.55304,
              0.63626,
              0.76453,
              0.97631
            ],
            [
              0.39833,
              0.43594,
              0.46165,
              0.49994,
              0.5561,
              0.63933,
              0.76758,
              0.9794
            ],
            [
              0.40201,
              0.43957,
              0.46524,
              0.50354,
              0.55975,
              0.64296,
              0.77123,
              0.98302
            ],
            [
              0.40775,
              0.44533,
              0.47103,
              0.50933,
              0.56549,
              0.64873,
              0.77697,
              0.98877
            ],
            [
              0.41641,
              0.45397,
              0.47968,
              0.51799,
              0.57416,
              0.65735,
              0.78562,
              0.99741
            ],
            [
              0.42954,
              0.4671,
              0.4928,
              0.53106,
              0.58728,
              0.67048,
              0.79876,
              1.01062
            ],
            [
              0.44942,
              0.48695,
              0.51263,
              0.55092,
              0.60709,
              0.69035,
              0.81862,
              1.03043
            ],
            [
              0.47943,
              0.51695,
              0.54261,
              0.58084,
              0.63706,
              0.7203,
              0.84866,
              1.06036
            ],
            [
              0.52455,
              0.562,
              0.58763,
              0.62585,
              0.68203,
              0.76535,
              0.89375,
              1.10565
            ],
            [
              0.59161,
              0.62903,
              0.65459,
              0.69279,
              0.74909,
              0.83249,
              0.96109,
              1.17289
            ],
            [
              0.68882,
              0.72632,
              0.75192,
              0.79022,
              0.84662,
              0.93022,
              1.05902,
              1.27112
            ],
            [
              0.82217,
              0.86087,
              0.88717,
              0.92607,
              0.98297,
              1.06717,
              1.19627,
              1.40847
            ],
            [
              0.9877,
              1.0296,
              1.0579,
              1.0995,
              1.1596,
              1.247,
              1.3786,
              1.5921
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.25114,
              0.28899,
              0.31704,
              0.36296,
              0.44049,
              0.57816,
              0.8414,
              1.37517
            ],
            [
              0.25413,
              0.29198,
              0.32003,
              0.36596,
              0.4435,
              0.58115,
              0.84441,
              1.37794
            ],
            [
              0.2576,
              0.29545,
              0.3235,
              0.36942,
              0.44695,
              0.58462,
              0.84788,
              1.38162
            ],
            [
              0.26284,
              0.30071,
              0.32875,
              0.37467,
              0.45221,
              0.58988,
              0.85313,
              1.38688
            ],
            [
              0.27065,
              0.30851,
              0.33655,
              0.38247,
              0.46002,
              0.59768,
              0.86093,
              1.39471
            ],
            [
              0.28231,
              0.32017,
              0.34821,
              0.39413,
              0.47168,
              0.60934,
              0.8726,
              1.40642
            ],
            [
              0.29959,
              0.33745,
              0.3655,
              0.41141,
              0.48894,
              0.62659,
              0.88985,
              1.42363
            ],
            [
              0.32499,
              0.36285,
              0.39089,
              0.4368,
              0.51428,
              0.65193,
              0.91516,
              1.44896
            ],
            [
              0.36122,
              0.39907,
              0.4271,
              0.47296,
              0.55039,
              0.68799,
              0.95125,
              1.48505
            ],
            [
              0.41116,
              0.4491,
              0.47714,
              0.52298,
              0.60036,
              0.73799,
              1.00109,
              1.53499
            ],
            [
              0.47612,
              0.51582,
              0.54472,
              0.59142,
              0.66932,
              0.80702,
              1.07022,
              1.60422
            ],
            [
              0.55657,
              0.59887,
              0.62937,
              0.67807,
              0.75817,
              0.89737,
              1.16067,
              1.69467
            ],
            [
              0.6552,
              0.701,
              0.7337,
              0.7852,
              0.8684,
              1.0102,
              1.2749,
              1.8087
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.07706,
              0.09537,
              0.1089,
              0.13128,
              0.16933,
              0.23541,
              0.35433,
              0.58796
            ],
            [
              0.07707,
              0.09536,
              0.10889,
              0.1313,
              0.1693,
              0.23528,
              0.35428,
              0.58767
            ],
            [
              0.07707,
              0.09538,
              0.1089,
              0.13129,
              0.16936,
              0.2352,
              0.35463,
              0.58779
            ],
            [
              0.07704,
              0.09536,
              0.1089,
              0.1313,
              0.1693,
              0.23528,
              0.35429,
              0.5877
            ],
            [
              0.07707,
              0.09538,
              0.10891,
              0.13129,
              0.1693,
              0.23538,
              0.35433,
              0.5879
            ],
            [
              0.07706,
              0.09538,
              0.1089,
              0.13128,
              0.16935,
              0.23526,
              0.35461,
              0.58762
            ],
            [
              0.07706,
              0.09535,
              0.1089,
              0.13131,
              0.16929,
              0.23524,
              0.35447,
              0.58771
            ],
            [
              0.077,
              0.09533,
              0.1089,
              0.13133,
              0.16939,
              0.23531,
              0.35459,
              0.5879
            ],
            [
              0.07702,
              0.09536,
              0.10892,
              0.13138,
              0.16937,
              0.23535,
              0.3544,
              0.5876
            ],
            [
              0.07714,
              0.09553,
              0.10905,
              0.13163,
              0.1696,
              0.2354,
              0.3549,
              0.5881
            ],
            [
              0.0781,
              0.0963,
              0.1098,
              0.1323,
              0.1702,
              0.2358,
              0.3549,
              0.5877
            ],
            [
              0.0848,
              0.1017,
              0.1145,
              0.136,
              0.1729,
              0.2379,
              0.3561,
              0.5886
            ],
            [
              0.0976,
              0.1143,
              0.1269,
              0.1481,
              0.1842,
              0.2472,
              0.3627,
              0.5918
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.04911,
              0.07851,
              0.10317,
              0.14863,
              0.2367,
              0.41426,
              0.78768,
              1.54445
            ],
            [
              0.0491,
              0.07838,
              0.10308,
              0.14883,
              0.23672,
              0.4143,
              0.78775,
              1.54731
            ],
            [
              0.0491,
              0.0786,
              0.10315,
              0.14876,
              0.23663,
              0.41428,
              0.78785,
              1.54423
            ],
            [
              0.04912,
              0.07852,
              0.10318,
              0.14862,
              0.2367,
              0.41426,
              0.78766,
              1.54443
            ],
            [
              0.04909,
              0.07846,
              0.10317,
              0.1488,
              0.23676,
              0.41429,
              0.78767,
              1.54468
            ],
            [
              0.04911,
              0.07848,
              0.10317,
              0.14874,
              0.23671,
              0.4143,
              0.78774,
              1.5446
            ],
            [
              0.04911,
              0.07847,
              0.10318,
              0.14876,
              0.23675,
              0.41432,
              0.78769,
              1.54463
            ],
            [
              0.04909,
              0.07834,
              0.10313,
              0.14884,
              0.23683,
              0.41426,
              0.78761,
              1.54449
            ],
            [
              0.04909,
              0.0784,
              0.10319,
              0.14877,
              0.23684,
              0.41431,
              0.78763,
              1.5446
            ],
            [
              0.04976,
              0.07884,
              0.10349,
              0.14908,
              0.23701,
              0.41444,
              0.7878,
              1.5442
            ],
            [
              0.0531,
              0.0826,
              0.1069,
              0.1518,
              0.2387,
              0.4152,
              0.7878,
              1.5446
            ],
            [
              0.0578,
              0.0882,
              0.1132,
              0.1582,
              0.2442,
              0.4186,
              0.7889,
              1.545
            ],
            [
              0.0644,
              0.0963,
              0.1217,
              0.167,
              0.2526,
              0.4249,
              0.792,
              1.5452
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.39599,
              0.43343,
              0.45907,
              0.49726,
              0.55336,
              0.63654,
              0.76477,
              0.97654
            ],
            [
              0.39897,
              0.43647,
              0.4621,
              0.50033,
              0.55642,
              0.63961,
              0.76782,
              0.97963
            ],
            [
              0.40265,
              0.4401,
              0.4657,
              0.50393,
              0.56008,
              0.64323,
              0.77147,
              0.98322
            ],
            [
              0.4084,
              0.44584,
              0.47148,
              0.50972,
              0.56583,
              0.64901,
              0.77723,
              0.98908
            ],
            [
              0.41706,
              0.4545,
              0.48014,
              0.51838,
              0.57445,
              0.65763,
              0.78586,
              0.99761
            ],
            [
              0.43019,
              0.46762,
              0.49326,
              0.53145,
              0.58761,
              0.67076,
              0.79901,
              1.01082
            ],
            [
              0.45005,
              0.48746,
              0.51308,
              0.5513,
              0.60741,
              0.69062,
              0.81886,
              1.03073
            ],
            [
              0.48007,
              0.51745,
              0.54306,
              0.58121,
              0.63737,
              0.72057,
              0.84886,
              1.06066
            ],
            [
              0.52515,
              0.56249,
              0.58805,
              0.6262,
              0.68233,
              0.76565,
              0.89395,
              1.10585
            ],
            [
              0.59217,
              0.62947,
              0.65499,
              0.69309,
              0.74929,
              0.83269,
              0.96119,
              1.17299
            ],
            [
              0.68932,
              0.72672,
              0.75222,
              0.79042,
              0.84682,
              0.93042,
              1.05912,
              1.27122
            ],
            [
              0.82247,
              0.86117,
              0.88737,
              0.92617,
              0.98307,
              1.06717,
              1.19627,
              1.40847
            ],
            [
              0.988,
              1.0298,
              1.058,
              1.0995,
              1.1596,
              1.247,
              1.3785,
              1.5921
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.25064,
              0.28848,
              0.31652,
              0.36244,
              0.43999,
              0.57766,
              0.84088,
              1.37457
            ],
            [
              0.25363,
              0.29147,
              0.31952,
              0.36544,
              0.44299,
              0.58066,
              0.84387,
              1.37754
            ],
            [
              0.2571,
              0.29494,
              0.32299,
              0.3689,
              0.44644,
              0.58412,
              0.84735,
              1.38102
            ],
            [
              0.26234,
              0.30019,
              0.32822,
              0.37415,
              0.4517,
              0.58939,
              0.85259,
              1.38627
            ],
            [
              0.27015,
              0.308,
              0.33603,
              0.38195,
              0.45952,
              0.5972,
              0.8604,
              1.39421
            ],
            [
              0.28181,
              0.31966,
              0.3477,
              0.39361,
              0.47115,
              0.60885,
              0.87207,
              1.40572
            ],
            [
              0.2991,
              0.33695,
              0.36499,
              0.41089,
              0.48842,
              0.62611,
              0.88933,
              1.42303
            ],
            [
              0.32451,
              0.36236,
              0.39039,
              0.43629,
              0.51379,
              0.65144,
              0.91466,
              1.44846
            ],
            [
              0.36077,
              0.39861,
              0.42663,
              0.47249,
              0.54991,
              0.68753,
              0.95075,
              1.48455
            ],
            [
              0.41077,
              0.44869,
              0.47673,
              0.52256,
              0.59996,
              0.73759,
              1.00069,
              1.53459
            ],
            [
              0.47582,
              0.51552,
              0.54442,
              0.59112,
              0.66892,
              0.80672,
              1.06982,
              1.60382
            ],
            [
              0.55617,
              0.59847,
              0.62907,
              0.67777,
              0.75787,
              0.89707,
              1.16037,
              1.69437
            ],
            [
              0.6549,
              0.7007,
              0.7334,
              0.785,
              0.8682,
              1.01,
              1.2746,
              1.8085
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.07669,
              0.09501,
              0.10857,
              0.13102,
              0.16911,
              0.23529,
              0.35496,
              0.58788
            ],
            [
              0.0767,
              0.09501,
              0.10858,
              0.13101,
              0.16906,
              0.23511,
              0.35417,
              0.58758
            ],
            [
              0.07669,
              0.09501,
              0.10856,
              0.13103,
              0.16913,
              0.23504,
              0.35452,
              0.58781
            ],
            [
              0.07668,
              0.09502,
              0.10858,
              0.13101,
              0.16907,
              0.23512,
              0.35418,
              0.58762
            ],
            [
              0.07669,
              0.09502,
              0.10858,
              0.131,
              0.16911,
              0.23526,
              0.35418,
              0.58783
            ],
            [
              0.07669,
              0.09501,
              0.10857,
              0.13102,
              0.16911,
              0.23508,
              0.35447,
              0.58754
            ],
            [
              0.07668,
              0.09502,
              0.10859,
              0.13103,
              0.16906,
              0.23507,
              0.35423,
              0.58736
            ],
            [
              0.07666,
              0.09499,
              0.10856,
              0.13104,
              0.16917,
              0.23515,
              0.35446,
              0.58783
            ],
            [
              0.07666,
              0.09501,
              0.1086,
              0.13111,
              0.16911,
              0.23519,
              0.35429,
              0.5875
            ],
            [
              0.0768,
              0.09519,
              0.10878,
              0.13132,
              0.1694,
              0.2352,
              0.3548,
              0.588
            ],
            [
              0.0778,
              0.0959,
              0.1095,
              0.1319,
              0.1699,
              0.2359,
              0.3546,
              0.5877
            ],
            [
              0.0843,
              0.1013,
              0.1142,
              0.1357,
              0.1726,
              0.2377,
              0.356,
              0.5886
            ],
            [
              0.0971,
              0.1139,
              0.1266,
              0.1477,
              0.1841,
              0.2471,
              0.3626,
              0.5918
            ]
          ]
        },
        "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.00547,
            0.01096,
            0.02191,
            0.04383,
            0.08765,
            0.1753,
            0.35061
          ],
          "values": [
            [
              0.04908,
              0.07848,
              0.10315,
              0.14862,
              0.2367,
              0.41426,
              0.78757,
              1.54426
            ],
            [
              0.04906,
              0.07836,
              0.10307,
              0.14881,
              0.23675,
              0.41427,
              0.78773,
              1.54422
            ],
            [
              0.04909,
              0.07855,
              0.10314,
              0.14875,
              0.23665,
              0.41428,
              0.78775,
              1.54414
            ],
            [
              0.04908,
              0.07848,
              0.10315,
              0.14861,
              0.23671,
              0.41426,
              0.78766,
              1.54424
            ],
            [
              0.04906,
              0.07854,
              0.10315,
              0.14876,
              0.23677,
              0.41423,
              0.78779,
              1.54447
            ],
            [
              0.04907,
              0.07843,
              0.10314,
              0.14873,
              0.23676,
              0.41421,
              0.78764,
              1.54631
            ],
            [
              0.04907,
              0.07844,
              0.10315,
              0.14874,
              0.23679,
              0.41424,
              0.78768,
              1.54593
            ],
            [
              0.04906,
              0.0783,
              0.10307,
              0.14882,
              0.23683,
              0.41435,
              0.78767,
              1.54479
            ],
            [
              0.04905,
              0.07838,
              0.10316,
              0.14879,
              0.23683,
              0.41437,
              0.78759,
              1.5444
            ],
            [
              0.04973,
              0.07886,
              0.10351,
              0.14906,
              0.23702,
              0.41445,
              0.7877,
              1.5445
            ],
            [
              0.053,
              0.0825,
              0.107,
              0.1517,
              0.2387,
              0.4151,
              0.7879,
              1.5445
            ],
            [
              0.0578,
              0.0883,
              0.1132,
              0.1582,
              0.2442,
              0.4186,
              0.7889,
              1.5451
            ],
            [
              0.0645,
              0.0964,
              0.1218,
              0.167,
              0.2527,
              0.4248,
              0.7919,
              1.5453
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07911,
              0.06984,
              0.06113,
              0.04419,
              0.01056,
              -0.05713,
              -0.1934,
              -0.4668
            ],
            [
              0.07898,
              0.06965,
              0.06098,
              0.04404,
              0.01041,
              -0.05728,
              -0.19353,
              -0.46694
            ],
            [
              0.07885,
              0.06955,
              0.06084,
              0.0439,
              0.01027,
              -0.05743,
              -0.19367,
              -0.46706
            ],
            [
              0.0787,
              0.06937,
              0.06068,
              0.04376,
              0.01013,
              -0.05757,
              -0.19381,
              -0.4672
            ],
            [
              0.07853,
              0.06918,
              0.06052,
              0.04357,
              0.00996,
              -0.05773,
              -0.19398,
              -0.46739
            ],
            [
              0.07837,
              0.06901,
              0.06035,
              0.0434,
              0.00978,
              -0.05792,
              -0.19418,
              -0.46758
            ],
            [
              0.07819,
              0.06885,
              0.06019,
              0.04325,
              0.00962,
              -0.05807,
              -0.19432,
              -0.46771
            ],
            [
              0.07806,
              0.06874,
              0.06004,
              0.04312,
              0.00948,
              -0.0582,
              -0.19445,
              -0.46787
            ],
            [
              0.078,
              0.06872,
              0.05999,
              0.04306,
              0.00944,
              -0.05825,
              -0.19451,
              -0.46791
            ],
            [
              0.07808,
              0.06882,
              0.06003,
              0.04309,
              0.00946,
              -0.05821,
              -0.19448,
              -0.46787
            ],
            [
              0.07832,
              0.06903,
              0.06032,
              0.04335,
              0.00972,
              -0.05796,
              -0.1942,
              -0.46759
            ],
            [
              0.079,
              0.06972,
              0.06098,
              0.044,
              0.01035,
              -0.05734,
              -0.19356,
              -0.46693
            ],
            [
              0.08023,
              0.07091,
              0.06219,
              0.04521,
              0.01155,
              -0.05614,
              -0.19235,
              -0.46572
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05999,
              0.06851,
              0.07712,
              0.09437,
              0.1286,
              0.19711,
              0.33344,
              0.60644
            ],
            [
              0.05982,
              0.06835,
              0.07697,
              0.0942,
              0.12843,
              0.19679,
              0.33299,
              0.60611
            ],
            [
              0.05968,
              0.0682,
              0.07682,
              0.09408,
              0.12832,
              0.19654,
              0.33286,
              0.60542
            ],
            [
              0.05948,
              0.06801,
              0.07663,
              0.09381,
              0.12819,
              0.1964,
              0.3327,
              0.60528
            ],
            [
              0.05922,
              0.06775,
              0.07637,
              0.09366,
              0.12786,
              0.19624,
              0.33253,
              0.60562
            ],
            [
              0.05897,
              0.06752,
              0.07615,
              0.09334,
              0.1276,
              0.19587,
              0.33219,
              0.6048
            ],
            [
              0.0587,
              0.06723,
              0.07585,
              0.09307,
              0.12735,
              0.19586,
              0.33213,
              0.60522
            ],
            [
              0.05844,
              0.06697,
              0.0756,
              0.0928,
              0.12707,
              0.19534,
              0.33169,
              0.60433
            ],
            [
              0.0582,
              0.06676,
              0.07538,
              0.09257,
              0.12688,
              0.19513,
              0.33147,
              0.60375
            ],
            [
              0.05811,
              0.06665,
              0.0753,
              0.09249,
              0.12686,
              0.19507,
              0.33145,
              0.60408
            ],
            [
              0.0582,
              0.06675,
              0.07539,
              0.0926,
              0.12703,
              0.19546,
              0.33159,
              0.60331
            ],
            [
              0.05874,
              0.06731,
              0.07596,
              0.09312,
              0.12745,
              0.19582,
              0.3321,
              0.60422
            ],
            [
              0.05991,
              0.06846,
              0.07712,
              0.0944,
              0.12893,
              0.19713,
              0.33315,
              0.60582
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.08581,
              0.09047,
              0.0959,
              0.10711,
              0.12973,
              0.17396,
              0.26142,
              0.434
            ],
            [
              0.08566,
              0.0903,
              0.09575,
              0.10695,
              0.12958,
              0.1738,
              0.26127,
              0.43453
            ],
            [
              0.08551,
              0.09015,
              0.0956,
              0.1068,
              0.12943,
              0.17363,
              0.26084,
              0.43435
            ],
            [
              0.08531,
              0.08998,
              0.0954,
              0.10661,
              0.12923,
              0.17347,
              0.26074,
              0.43448
            ],
            [
              0.08505,
              0.08971,
              0.09514,
              0.10635,
              0.12898,
              0.17319,
              0.26053,
              0.43299
            ],
            [
              0.08481,
              0.08946,
              0.09489,
              0.10611,
              0.12874,
              0.17299,
              0.26013,
              0.43358
            ],
            [
              0.08452,
              0.08919,
              0.09461,
              0.10583,
              0.12844,
              0.17273,
              0.25958,
              0.43383
            ],
            [
              0.08426,
              0.0889,
              0.09434,
              0.10556,
              0.12818,
              0.17239,
              0.25963,
              0.43351
            ],
            [
              0.08402,
              0.08866,
              0.0941,
              0.10533,
              0.12798,
              0.17226,
              0.25904,
              0.43249
            ],
            [
              0.08394,
              0.08859,
              0.09404,
              0.10527,
              0.12794,
              0.1722,
              0.25939,
              0.43253
            ],
            [
              0.08404,
              0.08869,
              0.09415,
              0.1054,
              0.1281,
              0.17244,
              0.25978,
              0.43265
            ],
            [
              0.08458,
              0.08923,
              0.09469,
              0.10594,
              0.12864,
              0.17289,
              0.25996,
              0.43341
            ],
            [
              0.08573,
              0.0904,
              0.09584,
              0.10712,
              0.12983,
              0.17411,
              0.26146,
              0.43512
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.09988,
              0.10801,
              0.11667,
              0.13412,
              0.16904,
              0.23797,
              0.37417,
              0.64642
            ],
            [
              0.09972,
              0.10784,
              0.11651,
              0.13398,
              0.16886,
              0.23767,
              0.37402,
              0.64608
            ],
            [
              0.09959,
              0.10773,
              0.11638,
              0.13384,
              0.16875,
              0.23758,
              0.3739,
              0.64615
            ],
            [
              0.09945,
              0.10755,
              0.11624,
              0.13369,
              0.16859,
              0.23742,
              0.37382,
              0.64591
            ],
            [
              0.09926,
              0.10741,
              0.11607,
              0.13352,
              0.16839,
              0.23724,
              0.37375,
              0.64519
            ],
            [
              0.09908,
              0.10722,
              0.1159,
              0.13335,
              0.16825,
              0.23703,
              0.37344,
              0.64515
            ],
            [
              0.09893,
              0.10704,
              0.11571,
              0.13317,
              0.16811,
              0.23675,
              0.37325,
              0.64527
            ],
            [
              0.09877,
              0.10693,
              0.11559,
              0.13304,
              0.16792,
              0.23661,
              0.37329,
              0.64544
            ],
            [
              0.09871,
              0.10682,
              0.11548,
              0.13296,
              0.16785,
              0.23648,
              0.3731,
              0.64517
            ],
            [
              0.09872,
              0.10691,
              0.11551,
              0.13297,
              0.16785,
              0.23657,
              0.37325,
              0.64529
            ],
            [
              0.09903,
              0.10715,
              0.1158,
              0.13325,
              0.16806,
              0.237,
              0.37315,
              0.64574
            ],
            [
              0.09973,
              0.10783,
              0.11642,
              0.13385,
              0.16869,
              0.23757,
              0.37385,
              0.64547
            ],
            [
              0.10109,
              0.10915,
              0.11776,
              0.13523,
              0.16988,
              0.23856,
              0.37509,
              0.64723
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07651,
              0.06721,
              0.0585,
              0.04155,
              0.00791,
              -0.05976,
              -0.19599,
              -0.46936
            ],
            [
              0.07635,
              0.06706,
              0.05835,
              0.04139,
              0.00776,
              -0.05992,
              -0.19615,
              -0.46952
            ],
            [
              0.07628,
              0.06695,
              0.05825,
              0.04131,
              0.00768,
              -0.06,
              -0.19623,
              -0.46961
            ],
            [
              0.07614,
              0.06683,
              0.05812,
              0.04117,
              0.00753,
              -0.06014,
              -0.19639,
              -0.46976
            ],
            [
              0.07606,
              0.06674,
              0.05803,
              0.04109,
              0.00745,
              -0.06025,
              -0.19647,
              -0.46984
            ],
            [
              0.076,
              0.06665,
              0.05796,
              0.04101,
              0.00737,
              -0.06031,
              -0.19656,
              -0.46993
            ],
            [
              0.07603,
              0.06674,
              0.05803,
              0.04105,
              0.00742,
              -0.06027,
              -0.1965,
              -0.46989
            ],
            [
              0.07627,
              0.06695,
              0.05824,
              0.04128,
              0.00763,
              -0.06007,
              -0.1963,
              -0.46967
            ],
            [
              0.07682,
              0.06747,
              0.05875,
              0.04179,
              0.00817,
              -0.05952,
              -0.19575,
              -0.4691
            ],
            [
              0.07773,
              0.06838,
              0.05968,
              0.04272,
              0.00907,
              -0.05863,
              -0.19486,
              -0.46822
            ],
            [
              0.07897,
              0.06964,
              0.06091,
              0.04395,
              0.01027,
              -0.05744,
              -0.19367,
              -0.46704
            ],
            [
              0.08064,
              0.07131,
              0.06257,
              0.04558,
              0.01189,
              -0.05582,
              -0.19205,
              -0.46541
            ],
            [
              0.08292,
              0.07359,
              0.06487,
              0.04785,
              0.01413,
              -0.05359,
              -0.18982,
              -0.46313
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.04712,
              0.05567,
              0.0643,
              0.0815,
              0.11581,
              0.18412,
              0.32062,
              0.59205
            ],
            [
              0.04719,
              0.05572,
              0.06436,
              0.08154,
              0.11595,
              0.1841,
              0.32044,
              0.5921
            ],
            [
              0.04714,
              0.05566,
              0.0643,
              0.08153,
              0.11579,
              0.18419,
              0.32012,
              0.59305
            ],
            [
              0.04713,
              0.05566,
              0.06429,
              0.08154,
              0.11579,
              0.1842,
              0.32043,
              0.59279
            ],
            [
              0.04718,
              0.05571,
              0.06435,
              0.08159,
              0.11583,
              0.18419,
              0.32066,
              0.59298
            ],
            [
              0.04727,
              0.05581,
              0.06442,
              0.08165,
              0.1159,
              0.18431,
              0.32059,
              0.59285
            ],
            [
              0.0475,
              0.05605,
              0.06466,
              0.08189,
              0.11614,
              0.18449,
              0.32074,
              0.59312
            ],
            [
              0.04791,
              0.05645,
              0.06508,
              0.08226,
              0.11665,
              0.18492,
              0.32127,
              0.59336
            ],
            [
              0.0486,
              0.05713,
              0.06575,
              0.08294,
              0.11733,
              0.18551,
              0.32191,
              0.59429
            ],
            [
              0.0496,
              0.05813,
              0.06674,
              0.08395,
              0.11827,
              0.18646,
              0.32251,
              0.59591
            ],
            [
              0.05088,
              0.05942,
              0.06802,
              0.08521,
              0.11951,
              0.18777,
              0.32386,
              0.59679
            ],
            [
              0.05271,
              0.06124,
              0.06984,
              0.08699,
              0.12123,
              0.18957,
              0.3257,
              0.59731
            ],
            [
              0.0554,
              0.06391,
              0.07252,
              0.08978,
              0.12416,
              0.19209,
              0.32819,
              0.60023
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07369,
              0.07829,
              0.08374,
              0.09496,
              0.11764,
              0.16186,
              0.24934,
              0.42274
            ],
            [
              0.07358,
              0.07826,
              0.08365,
              0.09488,
              0.11755,
              0.16174,
              0.24895,
              0.4222
            ],
            [
              0.07362,
              0.07826,
              0.0837,
              0.09492,
              0.11759,
              0.16183,
              0.24886,
              0.42282
            ],
            [
              0.07359,
              0.07823,
              0.08366,
              0.09489,
              0.11755,
              0.16183,
              0.24898,
              0.42192
            ],
            [
              0.07355,
              0.07818,
              0.08363,
              0.09484,
              0.11751,
              0.16169,
              0.24922,
              0.42194
            ],
            [
              0.07352,
              0.07813,
              0.08356,
              0.09479,
              0.11746,
              0.16159,
              0.249,
              0.4224
            ],
            [
              0.07345,
              0.07813,
              0.08354,
              0.09475,
              0.11743,
              0.16154,
              0.24894,
              0.42197
            ],
            [
              0.07347,
              0.07812,
              0.08351,
              0.09473,
              0.11738,
              0.16161,
              0.24881,
              0.42179
            ],
            [
              0.07353,
              0.07817,
              0.08359,
              0.09478,
              0.11743,
              0.16155,
              0.24886,
              0.42218
            ],
            [
              0.07377,
              0.07841,
              0.08385,
              0.09503,
              0.11764,
              0.16175,
              0.24908,
              0.42248
            ],
            [
              0.07429,
              0.07894,
              0.08434,
              0.09552,
              0.11808,
              0.16221,
              0.2496,
              0.4226
            ],
            [
              0.07524,
              0.07988,
              0.0853,
              0.09643,
              0.11892,
              0.16279,
              0.25024,
              0.42348
            ],
            [
              0.07694,
              0.08158,
              0.08695,
              0.09809,
              0.12048,
              0.16447,
              0.25185,
              0.42525
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.09521,
              0.10339,
              0.11203,
              0.12949,
              0.16434,
              0.23309,
              0.36934,
              0.64167
            ],
            [
              0.09512,
              0.10332,
              0.11194,
              0.12939,
              0.16421,
              0.23297,
              0.36961,
              0.64118
            ],
            [
              0.09495,
              0.10314,
              0.11177,
              0.12924,
              0.16402,
              0.23283,
              0.36931,
              0.64151
            ],
            [
              0.09484,
              0.10302,
              0.11164,
              0.12911,
              0.16395,
              0.23275,
              0.36922,
              0.64133
            ],
            [
              0.09467,
              0.10287,
              0.11149,
              0.12894,
              0.16384,
              0.23252,
              0.36914,
              0.64129
            ],
            [
              0.09452,
              0.1027,
              0.11134,
              0.12884,
              0.16361,
              0.23228,
              0.36882,
              0.6412
            ],
            [
              0.09445,
              0.10263,
              0.11127,
              0.12875,
              0.16358,
              0.23222,
              0.36883,
              0.64042
            ],
            [
              0.09445,
              0.10262,
              0.11127,
              0.12871,
              0.16353,
              0.23235,
              0.3689,
              0.64089
            ],
            [
              0.09456,
              0.10273,
              0.11138,
              0.12885,
              0.16359,
              0.23236,
              0.36902,
              0.64123
            ],
            [
              0.09483,
              0.10302,
              0.11165,
              0.12907,
              0.16387,
              0.23261,
              0.36917,
              0.64091
            ],
            [
              0.09538,
              0.10354,
              0.11214,
              0.12953,
              0.16429,
              0.233,
              0.36934,
              0.64127
            ],
            [
              0.09621,
              0.1043,
              0.11287,
              0.13019,
              0.16489,
              0.23354,
              0.36995,
              0.64209
            ],
            [
              0.09783,
              0.10584,
              0.11436,
              0.13164,
              0.16614,
              0.23477,
              0.37122,
              0.64357
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05131,
              0.04184,
              0.03305,
              0.01602,
              -0.01771,
              -0.08555,
              -0.22194,
              -0.49543
            ],
            [
              0.05127,
              0.04178,
              0.03301,
              0.01598,
              -0.01775,
              -0.0856,
              -0.22198,
              -0.49546
            ],
            [
              0.05123,
              0.04174,
              0.03294,
              0.01592,
              -0.0178,
              -0.08563,
              -0.22202,
              -0.49551
            ],
            [
              0.0512,
              0.04171,
              0.03293,
              0.0159,
              -0.01784,
              -0.08569,
              -0.22206,
              -0.49555
            ],
            [
              0.05113,
              0.04168,
              0.03289,
              0.01584,
              -0.01789,
              -0.08572,
              -0.2221,
              -0.49559
            ],
            [
              0.0511,
              0.04165,
              0.03286,
              0.01581,
              -0.01793,
              -0.08577,
              -0.22215,
              -0.49564
            ],
            [
              0.05105,
              0.04157,
              0.03279,
              0.01575,
              -0.01801,
              -0.08584,
              -0.22221,
              -0.49568
            ],
            [
              0.05101,
              0.04152,
              0.03274,
              0.01568,
              -0.01808,
              -0.08592,
              -0.22229,
              -0.49576
            ],
            [
              0.05097,
              0.0415,
              0.03269,
              0.01561,
              -0.01819,
              -0.08605,
              -0.22238,
              -0.49584
            ],
            [
              0.05094,
              0.04144,
              0.03261,
              0.01552,
              -0.01833,
              -0.0862,
              -0.22251,
              -0.49592
            ],
            [
              0.05111,
              0.04155,
              0.03269,
              0.0155,
              -0.01844,
              -0.08634,
              -0.22263,
              -0.49599
            ],
            [
              0.05174,
              0.04207,
              0.03312,
              0.01577,
              -0.01831,
              -0.0863,
              -0.2226,
              -0.49592
            ],
            [
              0.05306,
              0.04317,
              0.03404,
              0.01651,
              -0.01782,
              -0.08595,
              -0.22232,
              -0.49561
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.04079,
              0.0494,
              0.05809,
              0.07538,
              0.10956,
              0.1777,
              0.31347,
              0.58523
            ],
            [
              0.04083,
              0.04944,
              0.05814,
              0.07545,
              0.10966,
              0.17774,
              0.31329,
              0.58521
            ],
            [
              0.04076,
              0.04937,
              0.05806,
              0.07538,
              0.10963,
              0.17765,
              0.31341,
              0.58552
            ],
            [
              0.04071,
              0.04932,
              0.05802,
              0.07537,
              0.10958,
              0.17762,
              0.31323,
              0.58496
            ],
            [
              0.04065,
              0.04927,
              0.05796,
              0.07527,
              0.10942,
              0.17757,
              0.31331,
              0.58517
            ],
            [
              0.04061,
              0.0492,
              0.05789,
              0.07516,
              0.10943,
              0.17749,
              0.31351,
              0.58608
            ],
            [
              0.04051,
              0.04912,
              0.05777,
              0.07503,
              0.10933,
              0.17734,
              0.31309,
              0.58609
            ],
            [
              0.04039,
              0.04898,
              0.05764,
              0.07488,
              0.10929,
              0.17729,
              0.31351,
              0.58533
            ],
            [
              0.0403,
              0.04891,
              0.05755,
              0.0748,
              0.10897,
              0.17707,
              0.31263,
              0.58578
            ],
            [
              0.04032,
              0.04891,
              0.05752,
              0.07471,
              0.10893,
              0.17704,
              0.3129,
              0.58458
            ],
            [
              0.04045,
              0.04897,
              0.05761,
              0.07475,
              0.10886,
              0.17699,
              0.31314,
              0.58474
            ],
            [
              0.04077,
              0.0492,
              0.05784,
              0.07493,
              0.10898,
              0.17693,
              0.31265,
              0.5845
            ],
            [
              0.04142,
              0.04973,
              0.05826,
              0.0754,
              0.10951,
              0.17753,
              0.31295,
              0.58569
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.06971,
              0.07452,
              0.08,
              0.09139,
              0.1144,
              0.15918,
              0.24606,
              0.41891
            ],
            [
              0.06976,
              0.07456,
              0.08005,
              0.09144,
              0.11445,
              0.15924,
              0.24614,
              0.41915
            ],
            [
              0.06969,
              0.0745,
              0.07999,
              0.09137,
              0.11438,
              0.15916,
              0.24607,
              0.4187
            ],
            [
              0.06965,
              0.07445,
              0.07994,
              0.09132,
              0.11434,
              0.15912,
              0.24587,
              0.41886
            ],
            [
              0.06961,
              0.07442,
              0.0799,
              0.09129,
              0.11431,
              0.15909,
              0.24586,
              0.41886
            ],
            [
              0.06952,
              0.07433,
              0.07981,
              0.09119,
              0.11421,
              0.159,
              0.24598,
              0.41884
            ],
            [
              0.0694,
              0.07419,
              0.07969,
              0.09107,
              0.11407,
              0.15886,
              0.24581,
              0.41874
            ],
            [
              0.06926,
              0.07405,
              0.07956,
              0.09092,
              0.11391,
              0.15867,
              0.24552,
              0.41924
            ],
            [
              0.0691,
              0.07388,
              0.07939,
              0.09075,
              0.1137,
              0.15844,
              0.24523,
              0.41827
            ],
            [
              0.06904,
              0.0738,
              0.07928,
              0.09059,
              0.11349,
              0.15817,
              0.24479,
              0.41828
            ],
            [
              0.06902,
              0.07376,
              0.07914,
              0.09041,
              0.11324,
              0.15786,
              0.24477,
              0.41762
            ],
            [
              0.0692,
              0.07381,
              0.07921,
              0.09041,
              0.11314,
              0.15771,
              0.2445,
              0.41769
            ],
            [
              0.06968,
              0.0742,
              0.07953,
              0.09061,
              0.11326,
              0.15774,
              0.2443,
              0.41751
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07487,
              0.08286,
              0.09148,
              0.10908,
              0.14404,
              0.21306,
              0.3501,
              0.62148
            ],
            [
              0.07479,
              0.08283,
              0.09141,
              0.10894,
              0.14404,
              0.21343,
              0.34963,
              0.62191
            ],
            [
              0.07478,
              0.0828,
              0.09137,
              0.10899,
              0.14394,
              0.21318,
              0.34973,
              0.62153
            ],
            [
              0.07477,
              0.08276,
              0.09136,
              0.10887,
              0.14399,
              0.21335,
              0.34955,
              0.62175
            ],
            [
              0.0747,
              0.08272,
              0.09134,
              0.10886,
              0.1439,
              0.21291,
              0.34994,
              0.62182
            ],
            [
              0.07464,
              0.08271,
              0.0913,
              0.10888,
              0.14381,
              0.21294,
              0.3498,
              0.6214
            ],
            [
              0.07464,
              0.08264,
              0.09124,
              0.10873,
              0.14378,
              0.21303,
              0.34996,
              0.62161
            ],
            [
              0.07459,
              0.08258,
              0.09119,
              0.10866,
              0.14367,
              0.21294,
              0.34954,
              0.62131
            ],
            [
              0.07452,
              0.08256,
              0.09113,
              0.10856,
              0.14353,
              0.21273,
              0.34964,
              0.6211
            ],
            [
              0.07445,
              0.08243,
              0.091,
              0.10841,
              0.14331,
              0.21254,
              0.34946,
              0.62114
            ],
            [
              0.07454,
              0.08246,
              0.09096,
              0.10836,
              0.14313,
              0.21221,
              0.34891,
              0.62075
            ],
            [
              0.0751,
              0.08293,
              0.09127,
              0.10845,
              0.14309,
              0.21215,
              0.34893,
              0.62021
            ],
            [
              0.07634,
              0.08394,
              0.09216,
              0.10905,
              0.14347,
              0.21246,
              0.34884,
              0.62074
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.27469,
    "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.58956,
              0.62988,
              0.65732,
              0.69861,
              0.75994,
              0.85213,
              0.99667,
              1.23967
            ],
            [
              0.59234,
              0.63266,
              0.6601,
              0.70139,
              0.76272,
              0.85491,
              0.99954,
              1.24244
            ],
            [
              0.59581,
              0.63612,
              0.66357,
              0.70486,
              0.76619,
              0.8584,
              1.00292,
              1.24592
            ],
            [
              0.6012,
              0.64153,
              0.66897,
              0.71025,
              0.77158,
              0.86377,
              1.00838,
              1.25138
            ],
            [
              0.60953,
              0.64985,
              0.67729,
              0.71858,
              0.77991,
              0.87211,
              1.01671,
              1.25971
            ],
            [
              0.62228,
              0.6626,
              0.69004,
              0.73133,
              0.79266,
              0.88485,
              1.02942,
              1.27242
            ],
            [
              0.64173,
              0.68205,
              0.7095,
              0.75078,
              0.81211,
              0.90433,
              1.04893,
              1.29183
            ],
            [
              0.67051,
              0.71084,
              0.73828,
              0.77956,
              0.84086,
              0.93306,
              1.07766,
              1.32066
            ],
            [
              0.71085,
              0.75117,
              0.77865,
              0.81985,
              0.88125,
              0.97345,
              1.11805,
              1.36095
            ],
            [
              0.76549,
              0.80579,
              0.83319,
              0.87449,
              0.93579,
              1.02799,
              1.17259,
              1.41569
            ],
            [
              0.83512,
              0.87532,
              0.90272,
              0.94402,
              1.00542,
              1.09762,
              1.24232,
              1.48542
            ],
            [
              0.91657,
              0.95657,
              0.98387,
              1.02517,
              1.08657,
              1.17897,
              1.32377,
              1.56707
            ],
            [
              0.9996,
              1.0394,
              1.0666,
              1.1077,
              1.169,
              1.2614,
              1.4062,
              1.6494
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.48382,
              0.5252,
              0.55426,
              0.60059,
              0.67713,
              0.81298,
              1.07227,
              1.58607
            ],
            [
              0.48657,
              0.52795,
              0.557,
              0.60333,
              0.67998,
              0.81579,
              1.07484,
              1.58914
            ],
            [
              0.48997,
              0.53134,
              0.5604,
              0.60673,
              0.68331,
              0.81903,
              1.07852,
              1.59272
            ],
            [
              0.49506,
              0.53644,
              0.56549,
              0.61182,
              0.68846,
              0.82424,
              1.08348,
              1.59768
            ],
            [
              0.50278,
              0.54415,
              0.57321,
              0.61954,
              0.69606,
              0.83199,
              1.09111,
              1.60451
            ],
            [
              0.51419,
              0.55556,
              0.58462,
              0.63095,
              0.70758,
              0.84344,
              1.10232,
              1.61642
            ],
            [
              0.53007,
              0.57145,
              0.60049,
              0.64682,
              0.72346,
              0.85921,
              1.11853,
              1.63273
            ],
            [
              0.55079,
              0.59215,
              0.6212,
              0.66752,
              0.74417,
              0.88006,
              1.13896,
              1.65296
            ],
            [
              0.57742,
              0.61875,
              0.64779,
              0.69411,
              0.77075,
              0.90665,
              1.16545,
              1.67915
            ],
            [
              0.61119,
              0.65249,
              0.68149,
              0.72779,
              0.80439,
              0.94009,
              1.19959,
              1.71359
            ],
            [
              0.65262,
              0.69382,
              0.72282,
              0.76912,
              0.84582,
              0.98172,
              1.24052,
              1.75422
            ],
            [
              0.70237,
              0.74357,
              0.77247,
              0.81877,
              0.89537,
              1.03127,
              1.29017,
              1.80447
            ],
            [
              0.7604,
              0.8015,
              0.8305,
              0.8768,
              0.9535,
              1.0894,
              1.3481,
              1.8621
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07073,
              0.09352,
              0.10977,
              0.13645,
              0.18081,
              0.25722,
              0.39752,
              0.6725
            ],
            [
              0.07073,
              0.09354,
              0.10977,
              0.13645,
              0.18081,
              0.25722,
              0.39751,
              0.67248
            ],
            [
              0.07073,
              0.09347,
              0.10972,
              0.13642,
              0.18077,
              0.25721,
              0.39732,
              0.67263
            ],
            [
              0.07073,
              0.09357,
              0.10995,
              0.13646,
              0.1806,
              0.25721,
              0.39699,
              0.67244
            ],
            [
              0.07073,
              0.09349,
              0.10974,
              0.13644,
              0.18079,
              0.25719,
              0.39747,
              0.67258
            ],
            [
              0.07073,
              0.09355,
              0.10978,
              0.13645,
              0.18081,
              0.25727,
              0.39756,
              0.6724
            ],
            [
              0.07073,
              0.0935,
              0.10975,
              0.13644,
              0.18076,
              0.25721,
              0.3975,
              0.6725
            ],
            [
              0.07072,
              0.09354,
              0.10994,
              0.13647,
              0.18062,
              0.25728,
              0.3971,
              0.6724
            ],
            [
              0.07071,
              0.09353,
              0.10972,
              0.13642,
              0.1808,
              0.2572,
              0.3976,
              0.6725
            ],
            [
              0.0707,
              0.0933,
              0.1097,
              0.1364,
              0.1808,
              0.257,
              0.3971,
              0.6726
            ],
            [
              0.0705,
              0.0932,
              0.1095,
              0.1362,
              0.1804,
              0.2572,
              0.3969,
              0.6722
            ],
            [
              0.0702,
              0.0929,
              0.1092,
              0.136,
              0.1803,
              0.2571,
              0.3973,
              0.6717
            ],
            [
              0.0699,
              0.0925,
              0.109,
              0.1355,
              0.18,
              0.2568,
              0.3967,
              0.6721
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05107,
              0.08024,
              0.10362,
              0.14692,
              0.23154,
              0.40449,
              0.76495,
              1.49594
            ],
            [
              0.05107,
              0.08017,
              0.10373,
              0.14694,
              0.23141,
              0.4057,
              0.76541,
              1.49889
            ],
            [
              0.05105,
              0.08022,
              0.10366,
              0.1469,
              0.23152,
              0.405,
              0.76386,
              1.4972
            ],
            [
              0.05108,
              0.08018,
              0.10372,
              0.14691,
              0.23127,
              0.40555,
              0.76525,
              1.49811
            ],
            [
              0.05105,
              0.08026,
              0.10371,
              0.14697,
              0.23144,
              0.40497,
              0.76554,
              1.4969
            ],
            [
              0.05107,
              0.08021,
              0.10376,
              0.14693,
              0.23148,
              0.40575,
              0.76557,
              1.5
            ],
            [
              0.05105,
              0.08019,
              0.1037,
              0.14689,
              0.23128,
              0.4055,
              0.7652,
              1.498
            ],
            [
              0.05101,
              0.08014,
              0.10369,
              0.1469,
              0.23146,
              0.4057,
              0.76552,
              1.5
            ],
            [
              0.05092,
              0.08012,
              0.10388,
              0.14681,
              0.23143,
              0.40546,
              0.7657,
              1.5008
            ],
            [
              0.05083,
              0.07998,
              0.1034,
              0.1467,
              0.2316,
              0.405,
              0.7647,
              1.4972
            ],
            [
              0.0506,
              0.0797,
              0.1034,
              0.1465,
              0.231,
              0.4053,
              0.7657,
              1.501
            ],
            [
              0.0503,
              0.0797,
              0.1034,
              0.1463,
              0.2314,
              0.4054,
              0.7656,
              1.4994
            ],
            [
              0.0502,
              0.0795,
              0.1031,
              0.1464,
              0.2309,
              0.4046,
              0.7634,
              1.4974
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.63126,
              0.67631,
              0.70772,
              0.75547,
              0.82586,
              0.92907,
              1.08667,
              1.34727
            ],
            [
              0.63414,
              0.67918,
              0.71058,
              0.75833,
              0.82873,
              0.93194,
              1.08954,
              1.35014
            ],
            [
              0.63757,
              0.68262,
              0.71401,
              0.76178,
              0.83216,
              0.93539,
              1.09302,
              1.35342
            ],
            [
              0.6427,
              0.68776,
              0.71915,
              0.7669,
              0.83728,
              0.94051,
              1.09808,
              1.35858
            ],
            [
              0.65039,
              0.69542,
              0.72682,
              0.77457,
              0.84497,
              0.94818,
              1.10571,
              1.36641
            ],
            [
              0.66185,
              0.70688,
              0.73827,
              0.78603,
              0.85643,
              0.95962,
              1.11722,
              1.37792
            ],
            [
              0.67821,
              0.72324,
              0.7546,
              0.80236,
              0.87273,
              0.97593,
              1.13353,
              1.39403
            ],
            [
              0.7006,
              0.74554,
              0.77687,
              0.82459,
              0.89496,
              0.99816,
              1.15576,
              1.41636
            ],
            [
              0.73063,
              0.77545,
              0.80665,
              0.85435,
              0.92465,
              1.02795,
              1.18555,
              1.44615
            ],
            [
              0.76919,
              0.81369,
              0.84489,
              0.89239,
              0.96279,
              1.06609,
              1.22369,
              1.48429
            ],
            [
              0.81602,
              0.86032,
              0.89132,
              0.93882,
              1.00922,
              1.11252,
              1.27022,
              1.53082
            ],
            [
              0.87127,
              0.91537,
              0.94627,
              0.99357,
              1.06397,
              1.16737,
              1.32507,
              1.58577
            ],
            [
              0.935,
              0.9788,
              1.0096,
              1.0568,
              1.1272,
              1.2307,
              1.3885,
              1.6491
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.48733,
              0.52992,
              0.56,
              0.60799,
              0.68677,
              0.82475,
              1.08467,
              1.59747
            ],
            [
              0.49016,
              0.53275,
              0.56283,
              0.61082,
              0.6896,
              0.82756,
              1.08754,
              1.60024
            ],
            [
              0.49366,
              0.53625,
              0.56633,
              0.61432,
              0.6931,
              0.83107,
              1.09102,
              1.60382
            ],
            [
              0.49909,
              0.54168,
              0.57176,
              0.61974,
              0.69854,
              0.83649,
              1.09648,
              1.60908
            ],
            [
              0.50742,
              0.55001,
              0.58009,
              0.62808,
              0.70686,
              0.84481,
              1.10481,
              1.61751
            ],
            [
              0.52015,
              0.56274,
              0.59282,
              0.64081,
              0.71959,
              0.85756,
              1.11752,
              1.63022
            ],
            [
              0.53954,
              0.58213,
              0.61222,
              0.6602,
              0.73899,
              0.87695,
              1.13693,
              1.64953
            ],
            [
              0.56833,
              0.61092,
              0.641,
              0.68899,
              0.76777,
              0.90576,
              1.16566,
              1.67866
            ],
            [
              0.60935,
              0.65194,
              0.68203,
              0.73002,
              0.80875,
              0.94675,
              1.20675,
              1.71965
            ],
            [
              0.66609,
              0.70869,
              0.73879,
              0.78679,
              0.86559,
              1.00349,
              1.26349,
              1.77639
            ],
            [
              0.74082,
              0.78352,
              0.81362,
              0.86162,
              0.94042,
              1.07842,
              1.33832,
              1.85142
            ],
            [
              0.83467,
              0.87757,
              0.90787,
              0.95607,
              1.03507,
              1.17297,
              1.43307,
              1.94597
            ],
            [
              0.9468,
              0.9906,
              1.0213,
              1.0699,
              1.1491,
              1.2873,
              1.5475,
              2.0606
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.08202,
              0.10346,
              0.1191,
              0.14567,
              0.19186,
              0.27308,
              0.42042,
              0.7095
            ],
            [
              0.08207,
              0.10346,
              0.11908,
              0.14566,
              0.19191,
              0.27299,
              0.42065,
              0.7094
            ],
            [
              0.08203,
              0.10353,
              0.11908,
              0.14587,
              0.19218,
              0.27328,
              0.42108,
              0.7099
            ],
            [
              0.08199,
              0.10348,
              0.11909,
              0.1457,
              0.19195,
              0.27341,
              0.42119,
              0.7099
            ],
            [
              0.08211,
              0.10347,
              0.11907,
              0.14566,
              0.19193,
              0.27302,
              0.42068,
              0.7096
            ],
            [
              0.08211,
              0.10347,
              0.11908,
              0.14566,
              0.19197,
              0.27297,
              0.42063,
              0.7097
            ],
            [
              0.08196,
              0.10347,
              0.11907,
              0.1459,
              0.19195,
              0.27341,
              0.4212,
              0.7098
            ],
            [
              0.0819,
              0.10341,
              0.11904,
              0.1458,
              0.19211,
              0.2734,
              0.4211,
              0.7098
            ],
            [
              0.0817,
              0.10329,
              0.11899,
              0.1456,
              0.1917,
              0.2729,
              0.4206,
              0.7099
            ],
            [
              0.0815,
              0.1032,
              0.1189,
              0.1456,
              0.1915,
              0.2727,
              0.4207,
              0.7098
            ],
            [
              0.081,
              0.103,
              0.119,
              0.1452,
              0.1915,
              0.2728,
              0.4202,
              0.7097
            ],
            [
              0.0808,
              0.103,
              0.1187,
              0.1452,
              0.1915,
              0.2724,
              0.4209,
              0.7097
            ],
            [
              0.0803,
              0.1027,
              0.1187,
              0.1452,
              0.1912,
              0.2726,
              0.4208,
              0.7092
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.0521,
              0.08242,
              0.10657,
              0.15055,
              0.23539,
              0.40753,
              0.76566,
              1.49289
            ],
            [
              0.05209,
              0.08239,
              0.10661,
              0.15061,
              0.23512,
              0.40757,
              0.76619,
              1.49363
            ],
            [
              0.05211,
              0.0824,
              0.10659,
              0.15055,
              0.2354,
              0.40755,
              0.76558,
              1.49291
            ],
            [
              0.05208,
              0.08238,
              0.10662,
              0.15063,
              0.23514,
              0.40768,
              0.7658,
              1.49354
            ],
            [
              0.05208,
              0.08239,
              0.10661,
              0.1506,
              0.23513,
              0.40758,
              0.7661,
              1.4936
            ],
            [
              0.0521,
              0.08237,
              0.10663,
              0.15063,
              0.23514,
              0.40767,
              0.76578,
              1.4933
            ],
            [
              0.0521,
              0.08239,
              0.10662,
              0.15063,
              0.23513,
              0.40768,
              0.76579,
              1.4935
            ],
            [
              0.05211,
              0.08238,
              0.10664,
              0.15069,
              0.23524,
              0.40743,
              0.76514,
              1.4973
            ],
            [
              0.05216,
              0.08242,
              0.10666,
              0.1507,
              0.23531,
              0.4076,
              0.7652,
              1.4937
            ],
            [
              0.0523,
              0.0825,
              0.1067,
              0.1506,
              0.2352,
              0.4077,
              0.7654,
              1.4936
            ],
            [
              0.0525,
              0.0827,
              0.1068,
              0.1507,
              0.2354,
              0.4076,
              0.7659,
              1.4924
            ],
            [
              0.053,
              0.0832,
              0.1073,
              0.1511,
              0.2357,
              0.4076,
              0.7653,
              1.4939
            ],
            [
              0.0536,
              0.0838,
              0.1078,
              0.1518,
              0.2363,
              0.4081,
              0.765,
              1.4935
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.57013,
              0.6125,
              0.64149,
              0.68493,
              0.74866,
              0.84299,
              0.98916,
              1.23337
            ],
            [
              0.57301,
              0.61538,
              0.64437,
              0.68781,
              0.75154,
              0.84588,
              0.99204,
              1.23624
            ],
            [
              0.57646,
              0.61882,
              0.6478,
              0.69126,
              0.75496,
              0.84931,
              0.99552,
              1.23962
            ],
            [
              0.58164,
              0.62399,
              0.65297,
              0.69642,
              0.76014,
              0.85447,
              1.00067,
              1.24487
            ],
            [
              0.58935,
              0.6317,
              0.6607,
              0.70413,
              0.76786,
              0.8622,
              1.00841,
              1.25261
            ],
            [
              0.60094,
              0.64329,
              0.67227,
              0.71572,
              0.77944,
              0.8738,
              1.01992,
              1.26412
            ],
            [
              0.6177,
              0.66003,
              0.689,
              0.73244,
              0.79617,
              0.89053,
              1.03673,
              1.28083
            ],
            [
              0.641,
              0.68326,
              0.71221,
              0.75563,
              0.81937,
              0.91376,
              1.05986,
              1.30406
            ],
            [
              0.67235,
              0.71447,
              0.74336,
              0.78675,
              0.85055,
              0.94485,
              1.09105,
              1.33505
            ],
            [
              0.71229,
              0.75419,
              0.78309,
              0.82649,
              0.89019,
              0.98459,
              1.13069,
              1.37469
            ],
            [
              0.76032,
              0.80192,
              0.83072,
              0.87402,
              0.93772,
              1.03212,
              1.17832,
              1.42232
            ],
            [
              0.81607,
              0.85747,
              0.88617,
              0.92947,
              0.99317,
              1.08757,
              1.23377,
              1.47777
            ],
            [
              0.8812,
              0.9224,
              0.9509,
              0.9941,
              1.0579,
              1.1523,
              1.2985,
              1.5427
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.49796,
              0.54227,
              0.57325,
              0.62233,
              0.70272,
              0.84484,
              1.11797,
              1.65927
            ],
            [
              0.50077,
              0.54507,
              0.57606,
              0.62514,
              0.70553,
              0.84768,
              1.12074,
              1.66214
            ],
            [
              0.50423,
              0.54854,
              0.57952,
              0.6286,
              0.70899,
              0.85111,
              1.12422,
              1.66562
            ],
            [
              0.50963,
              0.55395,
              0.58493,
              0.63401,
              0.7144,
              0.85654,
              1.12957,
              1.67098
            ],
            [
              0.51796,
              0.56226,
              0.59323,
              0.64231,
              0.7227,
              0.86483,
              1.13791,
              1.67931
            ],
            [
              0.53065,
              0.57495,
              0.60593,
              0.65501,
              0.7354,
              0.87752,
              1.15062,
              1.69202
            ],
            [
              0.54999,
              0.59429,
              0.62528,
              0.67436,
              0.75474,
              0.89693,
              1.16993,
              1.71143
            ],
            [
              0.57852,
              0.62283,
              0.65381,
              0.70289,
              0.78327,
              0.92546,
              1.19846,
              1.73986
            ],
            [
              0.61855,
              0.66286,
              0.69384,
              0.74292,
              0.82325,
              0.96545,
              1.23855,
              1.78005
            ],
            [
              0.67299,
              0.71729,
              0.74829,
              0.79739,
              0.87779,
              1.01989,
              1.29299,
              1.83429
            ],
            [
              0.74452,
              0.78882,
              0.81982,
              0.86892,
              0.94932,
              1.09142,
              1.36452,
              1.90582
            ],
            [
              0.83517,
              0.87967,
              0.91077,
              0.96007,
              1.04057,
              1.18287,
              1.45607,
              1.99717
            ],
            [
              0.9457,
              0.9908,
              1.0222,
              1.0718,
              1.1528,
              1.2956,
              1.5689,
              2.1095
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07084,
              0.09138,
              0.10694,
              0.13335,
              0.17788,
              0.25476,
              0.39533,
              0.67008
            ],
            [
              0.07084,
              0.09138,
              0.10693,
              0.13336,
              0.17795,
              0.2548,
              0.39552,
              0.66977
            ],
            [
              0.07088,
              0.09138,
              0.10695,
              0.13328,
              0.17774,
              0.25475,
              0.39471,
              0.67013
            ],
            [
              0.07086,
              0.09139,
              0.10695,
              0.13338,
              0.17785,
              0.25486,
              0.39524,
              0.6702
            ],
            [
              0.07087,
              0.09139,
              0.10695,
              0.13336,
              0.17786,
              0.25478,
              0.39536,
              0.67002
            ],
            [
              0.07088,
              0.09138,
              0.10693,
              0.13327,
              0.17778,
              0.2551,
              0.39487,
              0.67
            ],
            [
              0.07095,
              0.09144,
              0.10696,
              0.13327,
              0.17778,
              0.25508,
              0.39485,
              0.67
            ],
            [
              0.07111,
              0.09155,
              0.10706,
              0.1334,
              0.1779,
              0.25491,
              0.395,
              0.6699
            ],
            [
              0.07136,
              0.09186,
              0.10745,
              0.1335,
              0.1779,
              0.2551,
              0.3947,
              0.6704
            ],
            [
              0.0718,
              0.0922,
              0.1074,
              0.1334,
              0.178,
              0.2547,
              0.3949,
              0.6703
            ],
            [
              0.0721,
              0.0925,
              0.1077,
              0.1337,
              0.1777,
              0.2551,
              0.3955,
              0.6703
            ],
            [
              0.0724,
              0.0929,
              0.1081,
              0.134,
              0.1781,
              0.255,
              0.3948,
              0.6704
            ],
            [
              0.0726,
              0.0933,
              0.1084,
              0.134,
              0.1779,
              0.2545,
              0.3951,
              0.6706
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.055,
              0.08566,
              0.10988,
              0.15397,
              0.24006,
              0.41826,
              0.7874,
              1.53325
            ],
            [
              0.05501,
              0.0857,
              0.10984,
              0.15397,
              0.24005,
              0.41824,
              0.78838,
              1.53362
            ],
            [
              0.05501,
              0.08567,
              0.10988,
              0.15397,
              0.24007,
              0.41824,
              0.78738,
              1.5332
            ],
            [
              0.055,
              0.08566,
              0.10989,
              0.15398,
              0.24006,
              0.41819,
              0.78733,
              1.533
            ],
            [
              0.05502,
              0.08566,
              0.10988,
              0.15398,
              0.24007,
              0.41832,
              0.78736,
              1.5332
            ],
            [
              0.05502,
              0.08566,
              0.10988,
              0.15397,
              0.24007,
              0.41824,
              0.78738,
              1.5332
            ],
            [
              0.055,
              0.08569,
              0.10983,
              0.15399,
              0.24004,
              0.41851,
              0.78754,
              1.5368
            ],
            [
              0.05501,
              0.08568,
              0.10988,
              0.15401,
              0.23998,
              0.41861,
              0.7877,
              1.5328
            ],
            [
              0.05503,
              0.08571,
              0.10988,
              0.15398,
              0.24005,
              0.4186,
              0.7872,
              1.5356
            ],
            [
              0.0551,
              0.0857,
              0.1099,
              0.1541,
              0.2402,
              0.4185,
              0.7884,
              1.5343
            ],
            [
              0.0552,
              0.0858,
              0.11,
              0.1541,
              0.2403,
              0.4184,
              0.7872,
              1.5362
            ],
            [
              0.0559,
              0.0865,
              0.1107,
              0.1548,
              0.2409,
              0.4186,
              0.7862,
              1.5334
            ],
            [
              0.057,
              0.0875,
              0.1116,
              0.1556,
              0.2415,
              0.4188,
              0.7857,
              1.5339
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.60029,
              0.64117,
              0.66898,
              0.71082,
              0.77278,
              0.86561,
              1.01067,
              1.25367
            ],
            [
              0.60309,
              0.64396,
              0.67178,
              0.71358,
              0.77555,
              0.8684,
              1.01344,
              1.25654
            ],
            [
              0.60653,
              0.6474,
              0.67522,
              0.71702,
              0.779,
              0.87186,
              1.01692,
              1.26002
            ],
            [
              0.61194,
              0.65282,
              0.68064,
              0.72244,
              0.78441,
              0.87728,
              1.02238,
              1.26548
            ],
            [
              0.62025,
              0.66114,
              0.68893,
              0.73078,
              0.79273,
              0.88561,
              1.03061,
              1.27371
            ],
            [
              0.63297,
              0.67386,
              0.70165,
              0.7435,
              0.80545,
              0.89833,
              1.04332,
              1.28642
            ],
            [
              0.65237,
              0.69325,
              0.72107,
              0.76286,
              0.82484,
              0.91773,
              1.06273,
              1.30593
            ],
            [
              0.68104,
              0.72191,
              0.74972,
              0.79153,
              0.85346,
              0.94636,
              1.09136,
              1.33446
            ],
            [
              0.72125,
              0.76215,
              0.78995,
              0.83175,
              0.89375,
              0.98655,
              1.13155,
              1.37465
            ],
            [
              0.77559,
              0.81649,
              0.84439,
              0.88619,
              0.94819,
              1.04109,
              1.18609,
              1.42919
            ],
            [
              0.84542,
              0.88622,
              0.91402,
              0.95592,
              1.01782,
              1.11082,
              1.25592,
              1.49902
            ],
            [
              0.92777,
              0.96847,
              0.99617,
              1.03797,
              1.09997,
              1.19307,
              1.33837,
              1.58147
            ],
            [
              1.0141,
              1.0546,
              1.0823,
              1.124,
              1.186,
              1.2791,
              1.4244,
              1.6676
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.48631,
              0.5292,
              0.55936,
              0.60736,
              0.68602,
              0.82394,
              1.08387,
              1.59697
            ],
            [
              0.48911,
              0.532,
              0.56216,
              0.61016,
              0.68884,
              0.82665,
              1.08684,
              1.60024
            ],
            [
              0.49249,
              0.53538,
              0.56553,
              0.61354,
              0.6922,
              0.83008,
              1.09012,
              1.60332
            ],
            [
              0.49755,
              0.54043,
              0.57059,
              0.6186,
              0.69729,
              0.835,
              1.09527,
              1.60908
            ],
            [
              0.50519,
              0.54808,
              0.57824,
              0.62624,
              0.70492,
              0.84274,
              1.10291,
              1.61631
            ],
            [
              0.51663,
              0.55952,
              0.58968,
              0.63768,
              0.71637,
              0.85414,
              1.11432,
              1.62792
            ],
            [
              0.53254,
              0.57542,
              0.60557,
              0.65357,
              0.73223,
              0.87015,
              1.13013,
              1.64323
            ],
            [
              0.55327,
              0.59614,
              0.62629,
              0.67429,
              0.75297,
              0.89076,
              1.15096,
              1.66466
            ],
            [
              0.57985,
              0.62268,
              0.65284,
              0.70081,
              0.77955,
              0.91745,
              1.17715,
              1.69095
            ],
            [
              0.61347,
              0.65629,
              0.68639,
              0.73429,
              0.81309,
              0.95089,
              1.21099,
              1.72479
            ],
            [
              0.65472,
              0.69752,
              0.72762,
              0.77552,
              0.85422,
              0.99212,
              1.25222,
              1.76632
            ],
            [
              0.70437,
              0.74697,
              0.77707,
              0.82497,
              0.90367,
              1.04157,
              1.30177,
              1.81487
            ],
            [
              0.7624,
              0.805,
              0.835,
              0.8829,
              0.9617,
              1.0996,
              1.3592,
              1.8732
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07246,
              0.09536,
              0.11169,
              0.13847,
              0.18279,
              0.25889,
              0.3987,
              0.67294
            ],
            [
              0.07243,
              0.09536,
              0.11173,
              0.13849,
              0.18282,
              0.25904,
              0.39832,
              0.67263
            ],
            [
              0.07246,
              0.09539,
              0.11191,
              0.1385,
              0.18262,
              0.25909,
              0.39846,
              0.6725
            ],
            [
              0.07245,
              0.09538,
              0.11191,
              0.13849,
              0.18263,
              0.25912,
              0.39839,
              0.67253
            ],
            [
              0.07244,
              0.09535,
              0.11194,
              0.13842,
              0.18267,
              0.25932,
              0.39853,
              0.6731
            ],
            [
              0.07247,
              0.09536,
              0.11195,
              0.13843,
              0.18268,
              0.2589,
              0.39862,
              0.6732
            ],
            [
              0.07246,
              0.0954,
              0.11192,
              0.1385,
              0.18261,
              0.25946,
              0.39843,
              0.6725
            ],
            [
              0.07245,
              0.09535,
              0.11171,
              0.13852,
              0.18277,
              0.2591,
              0.3982,
              0.6727
            ],
            [
              0.07242,
              0.09538,
              0.11167,
              0.1385,
              0.1827,
              0.2588,
              0.3986,
              0.6731
            ],
            [
              0.0725,
              0.0953,
              0.1116,
              0.1385,
              0.1827,
              0.259,
              0.3982,
              0.6728
            ],
            [
              0.0724,
              0.0952,
              0.1117,
              0.1383,
              0.1826,
              0.2591,
              0.3986,
              0.673
            ],
            [
              0.0722,
              0.0951,
              0.1117,
              0.1383,
              0.1825,
              0.2589,
              0.3985,
              0.673
            ],
            [
              0.072,
              0.0948,
              0.1113,
              0.1381,
              0.1823,
              0.2589,
              0.3981,
              0.6731
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05323,
              0.08359,
              0.10787,
              0.15207,
              0.23686,
              0.40951,
              0.76822,
              1.49872
            ],
            [
              0.05323,
              0.08357,
              0.10789,
              0.15228,
              0.23671,
              0.40956,
              0.76778,
              1.498
            ],
            [
              0.05324,
              0.08358,
              0.10789,
              0.15224,
              0.23676,
              0.40928,
              0.76799,
              1.49862
            ],
            [
              0.05322,
              0.08351,
              0.1079,
              0.15202,
              0.23716,
              0.40995,
              0.7676,
              1.49707
            ],
            [
              0.05321,
              0.08356,
              0.10789,
              0.15226,
              0.23665,
              0.40946,
              0.76777,
              1.4982
            ],
            [
              0.05322,
              0.08355,
              0.10789,
              0.152,
              0.23679,
              0.40962,
              0.76775,
              1.4977
            ],
            [
              0.05327,
              0.08356,
              0.10783,
              0.15203,
              0.23686,
              0.40945,
              0.76816,
              1.4987
            ],
            [
              0.05315,
              0.08351,
              0.10784,
              0.15196,
              0.23674,
              0.40963,
              0.76767,
              1.4974
            ],
            [
              0.05303,
              0.08352,
              0.10776,
              0.15177,
              0.23719,
              0.41066,
              0.7681,
              1.5007
            ],
            [
              0.05293,
              0.08342,
              0.1077,
              0.1518,
              0.2367,
              0.4105,
              0.7678,
              1.5011
            ],
            [
              0.0527,
              0.0831,
              0.1075,
              0.1517,
              0.2368,
              0.4104,
              0.7678,
              1.5009
            ],
            [
              0.0525,
              0.0829,
              0.1073,
              0.1516,
              0.2367,
              0.4092,
              0.7671,
              1.4983
            ],
            [
              0.0523,
              0.0828,
              0.1072,
              0.1514,
              0.2364,
              0.4091,
              0.7666,
              1.4983
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.5592,
              0.59954,
              0.62695,
              0.66826,
              0.72957,
              0.82177,
              0.96633,
              1.20937
            ],
            [
              0.56118,
              0.60153,
              0.62895,
              0.67025,
              0.73153,
              0.82376,
              0.96835,
              1.21144
            ],
            [
              0.56383,
              0.60418,
              0.63162,
              0.67288,
              0.7342,
              0.82637,
              0.97099,
              1.21402
            ],
            [
              0.56813,
              0.6085,
              0.63591,
              0.67722,
              0.7385,
              0.83073,
              0.97528,
              1.21847
            ],
            [
              0.57519,
              0.61552,
              0.64296,
              0.68425,
              0.74556,
              0.83775,
              0.98231,
              1.22531
            ],
            [
              0.5866,
              0.62693,
              0.65437,
              0.69566,
              0.75697,
              0.84916,
              0.99372,
              1.23672
            ],
            [
              0.60475,
              0.64511,
              0.67253,
              0.71383,
              0.77511,
              0.86733,
              1.01193,
              1.25503
            ],
            [
              0.63324,
              0.67359,
              0.70101,
              0.74232,
              0.80361,
              0.89586,
              1.04036,
              1.28346
            ],
            [
              0.67619,
              0.71654,
              0.74396,
              0.78525,
              0.84655,
              0.93875,
              1.08335,
              1.32645
            ],
            [
              0.73779,
              0.77819,
              0.80559,
              0.84689,
              0.90819,
              1.00039,
              1.14499,
              1.38809
            ],
            [
              0.82092,
              0.86122,
              0.88862,
              0.92982,
              0.99112,
              1.08332,
              1.22792,
              1.47112
            ],
            [
              0.92317,
              0.96327,
              0.99057,
              1.03177,
              1.09307,
              1.18527,
              1.33007,
              1.57317
            ],
            [
              1.0398,
              1.0797,
              1.1069,
              1.148,
              1.2093,
              1.3014,
              1.4461,
              1.6892
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.41355,
              0.45521,
              0.48442,
              0.53094,
              0.6078,
              0.74384,
              1.00277,
              1.51677
            ],
            [
              0.41654,
              0.45819,
              0.4874,
              0.53393,
              0.61072,
              0.7466,
              1.00624,
              1.52044
            ],
            [
              0.42016,
              0.46182,
              0.49104,
              0.53756,
              0.6143,
              0.75033,
              1.00982,
              1.52392
            ],
            [
              0.42568,
              0.46736,
              0.49657,
              0.54309,
              0.61982,
              0.75594,
              1.01528,
              1.52898
            ],
            [
              0.43395,
              0.47563,
              0.50486,
              0.55138,
              0.62812,
              0.76422,
              1.02361,
              1.53741
            ],
            [
              0.44631,
              0.488,
              0.51723,
              0.56377,
              0.64063,
              0.77668,
              1.03562,
              1.54982
            ],
            [
              0.46473,
              0.50644,
              0.53568,
              0.58224,
              0.65909,
              0.79517,
              1.05413,
              1.56793
            ],
            [
              0.49192,
              0.53367,
              0.56292,
              0.6095,
              0.68638,
              0.82238,
              1.08166,
              1.59596
            ],
            [
              0.5318,
              0.57361,
              0.60289,
              0.6495,
              0.72636,
              0.86225,
              1.12195,
              1.63645
            ],
            [
              0.58613,
              0.62801,
              0.65739,
              0.70399,
              0.78079,
              0.91699,
              1.17619,
              1.68929
            ],
            [
              0.64892,
              0.69092,
              0.72022,
              0.76692,
              0.84382,
              0.97972,
              1.23932,
              1.75392
            ],
            [
              0.72357,
              0.76557,
              0.79487,
              0.84147,
              0.91827,
              1.05427,
              1.31337,
              1.82787
            ],
            [
              0.8131,
              0.8552,
              0.8846,
              0.9313,
              1.0081,
              1.1442,
              1.4031,
              1.9168
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07081,
              0.09348,
              0.10978,
              0.13646,
              0.18065,
              0.25705,
              0.39735,
              0.67268
            ],
            [
              0.07076,
              0.09351,
              0.10981,
              0.13636,
              0.18063,
              0.25728,
              0.39763,
              0.67179
            ],
            [
              0.07076,
              0.09362,
              0.10998,
              0.13634,
              0.18054,
              0.2573,
              0.39695,
              0.67223
            ],
            [
              0.07078,
              0.0935,
              0.10982,
              0.13637,
              0.18064,
              0.25733,
              0.3975,
              0.67197
            ],
            [
              0.07076,
              0.0935,
              0.10975,
              0.13646,
              0.1808,
              0.25716,
              0.39755,
              0.67254
            ],
            [
              0.07077,
              0.09351,
              0.10976,
              0.13648,
              0.18081,
              0.25717,
              0.39755,
              0.67254
            ],
            [
              0.07079,
              0.09353,
              0.10984,
              0.13639,
              0.18065,
              0.25724,
              0.39766,
              0.6721
            ],
            [
              0.07082,
              0.09352,
              0.10982,
              0.13652,
              0.18065,
              0.25746,
              0.3974,
              0.6726
            ],
            [
              0.07082,
              0.09351,
              0.10982,
              0.13646,
              0.18068,
              0.2575,
              0.3974,
              0.6726
            ],
            [
              0.0707,
              0.0935,
              0.11,
              0.1363,
              0.1806,
              0.2574,
              0.3971,
              0.6722
            ],
            [
              0.0707,
              0.0934,
              0.1098,
              0.1363,
              0.1806,
              0.2573,
              0.3975,
              0.6723
            ],
            [
              0.0704,
              0.093,
              0.1093,
              0.1362,
              0.1804,
              0.2573,
              0.3976,
              0.6725
            ],
            [
              0.07,
              0.0927,
              0.109,
              0.1359,
              0.1798,
              0.257,
              0.3966,
              0.6721
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05157,
              0.08077,
              0.10433,
              0.14751,
              0.23195,
              0.40611,
              0.76579,
              1.50007
            ],
            [
              0.05159,
              0.08081,
              0.10428,
              0.14747,
              0.23209,
              0.40555,
              0.76497,
              1.49831
            ],
            [
              0.05156,
              0.08085,
              0.10425,
              0.14752,
              0.23201,
              0.40498,
              0.76458,
              1.4968
            ],
            [
              0.05157,
              0.08088,
              0.10439,
              0.14755,
              0.23195,
              0.40517,
              0.7654,
              1.49617
            ],
            [
              0.05158,
              0.08089,
              0.10434,
              0.14757,
              0.23199,
              0.40502,
              0.76525,
              1.49592
            ],
            [
              0.05164,
              0.08086,
              0.1044,
              0.14757,
              0.23201,
              0.40612,
              0.7658,
              1.49969
            ],
            [
              0.05167,
              0.081,
              0.10464,
              0.1476,
              0.23212,
              0.40605,
              0.76583,
              1.5002
            ],
            [
              0.05175,
              0.08096,
              0.10451,
              0.14769,
              0.23199,
              0.40605,
              0.76559,
              1.4977
            ],
            [
              0.05189,
              0.08115,
              0.10459,
              0.14778,
              0.23235,
              0.40569,
              0.7647,
              1.4981
            ],
            [
              0.05209,
              0.08143,
              0.10475,
              0.148,
              0.2323,
              0.4058,
              0.7659,
              1.4974
            ],
            [
              0.0521,
              0.0814,
              0.1048,
              0.148,
              0.2326,
              0.4061,
              0.765,
              1.4985
            ],
            [
              0.0523,
              0.0815,
              0.1048,
              0.1481,
              0.2323,
              0.4055,
              0.766,
              1.4992
            ],
            [
              0.0527,
              0.0819,
              0.1052,
              0.1484,
              0.2325,
              0.4058,
              0.7645,
              1.497
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.57707,
              0.62137,
              0.65236,
              0.69984,
              0.77023,
              0.87363,
              1.03127,
              1.29197
            ],
            [
              0.57995,
              0.62426,
              0.65526,
              0.70273,
              0.77314,
              0.87653,
              1.03424,
              1.29464
            ],
            [
              0.58343,
              0.62775,
              0.65874,
              0.70622,
              0.77663,
              0.88002,
              1.03772,
              1.29822
            ],
            [
              0.58874,
              0.63304,
              0.66405,
              0.71154,
              0.78197,
              0.88538,
              1.04298,
              1.30368
            ],
            [
              0.59656,
              0.64088,
              0.67189,
              0.71937,
              0.78981,
              0.8932,
              1.05081,
              1.31151
            ],
            [
              0.60817,
              0.65248,
              0.68348,
              0.73099,
              0.80139,
              0.9048,
              1.06252,
              1.32302
            ],
            [
              0.62519,
              0.6695,
              0.7005,
              0.748,
              0.81841,
              0.92183,
              1.07953,
              1.34003
            ],
            [
              0.64958,
              0.69392,
              0.72495,
              0.77244,
              0.84286,
              0.94626,
              1.10396,
              1.36466
            ],
            [
              0.68275,
              0.72726,
              0.75835,
              0.80595,
              0.87635,
              0.97975,
              1.13745,
              1.39815
            ],
            [
              0.72339,
              0.76829,
              0.79959,
              0.84729,
              0.91769,
              1.02109,
              1.17869,
              1.43919
            ],
            [
              0.76812,
              0.81362,
              0.84522,
              0.89312,
              0.96352,
              1.06662,
              1.22432,
              1.48482
            ],
            [
              0.81647,
              0.86307,
              0.89507,
              0.94317,
              1.01357,
              1.11657,
              1.27407,
              1.53447
            ],
            [
              0.8669,
              0.9148,
              0.9472,
              0.9955,
              1.0656,
              1.1682,
              1.3255,
              1.5862
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.46111,
              0.50364,
              0.53369,
              0.58166,
              0.66043,
              0.79835,
              1.05827,
              1.57097
            ],
            [
              0.46301,
              0.50554,
              0.53559,
              0.58356,
              0.66232,
              0.80024,
              1.06024,
              1.57284
            ],
            [
              0.46556,
              0.50809,
              0.53814,
              0.58611,
              0.66487,
              0.80281,
              1.06272,
              1.57562
            ],
            [
              0.46974,
              0.51226,
              0.54232,
              0.59028,
              0.66905,
              0.80697,
              1.06698,
              1.57958
            ],
            [
              0.47659,
              0.51911,
              0.54917,
              0.59713,
              0.67589,
              0.81386,
              1.07381,
              1.58651
            ],
            [
              0.48769,
              0.53021,
              0.56027,
              0.60823,
              0.687,
              0.82492,
              1.08492,
              1.59752
            ],
            [
              0.50541,
              0.54793,
              0.57798,
              0.62594,
              0.70471,
              0.84264,
              1.10263,
              1.61543
            ],
            [
              0.53319,
              0.57571,
              0.60576,
              0.65372,
              0.73249,
              0.87046,
              1.13036,
              1.64296
            ],
            [
              0.57543,
              0.61795,
              0.648,
              0.69596,
              0.77475,
              0.91265,
              1.17265,
              1.68535
            ],
            [
              0.63729,
              0.67979,
              0.70989,
              0.75779,
              0.83659,
              0.97449,
              1.23449,
              1.74719
            ],
            [
              0.72252,
              0.76522,
              0.79532,
              0.84332,
              0.92212,
              1.06002,
              1.32002,
              1.83272
            ],
            [
              0.83027,
              0.87337,
              0.90367,
              0.95197,
              1.03087,
              1.16897,
              1.42907,
              1.94177
            ],
            [
              0.9611,
              1.0047,
              1.0353,
              1.0838,
              1.163,
              1.3014,
              1.5617,
              2.0744
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.08068,
              0.10273,
              0.11871,
              0.14523,
              0.19114,
              0.27226,
              0.42065,
              0.70918
            ],
            [
              0.08068,
              0.10278,
              0.11854,
              0.14503,
              0.19122,
              0.27241,
              0.42053,
              0.70982
            ],
            [
              0.08068,
              0.10278,
              0.11854,
              0.14503,
              0.19122,
              0.2724,
              0.42052,
              0.70981
            ],
            [
              0.08073,
              0.10282,
              0.11853,
              0.14504,
              0.19136,
              0.27262,
              0.41998,
              0.70959
            ],
            [
              0.08068,
              0.10284,
              0.11852,
              0.14505,
              0.19135,
              0.27269,
              0.4201,
              0.7095
            ],
            [
              0.08071,
              0.10274,
              0.1187,
              0.14523,
              0.19116,
              0.27234,
              0.42074,
              0.7097
            ],
            [
              0.08075,
              0.10272,
              0.1187,
              0.14522,
              0.19118,
              0.27222,
              0.42071,
              0.7097
            ],
            [
              0.08075,
              0.10279,
              0.11853,
              0.145,
              0.1914,
              0.27272,
              0.4201,
              0.7096
            ],
            [
              0.08097,
              0.10288,
              0.11877,
              0.14514,
              0.1916,
              0.2729,
              0.4202,
              0.7095
            ],
            [
              0.0815,
              0.1031,
              0.119,
              0.1456,
              0.1919,
              0.273,
              0.4209,
              0.7099
            ],
            [
              0.0822,
              0.1035,
              0.1191,
              0.1457,
              0.192,
              0.2731,
              0.4211,
              0.7099
            ],
            [
              0.0831,
              0.104,
              0.1196,
              0.1466,
              0.1929,
              0.2737,
              0.4216,
              0.7103
            ],
            [
              0.082,
              0.1036,
              0.1202,
              0.1478,
              0.1944,
              0.2749,
              0.4223,
              0.7099
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05194,
              0.08223,
              0.10653,
              0.1506,
              0.23526,
              0.40777,
              0.76544,
              1.49642
            ],
            [
              0.05193,
              0.08228,
              0.10647,
              0.1506,
              0.23521,
              0.40774,
              0.76501,
              1.49309
            ],
            [
              0.05192,
              0.08225,
              0.10649,
              0.15046,
              0.23523,
              0.40757,
              0.76405,
              1.49472
            ],
            [
              0.05191,
              0.08227,
              0.10644,
              0.15059,
              0.23518,
              0.40775,
              0.76572,
              1.4935
            ],
            [
              0.05191,
              0.08225,
              0.10646,
              0.15054,
              0.23522,
              0.40813,
              0.76582,
              1.49238
            ],
            [
              0.05189,
              0.08225,
              0.10644,
              0.15062,
              0.23519,
              0.40784,
              0.76482,
              1.4936
            ],
            [
              0.05189,
              0.08226,
              0.10649,
              0.15066,
              0.23523,
              0.40785,
              0.76532,
              1.4951
            ],
            [
              0.0519,
              0.08226,
              0.10646,
              0.15066,
              0.23528,
              0.4078,
              0.76507,
              1.4931
            ],
            [
              0.05188,
              0.08222,
              0.1065,
              0.15045,
              0.23523,
              0.40745,
              0.7643,
              1.4924
            ],
            [
              0.05194,
              0.0822,
              0.1066,
              0.1507,
              0.2351,
              0.4074,
              0.7649,
              1.4921
            ],
            [
              0.0523,
              0.0825,
              0.1067,
              0.1509,
              0.2353,
              0.408,
              0.7653,
              1.4939
            ],
            [
              0.0534,
              0.0837,
              0.108,
              0.1518,
              0.2361,
              0.4082,
              0.7643,
              1.4921
            ],
            [
              0.0548,
              0.0851,
              0.1092,
              0.153,
              0.2373,
              0.4091,
              0.7649,
              1.494
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.52058,
              0.5622,
              0.59094,
              0.63427,
              0.69804,
              0.79242,
              0.93858,
              1.18277
            ],
            [
              0.52357,
              0.56518,
              0.59391,
              0.63726,
              0.70102,
              0.79543,
              0.94156,
              1.18574
            ],
            [
              0.52711,
              0.56873,
              0.59746,
              0.64081,
              0.70458,
              0.79897,
              0.94512,
              1.18922
            ],
            [
              0.53248,
              0.57412,
              0.60284,
              0.64621,
              0.70998,
              0.80434,
              0.95051,
              1.19448
            ],
            [
              0.54044,
              0.58209,
              0.61081,
              0.65417,
              0.71794,
              0.81232,
              0.95851,
              1.20261
            ],
            [
              0.55215,
              0.59379,
              0.62253,
              0.6659,
              0.72967,
              0.82406,
              0.97022,
              1.21422
            ],
            [
              0.56927,
              0.61095,
              0.63969,
              0.68307,
              0.74684,
              0.84122,
              0.98743,
              1.23153
            ],
            [
              0.59391,
              0.63562,
              0.66439,
              0.70777,
              0.77154,
              0.86596,
              1.01206,
              1.25616
            ],
            [
              0.62832,
              0.67016,
              0.69898,
              0.74237,
              0.80615,
              0.90055,
              1.04665,
              1.29065
            ],
            [
              0.67069,
              0.71279,
              0.74169,
              0.78509,
              0.84889,
              0.94319,
              1.08939,
              1.33349
            ],
            [
              0.71862,
              0.76112,
              0.79002,
              0.83352,
              0.89722,
              0.99152,
              1.13762,
              1.38182
            ],
            [
              0.77277,
              0.81597,
              0.84517,
              0.88857,
              0.95227,
              1.04647,
              1.19257,
              1.43657
            ],
            [
              0.8346,
              0.8778,
              0.9067,
              0.9498,
              1.0131,
              1.1073,
              1.2534,
              1.4976
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.46681,
              0.51061,
              0.5414,
              0.59035,
              0.67073,
              0.81308,
              1.08617,
              1.62707
            ],
            [
              0.46873,
              0.51256,
              0.54333,
              0.59228,
              0.67266,
              0.81499,
              1.08814,
              1.62894
            ],
            [
              0.47135,
              0.51516,
              0.54596,
              0.5949,
              0.67529,
              0.81768,
              1.09072,
              1.63162
            ],
            [
              0.47556,
              0.5194,
              0.55017,
              0.59911,
              0.67951,
              0.82181,
              1.09498,
              1.63587
            ],
            [
              0.48241,
              0.52625,
              0.55703,
              0.60597,
              0.68636,
              0.82866,
              1.10181,
              1.64261
            ],
            [
              0.49336,
              0.53718,
              0.56798,
              0.61693,
              0.69731,
              0.83961,
              1.11272,
              1.65362
            ],
            [
              0.51084,
              0.55465,
              0.58545,
              0.63439,
              0.71477,
              0.85707,
              1.13013,
              1.67113
            ],
            [
              0.53816,
              0.58197,
              0.61277,
              0.66171,
              0.74209,
              0.88436,
              1.15746,
              1.69836
            ],
            [
              0.58028,
              0.62408,
              0.65487,
              0.70382,
              0.78425,
              0.92655,
              1.19965,
              1.74045
            ],
            [
              0.64349,
              0.68729,
              0.71809,
              0.76699,
              0.84739,
              0.98979,
              1.26289,
              1.80369
            ],
            [
              0.73042,
              0.77412,
              0.80492,
              0.85392,
              0.93432,
              1.07672,
              1.34982,
              1.89072
            ],
            [
              0.84007,
              0.88407,
              0.91507,
              0.96417,
              1.04477,
              1.18727,
              1.46037,
              2.00107
            ],
            [
              0.9748,
              1.0191,
              1.0501,
              1.0994,
              1.1802,
              1.3229,
              1.5962,
              2.1368
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07208,
              0.09263,
              0.10777,
              0.13354,
              0.17785,
              0.25466,
              0.39505,
              0.66975
            ],
            [
              0.07206,
              0.09261,
              0.10779,
              0.13366,
              0.17765,
              0.25481,
              0.39526,
              0.67045
            ],
            [
              0.07206,
              0.09259,
              0.10777,
              0.13368,
              0.17773,
              0.25472,
              0.39471,
              0.67056
            ],
            [
              0.07213,
              0.09264,
              0.10775,
              0.13357,
              0.17774,
              0.25497,
              0.39482,
              0.67034
            ],
            [
              0.07206,
              0.09264,
              0.10773,
              0.13355,
              0.17783,
              0.25457,
              0.39519,
              0.66987
            ],
            [
              0.07203,
              0.09254,
              0.10773,
              0.13367,
              0.17774,
              0.25482,
              0.39464,
              0.67051
            ],
            [
              0.072,
              0.09252,
              0.10766,
              0.13355,
              0.17792,
              0.25454,
              0.39511,
              0.6699
            ],
            [
              0.07197,
              0.09243,
              0.10765,
              0.13364,
              0.17776,
              0.25489,
              0.39493,
              0.6701
            ],
            [
              0.07177,
              0.09226,
              0.10748,
              0.13342,
              0.17795,
              0.2548,
              0.3954,
              0.6705
            ],
            [
              0.0715,
              0.0918,
              0.1072,
              0.1335,
              0.1777,
              0.2545,
              0.395,
              0.6706
            ],
            [
              0.0709,
              0.0913,
              0.107,
              0.1334,
              0.1778,
              0.2551,
              0.3955,
              0.6702
            ],
            [
              0.0694,
              0.0909,
              0.1071,
              0.134,
              0.1786,
              0.2556,
              0.3959,
              0.6704
            ],
            [
              0.0668,
              0.0904,
              0.1073,
              0.1345,
              0.1795,
              0.256,
              0.3961,
              0.6709
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.0537,
              0.08442,
              0.10881,
              0.15307,
              0.23962,
              0.41788,
              0.78753,
              1.53542
            ],
            [
              0.05372,
              0.08439,
              0.10872,
              0.15309,
              0.23961,
              0.41843,
              0.78758,
              1.53248
            ],
            [
              0.05372,
              0.08443,
              0.10878,
              0.15309,
              0.23961,
              0.41788,
              0.78624,
              1.53225
            ],
            [
              0.05372,
              0.08438,
              0.10869,
              0.15311,
              0.23963,
              0.41812,
              0.78679,
              1.53319
            ],
            [
              0.05373,
              0.08439,
              0.10869,
              0.1531,
              0.23959,
              0.4181,
              0.78618,
              1.5329
            ],
            [
              0.05374,
              0.08446,
              0.10881,
              0.15317,
              0.23963,
              0.41837,
              0.78624,
              1.5332
            ],
            [
              0.05372,
              0.08445,
              0.1088,
              0.15318,
              0.23962,
              0.41852,
              0.7873,
              1.5327
            ],
            [
              0.05373,
              0.08439,
              0.10873,
              0.15311,
              0.23964,
              0.41832,
              0.78611,
              1.5318
            ],
            [
              0.05366,
              0.08437,
              0.10873,
              0.15306,
              0.2396,
              0.41849,
              0.7863,
              1.5318
            ],
            [
              0.05352,
              0.0842,
              0.1087,
              0.153,
              0.2396,
              0.4185,
              0.7862,
              1.5352
            ],
            [
              0.0536,
              0.0842,
              0.1086,
              0.1529,
              0.2394,
              0.4178,
              0.7859,
              1.5325
            ],
            [
              0.0541,
              0.085,
              0.1093,
              0.1535,
              0.24,
              0.4187,
              0.7876,
              1.532
            ],
            [
              0.0547,
              0.0854,
              0.1098,
              0.1541,
              0.2405,
              0.4184,
              0.7872,
              1.5313
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.57922,
              0.6203,
              0.64823,
              0.69016,
              0.75224,
              0.84523,
              0.99031,
              1.23347
            ],
            [
              0.58117,
              0.62226,
              0.65018,
              0.69213,
              0.75422,
              0.8472,
              0.99224,
              1.23544
            ],
            [
              0.58389,
              0.62495,
              0.65287,
              0.69482,
              0.75691,
              0.8499,
              0.99502,
              1.23812
            ],
            [
              0.58825,
              0.62933,
              0.65724,
              0.69918,
              0.76131,
              0.85425,
              0.99938,
              1.24238
            ],
            [
              0.59542,
              0.63651,
              0.66441,
              0.70637,
              0.76848,
              0.86145,
              1.00651,
              1.24971
            ],
            [
              0.60696,
              0.64802,
              0.67593,
              0.71787,
              0.77996,
              0.87293,
              1.01802,
              1.26102
            ],
            [
              0.62542,
              0.6665,
              0.69439,
              0.73634,
              0.79844,
              0.89143,
              1.03653,
              1.27963
            ],
            [
              0.65448,
              0.69556,
              0.72343,
              0.76538,
              0.82744,
              0.92036,
              1.06546,
              1.30856
            ],
            [
              0.69973,
              0.74078,
              0.76865,
              0.81055,
              0.87265,
              0.96565,
              1.11075,
              1.35385
            ],
            [
              0.76749,
              0.80849,
              0.83639,
              0.87829,
              0.94039,
              1.03339,
              1.17849,
              1.42159
            ],
            [
              0.85922,
              0.90022,
              0.92812,
              0.97002,
              1.03212,
              1.12502,
              1.27012,
              1.51322
            ],
            [
              0.97507,
              1.01607,
              1.04387,
              1.08577,
              1.14787,
              1.24087,
              1.38597,
              1.62917
            ],
            [
              1.1169,
              1.1578,
              1.1855,
              1.2272,
              1.2891,
              1.3819,
              1.527,
              1.7702
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.41111,
              0.45388,
              0.48401,
              0.53196,
              0.61069,
              0.74867,
              1.00827,
              1.52157
            ],
            [
              0.41417,
              0.45694,
              0.48706,
              0.53503,
              0.61374,
              0.7515,
              1.01184,
              1.52584
            ],
            [
              0.41782,
              0.46059,
              0.49072,
              0.53868,
              0.61733,
              0.75538,
              1.01512,
              1.52832
            ],
            [
              0.42338,
              0.46615,
              0.49628,
              0.54424,
              0.62291,
              0.76077,
              1.02097,
              1.53478
            ],
            [
              0.43165,
              0.47443,
              0.50457,
              0.55252,
              0.63116,
              0.76919,
              1.02901,
              1.54231
            ],
            [
              0.44392,
              0.4867,
              0.51682,
              0.56479,
              0.64346,
              0.78133,
              1.04152,
              1.55532
            ],
            [
              0.46196,
              0.50475,
              0.53487,
              0.58284,
              0.66149,
              0.79941,
              1.05953,
              1.57313
            ],
            [
              0.48822,
              0.53101,
              0.56114,
              0.6091,
              0.68783,
              0.82565,
              1.08576,
              1.59966
            ],
            [
              0.52599,
              0.56879,
              0.59893,
              0.6469,
              0.72563,
              0.86345,
              1.12345,
              1.63745
            ],
            [
              0.57193,
              0.61476,
              0.64489,
              0.69289,
              0.77159,
              0.90929,
              1.16959,
              1.68359
            ],
            [
              0.62252,
              0.66532,
              0.69542,
              0.74332,
              0.82192,
              0.95982,
              1.21992,
              1.73392
            ],
            [
              0.68067,
              0.72337,
              0.75347,
              0.80147,
              0.87997,
              1.01777,
              1.27777,
              1.79037
            ],
            [
              0.7468,
              0.7896,
              0.8198,
              0.8677,
              0.9464,
              1.084,
              1.3435,
              1.8577
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07299,
              0.09589,
              0.11243,
              0.13889,
              0.18307,
              0.25943,
              0.3989,
              0.67279
            ],
            [
              0.07299,
              0.09589,
              0.11226,
              0.13889,
              0.18306,
              0.25947,
              0.39901,
              0.67258
            ],
            [
              0.07298,
              0.0959,
              0.11226,
              0.13888,
              0.18305,
              0.2595,
              0.39909,
              0.67256
            ],
            [
              0.07301,
              0.09596,
              0.11244,
              0.1389,
              0.18333,
              0.25933,
              0.39849,
              0.67291
            ],
            [
              0.07301,
              0.0959,
              0.11223,
              0.13896,
              0.18306,
              0.25945,
              0.3987,
              0.67263
            ],
            [
              0.07302,
              0.09594,
              0.11245,
              0.13891,
              0.18314,
              0.25924,
              0.39882,
              0.6733
            ],
            [
              0.07301,
              0.09592,
              0.11228,
              0.13901,
              0.18321,
              0.25939,
              0.39834,
              0.6728
            ],
            [
              0.07304,
              0.09593,
              0.11248,
              0.13894,
              0.1832,
              0.25924,
              0.3988,
              0.6734
            ],
            [
              0.07305,
              0.09593,
              0.11236,
              0.13898,
              0.183,
              0.2597,
              0.3992,
              0.6725
            ],
            [
              0.0731,
              0.096,
              0.1123,
              0.1391,
              0.1831,
              0.2598,
              0.3992,
              0.6725
            ],
            [
              0.0732,
              0.096,
              0.1124,
              0.1393,
              0.1834,
              0.2594,
              0.3985,
              0.673
            ],
            [
              0.073,
              0.0959,
              0.1123,
              0.139,
              0.1832,
              0.2598,
              0.399,
              0.6729
            ],
            [
              0.0729,
              0.0958,
              0.1122,
              0.139,
              0.1833,
              0.2592,
              0.3984,
              0.6727
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05285,
              0.08351,
              0.10769,
              0.15168,
              0.23704,
              0.41027,
              0.76824,
              1.50127
            ],
            [
              0.05287,
              0.08326,
              0.10761,
              0.1518,
              0.23684,
              0.41022,
              0.76735,
              1.50095
            ],
            [
              0.05286,
              0.08335,
              0.10766,
              0.15203,
              0.23689,
              0.40972,
              0.76827,
              1.49874
            ],
            [
              0.05297,
              0.08328,
              0.10759,
              0.15191,
              0.23652,
              0.40931,
              0.76773,
              1.49715
            ],
            [
              0.0529,
              0.08333,
              0.1077,
              0.15197,
              0.23688,
              0.40967,
              0.7683,
              1.49871
            ],
            [
              0.05299,
              0.08329,
              0.10761,
              0.15191,
              0.23654,
              0.40931,
              0.76773,
              1.49715
            ],
            [
              0.05296,
              0.08331,
              0.10759,
              0.15182,
              0.23672,
              0.40928,
              0.768,
              1.4979
            ],
            [
              0.05292,
              0.08342,
              0.10792,
              0.1518,
              0.23676,
              0.4105,
              0.76782,
              1.501
            ],
            [
              0.05298,
              0.0835,
              0.10788,
              0.15183,
              0.23687,
              0.41063,
              0.7678,
              1.5009
            ],
            [
              0.05303,
              0.08338,
              0.10777,
              0.15192,
              0.237,
              0.4099,
              0.767,
              1.4983
            ],
            [
              0.0529,
              0.0833,
              0.1076,
              0.1516,
              0.2369,
              0.4105,
              0.7674,
              1.4986
            ],
            [
              0.053,
              0.0833,
              0.1077,
              0.1515,
              0.2368,
              0.4092,
              0.7678,
              1.5019
            ],
            [
              0.0531,
              0.0833,
              0.1077,
              0.1519,
              0.237,
              0.4095,
              0.766,
              1.4973
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.40828,
              0.45009,
              0.47826,
              0.52036,
              0.58233,
              0.67505,
              0.81997,
              1.06317
            ],
            [
              0.4113,
              0.45311,
              0.48128,
              0.52339,
              0.58535,
              0.67805,
              0.82295,
              1.06634
            ],
            [
              0.41492,
              0.45673,
              0.4849,
              0.52701,
              0.589,
              0.68168,
              0.82659,
              1.06992
            ],
            [
              0.42067,
              0.46244,
              0.49064,
              0.53275,
              0.59471,
              0.68739,
              0.83232,
              1.07557
            ],
            [
              0.42932,
              0.47109,
              0.49927,
              0.54137,
              0.60335,
              0.69604,
              0.84098,
              1.08421
            ],
            [
              0.44239,
              0.48417,
              0.51236,
              0.55446,
              0.61645,
              0.70913,
              0.85408,
              1.09742
            ],
            [
              0.4622,
              0.50399,
              0.53215,
              0.57424,
              0.63625,
              0.72893,
              0.87388,
              1.11723
            ],
            [
              0.49211,
              0.53389,
              0.56203,
              0.6041,
              0.66608,
              0.75881,
              0.90376,
              1.14716
            ],
            [
              0.53714,
              0.57887,
              0.60699,
              0.64902,
              0.71101,
              0.80375,
              0.94875,
              1.19205
            ],
            [
              0.60432,
              0.64599,
              0.67409,
              0.71609,
              0.77809,
              0.87089,
              1.01599,
              1.25949
            ],
            [
              0.70222,
              0.74392,
              0.77192,
              0.81402,
              0.87602,
              0.96902,
              1.11422,
              1.35772
            ],
            [
              0.83747,
              0.88007,
              0.90857,
              0.95097,
              1.01337,
              1.10667,
              1.25227,
              1.49587
            ],
            [
              1.0059,
              1.0512,
              1.0813,
              1.1259,
              1.1909,
              1.2868,
              1.4343,
              1.6791
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.26068,
              0.30285,
              0.33272,
              0.38038,
              0.45861,
              0.59594,
              0.85482,
              1.36717
            ],
            [
              0.26367,
              0.30584,
              0.33571,
              0.38337,
              0.46161,
              0.59892,
              0.85785,
              1.37024
            ],
            [
              0.26713,
              0.30931,
              0.33918,
              0.38684,
              0.46509,
              0.60238,
              0.86141,
              1.37382
            ],
            [
              0.27237,
              0.31455,
              0.34442,
              0.39208,
              0.47032,
              0.60764,
              0.8666,
              1.37898
            ],
            [
              0.28018,
              0.32235,
              0.35222,
              0.39989,
              0.47813,
              0.61546,
              0.8744,
              1.38671
            ],
            [
              0.29176,
              0.33392,
              0.36379,
              0.41145,
              0.48972,
              0.62703,
              0.88585,
              1.39892
            ],
            [
              0.30892,
              0.35109,
              0.38097,
              0.42863,
              0.50691,
              0.64416,
              0.90313,
              1.41653
            ],
            [
              0.33432,
              0.37654,
              0.40643,
              0.45409,
              0.53236,
              0.66961,
              0.92876,
              1.44116
            ],
            [
              0.37028,
              0.41251,
              0.44238,
              0.49006,
              0.56825,
              0.70549,
              0.96505,
              1.47805
            ],
            [
              0.42032,
              0.46261,
              0.49254,
              0.5402,
              0.61848,
              0.75579,
              1.01509,
              1.52909
            ],
            [
              0.48592,
              0.53012,
              0.56092,
              0.60932,
              0.68802,
              0.82562,
              1.08482,
              1.59842
            ],
            [
              0.56797,
              0.61507,
              0.64757,
              0.69827,
              0.77917,
              0.91797,
              1.17807,
              1.69107
            ],
            [
              0.6688,
              0.7198,
              0.7547,
              0.8082,
              0.8923,
              1.034,
              1.2948,
              1.808
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07483,
              0.09707,
              0.11313,
              0.13892,
              0.18255,
              0.25871,
              0.39794,
              0.67315
            ],
            [
              0.07483,
              0.09707,
              0.11313,
              0.13893,
              0.18248,
              0.25873,
              0.39822,
              0.67241
            ],
            [
              0.07482,
              0.09706,
              0.11313,
              0.1389,
              0.18249,
              0.2589,
              0.39826,
              0.67269
            ],
            [
              0.07479,
              0.09711,
              0.11296,
              0.13892,
              0.1825,
              0.25861,
              0.39828,
              0.67287
            ],
            [
              0.07479,
              0.09707,
              0.11297,
              0.13893,
              0.18249,
              0.25847,
              0.39838,
              0.67287
            ],
            [
              0.07484,
              0.09707,
              0.11296,
              0.13893,
              0.1825,
              0.25847,
              0.39829,
              0.67261
            ],
            [
              0.07478,
              0.09707,
              0.11314,
              0.13894,
              0.18274,
              0.25894,
              0.39871,
              0.67238
            ],
            [
              0.07478,
              0.09706,
              0.11314,
              0.13896,
              0.18252,
              0.25853,
              0.39833,
              0.67263
            ],
            [
              0.07478,
              0.09706,
              0.11316,
              0.13912,
              0.18282,
              0.25858,
              0.39834,
              0.6728
            ],
            [
              0.07485,
              0.09716,
              0.11329,
              0.1392,
              0.183,
              0.2586,
              0.3982,
              0.6723
            ],
            [
              0.0755,
              0.0977,
              0.1135,
              0.1396,
              0.1831,
              0.2594,
              0.3989,
              0.6729
            ],
            [
              0.0802,
              0.1015,
              0.1168,
              0.1424,
              0.185,
              0.2605,
              0.3995,
              0.6736
            ],
            [
              0.0896,
              0.1113,
              0.1269,
              0.1519,
              0.194,
              0.268,
              0.404,
              0.6757
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.0506,
              0.08136,
              0.10584,
              0.15023,
              0.23529,
              0.40929,
              0.76806,
              1.49865
            ],
            [
              0.05061,
              0.08135,
              0.10579,
              0.15041,
              0.23575,
              0.40924,
              0.76803,
              1.49863
            ],
            [
              0.05059,
              0.08134,
              0.10578,
              0.15043,
              0.23572,
              0.40914,
              0.76803,
              1.49866
            ],
            [
              0.05069,
              0.08135,
              0.10581,
              0.15041,
              0.23573,
              0.40921,
              0.76804,
              1.49864
            ],
            [
              0.05061,
              0.08136,
              0.1058,
              0.15041,
              0.23536,
              0.40924,
              0.76804,
              1.49863
            ],
            [
              0.05063,
              0.08134,
              0.10582,
              0.15048,
              0.23564,
              0.40922,
              0.76808,
              1.49828
            ],
            [
              0.05065,
              0.08134,
              0.10584,
              0.1502,
              0.23553,
              0.409,
              0.76807,
              1.49746
            ],
            [
              0.05061,
              0.08139,
              0.10581,
              0.15023,
              0.23559,
              0.40899,
              0.76799,
              1.49864
            ],
            [
              0.05073,
              0.08139,
              0.10592,
              0.1503,
              0.23554,
              0.40978,
              0.76647,
              1.4973
            ],
            [
              0.05117,
              0.0819,
              0.10629,
              0.15056,
              0.23604,
              0.40912,
              0.7679,
              1.499
            ],
            [
              0.0546,
              0.0854,
              0.1096,
              0.1532,
              0.2371,
              0.4094,
              0.7682,
              1.498
            ],
            [
              0.0594,
              0.0915,
              0.1163,
              0.1595,
              0.243,
              0.4133,
              0.7687,
              1.5
            ],
            [
              0.0661,
              0.0999,
              0.125,
              0.1686,
              0.2509,
              0.4187,
              0.7717,
              1.4998
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.60094,
              0.64332,
              0.67232,
              0.71709,
              0.78634,
              0.89138,
              1.05097,
              1.31257
            ],
            [
              0.60393,
              0.64633,
              0.67531,
              0.72008,
              0.78936,
              0.8944,
              1.05404,
              1.31554
            ],
            [
              0.60743,
              0.64983,
              0.67882,
              0.7236,
              0.79286,
              0.89789,
              1.05752,
              1.31902
            ],
            [
              0.61274,
              0.65514,
              0.68415,
              0.72893,
              0.79817,
              0.90321,
              1.06278,
              1.32438
            ],
            [
              0.6207,
              0.66311,
              0.6921,
              0.73686,
              0.80612,
              0.9112,
              1.07081,
              1.33241
            ],
            [
              0.63271,
              0.6751,
              0.70411,
              0.74888,
              0.81816,
              0.92322,
              1.08282,
              1.34422
            ],
            [
              0.65063,
              0.69303,
              0.72204,
              0.76681,
              0.83609,
              0.94113,
              1.10073,
              1.36223
            ],
            [
              0.67703,
              0.71947,
              0.74846,
              0.79322,
              0.86246,
              0.96756,
              1.12736,
              1.38876
            ],
            [
              0.71446,
              0.75695,
              0.78595,
              0.83065,
              0.89995,
              1.00495,
              1.16465,
              1.42615
            ],
            [
              0.76589,
              0.80839,
              0.83729,
              0.88209,
              0.95129,
              1.05639,
              1.21619,
              1.47759
            ],
            [
              0.83652,
              0.87872,
              0.90772,
              0.95232,
              1.02142,
              1.12652,
              1.28622,
              1.54782
            ],
            [
              0.92847,
              0.97017,
              0.99867,
              1.04287,
              1.11177,
              1.21667,
              1.37637,
              1.63787
            ],
            [
              1.043,
              1.084,
              1.1121,
              1.1555,
              1.2237,
              1.3281,
              1.4874,
              1.7488
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.49409,
              0.53746,
              0.56821,
              0.61749,
              0.69862,
              0.84189,
              1.11477,
              1.65397
            ],
            [
              0.49717,
              0.54046,
              0.57124,
              0.62047,
              0.70162,
              0.84486,
              1.11774,
              1.65704
            ],
            [
              0.50078,
              0.54415,
              0.57496,
              0.62419,
              0.70525,
              0.84853,
              1.12142,
              1.66062
            ],
            [
              0.50655,
              0.5499,
              0.58069,
              0.62992,
              0.71105,
              0.8543,
              1.12718,
              1.66648
            ],
            [
              0.51524,
              0.55862,
              0.58938,
              0.6386,
              0.71973,
              0.86306,
              1.13601,
              1.67511
            ],
            [
              0.52838,
              0.57174,
              0.6025,
              0.65179,
              0.73287,
              0.87615,
              1.14892,
              1.68822
            ],
            [
              0.54816,
              0.59155,
              0.62234,
              0.67158,
              0.75272,
              0.89603,
              1.16873,
              1.70813
            ],
            [
              0.57804,
              0.62144,
              0.65222,
              0.70153,
              0.7826,
              0.92586,
              1.19866,
              1.73786
            ],
            [
              0.6232,
              0.66662,
              0.69742,
              0.74667,
              0.82775,
              0.97095,
              1.24375,
              1.78305
            ],
            [
              0.69169,
              0.73509,
              0.76589,
              0.81509,
              0.89619,
              1.03929,
              1.31209,
              1.85139
            ],
            [
              0.79252,
              0.83592,
              0.86672,
              0.91592,
              0.99692,
              1.14002,
              1.41272,
              1.95182
            ],
            [
              0.92717,
              0.97037,
              1.00107,
              1.05017,
              1.13107,
              1.27407,
              1.54687,
              2.08617
            ],
            [
              1.0948,
              1.1383,
              1.1692,
              1.2183,
              1.2991,
              1.442,
              1.7147,
              2.2542
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07464,
              0.09777,
              0.11438,
              0.14166,
              0.18761,
              0.26875,
              0.41766,
              0.70831
            ],
            [
              0.07462,
              0.09777,
              0.11456,
              0.14174,
              0.1876,
              0.26935,
              0.4185,
              0.708
            ],
            [
              0.07462,
              0.09777,
              0.11436,
              0.14182,
              0.18778,
              0.26886,
              0.41861,
              0.7082
            ],
            [
              0.07464,
              0.09778,
              0.11437,
              0.14166,
              0.18762,
              0.26881,
              0.41772,
              0.7083
            ],
            [
              0.07462,
              0.09778,
              0.11438,
              0.14163,
              0.1876,
              0.26884,
              0.41765,
              0.7084
            ],
            [
              0.07462,
              0.09776,
              0.11436,
              0.14163,
              0.18776,
              0.26929,
              0.41792,
              0.7084
            ],
            [
              0.07462,
              0.09776,
              0.11435,
              0.14162,
              0.18772,
              0.26926,
              0.418,
              0.7084
            ],
            [
              0.07466,
              0.09773,
              0.11435,
              0.14162,
              0.18753,
              0.26879,
              0.4177,
              0.7082
            ],
            [
              0.0746,
              0.09769,
              0.11456,
              0.1417,
              0.1876,
              0.2689,
              0.4177,
              0.7082
            ],
            [
              0.0746,
              0.0977,
              0.1143,
              0.1415,
              0.1875,
              0.2688,
              0.4184,
              0.7082
            ],
            [
              0.0746,
              0.0977,
              0.1144,
              0.1416,
              0.1875,
              0.2686,
              0.4178,
              0.7083
            ],
            [
              0.0749,
              0.098,
              0.1146,
              0.1417,
              0.1876,
              0.269,
              0.4184,
              0.7084
            ],
            [
              0.0754,
              0.0985,
              0.115,
              0.1423,
              0.1879,
              0.2692,
              0.4179,
              0.7084
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05157,
              0.08168,
              0.10624,
              0.15066,
              0.23738,
              0.41495,
              0.78088,
              1.529
            ],
            [
              0.05159,
              0.08177,
              0.10617,
              0.15061,
              0.23716,
              0.41432,
              0.78298,
              1.5236
            ],
            [
              0.05158,
              0.08174,
              0.10615,
              0.15067,
              0.23724,
              0.41403,
              0.78101,
              1.5235
            ],
            [
              0.05155,
              0.08187,
              0.10614,
              0.15064,
              0.2372,
              0.41432,
              0.78308,
              1.5235
            ],
            [
              0.05157,
              0.08169,
              0.10622,
              0.15065,
              0.23718,
              0.41502,
              0.78155,
              1.525
            ],
            [
              0.05157,
              0.08175,
              0.10633,
              0.15066,
              0.23698,
              0.41403,
              0.781,
              1.5242
            ],
            [
              0.05158,
              0.08187,
              0.10613,
              0.15062,
              0.2371,
              0.41411,
              0.78109,
              1.5235
            ],
            [
              0.05155,
              0.08188,
              0.10632,
              0.15064,
              0.23698,
              0.41408,
              0.781,
              1.5233
            ],
            [
              0.05158,
              0.08174,
              0.10625,
              0.15067,
              0.23706,
              0.4151,
              0.7814,
              1.5281
            ],
            [
              0.0516,
              0.0818,
              0.1062,
              0.1506,
              0.2372,
              0.415,
              0.7813,
              1.5264
            ],
            [
              0.0517,
              0.0819,
              0.1061,
              0.1506,
              0.2373,
              0.4144,
              0.7821,
              1.5245
            ],
            [
              0.0517,
              0.082,
              0.1063,
              0.1508,
              0.2373,
              0.4144,
              0.7804,
              1.5261
            ],
            [
              0.0528,
              0.0831,
              0.1074,
              0.1517,
              0.2383,
              0.415,
              0.7813,
              1.5247
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.60116,
              0.64357,
              0.67259,
              0.71739,
              0.78664,
              0.89169,
              1.05137,
              1.31287
            ],
            [
              0.60414,
              0.64658,
              0.67559,
              0.72036,
              0.78963,
              0.89471,
              1.05444,
              1.31584
            ],
            [
              0.60763,
              0.65008,
              0.67909,
              0.72388,
              0.79315,
              0.89821,
              1.05782,
              1.31942
            ],
            [
              0.61299,
              0.65541,
              0.68442,
              0.72923,
              0.79848,
              0.90353,
              1.06318,
              1.32478
            ],
            [
              0.62091,
              0.66336,
              0.69237,
              0.73715,
              0.80642,
              0.91145,
              1.07121,
              1.33261
            ],
            [
              0.63292,
              0.67535,
              0.70438,
              0.74917,
              0.81842,
              0.92348,
              1.08312,
              1.34472
            ],
            [
              0.65084,
              0.6933,
              0.72231,
              0.7671,
              0.83635,
              0.94143,
              1.10103,
              1.36263
            ],
            [
              0.67725,
              0.71972,
              0.74874,
              0.79351,
              0.86276,
              0.96786,
              1.12756,
              1.38906
            ],
            [
              0.71473,
              0.75715,
              0.78625,
              0.83095,
              0.90025,
              1.00535,
              1.16495,
              1.42655
            ],
            [
              0.76619,
              0.80869,
              0.83769,
              0.88239,
              0.95169,
              1.05679,
              1.21649,
              1.47809
            ],
            [
              0.83682,
              0.87912,
              0.90812,
              0.95272,
              1.02192,
              1.12692,
              1.28682,
              1.54832
            ],
            [
              0.92887,
              0.97057,
              0.99917,
              1.04337,
              1.11217,
              1.21717,
              1.37687,
              1.63847
            ],
            [
              1.0435,
              1.0845,
              1.1126,
              1.1561,
              1.2242,
              1.3286,
              1.488,
              1.7494
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.49391,
              0.5373,
              0.56806,
              0.61735,
              0.69847,
              0.84174,
              1.11467,
              1.65387
            ],
            [
              0.49699,
              0.54031,
              0.5711,
              0.62033,
              0.70147,
              0.84471,
              1.11764,
              1.65684
            ],
            [
              0.5006,
              0.544,
              0.57481,
              0.62404,
              0.70511,
              0.84839,
              1.12122,
              1.66042
            ],
            [
              0.50638,
              0.54976,
              0.58054,
              0.62977,
              0.71091,
              0.85415,
              1.12708,
              1.66627
            ],
            [
              0.51506,
              0.55847,
              0.58923,
              0.63846,
              0.71964,
              0.86291,
              1.13581,
              1.67501
            ],
            [
              0.5282,
              0.57158,
              0.60235,
              0.65165,
              0.73273,
              0.876,
              1.14882,
              1.68802
            ],
            [
              0.54799,
              0.5914,
              0.62219,
              0.67144,
              0.75257,
              0.89583,
              1.16863,
              1.70783
            ],
            [
              0.57787,
              0.62129,
              0.65208,
              0.70139,
              0.78246,
              0.92566,
              1.19856,
              1.73776
            ],
            [
              0.62303,
              0.66647,
              0.69728,
              0.74653,
              0.82765,
              0.97085,
              1.24365,
              1.78295
            ],
            [
              0.69149,
              0.73499,
              0.76579,
              0.81499,
              0.89609,
              1.03919,
              1.31199,
              1.85119
            ],
            [
              0.79242,
              0.83572,
              0.86652,
              0.91572,
              0.99672,
              1.13982,
              1.41262,
              1.95172
            ],
            [
              0.92697,
              0.97017,
              1.00087,
              1.04997,
              1.13087,
              1.27387,
              1.54667,
              2.08597
            ],
            [
              1.0946,
              1.1381,
              1.169,
              1.2181,
              1.2989,
              1.4418,
              1.7145,
              2.254
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.07472,
              0.09786,
              0.11443,
              0.14173,
              0.1879,
              0.26895,
              0.41775,
              0.70832
            ],
            [
              0.07472,
              0.09785,
              0.11463,
              0.14164,
              0.18751,
              0.2689,
              0.41864,
              0.70829
            ],
            [
              0.07474,
              0.09784,
              0.11442,
              0.14181,
              0.1878,
              0.26896,
              0.41853,
              0.7083
            ],
            [
              0.07472,
              0.09783,
              0.11442,
              0.14173,
              0.1879,
              0.26891,
              0.41771,
              0.7083
            ],
            [
              0.07472,
              0.09783,
              0.11442,
              0.14167,
              0.18766,
              0.26875,
              0.41859,
              0.7084
            ],
            [
              0.07471,
              0.09785,
              0.11442,
              0.14168,
              0.18763,
              0.26882,
              0.41791,
              0.708
            ],
            [
              0.0747,
              0.09781,
              0.1144,
              0.14168,
              0.18767,
              0.26878,
              0.4179,
              0.7081
            ],
            [
              0.07471,
              0.09779,
              0.1144,
              0.14167,
              0.18757,
              0.2689,
              0.4179,
              0.7084
            ],
            [
              0.07468,
              0.09774,
              0.1144,
              0.1416,
              0.1875,
              0.2691,
              0.4176,
              0.7083
            ],
            [
              0.0748,
              0.0978,
              0.1144,
              0.1416,
              0.1876,
              0.2689,
              0.4177,
              0.7083
            ],
            [
              0.0747,
              0.0978,
              0.1144,
              0.1416,
              0.1878,
              0.2689,
              0.4185,
              0.7083
            ],
            [
              0.0749,
              0.098,
              0.1147,
              0.1417,
              0.1877,
              0.2691,
              0.4184,
              0.7085
            ],
            [
              0.0754,
              0.0985,
              0.1151,
              0.1423,
              0.1879,
              0.269,
              0.4179,
              0.7084
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05158,
              0.08172,
              0.10628,
              0.15067,
              0.23739,
              0.4149,
              0.78124,
              1.52717
            ],
            [
              0.05163,
              0.08178,
              0.10615,
              0.15063,
              0.23715,
              0.41427,
              0.78273,
              1.52364
            ],
            [
              0.05158,
              0.08176,
              0.10609,
              0.15067,
              0.23726,
              0.41408,
              0.78097,
              1.5233
            ],
            [
              0.05156,
              0.0818,
              0.10613,
              0.15064,
              0.23718,
              0.41427,
              0.78283,
              1.5235
            ],
            [
              0.05157,
              0.08171,
              0.10625,
              0.15066,
              0.23737,
              0.41497,
              0.7808,
              1.5284
            ],
            [
              0.05159,
              0.08176,
              0.10614,
              0.15067,
              0.23695,
              0.41398,
              0.78106,
              1.5243
            ],
            [
              0.05162,
              0.08183,
              0.10613,
              0.15063,
              0.23709,
              0.41416,
              0.78134,
              1.5249
            ],
            [
              0.05157,
              0.0819,
              0.10615,
              0.15065,
              0.23702,
              0.41423,
              0.7808,
              1.5233
            ],
            [
              0.05157,
              0.08176,
              0.10635,
              0.15061,
              0.23711,
              0.4151,
              0.7814,
              1.5287
            ],
            [
              0.0516,
              0.0818,
              0.1061,
              0.1505,
              0.2372,
              0.4142,
              0.7814,
              1.5262
            ],
            [
              0.0517,
              0.0818,
              0.1061,
              0.1509,
              0.2373,
              0.4147,
              0.7821,
              1.5241
            ],
            [
              0.0519,
              0.082,
              0.1063,
              0.1508,
              0.2373,
              0.4144,
              0.7812,
              1.5258
            ],
            [
              0.0528,
              0.0831,
              0.1074,
              0.1517,
              0.238,
              0.415,
              0.7827,
              1.5248
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.40879,
              0.45058,
              0.47875,
              0.52082,
              0.5828,
              0.67546,
              0.82039,
              1.06357
            ],
            [
              0.4118,
              0.45359,
              0.48177,
              0.52386,
              0.58581,
              0.67851,
              0.82341,
              1.06654
            ],
            [
              0.41543,
              0.45722,
              0.48538,
              0.52748,
              0.58945,
              0.68212,
              0.82705,
              1.07022
            ],
            [
              0.42118,
              0.46294,
              0.49112,
              0.53321,
              0.59517,
              0.68785,
              0.83278,
              1.07598
            ],
            [
              0.42982,
              0.47158,
              0.49975,
              0.54182,
              0.6038,
              0.69648,
              0.84139,
              1.08471
            ],
            [
              0.4429,
              0.48468,
              0.51283,
              0.55491,
              0.6169,
              0.70958,
              0.85452,
              1.09772
            ],
            [
              0.46271,
              0.50448,
              0.53264,
              0.57471,
              0.63667,
              0.72937,
              0.87431,
              1.11763
            ],
            [
              0.49261,
              0.53436,
              0.56249,
              0.60455,
              0.66655,
              0.75926,
              0.90416,
              1.14756
            ],
            [
              0.53761,
              0.57931,
              0.60743,
              0.64945,
              0.71143,
              0.80415,
              0.94915,
              1.19245
            ],
            [
              0.60474,
              0.64639,
              0.67449,
              0.71649,
              0.77849,
              0.87129,
              1.01639,
              1.25989
            ],
            [
              0.70252,
              0.74422,
              0.77232,
              0.81432,
              0.87632,
              0.96932,
              1.11452,
              1.35802
            ],
            [
              0.83767,
              0.88027,
              0.90877,
              0.95117,
              1.01357,
              1.10697,
              1.25247,
              1.49607
            ],
            [
              1.0061,
              1.0513,
              1.0815,
              1.1261,
              1.1911,
              1.287,
              1.4344,
              1.6792
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.26036,
              0.30251,
              0.33237,
              0.38001,
              0.45821,
              0.5955,
              0.85429,
              1.36657
            ],
            [
              0.26335,
              0.3055,
              0.33536,
              0.383,
              0.46121,
              0.5985,
              0.8573,
              1.36954
            ],
            [
              0.26682,
              0.30897,
              0.33883,
              0.38647,
              0.46469,
              0.60196,
              0.86084,
              1.37312
            ],
            [
              0.27205,
              0.31421,
              0.34407,
              0.39171,
              0.46992,
              0.6072,
              0.86608,
              1.37827
            ],
            [
              0.27987,
              0.32202,
              0.35187,
              0.39952,
              0.47773,
              0.61504,
              0.87384,
              1.38611
            ],
            [
              0.29146,
              0.33358,
              0.36348,
              0.41109,
              0.48933,
              0.62657,
              0.88542,
              1.39892
            ],
            [
              0.30863,
              0.35079,
              0.38063,
              0.42826,
              0.50651,
              0.64373,
              0.90273,
              1.41633
            ],
            [
              0.33405,
              0.37623,
              0.40612,
              0.45375,
              0.53199,
              0.66921,
              0.92836,
              1.44066
            ],
            [
              0.37003,
              0.41224,
              0.44211,
              0.48976,
              0.56792,
              0.70512,
              0.96465,
              1.47755
            ],
            [
              0.42012,
              0.46241,
              0.49232,
              0.53996,
              0.61813,
              0.75549,
              1.01479,
              1.52889
            ],
            [
              0.48582,
              0.52992,
              0.56072,
              0.60922,
              0.68792,
              0.82532,
              1.08452,
              1.59812
            ],
            [
              0.56797,
              0.61497,
              0.64757,
              0.69817,
              0.77907,
              0.91787,
              1.17797,
              1.69097
            ],
            [
              0.6688,
              0.7198,
              0.7547,
              0.8082,
              0.8922,
              1.0339,
              1.2947,
              1.8079
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.0748,
              0.09699,
              0.1129,
              0.13883,
              0.18269,
              0.25892,
              0.39862,
              0.67295
            ],
            [
              0.07479,
              0.09701,
              0.11309,
              0.13887,
              0.18246,
              0.25866,
              0.39847,
              0.67304
            ],
            [
              0.07479,
              0.097,
              0.11307,
              0.13888,
              0.18257,
              0.25859,
              0.3983,
              0.67282
            ],
            [
              0.07475,
              0.09701,
              0.1129,
              0.13888,
              0.18248,
              0.25858,
              0.39833,
              0.67273
            ],
            [
              0.07472,
              0.097,
              0.1129,
              0.13884,
              0.18248,
              0.25859,
              0.39811,
              0.67231
            ],
            [
              0.07479,
              0.09701,
              0.11293,
              0.13899,
              0.1827,
              0.2586,
              0.39833,
              0.67273
            ],
            [
              0.07471,
              0.097,
              0.1129,
              0.13888,
              0.1825,
              0.25843,
              0.39835,
              0.67224
            ],
            [
              0.07473,
              0.097,
              0.11308,
              0.13887,
              0.18271,
              0.25908,
              0.39818,
              0.67227
            ],
            [
              0.07473,
              0.09699,
              0.11293,
              0.1389,
              0.18277,
              0.25864,
              0.39833,
              0.6728
            ],
            [
              0.07489,
              0.09713,
              0.11316,
              0.1392,
              0.1829,
              0.2586,
              0.3982,
              0.6722
            ],
            [
              0.0755,
              0.0977,
              0.1137,
              0.1396,
              0.1831,
              0.2593,
              0.3988,
              0.6728
            ],
            [
              0.0801,
              0.1014,
              0.1168,
              0.1421,
              0.1851,
              0.2604,
              0.3995,
              0.6735
            ],
            [
              0.0897,
              0.1112,
              0.1266,
              0.1518,
              0.194,
              0.2681,
              0.4039,
              0.6757
            ]
          ]
        },
        "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.00668,
            0.01337,
            0.02674,
            0.05348,
            0.10696,
            0.21392,
            0.42784
          ],
          "values": [
            [
              0.05058,
              0.0813,
              0.10579,
              0.15015,
              0.23518,
              0.40925,
              0.76798,
              1.50092
            ],
            [
              0.05055,
              0.0813,
              0.10576,
              0.15017,
              0.23522,
              0.40925,
              0.76806,
              1.50088
            ],
            [
              0.05058,
              0.08129,
              0.10571,
              0.15034,
              0.23567,
              0.40916,
              0.76795,
              1.5009
            ],
            [
              0.05058,
              0.08129,
              0.10571,
              0.15035,
              0.23565,
              0.40915,
              0.76796,
              1.5009
            ],
            [
              0.05053,
              0.08131,
              0.10579,
              0.15015,
              0.23518,
              0.40925,
              0.76797,
              1.50078
            ],
            [
              0.05057,
              0.08129,
              0.10572,
              0.15013,
              0.23562,
              0.40906,
              0.768,
              1.49722
            ],
            [
              0.05059,
              0.08133,
              0.10573,
              0.15006,
              0.23523,
              0.4089,
              0.76798,
              1.4979
            ],
            [
              0.05056,
              0.08133,
              0.10575,
              0.15017,
              0.23552,
              0.40883,
              0.76797,
              1.49867
            ],
            [
              0.05065,
              0.08137,
              0.10582,
              0.15024,
              0.23544,
              0.40959,
              0.76631,
              1.4975
            ],
            [
              0.05113,
              0.08182,
              0.10621,
              0.1505,
              0.23586,
              0.40916,
              0.7676,
              1.4989
            ],
            [
              0.0545,
              0.0853,
              0.1096,
              0.153,
              0.2371,
              0.4094,
              0.7681,
              1.4977
            ],
            [
              0.0593,
              0.0914,
              0.116,
              0.1595,
              0.2429,
              0.4131,
              0.7684,
              1.4998
            ],
            [
              0.0661,
              0.0999,
              0.125,
              0.1686,
              0.2508,
              0.4187,
              0.7715,
              1.4999
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}