{
  "area": 47.952,
  "cell_footprint": "sky130_fd_sc_hs__fah",
  "cell_leakage_power": 20620.64754,
  "leakage_power": [
    {
      "value": 22707.2502,
      "when": "!A&!B&!CI"
    },
    {
      "value": 20168.50836,
      "when": "!A&!B&CI"
    },
    {
      "value": 23867.75137,
      "when": "!A&B&!CI"
    },
    {
      "value": 22376.15989,
      "when": "!A&B&CI"
    },
    {
      "value": 16918.20954,
      "when": "A&!B&!CI"
    },
    {
      "value": 19638.35525,
      "when": "A&!B&CI"
    },
    {
      "value": 22838.26198,
      "when": "A&B&!CI"
    },
    {
      "value": 16450.68376,
      "when": "A&B&CI"
    }
  ],
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00511,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00794,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00283,
    "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.2474,
              0.256,
              0.26984,
              0.30188,
              0.37151,
              0.51401,
              0.8025,
              1.3835
            ],
            [
              0.24732,
              0.25592,
              0.26971,
              0.30186,
              0.37124,
              0.51408,
              0.80281,
              1.38427
            ],
            [
              0.24754,
              0.25614,
              0.26995,
              0.30195,
              0.37142,
              0.5142,
              0.80293,
              1.38473
            ],
            [
              0.24817,
              0.2568,
              0.27062,
              0.30259,
              0.37201,
              0.51481,
              0.80331,
              1.38603
            ],
            [
              0.24961,
              0.25815,
              0.27202,
              0.30388,
              0.37361,
              0.51607,
              0.80493,
              1.38813
            ],
            [
              0.25214,
              0.26071,
              0.27458,
              0.30651,
              0.37618,
              0.51882,
              0.80753,
              1.38855
            ],
            [
              0.25675,
              0.26535,
              0.27915,
              0.31123,
              0.38076,
              0.52364,
              0.81277,
              1.39465
            ],
            [
              0.26492,
              0.27343,
              0.28724,
              0.31917,
              0.3887,
              0.53177,
              0.82068,
              1.40251
            ],
            [
              0.27835,
              0.28671,
              0.30042,
              0.33232,
              0.40156,
              0.54449,
              0.83296,
              1.4136
            ],
            [
              0.31217,
              0.32031,
              0.3339,
              0.36562,
              0.43462,
              0.57728,
              0.86586,
              1.44884
            ],
            [
              0.34643,
              0.3542,
              0.36775,
              0.39941,
              0.46799,
              0.6108,
              0.89969,
              1.48043
            ],
            [
              0.41206,
              0.41938,
              0.43255,
              0.46395,
              0.53269,
              0.67451,
              0.96201,
              1.54477
            ],
            [
              0.49477,
              0.50135,
              0.51417,
              0.54493,
              0.6132,
              0.75504,
              1.04213,
              1.62243
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.22274,
              0.22576,
              0.23418,
              0.2555,
              0.30358,
              0.40366,
              0.60698,
              1.01869
            ],
            [
              0.22268,
              0.2257,
              0.23411,
              0.2554,
              0.30352,
              0.40386,
              0.60658,
              1.01791
            ],
            [
              0.22286,
              0.22589,
              0.23426,
              0.25557,
              0.30369,
              0.40408,
              0.60721,
              1.01791
            ],
            [
              0.22341,
              0.22644,
              0.23481,
              0.25614,
              0.30413,
              0.40464,
              0.60718,
              1.01834
            ],
            [
              0.2247,
              0.2277,
              0.2361,
              0.25736,
              0.30547,
              0.40582,
              0.60908,
              1.01951
            ],
            [
              0.22728,
              0.23031,
              0.23871,
              0.25997,
              0.3081,
              0.40841,
              0.61161,
              1.02211
            ],
            [
              0.23214,
              0.23517,
              0.24351,
              0.26475,
              0.31289,
              0.41322,
              0.61632,
              1.02703
            ],
            [
              0.24073,
              0.24363,
              0.25191,
              0.27308,
              0.32109,
              0.42131,
              0.62447,
              1.03594
            ],
            [
              0.25491,
              0.25777,
              0.26594,
              0.28693,
              0.33484,
              0.43515,
              0.63781,
              1.04824
            ],
            [
              0.28992,
              0.2926,
              0.30061,
              0.32138,
              0.36896,
              0.46921,
              0.67206,
              1.0833
            ],
            [
              0.32583,
              0.32824,
              0.33597,
              0.35652,
              0.4039,
              0.50338,
              0.70675,
              1.1171
            ],
            [
              0.39348,
              0.39553,
              0.40298,
              0.42298,
              0.47003,
              0.56942,
              0.77204,
              1.18026
            ],
            [
              0.47824,
              0.47996,
              0.487,
              0.5065,
              0.55292,
              0.65213,
              0.85398,
              1.26457
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.22072,
              0.22955,
              0.24368,
              0.27599,
              0.34579,
              0.48878,
              0.77669,
              1.35783
            ],
            [
              0.2206,
              0.22945,
              0.24357,
              0.27595,
              0.34552,
              0.48879,
              0.7765,
              1.36064
            ],
            [
              0.2207,
              0.22953,
              0.24358,
              0.27602,
              0.34586,
              0.48845,
              0.77703,
              1.35949
            ],
            [
              0.22135,
              0.23014,
              0.24418,
              0.27665,
              0.34622,
              0.48917,
              0.77713,
              1.35966
            ],
            [
              0.22279,
              0.23162,
              0.24564,
              0.27793,
              0.34746,
              0.49028,
              0.77869,
              1.36206
            ],
            [
              0.22593,
              0.23467,
              0.24864,
              0.28091,
              0.35046,
              0.49348,
              0.78192,
              1.36267
            ],
            [
              0.23172,
              0.24036,
              0.25419,
              0.28637,
              0.35584,
              0.49864,
              0.78693,
              1.37053
            ],
            [
              0.24143,
              0.24983,
              0.26345,
              0.29524,
              0.36448,
              0.50711,
              0.79559,
              1.37644
            ],
            [
              0.25672,
              0.26475,
              0.2781,
              0.30954,
              0.37833,
              0.521,
              0.80888,
              1.39011
            ],
            [
              0.29092,
              0.29844,
              0.31152,
              0.3423,
              0.41075,
              0.55281,
              0.84074,
              1.42129
            ],
            [
              0.3285,
              0.33543,
              0.34789,
              0.37819,
              0.44561,
              0.58673,
              0.87483,
              1.45574
            ],
            [
              0.39869,
              0.40462,
              0.41645,
              0.4456,
              0.51208,
              0.65204,
              0.93824,
              1.51938
            ],
            [
              0.49241,
              0.49726,
              0.50827,
              0.53585,
              0.60048,
              0.73964,
              1.02436,
              1.6045
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.2012,
              0.20419,
              0.21246,
              0.23372,
              0.28171,
              0.38235,
              0.58477,
              0.99682
            ],
            [
              0.20098,
              0.20395,
              0.21224,
              0.23349,
              0.28154,
              0.38185,
              0.58515,
              0.99626
            ],
            [
              0.20128,
              0.20423,
              0.21257,
              0.2338,
              0.28188,
              0.38229,
              0.58567,
              0.99604
            ],
            [
              0.20169,
              0.20463,
              0.21295,
              0.23416,
              0.2822,
              0.38273,
              0.58538,
              0.9965
            ],
            [
              0.20274,
              0.20566,
              0.21398,
              0.23517,
              0.28313,
              0.38342,
              0.5867,
              0.99726
            ],
            [
              0.20502,
              0.20794,
              0.21625,
              0.23736,
              0.28533,
              0.38555,
              0.58875,
              0.99984
            ],
            [
              0.20954,
              0.21242,
              0.2207,
              0.24171,
              0.28931,
              0.38936,
              0.59169,
              1.00215
            ],
            [
              0.21777,
              0.22046,
              0.22859,
              0.2493,
              0.29678,
              0.3965,
              0.59926,
              1.01059
            ],
            [
              0.23126,
              0.23383,
              0.24178,
              0.2624,
              0.30952,
              0.4089,
              0.61114,
              1.02104
            ],
            [
              0.26682,
              0.269,
              0.27685,
              0.29707,
              0.34338,
              0.44174,
              0.64355,
              1.0545
            ],
            [
              0.30649,
              0.30807,
              0.31551,
              0.33526,
              0.38086,
              0.47814,
              0.67917,
              1.08824
            ],
            [
              0.38313,
              0.38403,
              0.39075,
              0.40942,
              0.45392,
              0.54989,
              0.74863,
              1.15766
            ],
            [
              0.48488,
              0.48495,
              0.49093,
              0.50824,
              0.55072,
              0.64451,
              0.84084,
              1.24697
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.19611,
              0.20512,
              0.2189,
              0.25061,
              0.31947,
              0.46162,
              0.75034,
              1.33108
            ],
            [
              0.19602,
              0.20495,
              0.21892,
              0.25051,
              0.31922,
              0.46149,
              0.74903,
              1.33228
            ],
            [
              0.19608,
              0.20505,
              0.21889,
              0.25055,
              0.31939,
              0.46131,
              0.74995,
              1.33045
            ],
            [
              0.19627,
              0.20524,
              0.21908,
              0.25071,
              0.31955,
              0.4617,
              0.75001,
              1.3308
            ],
            [
              0.19671,
              0.20565,
              0.21951,
              0.25123,
              0.31984,
              0.46223,
              0.74956,
              1.33311
            ],
            [
              0.19792,
              0.20679,
              0.22056,
              0.25216,
              0.32089,
              0.46291,
              0.75095,
              1.33142
            ],
            [
              0.20074,
              0.20939,
              0.22312,
              0.25463,
              0.32319,
              0.46512,
              0.75329,
              1.33416
            ],
            [
              0.2066,
              0.21489,
              0.2282,
              0.25937,
              0.32765,
              0.46892,
              0.75765,
              1.33859
            ],
            [
              0.21617,
              0.22385,
              0.23658,
              0.26693,
              0.3343,
              0.47544,
              0.76399,
              1.34567
            ],
            [
              0.24175,
              0.24872,
              0.26101,
              0.29035,
              0.35678,
              0.49773,
              0.78479,
              1.3637
            ],
            [
              0.26373,
              0.26974,
              0.28129,
              0.30996,
              0.37478,
              0.51372,
              0.7997,
              1.37984
            ],
            [
              0.30895,
              0.31389,
              0.32451,
              0.35151,
              0.41467,
              0.55169,
              0.8362,
              1.41636
            ],
            [
              0.36162,
              0.36528,
              0.37479,
              0.39966,
              0.46025,
              0.59469,
              0.87626,
              1.45312
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.17465,
              0.17817,
              0.18657,
              0.20792,
              0.25633,
              0.35696,
              0.5605,
              0.97213
            ],
            [
              0.17461,
              0.17814,
              0.18654,
              0.20789,
              0.25633,
              0.35692,
              0.56058,
              0.97101
            ],
            [
              0.17468,
              0.1782,
              0.18659,
              0.20793,
              0.25628,
              0.35713,
              0.56037,
              0.97087
            ],
            [
              0.17489,
              0.17839,
              0.18679,
              0.20809,
              0.25639,
              0.35725,
              0.56026,
              0.97042
            ],
            [
              0.17561,
              0.17912,
              0.18744,
              0.20869,
              0.25702,
              0.35736,
              0.5608,
              0.97184
            ],
            [
              0.1773,
              0.18075,
              0.18898,
              0.21005,
              0.25814,
              0.35869,
              0.56184,
              0.97234
            ],
            [
              0.1809,
              0.18404,
              0.19202,
              0.21276,
              0.26051,
              0.3607,
              0.5634,
              0.97522
            ],
            [
              0.18694,
              0.18954,
              0.19721,
              0.21742,
              0.26462,
              0.36428,
              0.56655,
              0.97705
            ],
            [
              0.19643,
              0.19828,
              0.20546,
              0.22507,
              0.27148,
              0.37016,
              0.57248,
              0.98231
            ],
            [
              0.22296,
              0.22389,
              0.23044,
              0.24922,
              0.29447,
              0.39211,
              0.59391,
              1.00393
            ],
            [
              0.24647,
              0.24631,
              0.25206,
              0.26983,
              0.31383,
              0.40985,
              0.60973,
              1.01758
            ],
            [
              0.2941,
              0.29276,
              0.29745,
              0.31381,
              0.3563,
              0.4504,
              0.6478,
              1.05434
            ],
            [
              0.34864,
              0.34612,
              0.34954,
              0.36412,
              0.40453,
              0.49623,
              0.69108,
              1.09505
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.29377,
    "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.16017,
              0.18017,
              0.19477,
              0.21881,
              0.25927,
              0.33078,
              0.46559,
              0.73204
            ],
            [
              0.16194,
              0.18194,
              0.19654,
              0.22058,
              0.26103,
              0.33255,
              0.46725,
              0.73381
            ],
            [
              0.16427,
              0.18428,
              0.19888,
              0.22292,
              0.26337,
              0.3349,
              0.4696,
              0.7363
            ],
            [
              0.16795,
              0.18795,
              0.20255,
              0.22659,
              0.26704,
              0.33857,
              0.47337,
              0.73984
            ],
            [
              0.17331,
              0.19331,
              0.2079,
              0.23194,
              0.27239,
              0.3439,
              0.47857,
              0.74524
            ],
            [
              0.18088,
              0.20084,
              0.21541,
              0.23943,
              0.27986,
              0.35137,
              0.48607,
              0.75276
            ],
            [
              0.19142,
              0.2113,
              0.22583,
              0.2498,
              0.2902,
              0.36167,
              0.49646,
              0.76301
            ],
            [
              0.20594,
              0.22566,
              0.24011,
              0.26401,
              0.30433,
              0.37576,
              0.51051,
              0.77713
            ],
            [
              0.22523,
              0.24479,
              0.25915,
              0.28294,
              0.32318,
              0.39447,
              0.52912,
              0.79555
            ],
            [
              0.25058,
              0.26997,
              0.28425,
              0.30798,
              0.34814,
              0.41931,
              0.55395,
              0.82039
            ],
            [
              0.28349,
              0.30279,
              0.31703,
              0.34071,
              0.38082,
              0.45192,
              0.58632,
              0.85272
            ],
            [
              0.32637,
              0.34567,
              0.35997,
              0.38367,
              0.42377,
              0.49497,
              0.62937,
              0.89547
            ],
            [
              0.3834,
              0.4029,
              0.4172,
              0.4409,
              0.4813,
              0.5529,
              0.6877,
              0.9538
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.14936,
              0.16951,
              0.18603,
              0.21609,
              0.27254,
              0.3824,
              0.60083,
              1.03817
            ],
            [
              0.15079,
              0.17095,
              0.18746,
              0.21752,
              0.27395,
              0.38372,
              0.60248,
              1.04054
            ],
            [
              0.15257,
              0.17273,
              0.18924,
              0.21931,
              0.2757,
              0.38544,
              0.60398,
              1.04172
            ],
            [
              0.1551,
              0.17525,
              0.19178,
              0.22184,
              0.27825,
              0.388,
              0.60679,
              1.04418
            ],
            [
              0.15828,
              0.17843,
              0.19495,
              0.22502,
              0.28136,
              0.39129,
              0.60995,
              1.04741
            ],
            [
              0.16204,
              0.18219,
              0.1987,
              0.22877,
              0.28514,
              0.39509,
              0.61366,
              1.05052
            ],
            [
              0.16625,
              0.18637,
              0.20289,
              0.23295,
              0.28942,
              0.39915,
              0.61781,
              1.05513
            ],
            [
              0.17059,
              0.19066,
              0.20714,
              0.23714,
              0.29357,
              0.40346,
              0.62176,
              1.05936
            ],
            [
              0.17413,
              0.19412,
              0.21054,
              0.24049,
              0.29684,
              0.40656,
              0.62573,
              1.06275
            ],
            [
              0.17549,
              0.19538,
              0.21173,
              0.24156,
              0.29774,
              0.40754,
              0.62625,
              1.06339
            ],
            [
              0.17274,
              0.19254,
              0.20881,
              0.23852,
              0.29463,
              0.40431,
              0.62262,
              1.06022
            ],
            [
              0.16332,
              0.18307,
              0.19927,
              0.22887,
              0.28477,
              0.39447,
              0.61287,
              1.04967
            ],
            [
              0.1436,
              0.1634,
              0.1796,
              0.2091,
              0.265,
              0.3744,
              0.5927,
              1.0298
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.02323,
              0.03843,
              0.05013,
              0.07172,
              0.11349,
              0.19792,
              0.3736,
              0.73298
            ],
            [
              0.02324,
              0.03843,
              0.05014,
              0.07171,
              0.1135,
              0.19796,
              0.37348,
              0.73379
            ],
            [
              0.02327,
              0.03842,
              0.05012,
              0.07169,
              0.11353,
              0.19803,
              0.3733,
              0.73272
            ],
            [
              0.02326,
              0.03844,
              0.05015,
              0.07175,
              0.11345,
              0.19793,
              0.3736,
              0.7331
            ],
            [
              0.02325,
              0.0384,
              0.05009,
              0.07168,
              0.1135,
              0.19805,
              0.37329,
              0.73291
            ],
            [
              0.02313,
              0.03831,
              0.04999,
              0.07159,
              0.11345,
              0.19799,
              0.37328,
              0.73275
            ],
            [
              0.02296,
              0.0381,
              0.04983,
              0.07147,
              0.11329,
              0.19781,
              0.37354,
              0.73408
            ],
            [
              0.02276,
              0.0378,
              0.04952,
              0.07123,
              0.11313,
              0.19768,
              0.37347,
              0.73392
            ],
            [
              0.0226,
              0.03756,
              0.04929,
              0.07094,
              0.11284,
              0.19741,
              0.37303,
              0.7332
            ],
            [
              0.02245,
              0.03733,
              0.04905,
              0.07074,
              0.11258,
              0.19727,
              0.37301,
              0.73278
            ],
            [
              0.02245,
              0.03724,
              0.04896,
              0.07065,
              0.11256,
              0.19684,
              0.37238,
              0.7338
            ],
            [
              0.0226,
              0.0374,
              0.0491,
              0.0708,
              0.1126,
              0.1971,
              0.372,
              0.7325
            ],
            [
              0.0231,
              0.0379,
              0.0495,
              0.0713,
              0.1134,
              0.198,
              0.3731,
              0.7317
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.02056,
              0.04329,
              0.06541,
              0.10895,
              0.19734,
              0.37854,
              0.74583,
              1.48387
            ],
            [
              0.02057,
              0.04327,
              0.06544,
              0.10887,
              0.19718,
              0.37862,
              0.74647,
              1.48342
            ],
            [
              0.02056,
              0.04326,
              0.06545,
              0.10884,
              0.19724,
              0.37862,
              0.74609,
              1.48384
            ],
            [
              0.02055,
              0.04326,
              0.06543,
              0.10883,
              0.19718,
              0.37862,
              0.74659,
              1.48456
            ],
            [
              0.02052,
              0.04324,
              0.06539,
              0.10885,
              0.19735,
              0.37868,
              0.74633,
              1.48361
            ],
            [
              0.02044,
              0.04319,
              0.06533,
              0.10879,
              0.19725,
              0.37868,
              0.74635,
              1.48332
            ],
            [
              0.02032,
              0.04306,
              0.06519,
              0.10866,
              0.1972,
              0.37852,
              0.74607,
              1.48703
            ],
            [
              0.02012,
              0.04287,
              0.06502,
              0.10856,
              0.19705,
              0.37901,
              0.746,
              1.48329
            ],
            [
              0.01986,
              0.04266,
              0.06483,
              0.10841,
              0.19701,
              0.37888,
              0.74609,
              1.48511
            ],
            [
              0.01969,
              0.04251,
              0.0646,
              0.10819,
              0.19691,
              0.3785,
              0.74608,
              1.48375
            ],
            [
              0.01955,
              0.04235,
              0.06446,
              0.10798,
              0.19678,
              0.37854,
              0.74573,
              1.4846
            ],
            [
              0.01959,
              0.04237,
              0.0645,
              0.108,
              0.1968,
              0.3783,
              0.7463,
              1.4845
            ],
            [
              0.0199,
              0.0427,
              0.0647,
              0.1081,
              0.1969,
              0.3783,
              0.7458,
              1.4841
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.16141,
              0.18295,
              0.19882,
              0.22486,
              0.26808,
              0.34285,
              0.48021,
              0.74828
            ],
            [
              0.16317,
              0.18471,
              0.20058,
              0.22662,
              0.26984,
              0.34461,
              0.48203,
              0.7497
            ],
            [
              0.1655,
              0.18704,
              0.20292,
              0.22894,
              0.27217,
              0.34694,
              0.48433,
              0.75203
            ],
            [
              0.16914,
              0.19068,
              0.20656,
              0.23259,
              0.27582,
              0.35059,
              0.48805,
              0.7558
            ],
            [
              0.17449,
              0.19603,
              0.2119,
              0.23792,
              0.28115,
              0.35592,
              0.49329,
              0.76109
            ],
            [
              0.18203,
              0.20354,
              0.2194,
              0.24539,
              0.2886,
              0.36336,
              0.50073,
              0.7684
            ],
            [
              0.19263,
              0.21407,
              0.22988,
              0.25582,
              0.29899,
              0.3737,
              0.51105,
              0.77873
            ],
            [
              0.20764,
              0.22894,
              0.24465,
              0.27049,
              0.31356,
              0.3882,
              0.52551,
              0.7932
            ],
            [
              0.22795,
              0.24903,
              0.26462,
              0.29032,
              0.33326,
              0.40779,
              0.54497,
              0.81275
            ],
            [
              0.25481,
              0.27566,
              0.29113,
              0.3167,
              0.35951,
              0.43385,
              0.57105,
              0.83889
            ],
            [
              0.28976,
              0.31044,
              0.32582,
              0.3513,
              0.39398,
              0.46822,
              0.60512,
              0.87292
            ],
            [
              0.33497,
              0.35557,
              0.37097,
              0.39647,
              0.43917,
              0.51337,
              0.65027,
              0.91777
            ],
            [
              0.3945,
              0.4152,
              0.4307,
              0.4563,
              0.4993,
              0.5738,
              0.7111,
              0.9788
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.13482,
              0.15459,
              0.17073,
              0.20009,
              0.25564,
              0.36503,
              0.58342,
              1.02037
            ],
            [
              0.13625,
              0.15603,
              0.17217,
              0.20152,
              0.25713,
              0.36658,
              0.58462,
              1.02094
            ],
            [
              0.13804,
              0.15782,
              0.17396,
              0.20331,
              0.25892,
              0.36837,
              0.58643,
              1.02292
            ],
            [
              0.14061,
              0.16037,
              0.17652,
              0.20586,
              0.26148,
              0.37093,
              0.58898,
              1.02548
            ],
            [
              0.14386,
              0.16363,
              0.17976,
              0.20911,
              0.26471,
              0.3741,
              0.59223,
              1.02871
            ],
            [
              0.14775,
              0.16749,
              0.18362,
              0.21298,
              0.26859,
              0.37801,
              0.59613,
              1.03262
            ],
            [
              0.15213,
              0.17182,
              0.18794,
              0.21727,
              0.27288,
              0.38231,
              0.60043,
              1.03693
            ],
            [
              0.15649,
              0.17607,
              0.19215,
              0.2214,
              0.27696,
              0.38626,
              0.60441,
              1.04136
            ],
            [
              0.15973,
              0.1792,
              0.19517,
              0.22435,
              0.2798,
              0.38907,
              0.60739,
              1.04395
            ],
            [
              0.16036,
              0.17968,
              0.19555,
              0.2246,
              0.27991,
              0.38903,
              0.60736,
              1.04499
            ],
            [
              0.15644,
              0.17566,
              0.19144,
              0.22035,
              0.2755,
              0.38464,
              0.60242,
              1.03972
            ],
            [
              0.14543,
              0.16463,
              0.18037,
              0.20917,
              0.26417,
              0.37307,
              0.59107,
              1.02697
            ],
            [
              0.1237,
              0.1429,
              0.1587,
              0.1874,
              0.2423,
              0.3509,
              0.5686,
              1.0053
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.02624,
              0.04307,
              0.05573,
              0.07845,
              0.12126,
              0.2059,
              0.3793,
              0.73788
            ],
            [
              0.02625,
              0.04306,
              0.05575,
              0.07848,
              0.12126,
              0.2059,
              0.37888,
              0.73882
            ],
            [
              0.02629,
              0.04306,
              0.05576,
              0.07849,
              0.1213,
              0.20588,
              0.37952,
              0.73854
            ],
            [
              0.02627,
              0.04309,
              0.05572,
              0.07846,
              0.12127,
              0.20573,
              0.37905,
              0.73843
            ],
            [
              0.02627,
              0.04305,
              0.05575,
              0.07849,
              0.12124,
              0.2059,
              0.3795,
              0.73676
            ],
            [
              0.02627,
              0.04299,
              0.05568,
              0.07842,
              0.12121,
              0.20586,
              0.37949,
              0.73874
            ],
            [
              0.02618,
              0.04287,
              0.05552,
              0.07828,
              0.1211,
              0.20576,
              0.37946,
              0.73873
            ],
            [
              0.02613,
              0.0427,
              0.05532,
              0.07806,
              0.12087,
              0.20537,
              0.37911,
              0.73894
            ],
            [
              0.02624,
              0.04261,
              0.05516,
              0.07782,
              0.12065,
              0.20543,
              0.37902,
              0.73865
            ],
            [
              0.02631,
              0.0425,
              0.05494,
              0.07758,
              0.1203,
              0.20501,
              0.3785,
              0.73801
            ],
            [
              0.02639,
              0.04245,
              0.05488,
              0.0774,
              0.12018,
              0.20456,
              0.37852,
              0.7385
            ],
            [
              0.0265,
              0.0427,
              0.0551,
              0.0776,
              0.1202,
              0.2048,
              0.3779,
              0.7368
            ],
            [
              0.0269,
              0.0431,
              0.0556,
              0.0783,
              0.1211,
              0.2056,
              0.3789,
              0.737
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.01919,
              0.0418,
              0.06348,
              0.10659,
              0.19538,
              0.37748,
              0.74496,
              1.48347
            ],
            [
              0.01921,
              0.0418,
              0.0636,
              0.10657,
              0.19535,
              0.37747,
              0.74519,
              1.48341
            ],
            [
              0.01921,
              0.04179,
              0.06359,
              0.10656,
              0.19524,
              0.37742,
              0.74519,
              1.4824
            ],
            [
              0.0192,
              0.04179,
              0.06359,
              0.10656,
              0.19529,
              0.37744,
              0.74518,
              1.48249
            ],
            [
              0.01915,
              0.04174,
              0.06347,
              0.10658,
              0.19536,
              0.37746,
              0.74524,
              1.4843
            ],
            [
              0.01901,
              0.04164,
              0.06339,
              0.1065,
              0.19529,
              0.37741,
              0.74518,
              1.48228
            ],
            [
              0.01881,
              0.04149,
              0.06327,
              0.10635,
              0.19517,
              0.37734,
              0.7452,
              1.48387
            ],
            [
              0.01864,
              0.04124,
              0.06301,
              0.10624,
              0.19503,
              0.37734,
              0.74497,
              1.48143
            ],
            [
              0.01837,
              0.04104,
              0.06282,
              0.10606,
              0.19493,
              0.37727,
              0.74577,
              1.4824
            ],
            [
              0.01824,
              0.04085,
              0.06259,
              0.10593,
              0.19487,
              0.37713,
              0.74483,
              1.48262
            ],
            [
              0.01822,
              0.04078,
              0.06255,
              0.1058,
              0.19471,
              0.37714,
              0.7451,
              1.4822
            ],
            [
              0.01846,
              0.04095,
              0.06268,
              0.1059,
              0.1946,
              0.377,
              0.7453,
              1.4826
            ],
            [
              0.0189,
              0.0413,
              0.0631,
              0.1061,
              0.1946,
              0.377,
              0.745,
              1.4829
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.13987,
              0.15986,
              0.17447,
              0.19851,
              0.23895,
              0.31044,
              0.44514,
              0.71191
            ],
            [
              0.14113,
              0.16115,
              0.17577,
              0.19981,
              0.24026,
              0.31177,
              0.44658,
              0.71316
            ],
            [
              0.14298,
              0.16302,
              0.17764,
              0.2017,
              0.24216,
              0.31364,
              0.44837,
              0.71502
            ],
            [
              0.14613,
              0.1662,
              0.18083,
              0.20491,
              0.24538,
              0.31688,
              0.45156,
              0.71822
            ],
            [
              0.1512,
              0.17129,
              0.18593,
              0.21002,
              0.2505,
              0.32201,
              0.45675,
              0.72326
            ],
            [
              0.15904,
              0.17914,
              0.1938,
              0.21789,
              0.25838,
              0.32991,
              0.46458,
              0.73098
            ],
            [
              0.17087,
              0.19095,
              0.20559,
              0.22967,
              0.27016,
              0.34169,
              0.47642,
              0.74269
            ],
            [
              0.18768,
              0.20766,
              0.22227,
              0.24631,
              0.28677,
              0.35828,
              0.49308,
              0.75958
            ],
            [
              0.20915,
              0.22956,
              0.24445,
              0.26884,
              0.30955,
              0.38116,
              0.51586,
              0.78245
            ],
            [
              0.23826,
              0.25904,
              0.27423,
              0.29914,
              0.34063,
              0.41299,
              0.54805,
              0.81419
            ],
            [
              0.27909,
              0.30036,
              0.31599,
              0.34157,
              0.38392,
              0.45722,
              0.59292,
              0.85952
            ],
            [
              0.33657,
              0.35847,
              0.37457,
              0.40117,
              0.44487,
              0.51977,
              0.65637,
              0.92317
            ],
            [
              0.416,
              0.4388,
              0.4555,
              0.4832,
              0.529,
              0.6066,
              0.7458,
              1.0136
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.10854,
              0.12865,
              0.14503,
              0.17485,
              0.23092,
              0.34063,
              0.55889,
              0.99537
            ],
            [
              0.11005,
              0.13015,
              0.14653,
              0.17635,
              0.23244,
              0.34199,
              0.56041,
              0.99644
            ],
            [
              0.11193,
              0.13204,
              0.14842,
              0.17822,
              0.23429,
              0.34395,
              0.56219,
              0.99892
            ],
            [
              0.11472,
              0.13484,
              0.15121,
              0.181,
              0.23703,
              0.3467,
              0.56495,
              1.00168
            ],
            [
              0.11882,
              0.13895,
              0.1553,
              0.18506,
              0.24106,
              0.35066,
              0.56892,
              1.00541
            ],
            [
              0.12452,
              0.14466,
              0.16098,
              0.19066,
              0.24654,
              0.35603,
              0.57416,
              1.01052
            ],
            [
              0.13274,
              0.15282,
              0.16905,
              0.19854,
              0.25418,
              0.36327,
              0.58135,
              1.01793
            ],
            [
              0.14198,
              0.16209,
              0.17818,
              0.20739,
              0.26262,
              0.37133,
              0.58899,
              1.02536
            ],
            [
              0.14974,
              0.16986,
              0.18585,
              0.21488,
              0.26973,
              0.37794,
              0.59497,
              1.03175
            ],
            [
              0.15554,
              0.17568,
              0.19154,
              0.22031,
              0.27463,
              0.38209,
              0.59851,
              1.03409
            ],
            [
              0.15785,
              0.17801,
              0.19376,
              0.22224,
              0.27604,
              0.38259,
              0.59802,
              1.03312
            ],
            [
              0.1542,
              0.17437,
              0.18997,
              0.21817,
              0.27117,
              0.37687,
              0.59137,
              1.02467
            ],
            [
              0.1409,
              0.1612,
              0.1767,
              0.2046,
              0.257,
              0.3612,
              0.574,
              1.0064
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.02289,
              0.03807,
              0.04984,
              0.07152,
              0.11329,
              0.19773,
              0.37327,
              0.73252
            ],
            [
              0.02291,
              0.03815,
              0.04989,
              0.07149,
              0.11339,
              0.19792,
              0.37358,
              0.73397
            ],
            [
              0.02296,
              0.03817,
              0.04994,
              0.0716,
              0.11337,
              0.19789,
              0.3733,
              0.73284
            ],
            [
              0.02301,
              0.03823,
              0.04999,
              0.07164,
              0.11343,
              0.19801,
              0.37331,
              0.73328
            ],
            [
              0.02304,
              0.03831,
              0.05006,
              0.07169,
              0.11343,
              0.19775,
              0.37332,
              0.73378
            ],
            [
              0.02308,
              0.03835,
              0.05009,
              0.07167,
              0.11351,
              0.19795,
              0.37331,
              0.73431
            ],
            [
              0.02311,
              0.03835,
              0.05007,
              0.07171,
              0.11349,
              0.19793,
              0.3733,
              0.73255
            ],
            [
              0.0235,
              0.03866,
              0.05031,
              0.07185,
              0.1136,
              0.198,
              0.37306,
              0.73291
            ],
            [
              0.02505,
              0.04038,
              0.05199,
              0.07331,
              0.11452,
              0.19855,
              0.37346,
              0.73355
            ],
            [
              0.02688,
              0.04241,
              0.05415,
              0.07551,
              0.11679,
              0.20024,
              0.37387,
              0.73381
            ],
            [
              0.02995,
              0.0458,
              0.05757,
              0.07891,
              0.11994,
              0.20274,
              0.37546,
              0.734
            ],
            [
              0.0347,
              0.0512,
              0.063,
              0.0844,
              0.1253,
              0.2073,
              0.378,
              0.7351
            ],
            [
              0.0408,
              0.0586,
              0.0708,
              0.0924,
              0.1335,
              0.2152,
              0.3845,
              0.7369
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.02083,
              0.04329,
              0.06524,
              0.10846,
              0.19678,
              0.37805,
              0.745,
              1.4824
            ],
            [
              0.02086,
              0.04331,
              0.06524,
              0.10849,
              0.1967,
              0.37804,
              0.74518,
              1.48176
            ],
            [
              0.02092,
              0.04334,
              0.06533,
              0.1085,
              0.19683,
              0.378,
              0.74592,
              1.4829
            ],
            [
              0.02098,
              0.0434,
              0.06535,
              0.10856,
              0.19682,
              0.37807,
              0.74575,
              1.48282
            ],
            [
              0.02112,
              0.04348,
              0.06541,
              0.10865,
              0.19676,
              0.37808,
              0.74517,
              1.48188
            ],
            [
              0.02128,
              0.04363,
              0.06558,
              0.10877,
              0.19689,
              0.37811,
              0.74589,
              1.48253
            ],
            [
              0.02159,
              0.04388,
              0.06576,
              0.109,
              0.19711,
              0.37851,
              0.74492,
              1.48154
            ],
            [
              0.0229,
              0.04477,
              0.06652,
              0.1095,
              0.19733,
              0.37812,
              0.74553,
              1.48276
            ],
            [
              0.02406,
              0.04565,
              0.06734,
              0.11018,
              0.19793,
              0.37847,
              0.74554,
              1.48207
            ],
            [
              0.0254,
              0.04671,
              0.0682,
              0.11095,
              0.19826,
              0.37888,
              0.74499,
              1.48183
            ],
            [
              0.02706,
              0.04803,
              0.06933,
              0.11185,
              0.19881,
              0.37905,
              0.7452,
              1.4815
            ],
            [
              0.02929,
              0.04969,
              0.07087,
              0.113,
              0.1997,
              0.3791,
              0.7456,
              1.4826
            ],
            [
              0.0322,
              0.0522,
              0.0729,
              0.1147,
              0.201,
              0.38,
              0.7464,
              1.4837
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.12053,
              0.14071,
              0.15575,
              0.18098,
              0.22355,
              0.29769,
              0.43445,
              0.70119
            ],
            [
              0.12194,
              0.14214,
              0.15719,
              0.18242,
              0.225,
              0.29914,
              0.43591,
              0.70244
            ],
            [
              0.12383,
              0.14404,
              0.15909,
              0.18433,
              0.22692,
              0.30105,
              0.43771,
              0.70467
            ],
            [
              0.12687,
              0.14708,
              0.16214,
              0.18738,
              0.22995,
              0.30412,
              0.44084,
              0.70759
            ],
            [
              0.13159,
              0.15178,
              0.1668,
              0.19202,
              0.23459,
              0.30874,
              0.44552,
              0.71233
            ],
            [
              0.13858,
              0.15869,
              0.17364,
              0.19879,
              0.24132,
              0.31545,
              0.45214,
              0.71874
            ],
            [
              0.14861,
              0.1686,
              0.1834,
              0.20839,
              0.25081,
              0.32486,
              0.46158,
              0.72828
            ],
            [
              0.16227,
              0.18201,
              0.19656,
              0.22129,
              0.2635,
              0.3374,
              0.47401,
              0.74091
            ],
            [
              0.17929,
              0.1989,
              0.21332,
              0.23785,
              0.27986,
              0.35355,
              0.48997,
              0.75655
            ],
            [
              0.20156,
              0.22106,
              0.2353,
              0.25954,
              0.30134,
              0.37487,
              0.511,
              0.77759
            ],
            [
              0.23052,
              0.25003,
              0.26414,
              0.28813,
              0.32967,
              0.40301,
              0.53902,
              0.80522
            ],
            [
              0.26757,
              0.28727,
              0.30137,
              0.32517,
              0.36657,
              0.43987,
              0.57557,
              0.84137
            ],
            [
              0.3146,
              0.3347,
              0.3489,
              0.3728,
              0.4141,
              0.4878,
              0.6244,
              0.8901
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.10971,
              0.12942,
              0.14558,
              0.175,
              0.23071,
              0.34024,
              0.55837,
              0.99497
            ],
            [
              0.11126,
              0.13098,
              0.14714,
              0.17655,
              0.23225,
              0.34175,
              0.55993,
              0.99684
            ],
            [
              0.11324,
              0.13295,
              0.14911,
              0.17854,
              0.23424,
              0.34372,
              0.56173,
              0.99862
            ],
            [
              0.11624,
              0.13597,
              0.15213,
              0.18154,
              0.23725,
              0.34677,
              0.5649,
              1.00158
            ],
            [
              0.12072,
              0.14045,
              0.1566,
              0.18602,
              0.24169,
              0.35111,
              0.5695,
              1.00601
            ],
            [
              0.12742,
              0.14716,
              0.16331,
              0.19271,
              0.24834,
              0.35782,
              0.57596,
              1.01262
            ],
            [
              0.13774,
              0.15745,
              0.17354,
              0.20284,
              0.25836,
              0.36779,
              0.58615,
              1.02263
            ],
            [
              0.14988,
              0.1697,
              0.18579,
              0.21497,
              0.27034,
              0.37956,
              0.59753,
              1.03446
            ],
            [
              0.16239,
              0.18247,
              0.19874,
              0.22824,
              0.28377,
              0.39273,
              0.61066,
              1.04715
            ],
            [
              0.17711,
              0.19759,
              0.21413,
              0.24405,
              0.29994,
              0.40906,
              0.62651,
              1.06329
            ],
            [
              0.19578,
              0.21678,
              0.23357,
              0.26408,
              0.32062,
              0.43018,
              0.64802,
              1.08412
            ],
            [
              0.22027,
              0.24247,
              0.25937,
              0.29037,
              0.34757,
              0.45797,
              0.67667,
              1.11257
            ],
            [
              0.2526,
              0.2765,
              0.2945,
              0.326,
              0.3841,
              0.4953,
              0.7156,
              1.1535
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.02597,
              0.04177,
              0.05424,
              0.07695,
              0.11987,
              0.20443,
              0.3776,
              0.73545
            ],
            [
              0.02605,
              0.04186,
              0.05426,
              0.07695,
              0.1199,
              0.20445,
              0.37725,
              0.73497
            ],
            [
              0.02611,
              0.04195,
              0.05435,
              0.07705,
              0.11992,
              0.20441,
              0.3778,
              0.73574
            ],
            [
              0.02625,
              0.04211,
              0.05451,
              0.07721,
              0.12006,
              0.20456,
              0.37776,
              0.73543
            ],
            [
              0.02653,
              0.04234,
              0.05472,
              0.07736,
              0.1202,
              0.20451,
              0.37768,
              0.73546
            ],
            [
              0.02701,
              0.04279,
              0.05515,
              0.07769,
              0.12037,
              0.20476,
              0.37774,
              0.73513
            ],
            [
              0.02772,
              0.04341,
              0.05569,
              0.07811,
              0.1207,
              0.20479,
              0.37749,
              0.73582
            ],
            [
              0.0289,
              0.0443,
              0.05634,
              0.07853,
              0.12085,
              0.20503,
              0.3775,
              0.73531
            ],
            [
              0.03034,
              0.04555,
              0.05741,
              0.07922,
              0.12134,
              0.2051,
              0.3774,
              0.7349
            ],
            [
              0.03238,
              0.04722,
              0.05875,
              0.08023,
              0.12202,
              0.2052,
              0.3777,
              0.73492
            ],
            [
              0.03577,
              0.05003,
              0.06105,
              0.08193,
              0.12309,
              0.2058,
              0.37745,
              0.7344
            ],
            [
              0.0412,
              0.0547,
              0.065,
              0.0848,
              0.1252,
              0.2075,
              0.3783,
              0.7341
            ],
            [
              0.0498,
              0.0621,
              0.0713,
              0.0897,
              0.1291,
              0.211,
              0.3811,
              0.7348
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.01866,
              0.04137,
              0.06318,
              0.10631,
              0.19516,
              0.37714,
              0.74516,
              1.4838
            ],
            [
              0.01867,
              0.04139,
              0.06314,
              0.10633,
              0.19522,
              0.37739,
              0.74517,
              1.4832
            ],
            [
              0.01869,
              0.04138,
              0.06323,
              0.10627,
              0.19511,
              0.3772,
              0.74489,
              1.48346
            ],
            [
              0.0187,
              0.04141,
              0.06324,
              0.10634,
              0.19516,
              0.37715,
              0.74524,
              1.48378
            ],
            [
              0.01871,
              0.04141,
              0.06325,
              0.1063,
              0.19521,
              0.37738,
              0.74512,
              1.48222
            ],
            [
              0.01871,
              0.04142,
              0.06315,
              0.10634,
              0.19528,
              0.37746,
              0.74517,
              1.48379
            ],
            [
              0.01885,
              0.04156,
              0.06336,
              0.10645,
              0.19539,
              0.37763,
              0.74515,
              1.48303
            ],
            [
              0.0199,
              0.04237,
              0.06397,
              0.10695,
              0.19563,
              0.37736,
              0.74479,
              1.4842
            ],
            [
              0.02115,
              0.0436,
              0.06545,
              0.10846,
              0.19631,
              0.37756,
              0.74526,
              1.48161
            ],
            [
              0.02317,
              0.0455,
              0.06765,
              0.11083,
              0.19868,
              0.37876,
              0.74572,
              1.48413
            ],
            [
              0.02617,
              0.04834,
              0.07086,
              0.11444,
              0.20204,
              0.38173,
              0.74706,
              1.4833
            ],
            [
              0.03,
              0.0521,
              0.0749,
              0.1193,
              0.207,
              0.3863,
              0.7516,
              1.4844
            ],
            [
              0.0347,
              0.0565,
              0.0796,
              0.1248,
              0.2138,
              0.3942,
              0.7579,
              1.4898
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.09388,
              0.11683,
              0.13401,
              0.16211,
              0.20749,
              0.28366,
              0.42167,
              0.68958
            ],
            [
              0.0955,
              0.11845,
              0.13563,
              0.16373,
              0.20911,
              0.28528,
              0.42329,
              0.69138
            ],
            [
              0.09765,
              0.1206,
              0.13778,
              0.16588,
              0.21126,
              0.28743,
              0.42547,
              0.69334
            ],
            [
              0.10108,
              0.12402,
              0.14119,
              0.1693,
              0.21468,
              0.29085,
              0.42873,
              0.69676
            ],
            [
              0.10655,
              0.12947,
              0.14664,
              0.17474,
              0.22013,
              0.29629,
              0.43432,
              0.70229
            ],
            [
              0.11513,
              0.13799,
              0.15513,
              0.18322,
              0.22861,
              0.3048,
              0.44282,
              0.71081
            ],
            [
              0.12797,
              0.15072,
              0.1678,
              0.19587,
              0.24128,
              0.3175,
              0.45543,
              0.72348
            ],
            [
              0.14476,
              0.16803,
              0.18536,
              0.21364,
              0.25922,
              0.33552,
              0.47351,
              0.74142
            ],
            [
              0.16628,
              0.19018,
              0.20791,
              0.23692,
              0.28333,
              0.36006,
              0.49812,
              0.76605
            ],
            [
              0.19464,
              0.21934,
              0.23758,
              0.26738,
              0.31489,
              0.39271,
              0.53126,
              0.79909
            ],
            [
              0.23242,
              0.25823,
              0.27717,
              0.30807,
              0.35714,
              0.43646,
              0.57602,
              0.84392
            ],
            [
              0.28267,
              0.31007,
              0.33007,
              0.36257,
              0.41407,
              0.49617,
              0.63777,
              0.90597
            ],
            [
              0.3498,
              0.3791,
              0.4005,
              0.4352,
              0.4904,
              0.5774,
              0.7238,
              0.9942
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.08271,
              0.10264,
              0.11921,
              0.14936,
              0.20573,
              0.31558,
              0.53364,
              0.97073
            ],
            [
              0.08415,
              0.10407,
              0.12063,
              0.15079,
              0.20714,
              0.31685,
              0.53554,
              0.97272
            ],
            [
              0.08597,
              0.10588,
              0.12244,
              0.15259,
              0.20894,
              0.31874,
              0.53743,
              0.9742
            ],
            [
              0.08879,
              0.1087,
              0.12524,
              0.15538,
              0.21172,
              0.32154,
              0.53965,
              0.97698
            ],
            [
              0.09321,
              0.11309,
              0.12961,
              0.15969,
              0.21599,
              0.32579,
              0.54469,
              0.98111
            ],
            [
              0.09986,
              0.11969,
              0.13611,
              0.16606,
              0.22223,
              0.33194,
              0.54991,
              0.98692
            ],
            [
              0.10871,
              0.1286,
              0.14488,
              0.17465,
              0.23061,
              0.3401,
              0.55845,
              0.99463
            ],
            [
              0.11814,
              0.13852,
              0.15497,
              0.18483,
              0.24062,
              0.34977,
              0.56749,
              1.00446
            ],
            [
              0.1272,
              0.14843,
              0.16513,
              0.19526,
              0.25114,
              0.35997,
              0.57751,
              1.01325
            ],
            [
              0.13431,
              0.1568,
              0.17398,
              0.20469,
              0.26099,
              0.36972,
              0.58689,
              1.02349
            ],
            [
              0.13712,
              0.16133,
              0.17926,
              0.21091,
              0.26815,
              0.37751,
              0.59442,
              1.03012
            ],
            [
              0.1322,
              0.15856,
              0.17757,
              0.21057,
              0.26937,
              0.37997,
              0.59837,
              1.03317
            ],
            [
              0.1145,
              0.1433,
              0.164,
              0.1987,
              0.2599,
              0.3726,
              0.5934,
              1.0316
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.02672,
              0.04514,
              0.0592,
              0.08329,
              0.12591,
              0.20895,
              0.38014,
              0.73782
            ],
            [
              0.02672,
              0.04512,
              0.05922,
              0.08327,
              0.12601,
              0.20883,
              0.38026,
              0.73737
            ],
            [
              0.02673,
              0.04514,
              0.05922,
              0.0833,
              0.12595,
              0.20895,
              0.38032,
              0.73799
            ],
            [
              0.02673,
              0.04516,
              0.05923,
              0.0833,
              0.12593,
              0.2089,
              0.38048,
              0.73853
            ],
            [
              0.02677,
              0.0452,
              0.05929,
              0.0833,
              0.12598,
              0.20872,
              0.38064,
              0.738
            ],
            [
              0.0269,
              0.04538,
              0.05945,
              0.08348,
              0.12605,
              0.209,
              0.38063,
              0.73811
            ],
            [
              0.02801,
              0.04622,
              0.06016,
              0.08398,
              0.12642,
              0.2091,
              0.38066,
              0.73796
            ],
            [
              0.03095,
              0.04907,
              0.06267,
              0.0859,
              0.1277,
              0.20958,
              0.38102,
              0.73824
            ],
            [
              0.03463,
              0.05293,
              0.06658,
              0.08974,
              0.13083,
              0.2115,
              0.38144,
              0.73834
            ],
            [
              0.03956,
              0.05808,
              0.07172,
              0.09474,
              0.13535,
              0.2149,
              0.38335,
              0.73783
            ],
            [
              0.04663,
              0.06549,
              0.07917,
              0.10204,
              0.14205,
              0.22016,
              0.38582,
              0.7398
            ],
            [
              0.0569,
              0.0763,
              0.0903,
              0.1133,
              0.153,
              0.2295,
              0.3918,
              0.7414
            ],
            [
              0.0714,
              0.0918,
              0.1063,
              0.13,
              0.1702,
              0.246,
              0.4048,
              0.7472
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.01754,
              0.04089,
              0.06338,
              0.10719,
              0.19581,
              0.37755,
              0.74465,
              1.4826
            ],
            [
              0.01757,
              0.04088,
              0.0634,
              0.10708,
              0.19582,
              0.37778,
              0.74519,
              1.4816
            ],
            [
              0.01758,
              0.04088,
              0.0634,
              0.10712,
              0.1958,
              0.37758,
              0.74499,
              1.48272
            ],
            [
              0.01756,
              0.04088,
              0.06341,
              0.10714,
              0.19578,
              0.37757,
              0.74498,
              1.48369
            ],
            [
              0.01758,
              0.04089,
              0.06342,
              0.10722,
              0.19583,
              0.3774,
              0.74539,
              1.48247
            ],
            [
              0.01773,
              0.041,
              0.06352,
              0.10722,
              0.19589,
              0.37757,
              0.7447,
              1.48173
            ],
            [
              0.019,
              0.04178,
              0.06416,
              0.10763,
              0.19605,
              0.37756,
              0.74517,
              1.4817
            ],
            [
              0.02141,
              0.04369,
              0.06592,
              0.10905,
              0.19685,
              0.37789,
              0.7451,
              1.48261
            ],
            [
              0.02501,
              0.0467,
              0.06867,
              0.11153,
              0.19846,
              0.37849,
              0.74511,
              1.48324
            ],
            [
              0.03008,
              0.05121,
              0.07298,
              0.11544,
              0.20156,
              0.38009,
              0.74569,
              1.48199
            ],
            [
              0.03708,
              0.05773,
              0.07925,
              0.12144,
              0.20685,
              0.38396,
              0.74749,
              1.4826
            ],
            [
              0.04672,
              0.06695,
              0.08807,
              0.1302,
              0.215,
              0.3905,
              0.7529,
              1.4872
            ],
            [
              0.0599,
              0.0798,
              0.1005,
              0.1425,
              0.2269,
              0.4018,
              0.7621,
              1.4924
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.09346,
              0.11639,
              0.13356,
              0.16164,
              0.20695,
              0.28296,
              0.42048,
              0.68738
            ],
            [
              0.09507,
              0.11801,
              0.13518,
              0.16325,
              0.20858,
              0.28458,
              0.42227,
              0.68926
            ],
            [
              0.09722,
              0.12015,
              0.13731,
              0.1654,
              0.21072,
              0.28673,
              0.4244,
              0.69112
            ],
            [
              0.10064,
              0.12356,
              0.14072,
              0.16881,
              0.21413,
              0.29014,
              0.42772,
              0.69476
            ],
            [
              0.10611,
              0.129,
              0.14616,
              0.17424,
              0.21957,
              0.29557,
              0.43325,
              0.7001
            ],
            [
              0.11466,
              0.13751,
              0.15464,
              0.1827,
              0.22804,
              0.30407,
              0.44162,
              0.70881
            ],
            [
              0.12748,
              0.15021,
              0.16728,
              0.19533,
              0.24069,
              0.31674,
              0.45442,
              0.72151
            ],
            [
              0.14419,
              0.16745,
              0.18476,
              0.21304,
              0.25858,
              0.33471,
              0.47238,
              0.73923
            ],
            [
              0.16562,
              0.18951,
              0.20724,
              0.23624,
              0.2826,
              0.35918,
              0.49683,
              0.76375
            ],
            [
              0.19385,
              0.21854,
              0.23678,
              0.26658,
              0.31404,
              0.39172,
              0.52993,
              0.79679
            ],
            [
              0.23143,
              0.25725,
              0.2762,
              0.3071,
              0.35614,
              0.43531,
              0.57452,
              0.84162
            ],
            [
              0.28147,
              0.30877,
              0.32877,
              0.36127,
              0.41287,
              0.49487,
              0.63607,
              0.90347
            ],
            [
              0.3481,
              0.3774,
              0.3989,
              0.4336,
              0.4888,
              0.5757,
              0.7219,
              0.9916
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.08259,
              0.10253,
              0.11912,
              0.14933,
              0.2058,
              0.3158,
              0.53457,
              0.9728
            ],
            [
              0.08404,
              0.10397,
              0.12055,
              0.15076,
              0.20723,
              0.31722,
              0.53616,
              0.97396
            ],
            [
              0.08585,
              0.10578,
              0.12236,
              0.15256,
              0.209,
              0.31887,
              0.53795,
              0.97595
            ],
            [
              0.08868,
              0.1086,
              0.12518,
              0.15535,
              0.2118,
              0.32178,
              0.54024,
              0.97757
            ],
            [
              0.0931,
              0.113,
              0.12954,
              0.15967,
              0.21607,
              0.32602,
              0.54472,
              0.98201
            ],
            [
              0.09977,
              0.11961,
              0.13605,
              0.16605,
              0.22233,
              0.3322,
              0.55062,
              0.98802
            ],
            [
              0.10864,
              0.12854,
              0.14484,
              0.17466,
              0.2307,
              0.34031,
              0.5586,
              0.99703
            ],
            [
              0.11808,
              0.13847,
              0.15493,
              0.18483,
              0.24071,
              0.34998,
              0.56804,
              1.00586
            ],
            [
              0.12713,
              0.14837,
              0.16509,
              0.19526,
              0.25122,
              0.36021,
              0.57807,
              1.01455
            ],
            [
              0.13422,
              0.15674,
              0.17393,
              0.20468,
              0.26105,
              0.36994,
              0.58742,
              1.02479
            ],
            [
              0.13705,
              0.16129,
              0.17923,
              0.21092,
              0.26823,
              0.37774,
              0.59492,
              1.03062
            ],
            [
              0.13219,
              0.15858,
              0.17767,
              0.21067,
              0.26957,
              0.38027,
              0.59907,
              1.03467
            ],
            [
              0.1146,
              0.1435,
              0.1642,
              0.199,
              0.2602,
              0.3731,
              0.5942,
              1.0327
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.02666,
              0.04506,
              0.05913,
              0.0832,
              0.12571,
              0.20853,
              0.37946,
              0.73572
            ],
            [
              0.02667,
              0.04507,
              0.05915,
              0.08319,
              0.12581,
              0.20845,
              0.37985,
              0.73574
            ],
            [
              0.02668,
              0.04509,
              0.05915,
              0.08321,
              0.12574,
              0.20853,
              0.37941,
              0.7357
            ],
            [
              0.02667,
              0.0451,
              0.05919,
              0.0832,
              0.12574,
              0.20844,
              0.37963,
              0.73603
            ],
            [
              0.02671,
              0.04514,
              0.05923,
              0.0832,
              0.12581,
              0.20825,
              0.37976,
              0.73601
            ],
            [
              0.02685,
              0.04531,
              0.0594,
              0.08337,
              0.12585,
              0.20856,
              0.37953,
              0.73627
            ],
            [
              0.02796,
              0.04621,
              0.06013,
              0.08395,
              0.1263,
              0.20876,
              0.3797,
              0.73521
            ],
            [
              0.03094,
              0.04907,
              0.06265,
              0.08588,
              0.12755,
              0.20933,
              0.37998,
              0.73587
            ],
            [
              0.03462,
              0.05294,
              0.06657,
              0.0897,
              0.13067,
              0.21118,
              0.38062,
              0.73553
            ],
            [
              0.03957,
              0.05811,
              0.07175,
              0.09472,
              0.13519,
              0.21451,
              0.38226,
              0.73561
            ],
            [
              0.0467,
              0.06558,
              0.07926,
              0.10209,
              0.14199,
              0.21977,
              0.38491,
              0.7368
            ],
            [
              0.057,
              0.0765,
              0.0904,
              0.1135,
              0.153,
              0.2293,
              0.391,
              0.7397
            ],
            [
              0.0716,
              0.092,
              0.1066,
              0.1302,
              0.1703,
              0.2458,
              0.4041,
              0.7452
            ]
          ]
        },
        "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.00683,
            0.01366,
            0.02731,
            0.05462,
            0.10926,
            0.21851,
            0.43703
          ],
          "values": [
            [
              0.01756,
              0.04091,
              0.06343,
              0.10723,
              0.19604,
              0.37787,
              0.74575,
              1.48395
            ],
            [
              0.01758,
              0.04091,
              0.06346,
              0.10722,
              0.19601,
              0.37796,
              0.74599,
              1.48321
            ],
            [
              0.01757,
              0.04091,
              0.06345,
              0.10718,
              0.19605,
              0.37816,
              0.74598,
              1.4832
            ],
            [
              0.01758,
              0.04091,
              0.06346,
              0.10725,
              0.196,
              0.37796,
              0.74578,
              1.48334
            ],
            [
              0.0176,
              0.04092,
              0.06348,
              0.1073,
              0.19606,
              0.37788,
              0.74587,
              1.48468
            ],
            [
              0.01776,
              0.04103,
              0.06359,
              0.1073,
              0.19609,
              0.37782,
              0.74598,
              1.48522
            ],
            [
              0.01903,
              0.0418,
              0.06422,
              0.1077,
              0.19634,
              0.37805,
              0.74565,
              1.48318
            ],
            [
              0.02144,
              0.04374,
              0.06599,
              0.10911,
              0.19707,
              0.37853,
              0.74569,
              1.48411
            ],
            [
              0.02506,
              0.04674,
              0.06874,
              0.11165,
              0.19869,
              0.37887,
              0.74592,
              1.48507
            ],
            [
              0.03015,
              0.05127,
              0.07307,
              0.11557,
              0.20177,
              0.38047,
              0.74652,
              1.48362
            ],
            [
              0.03723,
              0.05784,
              0.07936,
              0.1216,
              0.20709,
              0.38434,
              0.74841,
              1.4844
            ],
            [
              0.04687,
              0.06713,
              0.08823,
              0.13034,
              0.2153,
              0.391,
              0.7536,
              1.4869
            ],
            [
              0.0602,
              0.0799,
              0.1008,
              0.1427,
              0.2272,
              0.4023,
              0.7629,
              1.4938
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.21318,
              0.19198,
              0.17349,
              0.13918,
              0.07416,
              -0.05289,
              -0.30506,
              -0.80814
            ],
            [
              0.21311,
              0.1919,
              0.1734,
              0.13911,
              0.07408,
              -0.05297,
              -0.30515,
              -0.80823
            ],
            [
              0.21327,
              0.19209,
              0.17359,
              0.13931,
              0.07428,
              -0.05278,
              -0.30495,
              -0.80802
            ],
            [
              0.2139,
              0.19272,
              0.17421,
              0.13992,
              0.0749,
              -0.05216,
              -0.30433,
              -0.80741
            ],
            [
              0.21525,
              0.19404,
              0.17555,
              0.14126,
              0.07623,
              -0.05082,
              -0.303,
              -0.80607
            ],
            [
              0.21762,
              0.19646,
              0.17792,
              0.14366,
              0.07864,
              -0.04842,
              -0.30059,
              -0.80368
            ],
            [
              0.22187,
              0.20065,
              0.18216,
              0.14791,
              0.0829,
              -0.04414,
              -0.29632,
              -0.79937
            ],
            [
              0.22925,
              0.20803,
              0.18951,
              0.15526,
              0.09026,
              -0.03678,
              -0.28893,
              -0.79201
            ],
            [
              0.24158,
              0.2203,
              0.20182,
              0.16759,
              0.1026,
              -0.02443,
              -0.27659,
              -0.77961
            ],
            [
              0.27299,
              0.25166,
              0.23314,
              0.19892,
              0.134,
              0.00701,
              -0.24511,
              -0.74814
            ],
            [
              0.30443,
              0.28308,
              0.26457,
              0.23037,
              0.16543,
              0.03848,
              -0.2136,
              -0.71663
            ],
            [
              0.36494,
              0.3436,
              0.32511,
              0.29093,
              0.22607,
              0.09912,
              -0.153,
              -0.65602
            ],
            [
              0.44105,
              0.41959,
              0.40106,
              0.36685,
              0.302,
              0.17516,
              -0.07688,
              -0.57985
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.16499,
              0.17655,
              0.19074,
              0.22069,
              0.28198,
              0.40471,
              0.65213,
              1.15047
            ],
            [
              0.16491,
              0.17648,
              0.19074,
              0.22053,
              0.28164,
              0.40501,
              0.65187,
              1.1502
            ],
            [
              0.1651,
              0.17667,
              0.19094,
              0.22077,
              0.28177,
              0.40508,
              0.65255,
              1.15111
            ],
            [
              0.16564,
              0.1772,
              0.19147,
              0.22126,
              0.2822,
              0.4055,
              0.6525,
              1.15019
            ],
            [
              0.16685,
              0.17839,
              0.19269,
              0.22256,
              0.28361,
              0.40681,
              0.65368,
              1.15152
            ],
            [
              0.1692,
              0.18079,
              0.195,
              0.22487,
              0.28614,
              0.40949,
              0.65596,
              1.15489
            ],
            [
              0.17363,
              0.18523,
              0.19956,
              0.22951,
              0.29072,
              0.41419,
              0.6606,
              1.15918
            ],
            [
              0.18143,
              0.1931,
              0.20744,
              0.23735,
              0.29831,
              0.42169,
              0.66864,
              1.1664
            ],
            [
              0.19466,
              0.20637,
              0.22067,
              0.25062,
              0.3116,
              0.43417,
              0.68192,
              1.17939
            ],
            [
              0.22562,
              0.23733,
              0.2517,
              0.28159,
              0.34271,
              0.46588,
              0.71302,
              1.2105
            ],
            [
              0.25958,
              0.27125,
              0.28557,
              0.31557,
              0.37672,
              0.49949,
              0.74614,
              1.24429
            ],
            [
              0.32199,
              0.33365,
              0.34789,
              0.37764,
              0.43877,
              0.56176,
              0.8081,
              1.30472
            ],
            [
              0.40334,
              0.41488,
              0.42908,
              0.45871,
              0.51966,
              0.64283,
              0.88942,
              1.38562
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.22274,
              0.22308,
              0.22882,
              0.24475,
              0.2821,
              0.36072,
              0.52106,
              0.84687
            ],
            [
              0.22268,
              0.22302,
              0.22875,
              0.24466,
              0.28203,
              0.36091,
              0.52066,
              0.8461
            ],
            [
              0.22286,
              0.22321,
              0.2289,
              0.24483,
              0.28221,
              0.36113,
              0.5213,
              0.8461
            ],
            [
              0.22341,
              0.22376,
              0.22945,
              0.24539,
              0.28265,
              0.3617,
              0.52126,
              0.84652
            ],
            [
              0.2247,
              0.22502,
              0.23073,
              0.24662,
              0.28399,
              0.36287,
              0.52316,
              0.8477
            ],
            [
              0.22728,
              0.22763,
              0.23335,
              0.24923,
              0.28662,
              0.36546,
              0.52569,
              0.85029
            ],
            [
              0.23214,
              0.23249,
              0.23814,
              0.25401,
              0.29141,
              0.37027,
              0.5304,
              0.85521
            ],
            [
              0.24073,
              0.24095,
              0.24655,
              0.26234,
              0.29961,
              0.37837,
              0.53855,
              0.86413
            ],
            [
              0.25491,
              0.25509,
              0.26057,
              0.27619,
              0.31335,
              0.3922,
              0.55189,
              0.87642
            ],
            [
              0.28992,
              0.28992,
              0.29525,
              0.31064,
              0.34747,
              0.42626,
              0.58614,
              0.91149
            ],
            [
              0.32583,
              0.32556,
              0.33061,
              0.34578,
              0.38241,
              0.46043,
              0.62083,
              0.94529
            ],
            [
              0.39348,
              0.39285,
              0.39761,
              0.41224,
              0.44855,
              0.52648,
              0.68612,
              1.00844
            ],
            [
              0.47824,
              0.47728,
              0.48164,
              0.49576,
              0.53144,
              0.60918,
              0.76806,
              1.09275
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.2474,
              0.25332,
              0.26448,
              0.29114,
              0.35002,
              0.47106,
              0.71658,
              1.21168
            ],
            [
              0.24732,
              0.25324,
              0.26435,
              0.29112,
              0.34976,
              0.47113,
              0.71689,
              1.21246
            ],
            [
              0.24754,
              0.25346,
              0.26459,
              0.29121,
              0.34994,
              0.47125,
              0.71701,
              1.21291
            ],
            [
              0.24817,
              0.25412,
              0.26525,
              0.29185,
              0.35052,
              0.47186,
              0.71739,
              1.21421
            ],
            [
              0.24961,
              0.25546,
              0.26665,
              0.29314,
              0.35213,
              0.47312,
              0.71902,
              1.21632
            ],
            [
              0.25214,
              0.25803,
              0.26922,
              0.29577,
              0.35469,
              0.47587,
              0.72162,
              1.21673
            ],
            [
              0.25675,
              0.26267,
              0.27379,
              0.30049,
              0.35928,
              0.48069,
              0.72685,
              1.22284
            ],
            [
              0.26492,
              0.27075,
              0.28187,
              0.30843,
              0.36722,
              0.48882,
              0.73476,
              1.2307
            ],
            [
              0.27835,
              0.28402,
              0.29506,
              0.32158,
              0.38007,
              0.50154,
              0.74705,
              1.24178
            ],
            [
              0.31217,
              0.31763,
              0.32853,
              0.35487,
              0.41314,
              0.53433,
              0.77994,
              1.27703
            ],
            [
              0.34643,
              0.35152,
              0.36239,
              0.38867,
              0.4465,
              0.56785,
              0.81377,
              1.30862
            ],
            [
              0.41206,
              0.4167,
              0.42719,
              0.45321,
              0.51121,
              0.63156,
              0.87609,
              1.37295
            ],
            [
              0.49477,
              0.49867,
              0.5088,
              0.53418,
              0.59172,
              0.71209,
              0.95621,
              1.45062
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.20563,
              0.18436,
              0.16584,
              0.13155,
              0.06653,
              -0.06054,
              -0.31273,
              -0.8158
            ],
            [
              0.20557,
              0.1843,
              0.16577,
              0.13149,
              0.06645,
              -0.06062,
              -0.3128,
              -0.81589
            ],
            [
              0.20574,
              0.18443,
              0.16592,
              0.13163,
              0.06659,
              -0.06047,
              -0.31267,
              -0.81576
            ],
            [
              0.20647,
              0.18516,
              0.16665,
              0.13236,
              0.06731,
              -0.05976,
              -0.31195,
              -0.81503
            ],
            [
              0.20809,
              0.18681,
              0.16826,
              0.13395,
              0.06891,
              -0.05815,
              -0.31035,
              -0.81343
            ],
            [
              0.21139,
              0.19009,
              0.17153,
              0.13722,
              0.07216,
              -0.05491,
              -0.3071,
              -0.81017
            ],
            [
              0.21715,
              0.19582,
              0.17727,
              0.14293,
              0.0779,
              -0.04916,
              -0.30134,
              -0.80441
            ],
            [
              0.22634,
              0.20503,
              0.18645,
              0.1521,
              0.08708,
              -0.03998,
              -0.29215,
              -0.7952
            ],
            [
              0.24047,
              0.21907,
              0.2005,
              0.16616,
              0.10111,
              -0.02594,
              -0.27809,
              -0.78109
            ],
            [
              0.27356,
              0.2521,
              0.23345,
              0.19909,
              0.13409,
              0.00709,
              -0.24505,
              -0.74805
            ],
            [
              0.30772,
              0.28617,
              0.26752,
              0.23311,
              0.16804,
              0.04107,
              -0.21099,
              -0.71399
            ],
            [
              0.37367,
              0.352,
              0.33334,
              0.29891,
              0.2339,
              0.10689,
              -0.14518,
              -0.64813
            ],
            [
              0.45982,
              0.43806,
              0.41931,
              0.38478,
              0.31971,
              0.1928,
              -0.05915,
              -0.56201
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.16124,
              0.17281,
              0.18709,
              0.21701,
              0.27808,
              0.40123,
              0.6484,
              1.14596
            ],
            [
              0.16114,
              0.17268,
              0.18696,
              0.21694,
              0.27816,
              0.4012,
              0.64834,
              1.14555
            ],
            [
              0.16161,
              0.17318,
              0.18744,
              0.21734,
              0.27851,
              0.40174,
              0.64825,
              1.14652
            ],
            [
              0.1623,
              0.17385,
              0.18811,
              0.21811,
              0.27942,
              0.40236,
              0.64899,
              1.1481
            ],
            [
              0.16385,
              0.17543,
              0.18968,
              0.21962,
              0.28068,
              0.4039,
              0.65099,
              1.14914
            ],
            [
              0.16697,
              0.17854,
              0.19275,
              0.22258,
              0.2839,
              0.40685,
              0.65462,
              1.15207
            ],
            [
              0.17288,
              0.18438,
              0.19862,
              0.22833,
              0.28945,
              0.41238,
              0.65936,
              1.15698
            ],
            [
              0.18274,
              0.19409,
              0.20816,
              0.23779,
              0.29844,
              0.42146,
              0.66917,
              1.16592
            ],
            [
              0.19781,
              0.20901,
              0.22293,
              0.25229,
              0.31281,
              0.43563,
              0.68193,
              1.18078
            ],
            [
              0.23363,
              0.24462,
              0.25855,
              0.28768,
              0.34794,
              0.4704,
              0.71719,
              1.21378
            ],
            [
              0.27389,
              0.2846,
              0.29831,
              0.32732,
              0.38729,
              0.5089,
              0.75413,
              1.25318
            ],
            [
              0.34899,
              0.35948,
              0.37288,
              0.40144,
              0.46133,
              0.58241,
              0.82826,
              1.32373
            ],
            [
              0.44737,
              0.45758,
              0.47082,
              0.49897,
              0.55808,
              0.67866,
              0.92318,
              1.41841
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.2012,
              0.20151,
              0.2071,
              0.22298,
              0.26023,
              0.3394,
              0.49885,
              0.825
            ],
            [
              0.20098,
              0.20127,
              0.20688,
              0.22275,
              0.26006,
              0.3389,
              0.49924,
              0.82445
            ],
            [
              0.20128,
              0.20155,
              0.20721,
              0.22305,
              0.2604,
              0.33934,
              0.49976,
              0.82422
            ],
            [
              0.20169,
              0.20195,
              0.20759,
              0.22341,
              0.26072,
              0.33978,
              0.49947,
              0.82469
            ],
            [
              0.20274,
              0.20298,
              0.20862,
              0.22443,
              0.26165,
              0.34047,
              0.50078,
              0.82545
            ],
            [
              0.20502,
              0.20526,
              0.21089,
              0.22662,
              0.26385,
              0.3426,
              0.50283,
              0.82802
            ],
            [
              0.20954,
              0.20974,
              0.21533,
              0.23097,
              0.26783,
              0.34642,
              0.50577,
              0.83034
            ],
            [
              0.21777,
              0.21778,
              0.22323,
              0.23856,
              0.27529,
              0.35355,
              0.51334,
              0.83877
            ],
            [
              0.23126,
              0.23115,
              0.23642,
              0.25166,
              0.28804,
              0.36595,
              0.52522,
              0.84922
            ],
            [
              0.26682,
              0.26632,
              0.27149,
              0.28633,
              0.32189,
              0.39879,
              0.55763,
              0.88269
            ],
            [
              0.30649,
              0.30539,
              0.31015,
              0.32452,
              0.35938,
              0.43519,
              0.59325,
              0.91642
            ],
            [
              0.38313,
              0.38134,
              0.38539,
              0.39868,
              0.43243,
              0.50694,
              0.66272,
              0.98583
            ],
            [
              0.48488,
              0.48227,
              0.48557,
              0.4975,
              0.52923,
              0.60156,
              0.75492,
              1.07516
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.22072,
              0.22687,
              0.23831,
              0.26525,
              0.3243,
              0.44583,
              0.69078,
              1.18602
            ],
            [
              0.2206,
              0.22677,
              0.2382,
              0.26521,
              0.32404,
              0.44584,
              0.69058,
              1.18882
            ],
            [
              0.2207,
              0.22685,
              0.23822,
              0.26527,
              0.32438,
              0.4455,
              0.69111,
              1.18766
            ],
            [
              0.22135,
              0.22746,
              0.23882,
              0.26591,
              0.32474,
              0.44622,
              0.69121,
              1.18785
            ],
            [
              0.22279,
              0.22894,
              0.24028,
              0.26719,
              0.32598,
              0.44733,
              0.69278,
              1.19023
            ],
            [
              0.22593,
              0.23199,
              0.24328,
              0.27016,
              0.32897,
              0.45053,
              0.696,
              1.19087
            ],
            [
              0.23172,
              0.23768,
              0.24883,
              0.27563,
              0.33436,
              0.45569,
              0.70101,
              1.19872
            ],
            [
              0.24143,
              0.24715,
              0.25808,
              0.2845,
              0.343,
              0.46416,
              0.70968,
              1.20462
            ],
            [
              0.25672,
              0.26206,
              0.27274,
              0.2988,
              0.35684,
              0.47805,
              0.72296,
              1.2183
            ],
            [
              0.29092,
              0.29576,
              0.30616,
              0.33155,
              0.38927,
              0.50986,
              0.75482,
              1.24948
            ],
            [
              0.3285,
              0.33275,
              0.34253,
              0.36745,
              0.42412,
              0.54378,
              0.78891,
              1.28391
            ],
            [
              0.39869,
              0.40194,
              0.41109,
              0.43485,
              0.4906,
              0.60909,
              0.85232,
              1.34757
            ],
            [
              0.49241,
              0.49458,
              0.50291,
              0.52511,
              0.579,
              0.69669,
              0.93844,
              1.43268
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.17575,
              0.15441,
              0.13565,
              0.10073,
              0.03496,
              -0.09265,
              -0.34522,
              -0.84855
            ],
            [
              0.17569,
              0.15436,
              0.13558,
              0.10065,
              0.03488,
              -0.09274,
              -0.34529,
              -0.84861
            ],
            [
              0.17568,
              0.15435,
              0.13555,
              0.10063,
              0.03486,
              -0.09275,
              -0.34531,
              -0.84865
            ],
            [
              0.17585,
              0.15451,
              0.1357,
              0.10078,
              0.03501,
              -0.0926,
              -0.34516,
              -0.84849
            ],
            [
              0.17628,
              0.15494,
              0.13611,
              0.10117,
              0.0354,
              -0.09221,
              -0.34476,
              -0.84808
            ],
            [
              0.17747,
              0.15605,
              0.13716,
              0.10216,
              0.03636,
              -0.09126,
              -0.34381,
              -0.84712
            ],
            [
              0.18035,
              0.15874,
              0.13973,
              0.10458,
              0.03864,
              -0.08907,
              -0.34168,
              -0.84503
            ],
            [
              0.18611,
              0.16412,
              0.14478,
              0.10928,
              0.04298,
              -0.08497,
              -0.33773,
              -0.84117
            ],
            [
              0.19538,
              0.17279,
              0.1531,
              0.11703,
              0.05014,
              -0.07822,
              -0.33125,
              -0.83482
            ],
            [
              0.22144,
              0.19827,
              0.17804,
              0.14121,
              0.07352,
              -0.05552,
              -0.30895,
              -0.81281
            ],
            [
              0.24299,
              0.21911,
              0.19828,
              0.1605,
              0.09152,
              -0.03858,
              -0.29269,
              -0.797
            ],
            [
              0.28836,
              0.26371,
              0.24215,
              0.20306,
              0.13233,
              0.0005,
              -0.25487,
              -0.75993
            ],
            [
              0.33937,
              0.31388,
              0.29147,
              0.25083,
              0.17764,
              0.04312,
              -0.21433,
              -0.72082
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.1285,
              0.14065,
              0.15526,
              0.18565,
              0.24722,
              0.37052,
              0.61796,
              1.11516
            ],
            [
              0.1285,
              0.14065,
              0.15522,
              0.18563,
              0.24735,
              0.37092,
              0.61791,
              1.11544
            ],
            [
              0.12859,
              0.14076,
              0.15536,
              0.18561,
              0.24708,
              0.37067,
              0.61778,
              1.1167
            ],
            [
              0.12888,
              0.14101,
              0.15557,
              0.18591,
              0.24747,
              0.37075,
              0.61878,
              1.11698
            ],
            [
              0.12974,
              0.14187,
              0.15639,
              0.18661,
              0.24816,
              0.37206,
              0.61933,
              1.11775
            ],
            [
              0.13181,
              0.14378,
              0.15825,
              0.18824,
              0.24962,
              0.37292,
              0.61974,
              1.11818
            ],
            [
              0.13591,
              0.14751,
              0.16169,
              0.19146,
              0.25234,
              0.37548,
              0.6222,
              1.12118
            ],
            [
              0.14254,
              0.15353,
              0.16724,
              0.19654,
              0.2569,
              0.37959,
              0.62643,
              1.12484
            ],
            [
              0.15296,
              0.16313,
              0.17647,
              0.20521,
              0.26479,
              0.38663,
              0.63354,
              1.12997
            ],
            [
              0.17957,
              0.18871,
              0.20153,
              0.2295,
              0.28847,
              0.40936,
              0.65523,
              1.15369
            ],
            [
              0.20418,
              0.21217,
              0.22413,
              0.25137,
              0.30909,
              0.42871,
              0.67237,
              1.1683
            ],
            [
              0.25184,
              0.25866,
              0.26965,
              0.29543,
              0.35192,
              0.46994,
              0.71202,
              1.20574
            ],
            [
              0.30756,
              0.31325,
              0.32312,
              0.34732,
              0.40184,
              0.51826,
              0.75802,
              1.24969
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.17465,
              0.17549,
              0.1812,
              0.19717,
              0.23485,
              0.31401,
              0.47459,
              0.80031
            ],
            [
              0.17461,
              0.17546,
              0.18118,
              0.19714,
              0.23485,
              0.31398,
              0.47466,
              0.79919
            ],
            [
              0.17468,
              0.17552,
              0.18123,
              0.19719,
              0.23479,
              0.31418,
              0.47445,
              0.79905
            ],
            [
              0.17489,
              0.17571,
              0.18143,
              0.19735,
              0.2349,
              0.3143,
              0.47434,
              0.7986
            ],
            [
              0.17561,
              0.17644,
              0.18208,
              0.19795,
              0.23554,
              0.31441,
              0.47488,
              0.80003
            ],
            [
              0.1773,
              0.17807,
              0.18361,
              0.19931,
              0.23666,
              0.31574,
              0.47592,
              0.80053
            ],
            [
              0.1809,
              0.18136,
              0.18665,
              0.20202,
              0.23903,
              0.31776,
              0.47749,
              0.80341
            ],
            [
              0.18694,
              0.18686,
              0.19185,
              0.20668,
              0.24313,
              0.32133,
              0.48063,
              0.80523
            ],
            [
              0.19643,
              0.19559,
              0.2001,
              0.21433,
              0.25,
              0.32721,
              0.48656,
              0.81049
            ],
            [
              0.22296,
              0.22121,
              0.22508,
              0.23848,
              0.27299,
              0.34916,
              0.50799,
              0.83211
            ],
            [
              0.24647,
              0.24363,
              0.24669,
              0.25909,
              0.29235,
              0.3669,
              0.52381,
              0.84577
            ],
            [
              0.2941,
              0.29008,
              0.29208,
              0.30307,
              0.33482,
              0.40746,
              0.56188,
              0.88252
            ],
            [
              0.34864,
              0.34344,
              0.34418,
              0.35338,
              0.38304,
              0.45328,
              0.60516,
              0.92323
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.19611,
              0.20244,
              0.21353,
              0.23987,
              0.29799,
              0.41867,
              0.66443,
              1.15926
            ],
            [
              0.19602,
              0.20227,
              0.21356,
              0.23977,
              0.29773,
              0.41855,
              0.66311,
              1.16047
            ],
            [
              0.19608,
              0.20237,
              0.21353,
              0.23981,
              0.2979,
              0.41836,
              0.66403,
              1.15863
            ],
            [
              0.19627,
              0.20256,
              0.21371,
              0.23997,
              0.29807,
              0.41875,
              0.66409,
              1.15898
            ],
            [
              0.19671,
              0.20297,
              0.21414,
              0.24049,
              0.29836,
              0.41928,
              0.66364,
              1.16129
            ],
            [
              0.19792,
              0.20411,
              0.2152,
              0.24142,
              0.2994,
              0.41996,
              0.66503,
              1.1596
            ],
            [
              0.20074,
              0.20671,
              0.21776,
              0.24389,
              0.30171,
              0.42217,
              0.66738,
              1.16234
            ],
            [
              0.2066,
              0.21221,
              0.22284,
              0.24863,
              0.30617,
              0.42597,
              0.67174,
              1.16678
            ],
            [
              0.21617,
              0.22117,
              0.23122,
              0.25619,
              0.31282,
              0.43249,
              0.67807,
              1.17385
            ],
            [
              0.24175,
              0.24604,
              0.25565,
              0.27961,
              0.3353,
              0.45478,
              0.69887,
              1.19189
            ],
            [
              0.26373,
              0.26706,
              0.27593,
              0.29921,
              0.35329,
              0.47077,
              0.71378,
              1.20802
            ],
            [
              0.30895,
              0.31121,
              0.31915,
              0.34077,
              0.39319,
              0.50874,
              0.75028,
              1.24455
            ],
            [
              0.36162,
              0.3626,
              0.36943,
              0.38892,
              0.43876,
              0.55174,
              0.79034,
              1.28131
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.35271,
    "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.16929,
              0.19384,
              0.21167,
              0.24099,
              0.29035,
              0.37758,
              0.54114,
              0.86377
            ],
            [
              0.17106,
              0.19561,
              0.21344,
              0.24276,
              0.29212,
              0.37935,
              0.54288,
              0.86548
            ],
            [
              0.1734,
              0.19796,
              0.21578,
              0.24511,
              0.29448,
              0.38167,
              0.54536,
              0.86753
            ],
            [
              0.17708,
              0.20164,
              0.21946,
              0.24879,
              0.29814,
              0.38538,
              0.54898,
              0.87142
            ],
            [
              0.18243,
              0.20697,
              0.2248,
              0.25411,
              0.30348,
              0.39066,
              0.55437,
              0.87634
            ],
            [
              0.18993,
              0.21444,
              0.23224,
              0.26154,
              0.31088,
              0.39805,
              0.56177,
              0.88391
            ],
            [
              0.20037,
              0.22478,
              0.24253,
              0.27177,
              0.32107,
              0.40824,
              0.57178,
              0.89393
            ],
            [
              0.21495,
              0.23917,
              0.25682,
              0.28596,
              0.33519,
              0.42232,
              0.58588,
              0.90826
            ],
            [
              0.23455,
              0.25854,
              0.27606,
              0.30505,
              0.35415,
              0.4412,
              0.60476,
              0.92685
            ],
            [
              0.26042,
              0.28413,
              0.30148,
              0.33033,
              0.3793,
              0.46622,
              0.62979,
              0.95169
            ],
            [
              0.2939,
              0.31733,
              0.33454,
              0.36325,
              0.41208,
              0.49892,
              0.66212,
              0.98472
            ],
            [
              0.33717,
              0.36047,
              0.37757,
              0.40617,
              0.45487,
              0.54147,
              0.70497,
              1.02687
            ],
            [
              0.3947,
              0.4178,
              0.4349,
              0.4633,
              0.5119,
              0.5987,
              0.7622,
              1.0842
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.14869,
              0.17014,
              0.18742,
              0.21854,
              0.27739,
              0.39366,
              0.62509,
              1.08907
            ],
            [
              0.15012,
              0.17157,
              0.18886,
              0.22,
              0.2789,
              0.39489,
              0.62635,
              1.08964
            ],
            [
              0.15189,
              0.17335,
              0.19063,
              0.22177,
              0.28068,
              0.39665,
              0.62811,
              1.09252
            ],
            [
              0.15441,
              0.17588,
              0.19315,
              0.22429,
              0.28319,
              0.39915,
              0.63057,
              1.09478
            ],
            [
              0.15765,
              0.17909,
              0.19638,
              0.22751,
              0.28643,
              0.40243,
              0.63366,
              1.09771
            ],
            [
              0.16147,
              0.1829,
              0.20018,
              0.23132,
              0.29021,
              0.40638,
              0.63771,
              1.10072
            ],
            [
              0.16565,
              0.18705,
              0.20431,
              0.23542,
              0.29432,
              0.41034,
              0.64192,
              1.10583
            ],
            [
              0.16973,
              0.19107,
              0.2083,
              0.23934,
              0.29816,
              0.41452,
              0.64588,
              1.10976
            ],
            [
              0.17276,
              0.19402,
              0.2112,
              0.2422,
              0.30095,
              0.41707,
              0.64857,
              1.11185
            ],
            [
              0.17334,
              0.1945,
              0.21161,
              0.24256,
              0.30128,
              0.41711,
              0.64889,
              1.11239
            ],
            [
              0.16961,
              0.19067,
              0.20772,
              0.23859,
              0.29721,
              0.4131,
              0.64432,
              1.10882
            ],
            [
              0.15916,
              0.18017,
              0.19717,
              0.22797,
              0.28657,
              0.40237,
              0.63387,
              1.09657
            ],
            [
              0.1385,
              0.1595,
              0.1765,
              0.2073,
              0.2658,
              0.3817,
              0.6127,
              1.0758
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02624,
              0.04563,
              0.06046,
              0.08709,
              0.13813,
              0.2402,
              0.45082,
              0.88326
            ],
            [
              0.02624,
              0.04563,
              0.06045,
              0.08713,
              0.13814,
              0.24024,
              0.45086,
              0.88296
            ],
            [
              0.02628,
              0.04566,
              0.06038,
              0.08717,
              0.13806,
              0.24021,
              0.45057,
              0.8827
            ],
            [
              0.02625,
              0.04561,
              0.06046,
              0.08715,
              0.1381,
              0.24009,
              0.45074,
              0.88375
            ],
            [
              0.02627,
              0.04564,
              0.06037,
              0.08715,
              0.13805,
              0.24021,
              0.45052,
              0.88305
            ],
            [
              0.02621,
              0.04559,
              0.0603,
              0.08708,
              0.13797,
              0.24003,
              0.45014,
              0.88378
            ],
            [
              0.02617,
              0.04544,
              0.06014,
              0.08694,
              0.13791,
              0.24017,
              0.45081,
              0.88305
            ],
            [
              0.02605,
              0.04521,
              0.05995,
              0.08661,
              0.13778,
              0.23986,
              0.45069,
              0.88325
            ],
            [
              0.02607,
              0.04499,
              0.0596,
              0.08642,
              0.13746,
              0.23978,
              0.45048,
              0.8844
            ],
            [
              0.02603,
              0.04473,
              0.05935,
              0.08598,
              0.13716,
              0.23963,
              0.45045,
              0.88438
            ],
            [
              0.02579,
              0.04434,
              0.05896,
              0.08567,
              0.13673,
              0.23906,
              0.4504,
              0.8839
            ],
            [
              0.0255,
              0.044,
              0.0586,
              0.0852,
              0.1364,
              0.239,
              0.4494,
              0.8828
            ],
            [
              0.0254,
              0.0438,
              0.0582,
              0.085,
              0.1361,
              0.2389,
              0.4502,
              0.882
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.01959,
              0.04249,
              0.06408,
              0.10745,
              0.19627,
              0.3795,
              0.74928,
              1.49007
            ],
            [
              0.01959,
              0.04241,
              0.06414,
              0.10735,
              0.19619,
              0.37949,
              0.74946,
              1.48917
            ],
            [
              0.01959,
              0.0424,
              0.06415,
              0.10716,
              0.19636,
              0.37895,
              0.74895,
              1.48934
            ],
            [
              0.01959,
              0.0424,
              0.06413,
              0.10731,
              0.19625,
              0.37917,
              0.7488,
              1.49354
            ],
            [
              0.01958,
              0.04242,
              0.06412,
              0.10719,
              0.19639,
              0.37921,
              0.74888,
              1.49129
            ],
            [
              0.0195,
              0.04234,
              0.06403,
              0.10729,
              0.1961,
              0.37926,
              0.7495,
              1.48907
            ],
            [
              0.01943,
              0.04226,
              0.06398,
              0.10714,
              0.19636,
              0.37897,
              0.74829,
              1.48988
            ],
            [
              0.01933,
              0.04214,
              0.06388,
              0.10723,
              0.19622,
              0.37934,
              0.7492,
              1.48972
            ],
            [
              0.01924,
              0.04206,
              0.06368,
              0.10703,
              0.19614,
              0.37978,
              0.74943,
              1.49298
            ],
            [
              0.01917,
              0.04193,
              0.06357,
              0.10703,
              0.19623,
              0.3789,
              0.74894,
              1.49029
            ],
            [
              0.01915,
              0.04187,
              0.0636,
              0.10675,
              0.19608,
              0.37913,
              0.74801,
              1.4894
            ],
            [
              0.0193,
              0.04191,
              0.0637,
              0.1069,
              0.1962,
              0.3791,
              0.75,
              1.4885
            ],
            [
              0.0195,
              0.0423,
              0.0639,
              0.107,
              0.1963,
              0.379,
              0.7484,
              1.4896
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.1485,
              0.1714,
              0.18823,
              0.21613,
              0.26332,
              0.34774,
              0.50958,
              0.83209
            ],
            [
              0.14992,
              0.17282,
              0.18964,
              0.21754,
              0.26474,
              0.34915,
              0.51104,
              0.83325
            ],
            [
              0.15169,
              0.1746,
              0.19141,
              0.21931,
              0.26651,
              0.35094,
              0.51294,
              0.83535
            ],
            [
              0.15435,
              0.17727,
              0.19407,
              0.22198,
              0.26919,
              0.35359,
              0.51551,
              0.83815
            ],
            [
              0.1581,
              0.18103,
              0.19785,
              0.22575,
              0.27296,
              0.3574,
              0.51923,
              0.84119
            ],
            [
              0.16301,
              0.18598,
              0.20282,
              0.23072,
              0.27792,
              0.36237,
              0.5242,
              0.8469
            ],
            [
              0.16885,
              0.1919,
              0.20875,
              0.23666,
              0.28386,
              0.36826,
              0.53009,
              0.8527
            ],
            [
              0.17499,
              0.19815,
              0.21504,
              0.24297,
              0.29018,
              0.37464,
              0.53647,
              0.85846
            ],
            [
              0.18045,
              0.20375,
              0.2207,
              0.24869,
              0.29595,
              0.38042,
              0.54215,
              0.86445
            ],
            [
              0.18386,
              0.20742,
              0.22446,
              0.25255,
              0.29994,
              0.3844,
              0.5462,
              0.86859
            ],
            [
              0.18322,
              0.20717,
              0.22437,
              0.25264,
              0.30018,
              0.38485,
              0.54662,
              0.86852
            ],
            [
              0.17567,
              0.20017,
              0.21757,
              0.24617,
              0.29387,
              0.37877,
              0.54097,
              0.86247
            ],
            [
              0.1571,
              0.1822,
              0.2,
              0.2288,
              0.277,
              0.3621,
              0.524,
              0.8464
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.15149,
              0.17307,
              0.19063,
              0.2224,
              0.28188,
              0.39807,
              0.62964,
              1.09337
            ],
            [
              0.15323,
              0.17481,
              0.19237,
              0.22413,
              0.28363,
              0.3998,
              0.63144,
              1.09504
            ],
            [
              0.15551,
              0.17708,
              0.19465,
              0.2264,
              0.28593,
              0.40206,
              0.63369,
              1.09742
            ],
            [
              0.15912,
              0.18069,
              0.19825,
              0.23,
              0.2895,
              0.40569,
              0.63726,
              1.10108
            ],
            [
              0.16463,
              0.18621,
              0.20378,
              0.23552,
              0.29506,
              0.41116,
              0.6428,
              1.10651
            ],
            [
              0.17282,
              0.19442,
              0.21198,
              0.24373,
              0.30327,
              0.41936,
              0.65102,
              1.11472
            ],
            [
              0.18455,
              0.20619,
              0.22376,
              0.25552,
              0.31502,
              0.43114,
              0.66274,
              1.12623
            ],
            [
              0.20064,
              0.22234,
              0.23993,
              0.27169,
              0.33114,
              0.44721,
              0.67886,
              1.14236
            ],
            [
              0.22196,
              0.24379,
              0.26141,
              0.29321,
              0.35266,
              0.46871,
              0.70034,
              1.16395
            ],
            [
              0.25058,
              0.27261,
              0.29027,
              0.32212,
              0.38152,
              0.49756,
              0.72909,
              1.19269
            ],
            [
              0.28881,
              0.31121,
              0.32898,
              0.36089,
              0.42034,
              0.53632,
              0.76772,
              1.23132
            ],
            [
              0.33927,
              0.36237,
              0.38037,
              0.41247,
              0.47197,
              0.58807,
              0.81947,
              1.28277
            ],
            [
              0.406,
              0.4298,
              0.4481,
              0.4806,
              0.5407,
              0.6572,
              0.8888,
              1.3517
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02372,
              0.04199,
              0.05611,
              0.0819,
              0.13168,
              0.23377,
              0.44696,
              0.8829
            ],
            [
              0.0237,
              0.04199,
              0.05607,
              0.08187,
              0.13181,
              0.23394,
              0.44709,
              0.88186
            ],
            [
              0.0237,
              0.04199,
              0.05609,
              0.0819,
              0.13183,
              0.23396,
              0.44685,
              0.88225
            ],
            [
              0.02371,
              0.042,
              0.05608,
              0.08189,
              0.13182,
              0.23396,
              0.44663,
              0.88264
            ],
            [
              0.02371,
              0.04201,
              0.05614,
              0.08193,
              0.13184,
              0.23391,
              0.44676,
              0.88251
            ],
            [
              0.02376,
              0.04211,
              0.05618,
              0.08194,
              0.13185,
              0.23392,
              0.44681,
              0.88294
            ],
            [
              0.02385,
              0.04224,
              0.05635,
              0.08207,
              0.13178,
              0.23394,
              0.44655,
              0.88293
            ],
            [
              0.02415,
              0.04259,
              0.05663,
              0.08229,
              0.13192,
              0.23369,
              0.44695,
              0.88165
            ],
            [
              0.02469,
              0.04317,
              0.05712,
              0.08266,
              0.13233,
              0.23405,
              0.44691,
              0.88216
            ],
            [
              0.02568,
              0.0441,
              0.058,
              0.08342,
              0.13272,
              0.23429,
              0.4473,
              0.883
            ],
            [
              0.02718,
              0.04552,
              0.05926,
              0.08444,
              0.13351,
              0.2348,
              0.44683,
              0.8823
            ],
            [
              0.02912,
              0.0474,
              0.061,
              0.0859,
              0.1346,
              0.2354,
              0.4476,
              0.8819
            ],
            [
              0.0312,
              0.0497,
              0.0632,
              0.0877,
              0.1361,
              0.2366,
              0.4482,
              0.8818
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.01962,
              0.04308,
              0.0653,
              0.10878,
              0.19756,
              0.37969,
              0.74944,
              1.49133
            ],
            [
              0.01962,
              0.04307,
              0.06531,
              0.10878,
              0.19752,
              0.37979,
              0.74896,
              1.48982
            ],
            [
              0.01962,
              0.04307,
              0.06526,
              0.10876,
              0.19746,
              0.38017,
              0.74908,
              1.49241
            ],
            [
              0.01962,
              0.04307,
              0.06528,
              0.1087,
              0.19765,
              0.37963,
              0.74943,
              1.4902
            ],
            [
              0.01965,
              0.04309,
              0.06525,
              0.10878,
              0.19787,
              0.38006,
              0.74904,
              1.49043
            ],
            [
              0.01972,
              0.04316,
              0.06532,
              0.10877,
              0.19747,
              0.38009,
              0.74915,
              1.49206
            ],
            [
              0.01991,
              0.04332,
              0.06548,
              0.10892,
              0.1975,
              0.37984,
              0.74962,
              1.48989
            ],
            [
              0.02032,
              0.04364,
              0.06575,
              0.10912,
              0.19766,
              0.37995,
              0.74896,
              1.49018
            ],
            [
              0.02098,
              0.04416,
              0.06626,
              0.10957,
              0.19805,
              0.38,
              0.75086,
              1.48949
            ],
            [
              0.02189,
              0.04493,
              0.06695,
              0.11019,
              0.19839,
              0.38073,
              0.74939,
              1.49041
            ],
            [
              0.02342,
              0.0462,
              0.06814,
              0.11115,
              0.19898,
              0.38051,
              0.7492,
              1.4913
            ],
            [
              0.0259,
              0.0483,
              0.07,
              0.1128,
              0.2004,
              0.3816,
              0.7503,
              1.4904
            ],
            [
              0.0297,
              0.0513,
              0.0729,
              0.1154,
              0.2025,
              0.3832,
              0.7509,
              1.4909
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.1512,
              0.17532,
              0.19292,
              0.22211,
              0.27146,
              0.3587,
              0.52262,
              0.84592
            ],
            [
              0.15263,
              0.17674,
              0.19435,
              0.22353,
              0.27289,
              0.36013,
              0.52401,
              0.84735
            ],
            [
              0.15442,
              0.17853,
              0.19614,
              0.22533,
              0.27468,
              0.36191,
              0.52581,
              0.84918
            ],
            [
              0.1571,
              0.18122,
              0.19883,
              0.22801,
              0.27737,
              0.36461,
              0.5285,
              0.85188
            ],
            [
              0.16088,
              0.18502,
              0.20263,
              0.23182,
              0.28119,
              0.36843,
              0.53232,
              0.85551
            ],
            [
              0.16597,
              0.19014,
              0.20777,
              0.23698,
              0.28637,
              0.37363,
              0.5375,
              0.86093
            ],
            [
              0.1723,
              0.19652,
              0.21418,
              0.24342,
              0.29283,
              0.38012,
              0.54398,
              0.86708
            ],
            [
              0.17924,
              0.20352,
              0.22122,
              0.25051,
              0.29997,
              0.38726,
              0.55109,
              0.87436
            ],
            [
              0.18579,
              0.21012,
              0.22786,
              0.2572,
              0.30678,
              0.39416,
              0.55821,
              0.88145
            ],
            [
              0.19067,
              0.21504,
              0.23284,
              0.26229,
              0.31198,
              0.3994,
              0.56341,
              0.88689
            ],
            [
              0.19199,
              0.2164,
              0.23427,
              0.26383,
              0.31368,
              0.4014,
              0.56542,
              0.88882
            ],
            [
              0.18707,
              0.21157,
              0.22957,
              0.25927,
              0.30927,
              0.39727,
              0.56157,
              0.88457
            ],
            [
              0.1721,
              0.1968,
              0.2149,
              0.2448,
              0.2952,
              0.3834,
              0.548,
              0.8712
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.14389,
              0.16539,
              0.18278,
              0.21402,
              0.27286,
              0.38865,
              0.6199,
              1.08267
            ],
            [
              0.1456,
              0.1671,
              0.1845,
              0.21573,
              0.27457,
              0.39036,
              0.62161,
              1.08444
            ],
            [
              0.14784,
              0.16934,
              0.18673,
              0.21795,
              0.27678,
              0.39259,
              0.62384,
              1.08662
            ],
            [
              0.15138,
              0.17289,
              0.19027,
              0.22151,
              0.28035,
              0.39615,
              0.62728,
              1.09018
            ],
            [
              0.15679,
              0.17829,
              0.19568,
              0.2269,
              0.28575,
              0.40154,
              0.63279,
              1.09551
            ],
            [
              0.16471,
              0.18621,
              0.2036,
              0.23482,
              0.29364,
              0.40944,
              0.64069,
              1.10352
            ],
            [
              0.17582,
              0.19733,
              0.21471,
              0.24591,
              0.30469,
              0.42047,
              0.65174,
              1.11453
            ],
            [
              0.19094,
              0.21248,
              0.22985,
              0.26102,
              0.31978,
              0.43553,
              0.66676,
              1.12956
            ],
            [
              0.21097,
              0.23261,
              0.24999,
              0.28116,
              0.33991,
              0.45556,
              0.68679,
              1.14955
            ],
            [
              0.23774,
              0.25954,
              0.27695,
              0.30812,
              0.3668,
              0.48246,
              0.71349,
              1.17629
            ],
            [
              0.27333,
              0.29541,
              0.3129,
              0.3441,
              0.40269,
              0.51832,
              0.74932,
              1.21202
            ],
            [
              0.32027,
              0.34287,
              0.36047,
              0.39177,
              0.45037,
              0.56577,
              0.79667,
              1.25907
            ],
            [
              0.3824,
              0.4056,
              0.4235,
              0.455,
              0.5136,
              0.629,
              0.8599,
              1.3223
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02546,
              0.04461,
              0.05928,
              0.08612,
              0.13742,
              0.23994,
              0.45127,
              0.8849
            ],
            [
              0.02547,
              0.04457,
              0.05933,
              0.08614,
              0.13733,
              0.23969,
              0.45157,
              0.88551
            ],
            [
              0.02545,
              0.04456,
              0.05933,
              0.08612,
              0.13738,
              0.23959,
              0.45157,
              0.8855
            ],
            [
              0.02548,
              0.04459,
              0.05934,
              0.08614,
              0.13736,
              0.23964,
              0.45157,
              0.88546
            ],
            [
              0.02553,
              0.04466,
              0.05934,
              0.08618,
              0.13743,
              0.23996,
              0.45158,
              0.88651
            ],
            [
              0.02572,
              0.04477,
              0.05947,
              0.08625,
              0.13749,
              0.23998,
              0.45161,
              0.88538
            ],
            [
              0.02596,
              0.045,
              0.05966,
              0.08642,
              0.13762,
              0.24007,
              0.45165,
              0.88566
            ],
            [
              0.02648,
              0.04547,
              0.06006,
              0.0867,
              0.13785,
              0.24011,
              0.45162,
              0.88648
            ],
            [
              0.02716,
              0.04603,
              0.06052,
              0.08721,
              0.13816,
              0.24025,
              0.45167,
              0.88539
            ],
            [
              0.02819,
              0.047,
              0.06146,
              0.08793,
              0.13866,
              0.24061,
              0.45184,
              0.88573
            ],
            [
              0.0295,
              0.04826,
              0.06258,
              0.08891,
              0.13958,
              0.24117,
              0.45168,
              0.8857
            ],
            [
              0.0312,
              0.0499,
              0.0642,
              0.0903,
              0.1406,
              0.2421,
              0.4527,
              0.8856
            ],
            [
              0.0332,
              0.0523,
              0.0663,
              0.0921,
              0.1421,
              0.2433,
              0.453,
              0.8856
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.0195,
              0.04279,
              0.06456,
              0.10744,
              0.19611,
              0.37879,
              0.74765,
              1.4897
            ],
            [
              0.01951,
              0.0428,
              0.06456,
              0.10743,
              0.19608,
              0.37881,
              0.74822,
              1.48815
            ],
            [
              0.0195,
              0.04283,
              0.06458,
              0.10749,
              0.19619,
              0.37895,
              0.74845,
              1.48821
            ],
            [
              0.0195,
              0.04282,
              0.06455,
              0.10749,
              0.19613,
              0.37874,
              0.74846,
              1.48811
            ],
            [
              0.01951,
              0.04283,
              0.0646,
              0.1075,
              0.19607,
              0.37884,
              0.7485,
              1.48733
            ],
            [
              0.01954,
              0.04285,
              0.06459,
              0.10751,
              0.19619,
              0.37885,
              0.74841,
              1.48899
            ],
            [
              0.01967,
              0.0429,
              0.06464,
              0.10755,
              0.19626,
              0.37894,
              0.74848,
              1.48885
            ],
            [
              0.01999,
              0.04316,
              0.06485,
              0.10771,
              0.19619,
              0.37897,
              0.7484,
              1.48836
            ],
            [
              0.02053,
              0.04359,
              0.06521,
              0.10797,
              0.19637,
              0.37899,
              0.74828,
              1.48799
            ],
            [
              0.02139,
              0.04424,
              0.06577,
              0.10836,
              0.19675,
              0.37876,
              0.74835,
              1.48732
            ],
            [
              0.0227,
              0.04532,
              0.06675,
              0.10916,
              0.19714,
              0.37924,
              0.7485,
              1.4878
            ],
            [
              0.0247,
              0.047,
              0.0682,
              0.1103,
              0.1981,
              0.3797,
              0.7489,
              1.4882
            ],
            [
              0.0273,
              0.0494,
              0.0704,
              0.1121,
              0.199,
              0.3804,
              0.7488,
              1.4911
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.16054,
              0.18359,
              0.20025,
              0.22777,
              0.27465,
              0.35909,
              0.52101,
              0.84375
            ],
            [
              0.1623,
              0.18535,
              0.20201,
              0.22953,
              0.27641,
              0.36086,
              0.52282,
              0.84589
            ],
            [
              0.16463,
              0.18767,
              0.20434,
              0.23186,
              0.27873,
              0.36319,
              0.52538,
              0.84766
            ],
            [
              0.16828,
              0.19132,
              0.20799,
              0.23552,
              0.28238,
              0.36679,
              0.52892,
              0.85138
            ],
            [
              0.17362,
              0.19666,
              0.21332,
              0.24084,
              0.28771,
              0.37217,
              0.53436,
              0.8568
            ],
            [
              0.18113,
              0.20415,
              0.22079,
              0.2483,
              0.29516,
              0.3796,
              0.5418,
              0.86417
            ],
            [
              0.19153,
              0.2145,
              0.23112,
              0.25859,
              0.30543,
              0.38987,
              0.55194,
              0.8746
            ],
            [
              0.20602,
              0.22889,
              0.24544,
              0.27286,
              0.31964,
              0.40406,
              0.56596,
              0.88856
            ],
            [
              0.22556,
              0.24826,
              0.26472,
              0.29205,
              0.33876,
              0.4231,
              0.58507,
              0.90765
            ],
            [
              0.25147,
              0.27398,
              0.29036,
              0.3176,
              0.36423,
              0.4484,
              0.61045,
              0.93299
            ],
            [
              0.28524,
              0.3076,
              0.32391,
              0.35107,
              0.39761,
              0.48182,
              0.64372,
              0.96622
            ],
            [
              0.32907,
              0.35137,
              0.36767,
              0.39487,
              0.44137,
              0.52547,
              0.68747,
              1.00927
            ],
            [
              0.3869,
              0.4093,
              0.4257,
              0.4529,
              0.4996,
              0.584,
              0.7461,
              1.0686
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.14339,
              0.16507,
              0.18265,
              0.21421,
              0.27307,
              0.38759,
              0.61639,
              1.07387
            ],
            [
              0.14483,
              0.16651,
              0.18407,
              0.21567,
              0.27453,
              0.38924,
              0.61803,
              1.07504
            ],
            [
              0.14662,
              0.16829,
              0.18585,
              0.21746,
              0.27633,
              0.39107,
              0.61935,
              1.07662
            ],
            [
              0.14916,
              0.17083,
              0.18838,
              0.21999,
              0.27886,
              0.3936,
              0.62189,
              1.07908
            ],
            [
              0.1523,
              0.17397,
              0.19152,
              0.22314,
              0.28201,
              0.39676,
              0.62552,
              1.08211
            ],
            [
              0.15597,
              0.17763,
              0.1952,
              0.22678,
              0.28566,
              0.40025,
              0.62867,
              1.08552
            ],
            [
              0.16003,
              0.18165,
              0.19921,
              0.23077,
              0.28969,
              0.40442,
              0.63271,
              1.09033
            ],
            [
              0.16413,
              0.18567,
              0.20314,
              0.2347,
              0.29355,
              0.40803,
              0.63687,
              1.09446
            ],
            [
              0.16725,
              0.18867,
              0.20611,
              0.23756,
              0.29626,
              0.41079,
              0.63952,
              1.09665
            ],
            [
              0.16798,
              0.18925,
              0.20658,
              0.23789,
              0.29658,
              0.41103,
              0.63949,
              1.09739
            ],
            [
              0.16438,
              0.18552,
              0.20276,
              0.23395,
              0.29254,
              0.40687,
              0.63502,
              1.09302
            ],
            [
              0.15401,
              0.17507,
              0.19227,
              0.22337,
              0.28177,
              0.39617,
              0.62447,
              1.08067
            ],
            [
              0.1334,
              0.1545,
              0.1716,
              0.2027,
              0.261,
              0.3753,
              0.6031,
              1.0594
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02312,
              0.04119,
              0.05519,
              0.08084,
              0.13114,
              0.23374,
              0.4475,
              0.88269
            ],
            [
              0.02312,
              0.0412,
              0.0552,
              0.08084,
              0.13116,
              0.23365,
              0.44748,
              0.8835
            ],
            [
              0.02315,
              0.04121,
              0.05514,
              0.08091,
              0.13114,
              0.23393,
              0.44678,
              0.88307
            ],
            [
              0.02312,
              0.04123,
              0.05513,
              0.0809,
              0.13104,
              0.2339,
              0.44731,
              0.88256
            ],
            [
              0.02314,
              0.0412,
              0.05517,
              0.08091,
              0.13114,
              0.23392,
              0.44681,
              0.88338
            ],
            [
              0.02314,
              0.04118,
              0.05511,
              0.08088,
              0.13111,
              0.23392,
              0.44674,
              0.88335
            ],
            [
              0.02312,
              0.04113,
              0.0551,
              0.08076,
              0.13108,
              0.23357,
              0.44732,
              0.88371
            ],
            [
              0.02315,
              0.04107,
              0.05496,
              0.08067,
              0.13099,
              0.23364,
              0.44746,
              0.88273
            ],
            [
              0.02325,
              0.04099,
              0.05486,
              0.08058,
              0.13084,
              0.23373,
              0.44704,
              0.88331
            ],
            [
              0.02335,
              0.04094,
              0.05471,
              0.08043,
              0.13059,
              0.2335,
              0.447,
              0.88298
            ],
            [
              0.02338,
              0.04088,
              0.05464,
              0.08031,
              0.13059,
              0.23297,
              0.44695,
              0.8827
            ],
            [
              0.0235,
              0.041,
              0.0548,
              0.0804,
              0.1304,
              0.2331,
              0.446,
              0.8826
            ],
            [
              0.0238,
              0.0413,
              0.0551,
              0.0807,
              0.1309,
              0.2339,
              0.4465,
              0.882
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02031,
              0.04328,
              0.06525,
              0.1083,
              0.19604,
              0.37564,
              0.74045,
              1.473
            ],
            [
              0.02026,
              0.04328,
              0.06526,
              0.10846,
              0.19564,
              0.3766,
              0.74085,
              1.47736
            ],
            [
              0.02026,
              0.04328,
              0.06519,
              0.10841,
              0.19569,
              0.37634,
              0.7401,
              1.47447
            ],
            [
              0.02025,
              0.04326,
              0.06517,
              0.10841,
              0.19569,
              0.37633,
              0.74001,
              1.47357
            ],
            [
              0.0202,
              0.04323,
              0.06518,
              0.10841,
              0.19565,
              0.37633,
              0.74093,
              1.47364
            ],
            [
              0.02018,
              0.04322,
              0.06515,
              0.10814,
              0.196,
              0.37595,
              0.74178,
              1.47456
            ],
            [
              0.01997,
              0.04299,
              0.06504,
              0.10817,
              0.19593,
              0.37631,
              0.74071,
              1.47198
            ],
            [
              0.01979,
              0.0428,
              0.06489,
              0.1079,
              0.1956,
              0.37567,
              0.74025,
              1.47294
            ],
            [
              0.01961,
              0.04265,
              0.06461,
              0.1079,
              0.19534,
              0.3757,
              0.74162,
              1.47423
            ],
            [
              0.01942,
              0.04235,
              0.0644,
              0.10767,
              0.19539,
              0.37554,
              0.74201,
              1.47555
            ],
            [
              0.01939,
              0.04226,
              0.06426,
              0.10758,
              0.19521,
              0.37576,
              0.74096,
              1.4766
            ],
            [
              0.01949,
              0.04234,
              0.06421,
              0.1075,
              0.1952,
              0.3761,
              0.7418,
              1.4709
            ],
            [
              0.0198,
              0.0425,
              0.0645,
              0.1073,
              0.195,
              0.3762,
              0.742,
              1.4742
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.14444,
              0.16881,
              0.18653,
              0.21574,
              0.26502,
              0.35215,
              0.51584,
              0.83814
            ],
            [
              0.14575,
              0.17014,
              0.18787,
              0.21709,
              0.26637,
              0.35354,
              0.517,
              0.83912
            ],
            [
              0.14764,
              0.17204,
              0.18979,
              0.21902,
              0.26831,
              0.35544,
              0.51915,
              0.84146
            ],
            [
              0.15082,
              0.17525,
              0.19301,
              0.22224,
              0.27155,
              0.35868,
              0.5224,
              0.84471
            ],
            [
              0.15581,
              0.18026,
              0.19802,
              0.22728,
              0.27659,
              0.36377,
              0.52737,
              0.84945
            ],
            [
              0.16324,
              0.18768,
              0.20545,
              0.23471,
              0.28401,
              0.37119,
              0.53482,
              0.85713
            ],
            [
              0.1738,
              0.19818,
              0.21591,
              0.24514,
              0.29442,
              0.3816,
              0.54517,
              0.86735
            ],
            [
              0.1876,
              0.21179,
              0.22942,
              0.25853,
              0.30774,
              0.39483,
              0.55849,
              0.88066
            ],
            [
              0.20434,
              0.22853,
              0.24613,
              0.27518,
              0.32428,
              0.41132,
              0.57481,
              0.89715
            ],
            [
              0.22589,
              0.24994,
              0.26746,
              0.29648,
              0.34562,
              0.43252,
              0.59611,
              0.91829
            ],
            [
              0.25373,
              0.27761,
              0.29505,
              0.324,
              0.37306,
              0.46012,
              0.62342,
              0.94592
            ],
            [
              0.28937,
              0.31307,
              0.33047,
              0.35937,
              0.40837,
              0.49547,
              0.65907,
              0.98107
            ],
            [
              0.3347,
              0.3584,
              0.3758,
              0.4047,
              0.4539,
              0.5412,
              0.7054,
              1.0283
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.12023,
              0.14164,
              0.15891,
              0.18998,
              0.24887,
              0.36478,
              0.5961,
              1.06027
            ],
            [
              0.12189,
              0.14331,
              0.16057,
              0.19165,
              0.25043,
              0.36641,
              0.59817,
              1.06144
            ],
            [
              0.124,
              0.14542,
              0.16268,
              0.19376,
              0.25254,
              0.36851,
              0.60029,
              1.06342
            ],
            [
              0.12723,
              0.14866,
              0.16592,
              0.19701,
              0.25583,
              0.37198,
              0.60352,
              1.06707
            ],
            [
              0.13205,
              0.15347,
              0.17073,
              0.20181,
              0.26067,
              0.37652,
              0.60809,
              1.07121
            ],
            [
              0.13875,
              0.16018,
              0.17743,
              0.20848,
              0.26722,
              0.38309,
              0.61495,
              1.07802
            ],
            [
              0.14818,
              0.16959,
              0.18679,
              0.21779,
              0.27644,
              0.39238,
              0.62384,
              1.08753
            ],
            [
              0.16,
              0.1814,
              0.19851,
              0.22931,
              0.2878,
              0.40336,
              0.63507,
              1.09836
            ],
            [
              0.17107,
              0.19255,
              0.20967,
              0.2404,
              0.29862,
              0.41411,
              0.64519,
              1.10955
            ],
            [
              0.18186,
              0.20344,
              0.22051,
              0.25114,
              0.30916,
              0.42424,
              0.65499,
              1.11889
            ],
            [
              0.19286,
              0.21456,
              0.23161,
              0.26207,
              0.31972,
              0.4345,
              0.66502,
              1.12762
            ],
            [
              0.20507,
              0.22697,
              0.24397,
              0.27427,
              0.33157,
              0.44577,
              0.67587,
              1.13757
            ],
            [
              0.2203,
              0.2424,
              0.2594,
              0.2895,
              0.3462,
              0.4593,
              0.6886,
              1.1511
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02601,
              0.04526,
              0.05996,
              0.08679,
              0.13777,
              0.24007,
              0.45015,
              0.88381
            ],
            [
              0.026,
              0.04526,
              0.06006,
              0.08676,
              0.13789,
              0.24005,
              0.45082,
              0.88329
            ],
            [
              0.02603,
              0.04532,
              0.06002,
              0.08685,
              0.13783,
              0.24004,
              0.45015,
              0.88364
            ],
            [
              0.02606,
              0.04536,
              0.06007,
              0.08689,
              0.13785,
              0.24003,
              0.4501,
              0.88365
            ],
            [
              0.02606,
              0.04536,
              0.06016,
              0.08688,
              0.13792,
              0.24017,
              0.45071,
              0.8837
            ],
            [
              0.02607,
              0.04537,
              0.06009,
              0.08691,
              0.13788,
              0.23985,
              0.45062,
              0.88341
            ],
            [
              0.02602,
              0.04525,
              0.06007,
              0.08679,
              0.13788,
              0.23982,
              0.45074,
              0.88301
            ],
            [
              0.02608,
              0.04516,
              0.0599,
              0.08662,
              0.13775,
              0.23988,
              0.45054,
              0.88278
            ],
            [
              0.02625,
              0.04527,
              0.0599,
              0.0866,
              0.13752,
              0.2396,
              0.45065,
              0.88444
            ],
            [
              0.02631,
              0.04527,
              0.05985,
              0.08661,
              0.13753,
              0.23955,
              0.45015,
              0.88274
            ],
            [
              0.02655,
              0.04529,
              0.05991,
              0.08659,
              0.13753,
              0.23952,
              0.45002,
              0.8839
            ],
            [
              0.0268,
              0.0455,
              0.0601,
              0.0867,
              0.1377,
              0.2401,
              0.45,
              0.8821
            ],
            [
              0.0272,
              0.0458,
              0.0604,
              0.0871,
              0.1382,
              0.2407,
              0.4519,
              0.883
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.01958,
              0.04236,
              0.06402,
              0.10716,
              0.19617,
              0.3793,
              0.74861,
              1.4912
            ],
            [
              0.01956,
              0.04242,
              0.06396,
              0.10726,
              0.19614,
              0.37876,
              0.74821,
              1.49354
            ],
            [
              0.01958,
              0.04243,
              0.06397,
              0.10727,
              0.19613,
              0.37882,
              0.74818,
              1.49271
            ],
            [
              0.01957,
              0.04236,
              0.06401,
              0.10712,
              0.19592,
              0.37948,
              0.7497,
              1.48937
            ],
            [
              0.01959,
              0.04242,
              0.06406,
              0.10708,
              0.1961,
              0.37904,
              0.74947,
              1.49339
            ],
            [
              0.01962,
              0.04244,
              0.064,
              0.1073,
              0.1961,
              0.37904,
              0.74904,
              1.49119
            ],
            [
              0.01974,
              0.0425,
              0.06415,
              0.10732,
              0.19621,
              0.3787,
              0.74906,
              1.49199
            ],
            [
              0.02036,
              0.04297,
              0.06443,
              0.10738,
              0.19636,
              0.37897,
              0.74893,
              1.49103
            ],
            [
              0.02108,
              0.0436,
              0.06506,
              0.1078,
              0.19644,
              0.37934,
              0.74961,
              1.49183
            ],
            [
              0.02198,
              0.04421,
              0.06564,
              0.10854,
              0.19689,
              0.37873,
              0.74892,
              1.49049
            ],
            [
              0.02304,
              0.0451,
              0.06652,
              0.10896,
              0.19717,
              0.37957,
              0.74827,
              1.4901
            ],
            [
              0.0244,
              0.0463,
              0.0675,
              0.11,
              0.1978,
              0.3807,
              0.7504,
              1.4884
            ],
            [
              0.0259,
              0.0473,
              0.0685,
              0.1107,
              0.1984,
              0.3814,
              0.7503,
              1.4925
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.12391,
              0.14699,
              0.16376,
              0.1915,
              0.23853,
              0.32284,
              0.48471,
              0.80695
            ],
            [
              0.12541,
              0.14849,
              0.16526,
              0.193,
              0.24003,
              0.32439,
              0.48621,
              0.80847
            ],
            [
              0.12731,
              0.15038,
              0.16714,
              0.19487,
              0.2419,
              0.32622,
              0.48802,
              0.81024
            ],
            [
              0.1302,
              0.15326,
              0.17,
              0.19773,
              0.24476,
              0.32906,
              0.49079,
              0.81327
            ],
            [
              0.13445,
              0.15749,
              0.17423,
              0.20196,
              0.24897,
              0.33326,
              0.49512,
              0.81733
            ],
            [
              0.13999,
              0.16299,
              0.17972,
              0.20744,
              0.25444,
              0.33872,
              0.50044,
              0.82292
            ],
            [
              0.14578,
              0.16871,
              0.18542,
              0.21311,
              0.2601,
              0.34443,
              0.50624,
              0.82847
            ],
            [
              0.14955,
              0.17217,
              0.18883,
              0.21655,
              0.26356,
              0.34782,
              0.50986,
              0.83178
            ],
            [
              0.15117,
              0.17355,
              0.19007,
              0.21763,
              0.2645,
              0.34879,
              0.51063,
              0.83275
            ],
            [
              0.14991,
              0.1721,
              0.18848,
              0.21595,
              0.26283,
              0.34699,
              0.50861,
              0.83089
            ],
            [
              0.14359,
              0.16567,
              0.18191,
              0.20925,
              0.2561,
              0.3404,
              0.50222,
              0.82432
            ],
            [
              0.12859,
              0.15076,
              0.16697,
              0.19417,
              0.24097,
              0.32537,
              0.48767,
              0.81007
            ],
            [
              0.0993,
              0.122,
              0.1385,
              0.1659,
              0.213,
              0.2977,
              0.4605,
              0.7841
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.13389,
              0.15553,
              0.17314,
              0.20494,
              0.26444,
              0.38062,
              0.61227,
              1.07597
            ],
            [
              0.13487,
              0.1565,
              0.17411,
              0.2059,
              0.26544,
              0.38156,
              0.61321,
              1.07674
            ],
            [
              0.13639,
              0.15802,
              0.17562,
              0.20742,
              0.26692,
              0.38312,
              0.61475,
              1.07852
            ],
            [
              0.13912,
              0.16073,
              0.17833,
              0.21013,
              0.26965,
              0.38582,
              0.61745,
              1.08117
            ],
            [
              0.14369,
              0.16529,
              0.18289,
              0.21468,
              0.27416,
              0.39038,
              0.622,
              1.08571
            ],
            [
              0.15093,
              0.17253,
              0.19012,
              0.2219,
              0.28139,
              0.39757,
              0.62918,
              1.09282
            ],
            [
              0.16164,
              0.18322,
              0.2008,
              0.23256,
              0.29201,
              0.40819,
              0.63976,
              1.10333
            ],
            [
              0.17553,
              0.19725,
              0.21486,
              0.24662,
              0.30611,
              0.42223,
              0.65387,
              1.11756
            ],
            [
              0.19331,
              0.21504,
              0.23266,
              0.26445,
              0.32396,
              0.44014,
              0.67163,
              1.13515
            ],
            [
              0.21712,
              0.23891,
              0.25654,
              0.28832,
              0.34782,
              0.46388,
              0.69549,
              1.15909
            ],
            [
              0.24946,
              0.27141,
              0.28908,
              0.32092,
              0.3804,
              0.49652,
              0.72802,
              1.19142
            ],
            [
              0.29397,
              0.31627,
              0.33407,
              0.36607,
              0.42577,
              0.54197,
              0.77337,
              1.23647
            ],
            [
              0.3557,
              0.3787,
              0.3967,
              0.429,
              0.489,
              0.6056,
              0.8371,
              1.3004
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02343,
              0.04165,
              0.05568,
              0.08139,
              0.1314,
              0.2337,
              0.44655,
              0.88277
            ],
            [
              0.02341,
              0.04165,
              0.05565,
              0.08134,
              0.13139,
              0.23367,
              0.44628,
              0.88095
            ],
            [
              0.02343,
              0.04163,
              0.05564,
              0.08137,
              0.13131,
              0.23362,
              0.4471,
              0.88165
            ],
            [
              0.02341,
              0.04158,
              0.05563,
              0.08133,
              0.13137,
              0.23368,
              0.44716,
              0.88265
            ],
            [
              0.02335,
              0.04157,
              0.05555,
              0.08127,
              0.13133,
              0.23367,
              0.44633,
              0.8829
            ],
            [
              0.02331,
              0.04148,
              0.05551,
              0.08125,
              0.13132,
              0.23365,
              0.44715,
              0.88174
            ],
            [
              0.0231,
              0.04137,
              0.05545,
              0.08124,
              0.13117,
              0.23343,
              0.44649,
              0.88257
            ],
            [
              0.0226,
              0.04094,
              0.05521,
              0.0812,
              0.13119,
              0.23359,
              0.44688,
              0.8825
            ],
            [
              0.02246,
              0.04065,
              0.05488,
              0.08085,
              0.13108,
              0.23327,
              0.44682,
              0.88228
            ],
            [
              0.02268,
              0.04059,
              0.05478,
              0.08091,
              0.13114,
              0.23336,
              0.44665,
              0.88289
            ],
            [
              0.02331,
              0.04088,
              0.05495,
              0.08102,
              0.13131,
              0.23394,
              0.44643,
              0.88198
            ],
            [
              0.02463,
              0.04192,
              0.05564,
              0.08148,
              0.1318,
              0.2345,
              0.4477,
              0.8821
            ],
            [
              0.0271,
              0.0443,
              0.0578,
              0.0832,
              0.1333,
              0.2356,
              0.4492,
              0.8839
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.01958,
              0.04308,
              0.06525,
              0.10872,
              0.19742,
              0.38007,
              0.74915,
              1.49128
            ],
            [
              0.01955,
              0.04305,
              0.06522,
              0.10865,
              0.1974,
              0.37985,
              0.74955,
              1.49014
            ],
            [
              0.01951,
              0.04304,
              0.06523,
              0.10867,
              0.19735,
              0.37971,
              0.74922,
              1.49039
            ],
            [
              0.01947,
              0.043,
              0.0652,
              0.10864,
              0.1974,
              0.37987,
              0.74897,
              1.49385
            ],
            [
              0.01944,
              0.04297,
              0.06519,
              0.10867,
              0.19756,
              0.37984,
              0.74915,
              1.49012
            ],
            [
              0.01945,
              0.04297,
              0.06521,
              0.10867,
              0.19745,
              0.37962,
              0.74896,
              1.49103
            ],
            [
              0.01961,
              0.04307,
              0.06527,
              0.10876,
              0.1976,
              0.37983,
              0.74927,
              1.48978
            ],
            [
              0.02021,
              0.04358,
              0.06567,
              0.10913,
              0.19769,
              0.37965,
              0.74889,
              1.49178
            ],
            [
              0.02051,
              0.04382,
              0.06598,
              0.1094,
              0.19794,
              0.3799,
              0.74886,
              1.48921
            ],
            [
              0.02106,
              0.04428,
              0.06643,
              0.10972,
              0.19836,
              0.38009,
              0.74893,
              1.49231
            ],
            [
              0.02202,
              0.04508,
              0.06723,
              0.11047,
              0.19875,
              0.3805,
              0.74941,
              1.4905
            ],
            [
              0.0238,
              0.0465,
              0.0687,
              0.1119,
              0.1999,
              0.3811,
              0.7496,
              1.4907
            ],
            [
              0.0267,
              0.049,
              0.0711,
              0.1143,
              0.2021,
              0.3827,
              0.7504,
              1.4897
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.12731,
              0.15161,
              0.1693,
              0.19856,
              0.24799,
              0.33526,
              0.49916,
              0.82235
            ],
            [
              0.12874,
              0.15304,
              0.17073,
              0.19999,
              0.24941,
              0.33669,
              0.50059,
              0.82381
            ],
            [
              0.13052,
              0.1548,
              0.17249,
              0.20175,
              0.25116,
              0.3384,
              0.50223,
              0.82559
            ],
            [
              0.13317,
              0.15745,
              0.17511,
              0.20438,
              0.25378,
              0.34104,
              0.50496,
              0.82813
            ],
            [
              0.13709,
              0.16135,
              0.17903,
              0.20828,
              0.25768,
              0.34492,
              0.50881,
              0.83218
            ],
            [
              0.14266,
              0.16689,
              0.18455,
              0.21379,
              0.26319,
              0.35045,
              0.51435,
              0.83759
            ],
            [
              0.14996,
              0.17407,
              0.19167,
              0.22087,
              0.27023,
              0.35746,
              0.5214,
              0.84477
            ],
            [
              0.15589,
              0.17969,
              0.19726,
              0.22645,
              0.2758,
              0.36302,
              0.52681,
              0.85026
            ],
            [
              0.15896,
              0.18248,
              0.19993,
              0.22904,
              0.27833,
              0.36556,
              0.52949,
              0.85255
            ],
            [
              0.15874,
              0.18222,
              0.19959,
              0.22869,
              0.27806,
              0.36522,
              0.52903,
              0.85219
            ],
            [
              0.15428,
              0.17778,
              0.19512,
              0.22414,
              0.2736,
              0.36102,
              0.52512,
              0.84842
            ],
            [
              0.14255,
              0.16659,
              0.18417,
              0.21347,
              0.26307,
              0.35117,
              0.51607,
              0.84007
            ],
            [
              0.117,
              0.1428,
              0.162,
              0.1938,
              0.2462,
              0.3362,
              0.5028,
              0.8286
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.13204,
              0.15345,
              0.17067,
              0.20171,
              0.26035,
              0.37608,
              0.60736,
              1.07007
            ],
            [
              0.13316,
              0.15457,
              0.17179,
              0.20279,
              0.26144,
              0.37719,
              0.6084,
              1.07134
            ],
            [
              0.13477,
              0.15617,
              0.17339,
              0.20439,
              0.26306,
              0.37877,
              0.61007,
              1.07292
            ],
            [
              0.13765,
              0.15904,
              0.17625,
              0.20728,
              0.26593,
              0.38166,
              0.61296,
              1.07567
            ],
            [
              0.14267,
              0.16404,
              0.18125,
              0.21225,
              0.27092,
              0.38662,
              0.61792,
              1.08071
            ],
            [
              0.1508,
              0.17216,
              0.18936,
              0.22036,
              0.27897,
              0.39469,
              0.62593,
              1.08872
            ],
            [
              0.16267,
              0.18403,
              0.20122,
              0.23217,
              0.29075,
              0.4064,
              0.63763,
              1.10053
            ],
            [
              0.17821,
              0.19963,
              0.2168,
              0.24777,
              0.30627,
              0.42186,
              0.65309,
              1.11596
            ],
            [
              0.19801,
              0.21945,
              0.23663,
              0.26752,
              0.32606,
              0.4416,
              0.67278,
              1.13555
            ],
            [
              0.22435,
              0.2458,
              0.26298,
              0.29387,
              0.35227,
              0.46768,
              0.69879,
              1.16169
            ],
            [
              0.25938,
              0.28086,
              0.29806,
              0.32892,
              0.38723,
              0.50262,
              0.73352,
              1.19622
            ],
            [
              0.30587,
              0.32757,
              0.34477,
              0.37577,
              0.43407,
              0.54937,
              0.78027,
              1.24267
            ],
            [
              0.3679,
              0.39,
              0.4075,
              0.4388,
              0.4974,
              0.613,
              0.844,
              1.3063
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02581,
              0.04494,
              0.05959,
              0.0864,
              0.13749,
              0.23973,
              0.45164,
              0.88583
            ],
            [
              0.02576,
              0.0449,
              0.05961,
              0.08634,
              0.13759,
              0.24004,
              0.45162,
              0.88525
            ],
            [
              0.02576,
              0.04489,
              0.05958,
              0.08637,
              0.13758,
              0.2399,
              0.45156,
              0.88549
            ],
            [
              0.02571,
              0.04486,
              0.05954,
              0.08635,
              0.13747,
              0.23972,
              0.45162,
              0.88585
            ],
            [
              0.02563,
              0.04479,
              0.05952,
              0.08625,
              0.13757,
              0.24,
              0.45143,
              0.88629
            ],
            [
              0.02548,
              0.04472,
              0.0594,
              0.08624,
              0.13746,
              0.23995,
              0.45159,
              0.8853
            ],
            [
              0.0252,
              0.04449,
              0.05924,
              0.08609,
              0.13733,
              0.2397,
              0.45097,
              0.88565
            ],
            [
              0.02494,
              0.04436,
              0.05923,
              0.08615,
              0.1374,
              0.2399,
              0.45156,
              0.88596
            ],
            [
              0.02523,
              0.0443,
              0.05915,
              0.08595,
              0.13735,
              0.23995,
              0.45092,
              0.88534
            ],
            [
              0.02591,
              0.04464,
              0.05941,
              0.08636,
              0.13769,
              0.23958,
              0.45131,
              0.88567
            ],
            [
              0.02692,
              0.04545,
              0.06,
              0.08695,
              0.13835,
              0.24067,
              0.45126,
              0.8859
            ],
            [
              0.02961,
              0.04824,
              0.06249,
              0.0888,
              0.1399,
              0.2423,
              0.4542,
              0.8863
            ],
            [
              0.0349,
              0.0553,
              0.0709,
              0.0978,
              0.1477,
              0.2483,
              0.4582,
              0.8897
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.01854,
              0.04194,
              0.06363,
              0.10664,
              0.19578,
              0.37924,
              0.74748,
              1.48982
            ],
            [
              0.01851,
              0.04189,
              0.0636,
              0.1067,
              0.19562,
              0.37896,
              0.74931,
              1.48869
            ],
            [
              0.01851,
              0.04191,
              0.0636,
              0.10667,
              0.19558,
              0.37872,
              0.74858,
              1.48773
            ],
            [
              0.01849,
              0.04184,
              0.06361,
              0.10667,
              0.19578,
              0.37926,
              0.7482,
              1.48834
            ],
            [
              0.01842,
              0.04186,
              0.06355,
              0.10672,
              0.1956,
              0.37853,
              0.74805,
              1.4886
            ],
            [
              0.01842,
              0.04175,
              0.06351,
              0.1066,
              0.19558,
              0.37899,
              0.74819,
              1.48969
            ],
            [
              0.01855,
              0.04191,
              0.06355,
              0.10662,
              0.19566,
              0.3785,
              0.74801,
              1.4877
            ],
            [
              0.01901,
              0.04212,
              0.06394,
              0.10689,
              0.19579,
              0.37932,
              0.74787,
              1.49101
            ],
            [
              0.01943,
              0.04242,
              0.06409,
              0.10723,
              0.19594,
              0.37918,
              0.74789,
              1.48893
            ],
            [
              0.02004,
              0.04286,
              0.06456,
              0.10739,
              0.19624,
              0.37878,
              0.74834,
              1.49192
            ],
            [
              0.02102,
              0.04365,
              0.06509,
              0.10781,
              0.19631,
              0.3793,
              0.74867,
              1.4902
            ],
            [
              0.0226,
              0.045,
              0.0664,
              0.1088,
              0.1973,
              0.3799,
              0.7493,
              1.4884
            ],
            [
              0.0254,
              0.0476,
              0.0689,
              0.1114,
              0.1991,
              0.381,
              0.7492,
              1.4876
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.14369,
              0.16687,
              0.18361,
              0.21123,
              0.25817,
              0.34266,
              0.50482,
              0.82705
            ],
            [
              0.14499,
              0.16817,
              0.18491,
              0.21254,
              0.25949,
              0.34398,
              0.50606,
              0.82864
            ],
            [
              0.14683,
              0.17001,
              0.18676,
              0.2144,
              0.26136,
              0.34578,
              0.50781,
              0.83065
            ],
            [
              0.15005,
              0.17324,
              0.18999,
              0.21763,
              0.26459,
              0.34908,
              0.51114,
              0.83378
            ],
            [
              0.15556,
              0.17875,
              0.19551,
              0.22315,
              0.27012,
              0.35463,
              0.51679,
              0.83923
            ],
            [
              0.16439,
              0.18758,
              0.20434,
              0.23199,
              0.27898,
              0.36344,
              0.52538,
              0.84784
            ],
            [
              0.17729,
              0.20045,
              0.2172,
              0.24484,
              0.29183,
              0.37634,
              0.53839,
              0.86108
            ],
            [
              0.19446,
              0.21748,
              0.23413,
              0.26172,
              0.30867,
              0.39316,
              0.55516,
              0.87756
            ],
            [
              0.21564,
              0.23856,
              0.25514,
              0.28261,
              0.32947,
              0.41393,
              0.57595,
              0.89845
            ],
            [
              0.24278,
              0.26555,
              0.28205,
              0.30947,
              0.35633,
              0.44065,
              0.60269,
              0.92529
            ],
            [
              0.27821,
              0.30078,
              0.31716,
              0.34445,
              0.39121,
              0.47562,
              0.63742,
              0.96002
            ],
            [
              0.32407,
              0.34647,
              0.36267,
              0.38987,
              0.43657,
              0.52097,
              0.68297,
              1.00537
            ],
            [
              0.383,
              0.4052,
              0.4213,
              0.4484,
              0.495,
              0.5796,
              0.7422,
              1.0645
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.11402,
              0.13566,
              0.15322,
              0.18486,
              0.24378,
              0.35855,
              0.58651,
              1.04377
            ],
            [
              0.1157,
              0.13735,
              0.15492,
              0.18652,
              0.24539,
              0.3601,
              0.58893,
              1.04634
            ],
            [
              0.11781,
              0.13946,
              0.15702,
              0.18865,
              0.24755,
              0.36232,
              0.59114,
              1.04772
            ],
            [
              0.12095,
              0.14259,
              0.16018,
              0.19179,
              0.25072,
              0.36538,
              0.59379,
              1.05148
            ],
            [
              0.1255,
              0.14715,
              0.16473,
              0.19633,
              0.25522,
              0.36992,
              0.59875,
              1.05611
            ],
            [
              0.13206,
              0.15372,
              0.17129,
              0.20289,
              0.26176,
              0.37642,
              0.60521,
              1.06282
            ],
            [
              0.14134,
              0.16299,
              0.18053,
              0.21206,
              0.27085,
              0.38562,
              0.61421,
              1.07173
            ],
            [
              0.15027,
              0.17187,
              0.18934,
              0.22078,
              0.27947,
              0.39399,
              0.622,
              1.08016
            ],
            [
              0.15646,
              0.17815,
              0.19564,
              0.22706,
              0.28558,
              0.40001,
              0.62843,
              1.08615
            ],
            [
              0.16004,
              0.1818,
              0.19929,
              0.2307,
              0.2893,
              0.4035,
              0.63189,
              1.08959
            ],
            [
              0.15982,
              0.18166,
              0.19915,
              0.23054,
              0.2891,
              0.40338,
              0.63132,
              1.08862
            ],
            [
              0.15353,
              0.17547,
              0.19297,
              0.22427,
              0.28277,
              0.39707,
              0.62527,
              1.08127
            ],
            [
              0.1376,
              0.1597,
              0.1772,
              0.2085,
              0.2669,
              0.3813,
              0.6095,
              1.0673
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02406,
              0.04204,
              0.05584,
              0.08143,
              0.13149,
              0.23378,
              0.44676,
              0.8824
            ],
            [
              0.02407,
              0.04202,
              0.05591,
              0.0814,
              0.13146,
              0.23406,
              0.44727,
              0.88246
            ],
            [
              0.02408,
              0.04208,
              0.05588,
              0.08148,
              0.13151,
              0.23405,
              0.44749,
              0.88255
            ],
            [
              0.02409,
              0.04207,
              0.05595,
              0.08145,
              0.13145,
              0.23411,
              0.4474,
              0.88285
            ],
            [
              0.02411,
              0.04214,
              0.05592,
              0.08149,
              0.13154,
              0.23386,
              0.44672,
              0.88297
            ],
            [
              0.02414,
              0.04218,
              0.05603,
              0.08154,
              0.13149,
              0.23411,
              0.44754,
              0.88321
            ],
            [
              0.02419,
              0.04218,
              0.05598,
              0.08153,
              0.13152,
              0.23414,
              0.44745,
              0.88263
            ],
            [
              0.02414,
              0.0421,
              0.05593,
              0.08148,
              0.13147,
              0.23408,
              0.44752,
              0.88271
            ],
            [
              0.02438,
              0.04218,
              0.05599,
              0.08137,
              0.13139,
              0.23371,
              0.44718,
              0.88306
            ],
            [
              0.02448,
              0.04219,
              0.05601,
              0.08144,
              0.1312,
              0.23389,
              0.44719,
              0.8828
            ],
            [
              0.02457,
              0.04224,
              0.05596,
              0.0815,
              0.1314,
              0.23344,
              0.44694,
              0.8821
            ],
            [
              0.0247,
              0.0423,
              0.056,
              0.0816,
              0.1316,
              0.2339,
              0.4463,
              0.8816
            ],
            [
              0.0249,
              0.0426,
              0.0564,
              0.0819,
              0.132,
              0.2346,
              0.4482,
              0.8811
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02001,
              0.04307,
              0.06502,
              0.10826,
              0.19568,
              0.37629,
              0.74164,
              1.47406
            ],
            [
              0.02008,
              0.04305,
              0.06508,
              0.1083,
              0.19566,
              0.3757,
              0.74057,
              1.47248
            ],
            [
              0.02003,
              0.04303,
              0.06512,
              0.10833,
              0.19555,
              0.37644,
              0.74093,
              1.47373
            ],
            [
              0.02004,
              0.04313,
              0.06508,
              0.10809,
              0.19595,
              0.37604,
              0.74148,
              1.47282
            ],
            [
              0.02008,
              0.04305,
              0.0651,
              0.10832,
              0.19557,
              0.37553,
              0.74064,
              1.47255
            ],
            [
              0.02006,
              0.04304,
              0.0651,
              0.10833,
              0.19557,
              0.37588,
              0.74044,
              1.47314
            ],
            [
              0.02011,
              0.04309,
              0.06517,
              0.1082,
              0.19597,
              0.37634,
              0.74043,
              1.47728
            ],
            [
              0.02049,
              0.04336,
              0.06535,
              0.10834,
              0.19575,
              0.37617,
              0.74096,
              1.47308
            ],
            [
              0.02089,
              0.04369,
              0.06566,
              0.10879,
              0.19606,
              0.37587,
              0.74308,
              1.47378
            ],
            [
              0.02134,
              0.04413,
              0.06603,
              0.10915,
              0.19639,
              0.37638,
              0.74322,
              1.4768
            ],
            [
              0.02193,
              0.04452,
              0.06648,
              0.10957,
              0.19698,
              0.37651,
              0.7414,
              1.472
            ],
            [
              0.0227,
              0.04516,
              0.06701,
              0.1099,
              0.1973,
              0.3775,
              0.7417,
              1.4743
            ],
            [
              0.0236,
              0.0459,
              0.0677,
              0.1108,
              0.1981,
              0.378,
              0.7433,
              1.4744
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.09823,
              0.12355,
              0.14222,
              0.17281,
              0.2233,
              0.31115,
              0.47503,
              0.79721
            ],
            [
              0.09986,
              0.12518,
              0.14384,
              0.17444,
              0.22492,
              0.31281,
              0.47671,
              0.79863
            ],
            [
              0.10198,
              0.1273,
              0.14596,
              0.17656,
              0.22705,
              0.31492,
              0.47884,
              0.80091
            ],
            [
              0.1054,
              0.13073,
              0.14938,
              0.17997,
              0.23045,
              0.31832,
              0.48224,
              0.80451
            ],
            [
              0.11086,
              0.13616,
              0.1548,
              0.1854,
              0.23588,
              0.32377,
              0.48771,
              0.80958
            ],
            [
              0.11938,
              0.14464,
              0.16325,
              0.19384,
              0.24434,
              0.33222,
              0.49616,
              0.81834
            ],
            [
              0.13223,
              0.1574,
              0.17596,
              0.20651,
              0.25701,
              0.34492,
              0.50881,
              0.83095
            ],
            [
              0.14929,
              0.17497,
              0.19373,
              0.22445,
              0.27507,
              0.363,
              0.52686,
              0.84886
            ],
            [
              0.17117,
              0.1976,
              0.2168,
              0.24821,
              0.29947,
              0.3877,
              0.55151,
              0.87385
            ],
            [
              0.20005,
              0.22745,
              0.2472,
              0.27942,
              0.33169,
              0.4208,
              0.58489,
              0.90659
            ],
            [
              0.23865,
              0.26741,
              0.28801,
              0.32145,
              0.37527,
              0.46572,
              0.63042,
              0.95252
            ],
            [
              0.29017,
              0.32087,
              0.34277,
              0.37807,
              0.43457,
              0.52757,
              0.69387,
              1.01567
            ],
            [
              0.3591,
              0.3923,
              0.4159,
              0.454,
              0.5145,
              0.6124,
              0.7827,
              1.106
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.08337,
              0.10523,
              0.12304,
              0.15496,
              0.21454,
              0.33103,
              0.56358,
              1.02707
            ],
            [
              0.08482,
              0.10666,
              0.12448,
              0.15639,
              0.21601,
              0.33226,
              0.56455,
              1.02934
            ],
            [
              0.08663,
              0.10848,
              0.12628,
              0.15821,
              0.2177,
              0.33439,
              0.5662,
              1.03012
            ],
            [
              0.08947,
              0.11132,
              0.1291,
              0.16099,
              0.22056,
              0.33686,
              0.56956,
              1.03278
            ],
            [
              0.0939,
              0.11573,
              0.13349,
              0.16535,
              0.2249,
              0.34125,
              0.57328,
              1.03721
            ],
            [
              0.10058,
              0.12236,
              0.14003,
              0.17179,
              0.23122,
              0.34762,
              0.57928,
              1.04442
            ],
            [
              0.10952,
              0.13135,
              0.14891,
              0.18051,
              0.23963,
              0.35591,
              0.58789,
              1.05203
            ],
            [
              0.11906,
              0.14146,
              0.15925,
              0.19088,
              0.24985,
              0.3657,
              0.59801,
              1.06206
            ],
            [
              0.1281,
              0.15151,
              0.16967,
              0.20177,
              0.26091,
              0.37639,
              0.60816,
              1.07205
            ],
            [
              0.13514,
              0.16006,
              0.17884,
              0.21178,
              0.27155,
              0.38707,
              0.61815,
              1.08109
            ],
            [
              0.13787,
              0.16483,
              0.18458,
              0.2188,
              0.27988,
              0.3964,
              0.62702,
              1.09052
            ],
            [
              0.13283,
              0.16233,
              0.18347,
              0.21947,
              0.28267,
              0.40087,
              0.63317,
              1.09547
            ],
            [
              0.115,
              0.1475,
              0.1705,
              0.2089,
              0.2752,
              0.3961,
              0.6317,
              1.0967
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02686,
              0.04709,
              0.06265,
              0.08993,
              0.14046,
              0.24149,
              0.45124,
              0.8841
            ],
            [
              0.02683,
              0.0471,
              0.06264,
              0.08992,
              0.14044,
              0.24167,
              0.45085,
              0.88384
            ],
            [
              0.02687,
              0.04709,
              0.06265,
              0.0899,
              0.14048,
              0.24167,
              0.45085,
              0.88277
            ],
            [
              0.02685,
              0.04711,
              0.06268,
              0.08995,
              0.14051,
              0.24154,
              0.45101,
              0.88321
            ],
            [
              0.02691,
              0.04716,
              0.06272,
              0.08995,
              0.1405,
              0.2417,
              0.45082,
              0.88363
            ],
            [
              0.02703,
              0.04732,
              0.06287,
              0.09012,
              0.14056,
              0.2417,
              0.45072,
              0.88479
            ],
            [
              0.02798,
              0.04806,
              0.06355,
              0.09053,
              0.14091,
              0.24186,
              0.45113,
              0.88362
            ],
            [
              0.03084,
              0.0507,
              0.06568,
              0.09221,
              0.14192,
              0.2423,
              0.4515,
              0.88465
            ],
            [
              0.03447,
              0.05443,
              0.06948,
              0.09569,
              0.14461,
              0.24359,
              0.45211,
              0.88295
            ],
            [
              0.03932,
              0.05948,
              0.07449,
              0.10048,
              0.14862,
              0.2465,
              0.4529,
              0.88458
            ],
            [
              0.04639,
              0.06695,
              0.08202,
              0.10775,
              0.15521,
              0.25096,
              0.45535,
              0.8837
            ],
            [
              0.0567,
              0.078,
              0.0935,
              0.1194,
              0.166,
              0.2599,
              0.4594,
              0.8862
            ],
            [
              0.0713,
              0.094,
              0.1101,
              0.1367,
              0.1837,
              0.2758,
              0.4711,
              0.8887
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.01816,
              0.04199,
              0.06416,
              0.1077,
              0.19669,
              0.3801,
              0.74948,
              1.49163
            ],
            [
              0.0182,
              0.04201,
              0.06421,
              0.10776,
              0.19685,
              0.37998,
              0.75015,
              1.48984
            ],
            [
              0.01818,
              0.042,
              0.06423,
              0.1079,
              0.19693,
              0.37947,
              0.75011,
              1.49067
            ],
            [
              0.01823,
              0.04198,
              0.06423,
              0.10781,
              0.19669,
              0.38067,
              0.74997,
              1.49174
            ],
            [
              0.01825,
              0.04206,
              0.06433,
              0.10811,
              0.19698,
              0.37978,
              0.74985,
              1.49163
            ],
            [
              0.01844,
              0.04224,
              0.0645,
              0.10808,
              0.1969,
              0.37957,
              0.7519,
              1.49549
            ],
            [
              0.01984,
              0.04321,
              0.0652,
              0.10867,
              0.19718,
              0.38013,
              0.75166,
              1.49183
            ],
            [
              0.02242,
              0.04526,
              0.06718,
              0.10989,
              0.19792,
              0.38133,
              0.75042,
              1.4915
            ],
            [
              0.02621,
              0.04875,
              0.07034,
              0.11275,
              0.19942,
              0.38075,
              0.75117,
              1.49265
            ],
            [
              0.03158,
              0.05378,
              0.07532,
              0.1173,
              0.20319,
              0.38255,
              0.75017,
              1.49128
            ],
            [
              0.03887,
              0.06096,
              0.08256,
              0.12436,
              0.20964,
              0.38685,
              0.75226,
              1.4901
            ],
            [
              0.04881,
              0.07108,
              0.09264,
              0.13458,
              0.219,
              0.3951,
              0.7588,
              1.4937
            ],
            [
              0.0624,
              0.0852,
              0.1066,
              0.1488,
              0.2329,
              0.4073,
              0.7702,
              1.5006
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.13021,
              0.15233,
              0.16891,
              0.19671,
              0.24398,
              0.32857,
              0.49051,
              0.81281
            ],
            [
              0.13174,
              0.15385,
              0.17044,
              0.19823,
              0.24551,
              0.33015,
              0.49209,
              0.81453
            ],
            [
              0.13373,
              0.15583,
              0.17241,
              0.20021,
              0.24748,
              0.33209,
              0.49406,
              0.81681
            ],
            [
              0.1369,
              0.15899,
              0.17556,
              0.20334,
              0.25061,
              0.3352,
              0.49708,
              0.81907
            ],
            [
              0.14194,
              0.164,
              0.18055,
              0.20831,
              0.25558,
              0.34017,
              0.50212,
              0.82414
            ],
            [
              0.1496,
              0.17162,
              0.18813,
              0.21586,
              0.2631,
              0.34765,
              0.50961,
              0.83176
            ],
            [
              0.1599,
              0.18186,
              0.19832,
              0.226,
              0.2732,
              0.35779,
              0.5197,
              0.84179
            ],
            [
              0.17176,
              0.19363,
              0.21004,
              0.23767,
              0.28481,
              0.36934,
              0.53114,
              0.85306
            ],
            [
              0.18419,
              0.2059,
              0.22225,
              0.24981,
              0.2969,
              0.38134,
              0.54308,
              0.86535
            ],
            [
              0.19579,
              0.21734,
              0.23366,
              0.26125,
              0.30837,
              0.39273,
              0.55438,
              0.87669
            ],
            [
              0.20441,
              0.22574,
              0.24205,
              0.2697,
              0.31697,
              0.40165,
              0.56332,
              0.88522
            ],
            [
              0.20687,
              0.22787,
              0.24417,
              0.27187,
              0.31937,
              0.40437,
              0.56677,
              0.88847
            ],
            [
              0.1984,
              0.2192,
              0.2353,
              0.2631,
              0.3108,
              0.3961,
              0.559,
              0.8823
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.14321,
              0.1631,
              0.17977,
              0.21015,
              0.26824,
              0.38357,
              0.61471,
              1.07737
            ],
            [
              0.14487,
              0.16476,
              0.18141,
              0.21182,
              0.26991,
              0.38527,
              0.61634,
              1.07914
            ],
            [
              0.14705,
              0.16693,
              0.18361,
              0.21399,
              0.27207,
              0.38742,
              0.61852,
              1.08122
            ],
            [
              0.15054,
              0.17042,
              0.18709,
              0.21746,
              0.27557,
              0.39089,
              0.62204,
              1.08498
            ],
            [
              0.15613,
              0.17601,
              0.19267,
              0.22305,
              0.28114,
              0.3965,
              0.62752,
              1.09041
            ],
            [
              0.16488,
              0.18476,
              0.20142,
              0.2318,
              0.28986,
              0.40521,
              0.63621,
              1.09912
            ],
            [
              0.17806,
              0.19794,
              0.21456,
              0.24489,
              0.30294,
              0.41823,
              0.64933,
              1.11213
            ],
            [
              0.19664,
              0.21639,
              0.23295,
              0.26316,
              0.32109,
              0.43628,
              0.66724,
              1.12976
            ],
            [
              0.22077,
              0.24038,
              0.2568,
              0.2869,
              0.34464,
              0.45967,
              0.69057,
              1.15325
            ],
            [
              0.25225,
              0.27173,
              0.28808,
              0.31803,
              0.37552,
              0.49031,
              0.72089,
              1.18349
            ],
            [
              0.29404,
              0.31345,
              0.32971,
              0.3595,
              0.41674,
              0.53112,
              0.76152,
              1.22372
            ],
            [
              0.34967,
              0.36907,
              0.38537,
              0.41507,
              0.47197,
              0.58587,
              0.81577,
              1.27767
            ],
            [
              0.4235,
              0.4432,
              0.4594,
              0.4891,
              0.5458,
              0.6592,
              0.8885,
              1.3498
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02305,
              0.04182,
              0.05601,
              0.08183,
              0.13185,
              0.23416,
              0.4473,
              0.88259
            ],
            [
              0.02306,
              0.04178,
              0.05594,
              0.08185,
              0.13196,
              0.23414,
              0.44673,
              0.88251
            ],
            [
              0.02303,
              0.04178,
              0.05593,
              0.08184,
              0.13195,
              0.23424,
              0.44659,
              0.88282
            ],
            [
              0.02301,
              0.04178,
              0.05599,
              0.08182,
              0.13187,
              0.2342,
              0.44735,
              0.88225
            ],
            [
              0.02296,
              0.04172,
              0.05598,
              0.08183,
              0.13182,
              0.23405,
              0.44719,
              0.88166
            ],
            [
              0.0229,
              0.04171,
              0.05595,
              0.08184,
              0.13187,
              0.23413,
              0.44727,
              0.88305
            ],
            [
              0.02289,
              0.04177,
              0.05601,
              0.08187,
              0.13193,
              0.23396,
              0.44657,
              0.88208
            ],
            [
              0.0231,
              0.04196,
              0.05619,
              0.08207,
              0.13214,
              0.23411,
              0.44732,
              0.88198
            ],
            [
              0.02353,
              0.0424,
              0.05652,
              0.08239,
              0.13239,
              0.23427,
              0.44706,
              0.88176
            ],
            [
              0.02431,
              0.04321,
              0.05739,
              0.0832,
              0.13289,
              0.23455,
              0.44736,
              0.88252
            ],
            [
              0.02544,
              0.04439,
              0.0586,
              0.08444,
              0.13418,
              0.23583,
              0.44678,
              0.8823
            ],
            [
              0.027,
              0.0461,
              0.0603,
              0.0861,
              0.1359,
              0.2377,
              0.4494,
              0.8829
            ],
            [
              0.0292,
              0.0483,
              0.0625,
              0.0881,
              0.1379,
              0.2397,
              0.4522,
              0.8847
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.01811,
              0.04126,
              0.06288,
              0.10602,
              0.19499,
              0.37847,
              0.7479,
              1.48789
            ],
            [
              0.01815,
              0.04123,
              0.06279,
              0.10588,
              0.19518,
              0.37865,
              0.74762,
              1.48814
            ],
            [
              0.01813,
              0.04128,
              0.06288,
              0.10591,
              0.19506,
              0.37819,
              0.74811,
              1.48939
            ],
            [
              0.01815,
              0.04128,
              0.06287,
              0.10604,
              0.19499,
              0.3785,
              0.74833,
              1.48835
            ],
            [
              0.01811,
              0.04124,
              0.06284,
              0.10581,
              0.195,
              0.37846,
              0.74916,
              1.48827
            ],
            [
              0.01811,
              0.04127,
              0.06286,
              0.106,
              0.19506,
              0.37806,
              0.74755,
              1.48713
            ],
            [
              0.01813,
              0.04125,
              0.06277,
              0.10581,
              0.19496,
              0.37866,
              0.74767,
              1.48708
            ],
            [
              0.01825,
              0.04137,
              0.063,
              0.10592,
              0.19504,
              0.37858,
              0.74755,
              1.4887
            ],
            [
              0.0188,
              0.04179,
              0.06349,
              0.1063,
              0.19544,
              0.37893,
              0.74831,
              1.48821
            ],
            [
              0.01947,
              0.04235,
              0.06385,
              0.10663,
              0.19548,
              0.37819,
              0.74768,
              1.48951
            ],
            [
              0.02044,
              0.04325,
              0.06464,
              0.10723,
              0.19586,
              0.37858,
              0.7481,
              1.4883
            ],
            [
              0.022,
              0.0448,
              0.0661,
              0.1085,
              0.1965,
              0.3788,
              0.7486,
              1.4884
            ],
            [
              0.0245,
              0.047,
              0.0683,
              0.1105,
              0.1978,
              0.3801,
              0.7486,
              1.4892
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.13034,
              0.15244,
              0.16902,
              0.1968,
              0.24408,
              0.32869,
              0.49058,
              0.81265
            ],
            [
              0.13188,
              0.15397,
              0.17055,
              0.19833,
              0.2456,
              0.3302,
              0.49219,
              0.81464
            ],
            [
              0.13386,
              0.15595,
              0.17252,
              0.2003,
              0.24757,
              0.3322,
              0.49415,
              0.81655
            ],
            [
              0.13703,
              0.1591,
              0.17566,
              0.20344,
              0.2507,
              0.33528,
              0.49717,
              0.82005
            ],
            [
              0.14206,
              0.16411,
              0.18064,
              0.2084,
              0.25566,
              0.34027,
              0.50231,
              0.82459
            ],
            [
              0.1497,
              0.17171,
              0.18821,
              0.21594,
              0.26316,
              0.34775,
              0.50968,
              0.83178
            ],
            [
              0.15998,
              0.18193,
              0.19838,
              0.22606,
              0.27325,
              0.35778,
              0.51969,
              0.84169
            ],
            [
              0.1718,
              0.19366,
              0.21006,
              0.23768,
              0.28482,
              0.36935,
              0.53116,
              0.85306
            ],
            [
              0.18418,
              0.20588,
              0.22222,
              0.24978,
              0.29687,
              0.38131,
              0.54304,
              0.86535
            ],
            [
              0.19574,
              0.21728,
              0.2336,
              0.26118,
              0.3083,
              0.39266,
              0.55431,
              0.87659
            ],
            [
              0.20434,
              0.22567,
              0.24196,
              0.26961,
              0.31688,
              0.40157,
              0.56322,
              0.88492
            ],
            [
              0.20677,
              0.22787,
              0.24417,
              0.27187,
              0.31927,
              0.40427,
              0.56667,
              0.88837
            ],
            [
              0.1985,
              0.2192,
              0.2354,
              0.2632,
              0.3108,
              0.3961,
              0.5591,
              0.8824
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.14288,
              0.16276,
              0.17943,
              0.20981,
              0.2679,
              0.38324,
              0.6144,
              1.07707
            ],
            [
              0.14453,
              0.16442,
              0.18107,
              0.21147,
              0.26957,
              0.38493,
              0.61594,
              1.07884
            ],
            [
              0.1467,
              0.16659,
              0.18325,
              0.21364,
              0.27172,
              0.38708,
              0.61817,
              1.08082
            ],
            [
              0.15019,
              0.17008,
              0.18673,
              0.2171,
              0.2752,
              0.39054,
              0.6217,
              1.08468
            ],
            [
              0.15577,
              0.17565,
              0.1923,
              0.2227,
              0.28079,
              0.39614,
              0.62717,
              1.09011
            ],
            [
              0.16452,
              0.1844,
              0.20104,
              0.23142,
              0.28949,
              0.4048,
              0.63596,
              1.09892
            ],
            [
              0.17769,
              0.19753,
              0.21417,
              0.2445,
              0.30254,
              0.41786,
              0.64882,
              1.11173
            ],
            [
              0.19621,
              0.21594,
              0.23248,
              0.26272,
              0.32061,
              0.43584,
              0.66673,
              1.12966
            ],
            [
              0.22025,
              0.23985,
              0.25626,
              0.28637,
              0.3441,
              0.45912,
              0.69005,
              1.15255
            ],
            [
              0.25161,
              0.27109,
              0.28744,
              0.31738,
              0.37487,
              0.48965,
              0.72029,
              1.18289
            ],
            [
              0.29324,
              0.31264,
              0.3289,
              0.35869,
              0.41592,
              0.53032,
              0.76072,
              1.22302
            ],
            [
              0.34867,
              0.36807,
              0.38427,
              0.41397,
              0.47087,
              0.58487,
              0.81477,
              1.27667
            ],
            [
              0.4221,
              0.4418,
              0.458,
              0.4877,
              0.5444,
              0.6578,
              0.8871,
              1.3484
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02304,
              0.04176,
              0.05597,
              0.08184,
              0.13183,
              0.23402,
              0.44728,
              0.88216
            ],
            [
              0.02302,
              0.04175,
              0.05591,
              0.08183,
              0.13194,
              0.23421,
              0.44663,
              0.8827
            ],
            [
              0.023,
              0.04174,
              0.05591,
              0.08183,
              0.13194,
              0.23418,
              0.44669,
              0.88253
            ],
            [
              0.02297,
              0.04175,
              0.0559,
              0.0818,
              0.13186,
              0.2342,
              0.44736,
              0.88237
            ],
            [
              0.02296,
              0.04171,
              0.05596,
              0.08183,
              0.13185,
              0.23392,
              0.44671,
              0.88256
            ],
            [
              0.02287,
              0.04169,
              0.05589,
              0.08181,
              0.13185,
              0.23401,
              0.44728,
              0.88217
            ],
            [
              0.02285,
              0.04174,
              0.05599,
              0.08182,
              0.13188,
              0.23421,
              0.44729,
              0.88249
            ],
            [
              0.02307,
              0.04194,
              0.05617,
              0.08205,
              0.132,
              0.23429,
              0.44729,
              0.88197
            ],
            [
              0.02351,
              0.04238,
              0.05652,
              0.08238,
              0.13237,
              0.23427,
              0.44699,
              0.88169
            ],
            [
              0.02429,
              0.04319,
              0.05738,
              0.08319,
              0.13288,
              0.23455,
              0.44733,
              0.88249
            ],
            [
              0.02543,
              0.04437,
              0.05858,
              0.08443,
              0.13416,
              0.23572,
              0.44706,
              0.8825
            ],
            [
              0.027,
              0.046,
              0.0603,
              0.086,
              0.1359,
              0.2376,
              0.4494,
              0.8828
            ],
            [
              0.0292,
              0.0483,
              0.0625,
              0.0882,
              0.1379,
              0.2396,
              0.4523,
              0.8846
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.01812,
              0.04126,
              0.06288,
              0.10601,
              0.19501,
              0.37835,
              0.74818,
              1.48819
            ],
            [
              0.01812,
              0.04122,
              0.0628,
              0.10587,
              0.19519,
              0.3785,
              0.74897,
              1.48902
            ],
            [
              0.01813,
              0.04124,
              0.06286,
              0.10601,
              0.19506,
              0.37833,
              0.74806,
              1.48751
            ],
            [
              0.0181,
              0.04124,
              0.06279,
              0.10591,
              0.19493,
              0.37867,
              0.74827,
              1.48794
            ],
            [
              0.01811,
              0.04124,
              0.06282,
              0.10575,
              0.19506,
              0.37852,
              0.74801,
              1.4889
            ],
            [
              0.0181,
              0.04125,
              0.06281,
              0.10592,
              0.19503,
              0.37853,
              0.74784,
              1.48864
            ],
            [
              0.01812,
              0.04124,
              0.06288,
              0.10583,
              0.1952,
              0.37816,
              0.74806,
              1.48823
            ],
            [
              0.01828,
              0.04144,
              0.06297,
              0.10597,
              0.19518,
              0.37928,
              0.7482,
              1.48834
            ],
            [
              0.01877,
              0.04182,
              0.06331,
              0.10631,
              0.19539,
              0.37905,
              0.74823,
              1.48909
            ],
            [
              0.01945,
              0.04237,
              0.06388,
              0.10661,
              0.19542,
              0.37814,
              0.74903,
              1.48735
            ],
            [
              0.02048,
              0.04325,
              0.06469,
              0.10729,
              0.19617,
              0.3786,
              0.7485,
              1.4887
            ],
            [
              0.0221,
              0.0447,
              0.0661,
              0.1085,
              0.1969,
              0.3788,
              0.7484,
              1.4884
            ],
            [
              0.0245,
              0.0471,
              0.0683,
              0.1105,
              0.1979,
              0.3798,
              0.7485,
              1.4898
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.09871,
              0.12406,
              0.14275,
              0.17338,
              0.22394,
              0.312,
              0.4764,
              0.79979
            ],
            [
              0.10034,
              0.1257,
              0.14438,
              0.17502,
              0.22558,
              0.31364,
              0.47808,
              0.80133
            ],
            [
              0.10248,
              0.12782,
              0.14651,
              0.17714,
              0.22771,
              0.31578,
              0.48021,
              0.80348
            ],
            [
              0.1059,
              0.13125,
              0.14993,
              0.18057,
              0.23114,
              0.31922,
              0.48346,
              0.80729
            ],
            [
              0.11136,
              0.13669,
              0.15536,
              0.18599,
              0.23657,
              0.32464,
              0.48908,
              0.81217
            ],
            [
              0.1199,
              0.14519,
              0.16383,
              0.19445,
              0.24503,
              0.33312,
              0.49751,
              0.82068
            ],
            [
              0.13278,
              0.15797,
              0.17656,
              0.20715,
              0.25773,
              0.34582,
              0.51026,
              0.83403
            ],
            [
              0.14993,
              0.17561,
              0.19439,
              0.22515,
              0.27584,
              0.36396,
              0.52829,
              0.85146
            ],
            [
              0.17191,
              0.19833,
              0.21756,
              0.249,
              0.30033,
              0.38876,
              0.55309,
              0.87645
            ],
            [
              0.20093,
              0.22831,
              0.24808,
              0.28033,
              0.33266,
              0.42195,
              0.58659,
              0.90949
            ],
            [
              0.23972,
              0.26845,
              0.28906,
              0.32253,
              0.37639,
              0.46692,
              0.63222,
              0.95542
            ],
            [
              0.29157,
              0.32217,
              0.34407,
              0.37937,
              0.43587,
              0.52907,
              0.69577,
              1.01877
            ],
            [
              0.3609,
              0.394,
              0.4176,
              0.4556,
              0.5162,
              0.6142,
              0.7848,
              1.1092
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.0835,
              0.10515,
              0.12274,
              0.15424,
              0.21297,
              0.32748,
              0.55639,
              1.01267
            ],
            [
              0.08495,
              0.10659,
              0.12418,
              0.15567,
              0.21438,
              0.32891,
              0.55774,
              1.01424
            ],
            [
              0.08676,
              0.1084,
              0.12598,
              0.15748,
              0.21609,
              0.33099,
              0.55945,
              1.01582
            ],
            [
              0.08959,
              0.11123,
              0.12881,
              0.16026,
              0.21898,
              0.33348,
              0.56231,
              1.02018
            ],
            [
              0.09402,
              0.11564,
              0.13319,
              0.1646,
              0.22325,
              0.3378,
              0.56679,
              1.02391
            ],
            [
              0.10069,
              0.12225,
              0.13971,
              0.17104,
              0.22961,
              0.34413,
              0.5726,
              1.03032
            ],
            [
              0.10961,
              0.13124,
              0.14862,
              0.17978,
              0.23805,
              0.35257,
              0.58077,
              1.03773
            ],
            [
              0.1191,
              0.14132,
              0.1589,
              0.19014,
              0.24831,
              0.36236,
              0.59093,
              1.04786
            ],
            [
              0.12814,
              0.15137,
              0.16933,
              0.20105,
              0.25933,
              0.37299,
              0.60091,
              1.05775
            ],
            [
              0.13514,
              0.1599,
              0.17848,
              0.21104,
              0.26998,
              0.38375,
              0.6112,
              1.06679
            ],
            [
              0.13778,
              0.16457,
              0.18414,
              0.21798,
              0.27823,
              0.39285,
              0.61992,
              1.07652
            ],
            [
              0.13261,
              0.16194,
              0.18287,
              0.21857,
              0.28087,
              0.39727,
              0.62627,
              1.08137
            ],
            [
              0.1145,
              0.1468,
              0.1697,
              0.2078,
              0.2732,
              0.3924,
              0.6242,
              1.0833
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.02696,
              0.04726,
              0.06283,
              0.09012,
              0.14074,
              0.24202,
              0.45243,
              0.88768
            ],
            [
              0.02699,
              0.04725,
              0.06282,
              0.09011,
              0.1407,
              0.24219,
              0.45202,
              0.88711
            ],
            [
              0.02697,
              0.04727,
              0.06283,
              0.09014,
              0.14071,
              0.24222,
              0.45211,
              0.88706
            ],
            [
              0.02698,
              0.04728,
              0.06291,
              0.09013,
              0.14071,
              0.24196,
              0.45269,
              0.88617
            ],
            [
              0.02702,
              0.04733,
              0.06289,
              0.09014,
              0.14076,
              0.24221,
              0.45199,
              0.88668
            ],
            [
              0.02719,
              0.04749,
              0.06304,
              0.0903,
              0.14081,
              0.24229,
              0.45239,
              0.88721
            ],
            [
              0.02808,
              0.04822,
              0.06368,
              0.09075,
              0.14116,
              0.24241,
              0.45209,
              0.88592
            ],
            [
              0.03091,
              0.0508,
              0.06583,
              0.09241,
              0.14215,
              0.24276,
              0.45289,
              0.88551
            ],
            [
              0.0345,
              0.05451,
              0.0696,
              0.09582,
              0.14482,
              0.24401,
              0.45331,
              0.88614
            ],
            [
              0.03935,
              0.05953,
              0.07456,
              0.10058,
              0.14887,
              0.24699,
              0.45419,
              0.88757
            ],
            [
              0.04635,
              0.06696,
              0.08207,
              0.10784,
              0.15536,
              0.25147,
              0.45663,
              0.8867
            ],
            [
              0.0566,
              0.078,
              0.0933,
              0.1194,
              0.1662,
              0.2603,
              0.4606,
              0.8891
            ],
            [
              0.0712,
              0.0938,
              0.1099,
              0.1366,
              0.1838,
              0.2761,
              0.4723,
              0.8916
            ]
          ]
        },
        "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.00824,
            0.01648,
            0.03296,
            0.06592,
            0.13185,
            0.2637,
            0.5274
          ],
          "values": [
            [
              0.0181,
              0.04164,
              0.06358,
              0.10687,
              0.19473,
              0.37532,
              0.7412,
              1.47519
            ],
            [
              0.01813,
              0.04161,
              0.06361,
              0.10668,
              0.19441,
              0.37512,
              0.74162,
              1.47535
            ],
            [
              0.01811,
              0.04169,
              0.06367,
              0.10679,
              0.19465,
              0.3753,
              0.74071,
              1.47171
            ],
            [
              0.01813,
              0.04171,
              0.06364,
              0.1068,
              0.19451,
              0.3751,
              0.74158,
              1.47481
            ],
            [
              0.0182,
              0.04169,
              0.06368,
              0.10676,
              0.19445,
              0.37534,
              0.74076,
              1.47344
            ],
            [
              0.01839,
              0.04196,
              0.06387,
              0.10703,
              0.19462,
              0.37559,
              0.74201,
              1.47216
            ],
            [
              0.01978,
              0.04278,
              0.06453,
              0.10748,
              0.19486,
              0.37535,
              0.74199,
              1.47192
            ],
            [
              0.02234,
              0.0449,
              0.06657,
              0.10875,
              0.1955,
              0.3763,
              0.74048,
              1.47687
            ],
            [
              0.02614,
              0.04843,
              0.06975,
              0.11161,
              0.19718,
              0.37631,
              0.74068,
              1.47348
            ],
            [
              0.03151,
              0.05346,
              0.0748,
              0.11628,
              0.20087,
              0.37805,
              0.74336,
              1.47257
            ],
            [
              0.03882,
              0.06065,
              0.08185,
              0.12318,
              0.20696,
              0.38199,
              0.74293,
              1.4736
            ],
            [
              0.04868,
              0.07087,
              0.09211,
              0.13338,
              0.2169,
              0.3906,
              0.7498,
              1.475
            ],
            [
              0.0622,
              0.0849,
              0.1061,
              0.1478,
              0.2306,
              0.4027,
              0.7594,
              1.4835
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}