{
  "area": 36.7632,
  "cell_footprint": "sky130_fd_sc_ms__fa",
  "cell_leakage_power": 0.0,
  "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.01168,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.01108,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CIN": {
    "capacitance": 0.00807,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CIN) | (B&CIN)",
    "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.08968,
              0.09547,
              0.10231,
              0.11703,
              0.14728,
              0.20836,
              0.3307,
              0.57354
            ],
            [
              0.08966,
              0.09545,
              0.10229,
              0.11694,
              0.14726,
              0.20831,
              0.33052,
              0.57349
            ],
            [
              0.08967,
              0.09547,
              0.10229,
              0.11698,
              0.14719,
              0.20837,
              0.33048,
              0.57342
            ],
            [
              0.0896,
              0.09538,
              0.10223,
              0.11684,
              0.14715,
              0.20843,
              0.33062,
              0.57454
            ],
            [
              0.08958,
              0.09534,
              0.10217,
              0.11681,
              0.14716,
              0.20835,
              0.3304,
              0.57403
            ],
            [
              0.0895,
              0.09528,
              0.10212,
              0.11679,
              0.14707,
              0.20833,
              0.33069,
              0.57382
            ],
            [
              0.08942,
              0.09523,
              0.10204,
              0.11667,
              0.14703,
              0.20812,
              0.33035,
              0.57345
            ],
            [
              0.08937,
              0.09514,
              0.102,
              0.11662,
              0.14688,
              0.20828,
              0.33028,
              0.57322
            ],
            [
              0.08928,
              0.09506,
              0.10192,
              0.11657,
              0.14678,
              0.20807,
              0.32989,
              0.57435
            ],
            [
              0.0892,
              0.09498,
              0.10181,
              0.11641,
              0.1467,
              0.20778,
              0.3301,
              0.57285
            ],
            [
              0.08916,
              0.0949,
              0.10173,
              0.11629,
              0.14652,
              0.20753,
              0.33004,
              0.57332
            ],
            [
              0.08954,
              0.09523,
              0.10202,
              0.1165,
              0.14657,
              0.20752,
              0.32991,
              0.57274
            ],
            [
              0.09102,
              0.09648,
              0.10306,
              0.11733,
              0.14711,
              0.20785,
              0.33,
              0.57357
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.05373,
              0.06111,
              0.0694,
              0.08684,
              0.12242,
              0.19251,
              0.32975,
              0.605
            ],
            [
              0.05367,
              0.06103,
              0.06935,
              0.08679,
              0.12234,
              0.1924,
              0.32971,
              0.60452
            ],
            [
              0.0536,
              0.06096,
              0.06925,
              0.08667,
              0.12226,
              0.19231,
              0.32965,
              0.60486
            ],
            [
              0.05347,
              0.06082,
              0.06914,
              0.08655,
              0.1221,
              0.19218,
              0.32948,
              0.60413
            ],
            [
              0.05335,
              0.06067,
              0.06899,
              0.08644,
              0.12199,
              0.19208,
              0.32936,
              0.6044
            ],
            [
              0.05313,
              0.06049,
              0.06882,
              0.08626,
              0.1218,
              0.19187,
              0.3292,
              0.60364
            ],
            [
              0.05291,
              0.06029,
              0.06857,
              0.08605,
              0.12157,
              0.19166,
              0.32881,
              0.60423
            ],
            [
              0.05266,
              0.06003,
              0.06831,
              0.08575,
              0.1213,
              0.19135,
              0.32851,
              0.60361
            ],
            [
              0.05246,
              0.05982,
              0.0681,
              0.0855,
              0.12101,
              0.19107,
              0.32837,
              0.6041
            ],
            [
              0.05242,
              0.05969,
              0.06791,
              0.0852,
              0.12064,
              0.19066,
              0.32805,
              0.60287
            ],
            [
              0.05257,
              0.05977,
              0.06787,
              0.08503,
              0.12031,
              0.19027,
              0.32749,
              0.60278
            ],
            [
              0.053,
              0.05998,
              0.06802,
              0.08519,
              0.12031,
              0.19002,
              0.32749,
              0.60305
            ],
            [
              0.05394,
              0.0607,
              0.06865,
              0.08565,
              0.12062,
              0.19029,
              0.32772,
              0.60287
            ]
          ]
        },
        "when": "(B&!CIN) | (!B&CIN)"
      },
      {
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.08716,
              0.09292,
              0.09979,
              0.11435,
              0.14471,
              0.20581,
              0.32797,
              0.57062
            ],
            [
              0.08711,
              0.09286,
              0.0997,
              0.11432,
              0.14465,
              0.20584,
              0.32811,
              0.57085
            ],
            [
              0.08707,
              0.09287,
              0.09973,
              0.11431,
              0.14465,
              0.20572,
              0.32787,
              0.57178
            ],
            [
              0.087,
              0.09276,
              0.09961,
              0.11427,
              0.14458,
              0.20561,
              0.32766,
              0.57159
            ],
            [
              0.08689,
              0.09267,
              0.09951,
              0.11417,
              0.14441,
              0.20553,
              0.32783,
              0.57138
            ],
            [
              0.08678,
              0.09257,
              0.09942,
              0.11407,
              0.14435,
              0.20547,
              0.32746,
              0.57062
            ],
            [
              0.08657,
              0.09237,
              0.0992,
              0.11386,
              0.14415,
              0.20521,
              0.32732,
              0.57098
            ],
            [
              0.08638,
              0.09217,
              0.09903,
              0.11363,
              0.14396,
              0.20506,
              0.32724,
              0.5705
            ],
            [
              0.08619,
              0.09196,
              0.09879,
              0.11342,
              0.14366,
              0.2048,
              0.32719,
              0.57017
            ],
            [
              0.08596,
              0.09175,
              0.09858,
              0.11324,
              0.14351,
              0.20452,
              0.32704,
              0.57015
            ],
            [
              0.08579,
              0.09156,
              0.09837,
              0.11296,
              0.1432,
              0.20417,
              0.32649,
              0.56978
            ],
            [
              0.08608,
              0.09177,
              0.09854,
              0.11303,
              0.14313,
              0.20404,
              0.3262,
              0.56973
            ],
            [
              0.08761,
              0.09306,
              0.09963,
              0.11384,
              0.14371,
              0.20448,
              0.32618,
              0.5696
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.05779,
              0.06516,
              0.07352,
              0.09104,
              0.12665,
              0.1968,
              0.33415,
              0.60902
            ],
            [
              0.05775,
              0.06515,
              0.07351,
              0.09104,
              0.12663,
              0.19671,
              0.33396,
              0.60886
            ],
            [
              0.05772,
              0.06513,
              0.07343,
              0.09099,
              0.12659,
              0.19677,
              0.33405,
              0.60885
            ],
            [
              0.05764,
              0.06502,
              0.07336,
              0.09093,
              0.12653,
              0.19661,
              0.33395,
              0.60868
            ],
            [
              0.05754,
              0.06497,
              0.07331,
              0.09085,
              0.12645,
              0.19657,
              0.3338,
              0.60903
            ],
            [
              0.05739,
              0.06478,
              0.07313,
              0.09067,
              0.12628,
              0.19644,
              0.33384,
              0.60909
            ],
            [
              0.05719,
              0.06462,
              0.07291,
              0.09047,
              0.12607,
              0.19622,
              0.33351,
              0.60847
            ],
            [
              0.05691,
              0.06431,
              0.07265,
              0.09016,
              0.12573,
              0.19591,
              0.3332,
              0.60812
            ],
            [
              0.05664,
              0.06401,
              0.0723,
              0.08974,
              0.12527,
              0.19541,
              0.33278,
              0.60796
            ],
            [
              0.05647,
              0.06373,
              0.07196,
              0.08932,
              0.12475,
              0.19478,
              0.33227,
              0.60722
            ],
            [
              0.05651,
              0.0637,
              0.07179,
              0.08902,
              0.12425,
              0.19423,
              0.33162,
              0.60684
            ],
            [
              0.05689,
              0.06383,
              0.07185,
              0.089,
              0.12409,
              0.19386,
              0.33126,
              0.60642
            ],
            [
              0.0578,
              0.06448,
              0.07237,
              0.08933,
              0.12424,
              0.19386,
              0.33097,
              0.60568
            ]
          ]
        },
        "when": "(A&!CIN) | (!A&CIN)"
      },
      {
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.08212,
              0.08793,
              0.09478,
              0.10938,
              0.13966,
              0.201,
              0.32297,
              0.56621
            ],
            [
              0.0821,
              0.08791,
              0.09477,
              0.10938,
              0.13968,
              0.20096,
              0.32297,
              0.5666
            ],
            [
              0.08211,
              0.08791,
              0.09477,
              0.10938,
              0.1397,
              0.201,
              0.32293,
              0.56614
            ],
            [
              0.08209,
              0.08789,
              0.09473,
              0.1094,
              0.13967,
              0.20072,
              0.32317,
              0.5653
            ],
            [
              0.08197,
              0.08778,
              0.09463,
              0.10925,
              0.13959,
              0.20085,
              0.32301,
              0.56672
            ],
            [
              0.08187,
              0.08766,
              0.0945,
              0.1092,
              0.13947,
              0.20063,
              0.32303,
              0.56644
            ],
            [
              0.08174,
              0.08754,
              0.09438,
              0.10903,
              0.1393,
              0.20036,
              0.32254,
              0.56615
            ],
            [
              0.08161,
              0.08741,
              0.09427,
              0.10894,
              0.13926,
              0.20035,
              0.32256,
              0.56585
            ],
            [
              0.08144,
              0.08726,
              0.09411,
              0.10872,
              0.13899,
              0.20012,
              0.32205,
              0.5647
            ],
            [
              0.08135,
              0.08715,
              0.094,
              0.10861,
              0.13883,
              0.19993,
              0.32214,
              0.56593
            ],
            [
              0.08129,
              0.08709,
              0.0939,
              0.10846,
              0.13868,
              0.19965,
              0.32189,
              0.56565
            ],
            [
              0.08171,
              0.08744,
              0.09419,
              0.10865,
              0.13871,
              0.19969,
              0.32178,
              0.56508
            ],
            [
              0.08383,
              0.08919,
              0.09574,
              0.10987,
              0.13954,
              0.20017,
              0.32229,
              0.5647
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.05986,
              0.0672,
              0.07547,
              0.09293,
              0.12854,
              0.19875,
              0.336,
              0.61089
            ],
            [
              0.05987,
              0.06715,
              0.07544,
              0.09288,
              0.12853,
              0.19872,
              0.33589,
              0.61044
            ],
            [
              0.05985,
              0.06714,
              0.07545,
              0.09288,
              0.1285,
              0.19872,
              0.33586,
              0.61096
            ],
            [
              0.05983,
              0.06711,
              0.07542,
              0.09284,
              0.12851,
              0.19868,
              0.33591,
              0.61027
            ],
            [
              0.0598,
              0.06708,
              0.07541,
              0.09285,
              0.1285,
              0.19869,
              0.33588,
              0.61015
            ],
            [
              0.05974,
              0.06704,
              0.07535,
              0.09277,
              0.12841,
              0.19865,
              0.3359,
              0.60975
            ],
            [
              0.05966,
              0.06695,
              0.07525,
              0.09269,
              0.12828,
              0.19851,
              0.33571,
              0.6113
            ],
            [
              0.05951,
              0.0668,
              0.0751,
              0.09251,
              0.12807,
              0.19824,
              0.33556,
              0.61095
            ],
            [
              0.05936,
              0.06659,
              0.07486,
              0.09222,
              0.12771,
              0.19787,
              0.33522,
              0.61002
            ],
            [
              0.05941,
              0.06656,
              0.0747,
              0.09196,
              0.12733,
              0.19739,
              0.33474,
              0.61012
            ],
            [
              0.05977,
              0.06674,
              0.07472,
              0.09185,
              0.12706,
              0.19703,
              0.33431,
              0.60834
            ],
            [
              0.06047,
              0.06716,
              0.07512,
              0.09214,
              0.12711,
              0.1967,
              0.33408,
              0.60824
            ],
            [
              0.06176,
              0.06815,
              0.07594,
              0.09275,
              0.12756,
              0.19708,
              0.33417,
              0.60949
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.28649,
    "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.61267,
              0.65542,
              0.68517,
              0.73062,
              0.79889,
              0.90197,
              1.06367,
              1.32897
            ],
            [
              0.61302,
              0.65579,
              0.68553,
              0.73098,
              0.79931,
              0.9024,
              1.06414,
              1.32944
            ],
            [
              0.61429,
              0.65707,
              0.68681,
              0.73226,
              0.80059,
              0.90367,
              1.06532,
              1.33072
            ],
            [
              0.61723,
              0.66002,
              0.68976,
              0.73521,
              0.80356,
              0.90665,
              1.06828,
              1.33368
            ],
            [
              0.62293,
              0.66568,
              0.69542,
              0.74087,
              0.8092,
              0.9123,
              1.07401,
              1.33941
            ],
            [
              0.63248,
              0.67524,
              0.70498,
              0.75045,
              0.8188,
              0.92186,
              1.08352,
              1.34882
            ],
            [
              0.64698,
              0.68973,
              0.71946,
              0.76491,
              0.83324,
              0.93633,
              1.09803,
              1.36343
            ],
            [
              0.6681,
              0.71086,
              0.74059,
              0.78604,
              0.85436,
              0.95746,
              1.11916,
              1.38456
            ],
            [
              0.69935,
              0.74208,
              0.77185,
              0.81725,
              0.88555,
              0.98865,
              1.15035,
              1.41565
            ],
            [
              0.74619,
              0.78899,
              0.81869,
              0.86419,
              0.93239,
              1.03539,
              1.19709,
              1.46249
            ],
            [
              0.81712,
              0.85982,
              0.88952,
              0.93492,
              1.00322,
              1.10622,
              1.26792,
              1.53332
            ],
            [
              0.92367,
              0.96637,
              0.99607,
              1.04137,
              1.10957,
              1.21257,
              1.37437,
              1.63977
            ],
            [
              1.0668,
              1.112,
              1.1432,
              1.1906,
              1.2611,
              1.3661,
              1.5291,
              1.7952
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.23219,
              0.27199,
              0.30057,
              0.34654,
              0.42262,
              0.55744,
              0.81319,
              1.32057
            ],
            [
              0.23505,
              0.27486,
              0.30342,
              0.3494,
              0.42563,
              0.56029,
              0.81604,
              1.32324
            ],
            [
              0.23845,
              0.27824,
              0.30682,
              0.35279,
              0.42897,
              0.56373,
              0.81943,
              1.32672
            ],
            [
              0.24333,
              0.28314,
              0.31171,
              0.35768,
              0.43378,
              0.56859,
              0.82434,
              1.33177
            ],
            [
              0.25021,
              0.29,
              0.31857,
              0.36455,
              0.44079,
              0.57531,
              0.83121,
              1.33861
            ],
            [
              0.25992,
              0.29973,
              0.32828,
              0.37426,
              0.45045,
              0.58514,
              0.84093,
              1.34822
            ],
            [
              0.27399,
              0.3138,
              0.34236,
              0.38834,
              0.46445,
              0.59923,
              0.85501,
              1.36243
            ],
            [
              0.29482,
              0.33463,
              0.36321,
              0.40916,
              0.48536,
              0.62001,
              0.87586,
              1.38306
            ],
            [
              0.32582,
              0.3656,
              0.39413,
              0.44004,
              0.51618,
              0.65083,
              0.90665,
              1.41415
            ],
            [
              0.37002,
              0.41036,
              0.43906,
              0.48507,
              0.56116,
              0.69599,
              0.95179,
              1.45929
            ],
            [
              0.42648,
              0.46892,
              0.49892,
              0.54632,
              0.62342,
              0.75882,
              1.01462,
              1.52222
            ],
            [
              0.49657,
              0.54167,
              0.57337,
              0.62297,
              0.70247,
              0.83927,
              1.09597,
              1.60357
            ],
            [
              0.5814,
              0.6299,
              0.6638,
              0.7163,
              0.7988,
              0.9384,
              1.1962,
              1.7039
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.07776,
              0.10344,
              0.12184,
              0.15175,
              0.20049,
              0.28553,
              0.43828,
              0.72948
            ],
            [
              0.07778,
              0.10347,
              0.12183,
              0.15171,
              0.20038,
              0.28539,
              0.43827,
              0.72948
            ],
            [
              0.07776,
              0.10348,
              0.12178,
              0.15169,
              0.20039,
              0.28535,
              0.43826,
              0.7295
            ],
            [
              0.07775,
              0.10355,
              0.12199,
              0.15168,
              0.20038,
              0.28534,
              0.43826,
              0.7294
            ],
            [
              0.07774,
              0.10344,
              0.12178,
              0.1517,
              0.20035,
              0.28533,
              0.43823,
              0.7293
            ],
            [
              0.07774,
              0.10339,
              0.1218,
              0.15162,
              0.20039,
              0.2854,
              0.43817,
              0.7288
            ],
            [
              0.07769,
              0.10342,
              0.12177,
              0.1517,
              0.20034,
              0.28543,
              0.43821,
              0.729
            ],
            [
              0.07769,
              0.10346,
              0.12196,
              0.15161,
              0.20035,
              0.28532,
              0.4382,
              0.7293
            ],
            [
              0.07773,
              0.10351,
              0.1219,
              0.15167,
              0.2004,
              0.2853,
              0.4382,
              0.7294
            ],
            [
              0.0778,
              0.1034,
              0.1217,
              0.1515,
              0.2004,
              0.2854,
              0.4382,
              0.7287
            ],
            [
              0.0777,
              0.1034,
              0.1218,
              0.1517,
              0.2004,
              0.2855,
              0.4382,
              0.7293
            ],
            [
              0.0785,
              0.104,
              0.1225,
              0.1521,
              0.2009,
              0.2858,
              0.4384,
              0.7294
            ],
            [
              0.0874,
              0.1136,
              0.1321,
              0.1613,
              0.2091,
              0.2919,
              0.442,
              0.7304
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.04721,
              0.07791,
              0.10206,
              0.14597,
              0.23147,
              0.40577,
              0.76682,
              1.49684
            ],
            [
              0.04725,
              0.07796,
              0.10216,
              0.14612,
              0.23161,
              0.40582,
              0.76683,
              1.49706
            ],
            [
              0.04722,
              0.07796,
              0.10203,
              0.14593,
              0.23141,
              0.40582,
              0.76693,
              1.49674
            ],
            [
              0.04729,
              0.07795,
              0.10216,
              0.146,
              0.23138,
              0.40578,
              0.76688,
              1.49691
            ],
            [
              0.04722,
              0.07796,
              0.10227,
              0.14619,
              0.2318,
              0.40581,
              0.76683,
              1.49597
            ],
            [
              0.04726,
              0.078,
              0.10213,
              0.14623,
              0.23165,
              0.40581,
              0.7667,
              1.49676
            ],
            [
              0.04728,
              0.07794,
              0.10215,
              0.14621,
              0.2316,
              0.40579,
              0.76683,
              1.49658
            ],
            [
              0.04722,
              0.07795,
              0.10226,
              0.14613,
              0.23163,
              0.40577,
              0.76688,
              1.49656
            ],
            [
              0.04733,
              0.078,
              0.10221,
              0.14611,
              0.23171,
              0.40588,
              0.76681,
              1.4964
            ],
            [
              0.04909,
              0.07951,
              0.10349,
              0.147,
              0.23259,
              0.40608,
              0.76676,
              1.4961
            ],
            [
              0.05256,
              0.08424,
              0.10831,
              0.1513,
              0.235,
              0.4074,
              0.7672,
              1.4961
            ],
            [
              0.0573,
              0.0906,
              0.1154,
              0.1584,
              0.2413,
              0.4113,
              0.7687,
              1.4965
            ],
            [
              0.0638,
              0.0989,
              0.1243,
              0.1677,
              0.2501,
              0.418,
              0.7722,
              1.4979
            ]
          ]
        },
        "sdf_cond": "(!B&CIN)",
        "timing_sense": "positive_unate",
        "when": "(!B&CIN)"
      },
      {
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.57426,
              0.61634,
              0.64566,
              0.69056,
              0.75808,
              0.86055,
              1.02237,
              1.28827
            ],
            [
              0.57638,
              0.61846,
              0.64779,
              0.69268,
              0.76026,
              0.86274,
              1.02454,
              1.29044
            ],
            [
              0.57908,
              0.62116,
              0.65049,
              0.69539,
              0.76291,
              0.86539,
              1.02712,
              1.29312
            ],
            [
              0.58342,
              0.62548,
              0.65482,
              0.69971,
              0.76728,
              0.86979,
              1.03158,
              1.29747
            ],
            [
              0.59029,
              0.63236,
              0.6617,
              0.70659,
              0.77418,
              0.87667,
              1.03841,
              1.30431
            ],
            [
              0.60079,
              0.64285,
              0.67216,
              0.71708,
              0.78456,
              0.88706,
              1.04882,
              1.31472
            ],
            [
              0.61562,
              0.6577,
              0.687,
              0.7319,
              0.79946,
              0.90193,
              1.06373,
              1.32973
            ],
            [
              0.63588,
              0.67793,
              0.70725,
              0.75214,
              0.81969,
              0.92216,
              1.08396,
              1.34996
            ],
            [
              0.66374,
              0.7058,
              0.7351,
              0.77995,
              0.84755,
              0.95005,
              1.11185,
              1.37775
            ],
            [
              0.70329,
              0.74539,
              0.77469,
              0.81959,
              0.88699,
              0.98949,
              1.15129,
              1.41719
            ],
            [
              0.76122,
              0.80322,
              0.83252,
              0.87742,
              0.94482,
              1.04732,
              1.20912,
              1.47512
            ],
            [
              0.84537,
              0.88797,
              0.91737,
              0.96237,
              1.03007,
              1.13257,
              1.29457,
              1.56077
            ],
            [
              0.9493,
              0.9945,
              1.0258,
              1.0733,
              1.1441,
              1.2502,
              1.4149,
              1.6823
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.24886,
              0.2873,
              0.31488,
              0.3595,
              0.43405,
              0.56727,
              0.82308,
              1.32997
            ],
            [
              0.24963,
              0.28806,
              0.31565,
              0.36026,
              0.43497,
              0.56801,
              0.8238,
              1.33064
            ],
            [
              0.2512,
              0.28962,
              0.31721,
              0.36182,
              0.43644,
              0.56951,
              0.82532,
              1.33222
            ],
            [
              0.25439,
              0.2928,
              0.32038,
              0.36499,
              0.43952,
              0.57266,
              0.82844,
              1.33527
            ],
            [
              0.25992,
              0.29832,
              0.3259,
              0.37049,
              0.44507,
              0.57817,
              0.83388,
              1.34071
            ],
            [
              0.26853,
              0.30693,
              0.3345,
              0.37908,
              0.45366,
              0.58675,
              0.84241,
              1.34912
            ],
            [
              0.28161,
              0.32001,
              0.34757,
              0.39214,
              0.46677,
              0.59975,
              0.85541,
              1.36193
            ],
            [
              0.30148,
              0.33987,
              0.36743,
              0.41197,
              0.48642,
              0.61952,
              0.87516,
              1.38176
            ],
            [
              0.33147,
              0.36984,
              0.39736,
              0.44185,
              0.51625,
              0.64927,
              0.90505,
              1.41175
            ],
            [
              0.37403,
              0.41314,
              0.44091,
              0.48555,
              0.55997,
              0.69309,
              0.94879,
              1.45539
            ],
            [
              0.42794,
              0.46922,
              0.49832,
              0.54442,
              0.61982,
              0.75342,
              1.00912,
              1.51572
            ],
            [
              0.49447,
              0.53837,
              0.56917,
              0.61737,
              0.69507,
              0.83017,
              1.08637,
              1.59317
            ],
            [
              0.5747,
              0.622,
              0.655,
              0.706,
              0.7865,
              0.9239,
              1.1811,
              1.6882
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.07544,
              0.10099,
              0.1195,
              0.14915,
              0.19839,
              0.28387,
              0.43819,
              0.73023
            ],
            [
              0.07544,
              0.101,
              0.11949,
              0.14908,
              0.19834,
              0.28379,
              0.43814,
              0.73028
            ],
            [
              0.07544,
              0.101,
              0.11951,
              0.14915,
              0.19838,
              0.28388,
              0.43821,
              0.73023
            ],
            [
              0.07543,
              0.101,
              0.1195,
              0.1491,
              0.1984,
              0.28387,
              0.43814,
              0.72999
            ],
            [
              0.07544,
              0.101,
              0.1195,
              0.14909,
              0.19834,
              0.28384,
              0.43808,
              0.7303
            ],
            [
              0.07543,
              0.10105,
              0.11931,
              0.14906,
              0.19837,
              0.28393,
              0.43833,
              0.7302
            ],
            [
              0.07544,
              0.10102,
              0.11952,
              0.14909,
              0.1984,
              0.28384,
              0.43819,
              0.7297
            ],
            [
              0.07544,
              0.10101,
              0.11951,
              0.14908,
              0.19841,
              0.28386,
              0.4382,
              0.7296
            ],
            [
              0.07543,
              0.101,
              0.11952,
              0.14912,
              0.19834,
              0.2838,
              0.4377,
              0.7302
            ],
            [
              0.0754,
              0.101,
              0.1193,
              0.1491,
              0.1983,
              0.2839,
              0.4382,
              0.7301
            ],
            [
              0.0754,
              0.101,
              0.1194,
              0.149,
              0.1984,
              0.2839,
              0.4382,
              0.7302
            ],
            [
              0.0787,
              0.1036,
              0.1218,
              0.1508,
              0.1997,
              0.285,
              0.4388,
              0.7298
            ],
            [
              0.087,
              0.1133,
              0.1319,
              0.1619,
              0.2107,
              0.2946,
              0.4457,
              0.7335
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.04554,
              0.0751,
              0.09879,
              0.14225,
              0.2278,
              0.4027,
              0.76506,
              1.49635
            ],
            [
              0.04548,
              0.0751,
              0.09875,
              0.14225,
              0.22757,
              0.40266,
              0.76502,
              1.4964
            ],
            [
              0.04546,
              0.07506,
              0.09873,
              0.14221,
              0.22772,
              0.40264,
              0.76506,
              1.49525
            ],
            [
              0.04546,
              0.07505,
              0.09875,
              0.14216,
              0.22739,
              0.40258,
              0.76492,
              1.49617
            ],
            [
              0.04543,
              0.0751,
              0.09872,
              0.14216,
              0.22769,
              0.40253,
              0.76479,
              1.49625
            ],
            [
              0.04553,
              0.07509,
              0.09868,
              0.14212,
              0.22755,
              0.40247,
              0.76483,
              1.49711
            ],
            [
              0.04541,
              0.07507,
              0.09869,
              0.14214,
              0.22759,
              0.40248,
              0.76481,
              1.4948
            ],
            [
              0.04548,
              0.07502,
              0.0987,
              0.14204,
              0.22757,
              0.40241,
              0.76474,
              1.4948
            ],
            [
              0.04552,
              0.0752,
              0.09875,
              0.14201,
              0.2275,
              0.40246,
              0.7647,
              1.4945
            ],
            [
              0.04751,
              0.07691,
              0.10015,
              0.14315,
              0.2283,
              0.40262,
              0.76477,
              1.4948
            ],
            [
              0.05109,
              0.08184,
              0.1051,
              0.1475,
              0.2308,
              0.4039,
              0.7651,
              1.4948
            ],
            [
              0.0559,
              0.0878,
              0.1117,
              0.1544,
              0.2369,
              0.4078,
              0.7665,
              1.4962
            ],
            [
              0.0622,
              0.0962,
              0.1208,
              0.1635,
              0.2451,
              0.4136,
              0.7695,
              1.4961
            ]
          ]
        },
        "sdf_cond": "(B&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(B&!CIN)"
      },
      {
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.5839,
              0.62671,
              0.65647,
              0.70197,
              0.77032,
              0.87356,
              1.03537,
              1.30087
            ],
            [
              0.58574,
              0.62857,
              0.65835,
              0.70385,
              0.7722,
              0.87543,
              1.03724,
              1.30254
            ],
            [
              0.588,
              0.63086,
              0.66062,
              0.70613,
              0.77449,
              0.87771,
              1.03952,
              1.30482
            ],
            [
              0.59147,
              0.63431,
              0.6641,
              0.70962,
              0.77794,
              0.88114,
              1.04288,
              1.30828
            ],
            [
              0.59699,
              0.63979,
              0.66956,
              0.7151,
              0.78345,
              0.88667,
              1.04841,
              1.31381
            ],
            [
              0.60565,
              0.64843,
              0.67817,
              0.7237,
              0.79203,
              0.89524,
              1.05702,
              1.32232
            ],
            [
              0.61925,
              0.66203,
              0.69176,
              0.73727,
              0.80559,
              0.90883,
              1.07053,
              1.33583
            ],
            [
              0.64093,
              0.68368,
              0.7134,
              0.75888,
              0.82718,
              0.93036,
              1.09216,
              1.35736
            ],
            [
              0.67529,
              0.71801,
              0.74771,
              0.79315,
              0.86145,
              0.96465,
              1.12635,
              1.39165
            ],
            [
              0.72939,
              0.77209,
              0.80189,
              0.84729,
              0.91549,
              1.01859,
              1.18029,
              1.44559
            ],
            [
              0.81392,
              0.85662,
              0.88632,
              0.93172,
              0.99992,
              1.10292,
              1.26472,
              1.53002
            ],
            [
              0.94427,
              0.98687,
              1.01647,
              1.06177,
              1.12987,
              1.23297,
              1.39467,
              1.66007
            ],
            [
              1.1293,
              1.1741,
              1.205,
              1.2517,
              1.321,
              1.4249,
              1.5872,
              1.8528
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.20902,
              0.24853,
              0.27688,
              0.32253,
              0.39814,
              0.53203,
              0.78684,
              1.29327
            ],
            [
              0.2119,
              0.25142,
              0.27977,
              0.32541,
              0.40101,
              0.53486,
              0.78973,
              1.29604
            ],
            [
              0.21527,
              0.25478,
              0.28312,
              0.32878,
              0.40434,
              0.5383,
              0.79311,
              1.29942
            ],
            [
              0.22015,
              0.25966,
              0.28801,
              0.33365,
              0.40926,
              0.54319,
              0.798,
              1.30428
            ],
            [
              0.22688,
              0.26639,
              0.29473,
              0.34039,
              0.41599,
              0.54993,
              0.80475,
              1.31111
            ],
            [
              0.23637,
              0.27588,
              0.30422,
              0.34986,
              0.42542,
              0.55943,
              0.81424,
              1.32062
            ],
            [
              0.25016,
              0.28965,
              0.31799,
              0.36361,
              0.43913,
              0.57315,
              0.82798,
              1.33443
            ],
            [
              0.27063,
              0.31009,
              0.3384,
              0.38395,
              0.45959,
              0.59349,
              0.84836,
              1.35476
            ],
            [
              0.30092,
              0.34028,
              0.36852,
              0.41401,
              0.48949,
              0.62341,
              0.87835,
              1.38465
            ],
            [
              0.34017,
              0.38151,
              0.41063,
              0.45673,
              0.53251,
              0.66659,
              0.92159,
              1.42799
            ],
            [
              0.38945,
              0.43242,
              0.46312,
              0.51142,
              0.58942,
              0.72472,
              0.97992,
              1.48662
            ],
            [
              0.44987,
              0.49487,
              0.52717,
              0.57777,
              0.65837,
              0.79657,
              1.05347,
              1.55997
            ],
            [
              0.5206,
              0.5691,
              0.6032,
              0.6568,
              0.7408,
              0.8815,
              1.1405,
              1.6485
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.07781,
              0.10351,
              0.12207,
              0.15155,
              0.20063,
              0.28556,
              0.43833,
              0.72876
            ],
            [
              0.07783,
              0.10348,
              0.12204,
              0.15153,
              0.20058,
              0.28563,
              0.43842,
              0.72938
            ],
            [
              0.07778,
              0.10351,
              0.12202,
              0.1515,
              0.20056,
              0.2855,
              0.4383,
              0.72948
            ],
            [
              0.07773,
              0.10345,
              0.122,
              0.15147,
              0.20066,
              0.28548,
              0.43837,
              0.72931
            ],
            [
              0.07772,
              0.10348,
              0.12176,
              0.15148,
              0.20053,
              0.28541,
              0.43821,
              0.7295
            ],
            [
              0.07773,
              0.10347,
              0.12198,
              0.15147,
              0.20054,
              0.28546,
              0.43826,
              0.7284
            ],
            [
              0.0777,
              0.10362,
              0.12175,
              0.15149,
              0.20049,
              0.28549,
              0.43819,
              0.7292
            ],
            [
              0.0777,
              0.1036,
              0.12175,
              0.15144,
              0.20052,
              0.28545,
              0.4381,
              0.7293
            ],
            [
              0.07772,
              0.10349,
              0.12199,
              0.15137,
              0.2005,
              0.2853,
              0.4382,
              0.7293
            ],
            [
              0.0777,
              0.1034,
              0.1219,
              0.1515,
              0.2006,
              0.2854,
              0.4382,
              0.7286
            ],
            [
              0.0777,
              0.1033,
              0.1219,
              0.1514,
              0.2006,
              0.2854,
              0.4383,
              0.7291
            ],
            [
              0.0777,
              0.1036,
              0.1218,
              0.1517,
              0.2008,
              0.2858,
              0.438,
              0.7291
            ],
            [
              0.0881,
              0.1133,
              0.131,
              0.1596,
              0.207,
              0.2899,
              0.4407,
              0.7298
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.0463,
              0.07645,
              0.10037,
              0.14406,
              0.22972,
              0.40326,
              0.76406,
              1.49404
            ],
            [
              0.04633,
              0.07648,
              0.10041,
              0.14393,
              0.22919,
              0.4033,
              0.76403,
              1.49563
            ],
            [
              0.04627,
              0.07638,
              0.10034,
              0.14391,
              0.22906,
              0.40322,
              0.76393,
              1.49583
            ],
            [
              0.04626,
              0.07646,
              0.10033,
              0.14402,
              0.22963,
              0.40321,
              0.76398,
              1.49579
            ],
            [
              0.04628,
              0.07653,
              0.10052,
              0.14392,
              0.22962,
              0.4032,
              0.76408,
              1.49388
            ],
            [
              0.04624,
              0.07646,
              0.10029,
              0.14392,
              0.22902,
              0.4032,
              0.7642,
              1.4938
            ],
            [
              0.04628,
              0.07643,
              0.10028,
              0.14391,
              0.22911,
              0.40321,
              0.76417,
              1.49395
            ],
            [
              0.04608,
              0.07628,
              0.10029,
              0.14395,
              0.22965,
              0.40327,
              0.76415,
              1.49429
            ],
            [
              0.04638,
              0.0766,
              0.10051,
              0.14412,
              0.22942,
              0.4034,
              0.76403,
              1.4938
            ],
            [
              0.04914,
              0.0803,
              0.10385,
              0.14627,
              0.231,
              0.40383,
              0.76425,
              1.4938
            ],
            [
              0.05177,
              0.08477,
              0.10959,
              0.15291,
              0.2362,
              0.4066,
              0.7651,
              1.4944
            ],
            [
              0.0566,
              0.0904,
              0.1161,
              0.1603,
              0.2434,
              0.4128,
              0.7683,
              1.4945
            ],
            [
              0.0638,
              0.0988,
              0.1251,
              0.17,
              0.2528,
              0.4199,
              0.7735,
              1.4973
            ]
          ]
        },
        "sdf_cond": "(!A&CIN)",
        "timing_sense": "positive_unate",
        "when": "(!A&CIN)"
      },
      {
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.55043,
              0.59376,
              0.62451,
              0.67209,
              0.74403,
              0.8526,
              1.02197,
              1.29577
            ],
            [
              0.55284,
              0.59619,
              0.62696,
              0.67457,
              0.74653,
              0.85511,
              1.02444,
              1.29834
            ],
            [
              0.55575,
              0.59911,
              0.6299,
              0.67751,
              0.74942,
              0.858,
              1.02732,
              1.30122
            ],
            [
              0.56029,
              0.60364,
              0.6344,
              0.68205,
              0.75389,
              0.86247,
              1.03188,
              1.30578
            ],
            [
              0.56722,
              0.61057,
              0.64133,
              0.68896,
              0.76092,
              0.86949,
              1.03891,
              1.31271
            ],
            [
              0.57776,
              0.62107,
              0.65182,
              0.69946,
              0.77139,
              0.87998,
              1.04932,
              1.32332
            ],
            [
              0.593,
              0.63629,
              0.66703,
              0.71462,
              0.78649,
              0.89503,
              1.06443,
              1.33843
            ],
            [
              0.61461,
              0.65788,
              0.68857,
              0.73614,
              0.80801,
              0.91656,
              1.08596,
              1.35986
            ],
            [
              0.64543,
              0.68865,
              0.71931,
              0.76685,
              0.83855,
              0.94715,
              1.11645,
              1.39035
            ],
            [
              0.69059,
              0.73369,
              0.76429,
              0.81169,
              0.88349,
              0.99189,
              1.16119,
              1.43519
            ],
            [
              0.75802,
              0.80092,
              0.83142,
              0.87872,
              0.95032,
              1.05862,
              1.22802,
              1.50192
            ],
            [
              0.85727,
              0.90037,
              0.93077,
              0.97797,
              1.04947,
              1.15787,
              1.32727,
              1.60127
            ],
            [
              0.979,
              1.024,
              1.0556,
              1.1045,
              1.1793,
              1.2929,
              1.4663,
              1.7421
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.22504,
              0.26353,
              0.29116,
              0.33583,
              0.41054,
              0.54393,
              0.79973,
              1.30657
            ],
            [
              0.22774,
              0.26622,
              0.29383,
              0.33849,
              0.41329,
              0.5465,
              0.80236,
              1.30924
            ],
            [
              0.23099,
              0.26945,
              0.29706,
              0.34171,
              0.41638,
              0.54983,
              0.80551,
              1.31232
            ],
            [
              0.23584,
              0.27429,
              0.30189,
              0.34652,
              0.42128,
              0.55441,
              0.81027,
              1.31707
            ],
            [
              0.24309,
              0.28153,
              0.3091,
              0.35372,
              0.42845,
              0.56163,
              0.81739,
              1.32421
            ],
            [
              0.25386,
              0.29228,
              0.31986,
              0.36447,
              0.43901,
              0.57234,
              0.82805,
              1.33482
            ],
            [
              0.26996,
              0.30837,
              0.33594,
              0.38052,
              0.45517,
              0.58832,
              0.84403,
              1.35063
            ],
            [
              0.29421,
              0.33261,
              0.36018,
              0.40474,
              0.47934,
              0.61255,
              0.86816,
              1.37486
            ],
            [
              0.33091,
              0.36924,
              0.39675,
              0.44121,
              0.51555,
              0.64872,
              0.90445,
              1.41115
            ],
            [
              0.38433,
              0.42284,
              0.45034,
              0.49475,
              0.56916,
              0.70209,
              0.95779,
              1.46459
            ],
            [
              0.44992,
              0.49092,
              0.51972,
              0.56542,
              0.64052,
              0.77382,
              1.02952,
              1.53632
            ],
            [
              0.52687,
              0.57127,
              0.60207,
              0.64997,
              0.72727,
              0.86227,
              1.11827,
              1.62487
            ],
            [
              0.6155,
              0.6644,
              0.6979,
              0.749,
              0.8292,
              0.9659,
              1.2233,
              1.7304
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.07667,
              0.10438,
              0.12452,
              0.157,
              0.20918,
              0.29791,
              0.45423,
              0.74603
            ],
            [
              0.07665,
              0.10438,
              0.12453,
              0.15693,
              0.2092,
              0.29784,
              0.45449,
              0.74599
            ],
            [
              0.07665,
              0.10438,
              0.1247,
              0.15692,
              0.20924,
              0.29799,
              0.45431,
              0.746
            ],
            [
              0.07671,
              0.10438,
              0.12453,
              0.15691,
              0.2093,
              0.29813,
              0.45472,
              0.74597
            ],
            [
              0.07664,
              0.10437,
              0.12466,
              0.15694,
              0.20922,
              0.29809,
              0.45469,
              0.746
            ],
            [
              0.07665,
              0.10439,
              0.12444,
              0.15692,
              0.20914,
              0.29798,
              0.4547,
              0.7458
            ],
            [
              0.07666,
              0.10433,
              0.12462,
              0.15674,
              0.20925,
              0.29803,
              0.45476,
              0.7458
            ],
            [
              0.07658,
              0.10448,
              0.12436,
              0.15679,
              0.2092,
              0.29801,
              0.4548,
              0.7454
            ],
            [
              0.07652,
              0.1042,
              0.12422,
              0.15664,
              0.20909,
              0.2978,
              0.4543,
              0.746
            ],
            [
              0.0763,
              0.104,
              0.124,
              0.1566,
              0.2089,
              0.2978,
              0.4546,
              0.7453
            ],
            [
              0.0761,
              0.1035,
              0.1238,
              0.1561,
              0.2085,
              0.2976,
              0.4545,
              0.7453
            ],
            [
              0.0791,
              0.1056,
              0.1254,
              0.1573,
              0.2096,
              0.2983,
              0.4549,
              0.7455
            ],
            [
              0.0863,
              0.1136,
              0.1335,
              0.1668,
              0.2216,
              0.3114,
              0.4646,
              0.7506
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.04557,
              0.0752,
              0.09891,
              0.14223,
              0.22783,
              0.40296,
              0.76517,
              1.49757
            ],
            [
              0.04555,
              0.07533,
              0.09887,
              0.14238,
              0.22788,
              0.40291,
              0.76507,
              1.49761
            ],
            [
              0.04552,
              0.07518,
              0.09881,
              0.14215,
              0.22763,
              0.40294,
              0.76507,
              1.49632
            ],
            [
              0.04545,
              0.07522,
              0.09881,
              0.14234,
              0.22771,
              0.40274,
              0.76493,
              1.49732
            ],
            [
              0.04548,
              0.07522,
              0.09876,
              0.14217,
              0.22773,
              0.40271,
              0.76498,
              1.49622
            ],
            [
              0.04546,
              0.07507,
              0.09877,
              0.14219,
              0.22751,
              0.40267,
              0.76479,
              1.49704
            ],
            [
              0.04544,
              0.07518,
              0.0987,
              0.14213,
              0.22759,
              0.40258,
              0.76476,
              1.49675
            ],
            [
              0.04538,
              0.07505,
              0.0988,
              0.14197,
              0.22764,
              0.40264,
              0.76464,
              1.49482
            ],
            [
              0.04533,
              0.07515,
              0.09875,
              0.14203,
              0.22751,
              0.4025,
              0.76447,
              1.4945
            ],
            [
              0.04691,
              0.07605,
              0.09947,
              0.14283,
              0.22773,
              0.40257,
              0.7644,
              1.4971
            ],
            [
              0.05178,
              0.0819,
              0.1049,
              0.1472,
              0.2305,
              0.4037,
              0.7648,
              1.4947
            ],
            [
              0.0586,
              0.0899,
              0.113,
              0.1549,
              0.2371,
              0.4079,
              0.7663,
              1.495
            ],
            [
              0.0674,
              0.1012,
              0.1248,
              0.1658,
              0.2459,
              0.4137,
              0.7699,
              1.4969
            ]
          ]
        },
        "sdf_cond": "(A&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(A&!CIN)"
      },
      {
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.53036,
              0.57236,
              0.60162,
              0.64649,
              0.71401,
              0.8165,
              0.97824,
              1.24397
            ],
            [
              0.53267,
              0.57468,
              0.60398,
              0.64884,
              0.71633,
              0.8188,
              0.98056,
              1.24644
            ],
            [
              0.5353,
              0.57733,
              0.60664,
              0.6515,
              0.71901,
              0.82148,
              0.98322,
              1.24912
            ],
            [
              0.53926,
              0.5813,
              0.61057,
              0.65546,
              0.72294,
              0.82547,
              0.98718,
              1.25308
            ],
            [
              0.54534,
              0.58737,
              0.61666,
              0.66154,
              0.72907,
              0.83156,
              0.99331,
              1.25911
            ],
            [
              0.55477,
              0.59677,
              0.62605,
              0.67091,
              0.73845,
              0.84097,
              1.00272,
              1.26862
            ],
            [
              0.56947,
              0.61145,
              0.64071,
              0.6856,
              0.75309,
              0.85561,
              1.01733,
              1.28333
            ],
            [
              0.59242,
              0.63439,
              0.66365,
              0.70848,
              0.77601,
              0.87846,
              1.04026,
              1.30606
            ],
            [
              0.62829,
              0.67024,
              0.69949,
              0.74435,
              0.81175,
              0.91425,
              1.07605,
              1.34195
            ],
            [
              0.68409,
              0.72599,
              0.75529,
              0.79999,
              0.86749,
              0.96999,
              1.13169,
              1.39749
            ],
            [
              0.77032,
              0.81222,
              0.84152,
              0.88622,
              0.95372,
              1.05612,
              1.21782,
              1.48372
            ],
            [
              0.90247,
              0.94417,
              0.97327,
              1.01787,
              1.08517,
              1.18757,
              1.34937,
              1.61527
            ],
            [
              1.0835,
              1.128,
              1.1586,
              1.2051,
              1.2743,
              1.3781,
              1.5407,
              1.807
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.1977,
              0.23774,
              0.26623,
              0.31198,
              0.38759,
              0.52162,
              0.77637,
              1.28277
            ],
            [
              0.20039,
              0.24042,
              0.26892,
              0.31466,
              0.39031,
              0.52429,
              0.77906,
              1.28544
            ],
            [
              0.20356,
              0.24359,
              0.2721,
              0.31786,
              0.39346,
              0.52751,
              0.78226,
              1.28872
            ],
            [
              0.20841,
              0.24844,
              0.27694,
              0.32271,
              0.39848,
              0.53229,
              0.78712,
              1.29358
            ],
            [
              0.21559,
              0.25562,
              0.28412,
              0.32987,
              0.40549,
              0.53954,
              0.79429,
              1.30071
            ],
            [
              0.22645,
              0.26648,
              0.29499,
              0.34073,
              0.41642,
              0.55039,
              0.80515,
              1.31132
            ],
            [
              0.24263,
              0.28266,
              0.31116,
              0.35687,
              0.43243,
              0.56649,
              0.82128,
              1.32763
            ],
            [
              0.26699,
              0.30701,
              0.33548,
              0.38113,
              0.45674,
              0.59061,
              0.84546,
              1.35196
            ],
            [
              0.30353,
              0.3434,
              0.37178,
              0.41732,
              0.49289,
              0.62668,
              0.88165,
              1.38825
            ],
            [
              0.35315,
              0.39424,
              0.42297,
              0.46877,
              0.54438,
              0.67819,
              0.93329,
              1.43989
            ],
            [
              0.41238,
              0.45642,
              0.48692,
              0.53462,
              0.61162,
              0.74612,
              1.00122,
              1.50772
            ],
            [
              0.48147,
              0.52957,
              0.56237,
              0.61277,
              0.69247,
              0.82907,
              1.08497,
              1.59147
            ],
            [
              0.56,
              0.6129,
              0.6491,
              0.7035,
              0.7869,
              0.926,
              1.1835,
              1.6903
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.0753,
              0.10084,
              0.11906,
              0.14889,
              0.19816,
              0.28379,
              0.43806,
              0.73001
            ],
            [
              0.07529,
              0.10081,
              0.11928,
              0.14885,
              0.19824,
              0.28376,
              0.43758,
              0.73001
            ],
            [
              0.0753,
              0.10081,
              0.11928,
              0.14885,
              0.19822,
              0.28375,
              0.43778,
              0.73001
            ],
            [
              0.0753,
              0.10085,
              0.1193,
              0.14889,
              0.19828,
              0.28384,
              0.43803,
              0.72937
            ],
            [
              0.0753,
              0.10083,
              0.11906,
              0.14886,
              0.1982,
              0.28373,
              0.43798,
              0.7301
            ],
            [
              0.07529,
              0.1008,
              0.1193,
              0.14898,
              0.19826,
              0.28371,
              0.43777,
              0.73
            ],
            [
              0.07528,
              0.10101,
              0.1191,
              0.14886,
              0.19826,
              0.28375,
              0.43802,
              0.7293
            ],
            [
              0.07528,
              0.10078,
              0.1193,
              0.14897,
              0.19824,
              0.28374,
              0.43798,
              0.7301
            ],
            [
              0.07527,
              0.10102,
              0.11906,
              0.1489,
              0.1983,
              0.2839,
              0.4381,
              0.7295
            ],
            [
              0.0753,
              0.1008,
              0.1192,
              0.149,
              0.1982,
              0.2838,
              0.438,
              0.73
            ],
            [
              0.0752,
              0.1008,
              0.1192,
              0.1489,
              0.1982,
              0.2838,
              0.438,
              0.7299
            ],
            [
              0.0753,
              0.1009,
              0.1195,
              0.1493,
              0.1985,
              0.2843,
              0.4382,
              0.73
            ],
            [
              0.0878,
              0.1128,
              0.1305,
              0.1592,
              0.2069,
              0.29,
              0.4411,
              0.7311
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.04786,
              0.07744,
              0.10104,
              0.14442,
              0.22937,
              0.40334,
              0.76414,
              1.4944
            ],
            [
              0.04792,
              0.07753,
              0.10095,
              0.14442,
              0.22944,
              0.40329,
              0.76422,
              1.49399
            ],
            [
              0.04787,
              0.07736,
              0.10101,
              0.14434,
              0.22936,
              0.40334,
              0.76421,
              1.49446
            ],
            [
              0.04793,
              0.07752,
              0.10104,
              0.14445,
              0.22981,
              0.40335,
              0.7641,
              1.49436
            ],
            [
              0.04789,
              0.07735,
              0.10099,
              0.14438,
              0.22923,
              0.40334,
              0.76406,
              1.49441
            ],
            [
              0.04787,
              0.07736,
              0.10098,
              0.14431,
              0.22926,
              0.40337,
              0.76422,
              1.49416
            ],
            [
              0.04787,
              0.07735,
              0.10098,
              0.14438,
              0.22926,
              0.40338,
              0.7642,
              1.49521
            ],
            [
              0.04788,
              0.07737,
              0.10103,
              0.14435,
              0.22945,
              0.40333,
              0.764,
              1.49596
            ],
            [
              0.04807,
              0.07764,
              0.1012,
              0.14491,
              0.23001,
              0.40341,
              0.76416,
              1.4943
            ],
            [
              0.05184,
              0.0807,
              0.10364,
              0.14648,
              0.23118,
              0.40384,
              0.76428,
              1.4942
            ],
            [
              0.05797,
              0.08793,
              0.11074,
              0.1526,
              0.2348,
              0.4057,
              0.7648,
              1.4936
            ],
            [
              0.0662,
              0.0977,
              0.1209,
              0.1621,
              0.243,
              0.4109,
              0.7668,
              1.4945
            ],
            [
              0.0766,
              0.111,
              0.135,
              0.1757,
              0.2538,
              0.4185,
              0.7711,
              1.4956
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.50658,
              0.55054,
              0.58203,
              0.63116,
              0.70481,
              0.81459,
              0.98466,
              1.25887
            ],
            [
              0.50892,
              0.55289,
              0.58439,
              0.63354,
              0.7072,
              0.81699,
              0.98704,
              1.26134
            ],
            [
              0.51154,
              0.55551,
              0.58702,
              0.63619,
              0.70986,
              0.81966,
              0.98972,
              1.26402
            ],
            [
              0.51546,
              0.55944,
              0.59096,
              0.64014,
              0.71381,
              0.82361,
              0.99367,
              1.26788
            ],
            [
              0.52148,
              0.56544,
              0.59695,
              0.64612,
              0.71983,
              0.82962,
              0.99971,
              1.27401
            ],
            [
              0.53076,
              0.5747,
              0.6062,
              0.65537,
              0.72906,
              0.83888,
              1.00892,
              1.28322
            ],
            [
              0.54525,
              0.58916,
              0.62065,
              0.66981,
              0.74347,
              0.85329,
              1.02343,
              1.29763
            ],
            [
              0.56795,
              0.61185,
              0.64331,
              0.69246,
              0.76606,
              0.87576,
              1.04586,
              1.32016
            ],
            [
              0.6034,
              0.64729,
              0.67876,
              0.72787,
              0.80145,
              0.91125,
              1.08135,
              1.35555
            ],
            [
              0.65869,
              0.70259,
              0.73399,
              0.78309,
              0.85669,
              0.96639,
              1.13649,
              1.41079
            ],
            [
              0.74422,
              0.78802,
              0.81952,
              0.86852,
              0.94202,
              1.05172,
              1.22182,
              1.49622
            ],
            [
              0.87497,
              0.91857,
              0.94987,
              0.99877,
              1.07217,
              1.18187,
              1.35207,
              1.62647
            ],
            [
              1.0491,
              1.0962,
              1.1295,
              1.1809,
              1.257,
              1.3687,
              1.5401,
              1.8151
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.22214,
              0.26194,
              0.2905,
              0.33648,
              0.41273,
              0.54728,
              0.80315,
              1.31047
            ],
            [
              0.22487,
              0.26467,
              0.29324,
              0.33921,
              0.41531,
              0.55013,
              0.80589,
              1.31324
            ],
            [
              0.22812,
              0.26792,
              0.29649,
              0.34247,
              0.41864,
              0.5534,
              0.80916,
              1.31652
            ],
            [
              0.23297,
              0.27276,
              0.30134,
              0.34731,
              0.42341,
              0.55824,
              0.814,
              1.32138
            ],
            [
              0.24022,
              0.28002,
              0.30859,
              0.35457,
              0.4307,
              0.56552,
              0.82127,
              1.32861
            ],
            [
              0.25104,
              0.29084,
              0.31941,
              0.36539,
              0.44153,
              0.57632,
              0.83209,
              1.33942
            ],
            [
              0.26721,
              0.30702,
              0.33558,
              0.38156,
              0.45772,
              0.59249,
              0.84824,
              1.35543
            ],
            [
              0.29154,
              0.33136,
              0.35991,
              0.40585,
              0.48203,
              0.61654,
              0.87246,
              1.37986
            ],
            [
              0.32826,
              0.36801,
              0.39652,
              0.44237,
              0.51839,
              0.65309,
              0.90895,
              1.41615
            ],
            [
              0.38126,
              0.42126,
              0.44979,
              0.49565,
              0.57166,
              0.70609,
              0.96209,
              1.46959
            ],
            [
              0.44612,
              0.48862,
              0.51852,
              0.56572,
              0.64262,
              0.77742,
              1.03342,
              1.54092
            ],
            [
              0.52197,
              0.56797,
              0.59977,
              0.64927,
              0.72837,
              0.86497,
              1.12157,
              1.62897
            ],
            [
              0.6086,
              0.6592,
              0.6939,
              0.7468,
              0.8289,
              0.9677,
              1.2258,
              1.7334
            ]
          ]
        },
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.07778,
              0.10653,
              0.12792,
              0.16118,
              0.21346,
              0.30088,
              0.45623,
              0.74678
            ],
            [
              0.0777,
              0.1065,
              0.12767,
              0.16119,
              0.21346,
              0.30089,
              0.4563,
              0.74613
            ],
            [
              0.07779,
              0.10651,
              0.12765,
              0.16119,
              0.21345,
              0.30088,
              0.4562,
              0.74634
            ],
            [
              0.07779,
              0.10651,
              0.12796,
              0.16114,
              0.21341,
              0.30098,
              0.4564,
              0.74685
            ],
            [
              0.07779,
              0.1065,
              0.12768,
              0.1612,
              0.21348,
              0.30105,
              0.45643,
              0.74645
            ],
            [
              0.07778,
              0.10651,
              0.12766,
              0.16118,
              0.21343,
              0.30085,
              0.45616,
              0.74682
            ],
            [
              0.07779,
              0.10653,
              0.12763,
              0.16116,
              0.21338,
              0.30088,
              0.45594,
              0.7468
            ],
            [
              0.07778,
              0.1065,
              0.12763,
              0.16112,
              0.21362,
              0.3011,
              0.45655,
              0.7466
            ],
            [
              0.07779,
              0.10653,
              0.12794,
              0.16117,
              0.21337,
              0.3011,
              0.4564,
              0.7469
            ],
            [
              0.07774,
              0.1065,
              0.1277,
              0.1611,
              0.2135,
              0.301,
              0.4563,
              0.7467
            ],
            [
              0.0777,
              0.1064,
              0.1279,
              0.1612,
              0.2136,
              0.3012,
              0.4566,
              0.7462
            ],
            [
              0.0786,
              0.1072,
              0.1286,
              0.1619,
              0.2144,
              0.3018,
              0.4569,
              0.7464
            ],
            [
              0.0929,
              0.1214,
              0.1424,
              0.1746,
              0.2251,
              0.3094,
              0.4613,
              0.7488
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00679,
            0.01357,
            0.02714,
            0.05428,
            0.10856,
            0.21713,
            0.43427
          ],
          "values": [
            [
              0.04721,
              0.07797,
              0.10213,
              0.14615,
              0.23172,
              0.40581,
              0.76664,
              1.49602
            ],
            [
              0.0472,
              0.07798,
              0.10206,
              0.14598,
              0.23147,
              0.40574,
              0.76688,
              1.49685
            ],
            [
              0.04726,
              0.07793,
              0.10215,
              0.14601,
              0.23159,
              0.40576,
              0.76678,
              1.49676
            ],
            [
              0.04724,
              0.07792,
              0.10209,
              0.14594,
              0.23145,
              0.40574,
              0.7668,
              1.49687
            ],
            [
              0.04721,
              0.07795,
              0.10229,
              0.14594,
              0.23197,
              0.40575,
              0.76689,
              1.49753
            ],
            [
              0.04723,
              0.07791,
              0.10211,
              0.146,
              0.2316,
              0.40578,
              0.76684,
              1.49682
            ],
            [
              0.0472,
              0.07797,
              0.10226,
              0.14602,
              0.23141,
              0.4058,
              0.76694,
              1.49665
            ],
            [
              0.04725,
              0.07798,
              0.10229,
              0.14613,
              0.23177,
              0.40581,
              0.76669,
              1.49628
            ],
            [
              0.0472,
              0.07797,
              0.10211,
              0.14615,
              0.23231,
              0.40575,
              0.7669,
              1.4968
            ],
            [
              0.04901,
              0.07929,
              0.10331,
              0.14678,
              0.23221,
              0.40608,
              0.7669,
              1.4961
            ],
            [
              0.05402,
              0.08516,
              0.1089,
              0.1516,
              0.2349,
              0.4073,
              0.7672,
              1.4967
            ],
            [
              0.0611,
              0.0935,
              0.1174,
              0.16,
              0.2421,
              0.4116,
              0.7688,
              1.4969
            ],
            [
              0.0704,
              0.1053,
              0.1298,
              0.1716,
              0.2514,
              0.4184,
              0.7728,
              1.4985
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CIN) | (!A&B&!CIN) | (!A&!B&CIN) | (A&B&CIN)",
    "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05803,
              0.04819,
              0.03924,
              0.02224,
              -0.01062,
              -0.07572,
              -0.20614,
              -0.46747
            ],
            [
              0.05799,
              0.04815,
              0.0392,
              0.0222,
              -0.01067,
              -0.07579,
              -0.20617,
              -0.4675
            ],
            [
              0.05792,
              0.04805,
              0.03913,
              0.02215,
              -0.01072,
              -0.07587,
              -0.20625,
              -0.46756
            ],
            [
              0.05788,
              0.04801,
              0.03907,
              0.02211,
              -0.01077,
              -0.07588,
              -0.20629,
              -0.46759
            ],
            [
              0.0578,
              0.04796,
              0.03903,
              0.02203,
              -0.0108,
              -0.07594,
              -0.20635,
              -0.46768
            ],
            [
              0.05774,
              0.04793,
              0.03897,
              0.02197,
              -0.01089,
              -0.07602,
              -0.2064,
              -0.46772
            ],
            [
              0.05768,
              0.04781,
              0.03888,
              0.02192,
              -0.01098,
              -0.0761,
              -0.20647,
              -0.46781
            ],
            [
              0.05759,
              0.04779,
              0.03881,
              0.02181,
              -0.01106,
              -0.07619,
              -0.20655,
              -0.46788
            ],
            [
              0.05754,
              0.04771,
              0.03875,
              0.02176,
              -0.01114,
              -0.07627,
              -0.20663,
              -0.46796
            ],
            [
              0.05752,
              0.04768,
              0.03875,
              0.02176,
              -0.01117,
              -0.07633,
              -0.2067,
              -0.46802
            ],
            [
              0.05748,
              0.04762,
              0.03869,
              0.02166,
              -0.01129,
              -0.07646,
              -0.20682,
              -0.46809
            ],
            [
              0.05771,
              0.04782,
              0.03881,
              0.02174,
              -0.01129,
              -0.07653,
              -0.20691,
              -0.46814
            ],
            [
              0.05867,
              0.04862,
              0.03949,
              0.02225,
              -0.01097,
              -0.07636,
              -0.20682,
              -0.46806
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.01609,
              0.02424,
              0.03248,
              0.04897,
              0.08188,
              0.14704,
              0.27691,
              0.53725
            ],
            [
              0.01601,
              0.02416,
              0.0324,
              0.04888,
              0.08178,
              0.147,
              0.27707,
              0.53715
            ],
            [
              0.01591,
              0.02405,
              0.0323,
              0.04879,
              0.08166,
              0.14687,
              0.2768,
              0.53737
            ],
            [
              0.01576,
              0.0239,
              0.03215,
              0.04864,
              0.08152,
              0.14669,
              0.27689,
              0.53664
            ],
            [
              0.01556,
              0.02371,
              0.03195,
              0.04848,
              0.08138,
              0.14654,
              0.27693,
              0.53665
            ],
            [
              0.01534,
              0.02348,
              0.03172,
              0.04822,
              0.08116,
              0.14627,
              0.27657,
              0.53612
            ],
            [
              0.01511,
              0.02323,
              0.03149,
              0.04797,
              0.08081,
              0.14602,
              0.27635,
              0.53618
            ],
            [
              0.01486,
              0.02301,
              0.03124,
              0.04772,
              0.08059,
              0.14584,
              0.27575,
              0.53606
            ],
            [
              0.01464,
              0.02276,
              0.03099,
              0.04745,
              0.08037,
              0.14552,
              0.27566,
              0.53595
            ],
            [
              0.01458,
              0.02262,
              0.0308,
              0.04724,
              0.08002,
              0.14513,
              0.27576,
              0.53535
            ],
            [
              0.01469,
              0.02263,
              0.03075,
              0.04703,
              0.07975,
              0.14485,
              0.27474,
              0.53524
            ],
            [
              0.01499,
              0.02282,
              0.0309,
              0.04725,
              0.07976,
              0.14466,
              0.27484,
              0.53403
            ],
            [
              0.01563,
              0.02328,
              0.03125,
              0.04746,
              0.08017,
              0.14518,
              0.27464,
              0.53425
            ]
          ]
        },
        "when": "(!B&!CIN) | (B&CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05373,
              0.06162,
              0.07043,
              0.08888,
              0.12649,
              0.20066,
              0.34606,
              0.63761
            ],
            [
              0.05367,
              0.06154,
              0.07037,
              0.08882,
              0.12641,
              0.20056,
              0.34602,
              0.63713
            ],
            [
              0.0536,
              0.06147,
              0.07027,
              0.08871,
              0.12633,
              0.20047,
              0.34596,
              0.63747
            ],
            [
              0.05347,
              0.06133,
              0.07017,
              0.08858,
              0.12618,
              0.20034,
              0.34579,
              0.63674
            ],
            [
              0.05335,
              0.06118,
              0.07001,
              0.08847,
              0.12606,
              0.20023,
              0.34567,
              0.63701
            ],
            [
              0.05313,
              0.061,
              0.06985,
              0.0883,
              0.12587,
              0.20003,
              0.34551,
              0.63626
            ],
            [
              0.05291,
              0.0608,
              0.06959,
              0.08809,
              0.12564,
              0.19981,
              0.34511,
              0.63685
            ],
            [
              0.05266,
              0.06054,
              0.06934,
              0.08778,
              0.12537,
              0.1995,
              0.34482,
              0.63622
            ],
            [
              0.05246,
              0.06033,
              0.06913,
              0.08753,
              0.12509,
              0.19922,
              0.34468,
              0.63671
            ],
            [
              0.05242,
              0.0602,
              0.06893,
              0.08724,
              0.12471,
              0.19881,
              0.34436,
              0.63548
            ],
            [
              0.05257,
              0.06028,
              0.06889,
              0.08707,
              0.12438,
              0.19842,
              0.3438,
              0.6354
            ],
            [
              0.053,
              0.06049,
              0.06905,
              0.08722,
              0.12438,
              0.19817,
              0.3438,
              0.63567
            ],
            [
              0.05394,
              0.06121,
              0.06968,
              0.08768,
              0.12469,
              0.19844,
              0.34403,
              0.63548
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.08968,
              0.09598,
              0.10334,
              0.11907,
              0.15135,
              0.21652,
              0.34701,
              0.60615
            ],
            [
              0.08966,
              0.09596,
              0.10332,
              0.11898,
              0.15133,
              0.21647,
              0.34683,
              0.60611
            ],
            [
              0.08967,
              0.09598,
              0.10331,
              0.11901,
              0.15126,
              0.21652,
              0.34679,
              0.60603
            ],
            [
              0.0896,
              0.09589,
              0.10325,
              0.11888,
              0.15122,
              0.21658,
              0.34693,
              0.60716
            ],
            [
              0.08958,
              0.09585,
              0.1032,
              0.11885,
              0.15123,
              0.21651,
              0.34671,
              0.60664
            ],
            [
              0.0895,
              0.09579,
              0.10315,
              0.11883,
              0.15114,
              0.21648,
              0.347,
              0.60644
            ],
            [
              0.08942,
              0.09574,
              0.10306,
              0.1187,
              0.1511,
              0.21627,
              0.34666,
              0.60607
            ],
            [
              0.08937,
              0.09565,
              0.10302,
              0.11866,
              0.15095,
              0.21644,
              0.34658,
              0.60583
            ],
            [
              0.08928,
              0.09557,
              0.10294,
              0.11861,
              0.15085,
              0.21622,
              0.34619,
              0.60696
            ],
            [
              0.0892,
              0.09549,
              0.10283,
              0.11845,
              0.15077,
              0.21593,
              0.34641,
              0.60546
            ],
            [
              0.08916,
              0.09541,
              0.10275,
              0.11832,
              0.15059,
              0.21568,
              0.34635,
              0.60594
            ],
            [
              0.08954,
              0.09574,
              0.10304,
              0.11853,
              0.15063,
              0.21567,
              0.34622,
              0.60535
            ],
            [
              0.09102,
              0.09699,
              0.10409,
              0.11936,
              0.15119,
              0.21601,
              0.3463,
              0.60618
            ]
          ]
        },
        "when": "(B&!CIN) | (!B&CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05161,
              0.04177,
              0.03282,
              0.0159,
              -0.01701,
              -0.08209,
              -0.21249,
              -0.47377
            ],
            [
              0.05155,
              0.04171,
              0.03278,
              0.0158,
              -0.01702,
              -0.08215,
              -0.21255,
              -0.47381
            ],
            [
              0.0515,
              0.04166,
              0.03274,
              0.01578,
              -0.01709,
              -0.08219,
              -0.21258,
              -0.47387
            ],
            [
              0.05147,
              0.04162,
              0.03269,
              0.01569,
              -0.01714,
              -0.08224,
              -0.21264,
              -0.47392
            ],
            [
              0.05141,
              0.04158,
              0.03264,
              0.01565,
              -0.01721,
              -0.08229,
              -0.21267,
              -0.47397
            ],
            [
              0.05135,
              0.04151,
              0.03256,
              0.01559,
              -0.01728,
              -0.08237,
              -0.21275,
              -0.47404
            ],
            [
              0.05125,
              0.0414,
              0.03247,
              0.01549,
              -0.01738,
              -0.08246,
              -0.21286,
              -0.47414
            ],
            [
              0.05115,
              0.0413,
              0.03238,
              0.0154,
              -0.01747,
              -0.08254,
              -0.21294,
              -0.47424
            ],
            [
              0.05106,
              0.04124,
              0.03231,
              0.01534,
              -0.01755,
              -0.08268,
              -0.21305,
              -0.47432
            ],
            [
              0.051,
              0.04116,
              0.03225,
              0.01525,
              -0.01765,
              -0.08278,
              -0.21314,
              -0.47441
            ],
            [
              0.05096,
              0.04113,
              0.03218,
              0.01516,
              -0.01777,
              -0.08295,
              -0.2133,
              -0.47454
            ],
            [
              0.05126,
              0.04138,
              0.03237,
              0.01528,
              -0.01776,
              -0.08301,
              -0.21339,
              -0.47459
            ],
            [
              0.0524,
              0.04231,
              0.03316,
              0.0159,
              -0.01735,
              -0.08276,
              -0.21324,
              -0.47446
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.01918,
              0.02731,
              0.03557,
              0.05213,
              0.08494,
              0.15024,
              0.28043,
              0.5401
            ],
            [
              0.01908,
              0.02724,
              0.03547,
              0.05202,
              0.08486,
              0.15022,
              0.28018,
              0.54001
            ],
            [
              0.01904,
              0.02717,
              0.03543,
              0.05196,
              0.08482,
              0.15007,
              0.28026,
              0.53988
            ],
            [
              0.01895,
              0.02713,
              0.03536,
              0.05188,
              0.08481,
              0.15004,
              0.28,
              0.53989
            ],
            [
              0.0188,
              0.02696,
              0.03521,
              0.05174,
              0.08463,
              0.14987,
              0.28015,
              0.54034
            ],
            [
              0.01868,
              0.02682,
              0.03508,
              0.0516,
              0.08444,
              0.14974,
              0.28001,
              0.54021
            ],
            [
              0.01849,
              0.02665,
              0.0349,
              0.05141,
              0.08429,
              0.14966,
              0.27955,
              0.53961
            ],
            [
              0.01831,
              0.02644,
              0.03472,
              0.05122,
              0.08408,
              0.14931,
              0.27942,
              0.53989
            ],
            [
              0.01819,
              0.02629,
              0.0345,
              0.05103,
              0.08377,
              0.14942,
              0.27945,
              0.53953
            ],
            [
              0.01816,
              0.02619,
              0.03441,
              0.05081,
              0.0836,
              0.14888,
              0.27883,
              0.53957
            ],
            [
              0.01833,
              0.02627,
              0.03436,
              0.05073,
              0.08334,
              0.14855,
              0.27867,
              0.53876
            ],
            [
              0.01875,
              0.02654,
              0.0346,
              0.05093,
              0.08342,
              0.14824,
              0.27839,
              0.53832
            ],
            [
              0.01956,
              0.02716,
              0.0351,
              0.05128,
              0.08392,
              0.149,
              0.27829,
              0.53771
            ]
          ]
        },
        "when": "(!A&!CIN) | (A&CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05779,
              0.06567,
              0.07454,
              0.09308,
              0.13072,
              0.20495,
              0.35046,
              0.64164
            ],
            [
              0.05775,
              0.06566,
              0.07454,
              0.09307,
              0.1307,
              0.20486,
              0.35027,
              0.64147
            ],
            [
              0.05772,
              0.06565,
              0.07446,
              0.09302,
              0.13066,
              0.20492,
              0.35036,
              0.64146
            ],
            [
              0.05764,
              0.06554,
              0.07438,
              0.09297,
              0.1306,
              0.20477,
              0.35026,
              0.64129
            ],
            [
              0.05754,
              0.06548,
              0.07433,
              0.09288,
              0.13052,
              0.20472,
              0.35011,
              0.64164
            ],
            [
              0.05739,
              0.06529,
              0.07415,
              0.09271,
              0.13035,
              0.20459,
              0.35014,
              0.6417
            ],
            [
              0.05719,
              0.06513,
              0.07393,
              0.0925,
              0.13014,
              0.20438,
              0.34982,
              0.64108
            ],
            [
              0.05691,
              0.06482,
              0.07368,
              0.09219,
              0.1298,
              0.20406,
              0.3495,
              0.64074
            ],
            [
              0.05664,
              0.06452,
              0.07333,
              0.09177,
              0.12934,
              0.20356,
              0.34909,
              0.64058
            ],
            [
              0.05647,
              0.06425,
              0.07298,
              0.09136,
              0.12882,
              0.20294,
              0.34858,
              0.63984
            ],
            [
              0.05651,
              0.06421,
              0.07281,
              0.09106,
              0.12832,
              0.20239,
              0.34793,
              0.63946
            ],
            [
              0.05689,
              0.06434,
              0.07288,
              0.09104,
              0.12816,
              0.20201,
              0.34756,
              0.63903
            ],
            [
              0.0578,
              0.06499,
              0.0734,
              0.09137,
              0.12831,
              0.20202,
              0.34728,
              0.63829
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.08716,
              0.09344,
              0.10081,
              0.11639,
              0.14878,
              0.21397,
              0.34428,
              0.60323
            ],
            [
              0.08711,
              0.09337,
              0.10072,
              0.11635,
              0.14872,
              0.21399,
              0.34442,
              0.60346
            ],
            [
              0.08707,
              0.09338,
              0.10076,
              0.11635,
              0.14872,
              0.21388,
              0.34417,
              0.6044
            ],
            [
              0.087,
              0.09327,
              0.10064,
              0.11631,
              0.14865,
              0.21376,
              0.34397,
              0.60421
            ],
            [
              0.08689,
              0.09318,
              0.10053,
              0.1162,
              0.14848,
              0.21368,
              0.34414,
              0.604
            ],
            [
              0.08678,
              0.09308,
              0.10044,
              0.1161,
              0.14842,
              0.21362,
              0.34377,
              0.60324
            ],
            [
              0.08657,
              0.09288,
              0.10023,
              0.1159,
              0.14822,
              0.21337,
              0.34362,
              0.6036
            ],
            [
              0.08638,
              0.09268,
              0.10005,
              0.11566,
              0.14803,
              0.21321,
              0.34354,
              0.60312
            ],
            [
              0.08619,
              0.09247,
              0.09981,
              0.11546,
              0.14773,
              0.21295,
              0.34349,
              0.60278
            ],
            [
              0.08596,
              0.09227,
              0.0996,
              0.11527,
              0.14758,
              0.21268,
              0.34335,
              0.60277
            ],
            [
              0.08579,
              0.09207,
              0.09939,
              0.115,
              0.14727,
              0.21232,
              0.3428,
              0.6024
            ],
            [
              0.08608,
              0.09228,
              0.09957,
              0.11507,
              0.1472,
              0.21219,
              0.34251,
              0.60235
            ],
            [
              0.08761,
              0.09357,
              0.10065,
              0.11588,
              0.14778,
              0.21263,
              0.34249,
              0.60221
            ]
          ]
        },
        "when": "(A&!CIN) | (!A&CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.04662,
              0.03686,
              0.02796,
              0.01103,
              -0.02183,
              -0.08693,
              -0.21733,
              -0.47861
            ],
            [
              0.04666,
              0.03692,
              0.028,
              0.01107,
              -0.02179,
              -0.08688,
              -0.21725,
              -0.47857
            ],
            [
              0.04658,
              0.0368,
              0.0279,
              0.01095,
              -0.02188,
              -0.08699,
              -0.21737,
              -0.47866
            ],
            [
              0.04657,
              0.0368,
              0.02789,
              0.01096,
              -0.02188,
              -0.08695,
              -0.21734,
              -0.47866
            ],
            [
              0.04645,
              0.03672,
              0.02781,
              0.01087,
              -0.02198,
              -0.08708,
              -0.21747,
              -0.47876
            ],
            [
              0.04631,
              0.03657,
              0.02768,
              0.01071,
              -0.0221,
              -0.08719,
              -0.2176,
              -0.47891
            ],
            [
              0.04619,
              0.03642,
              0.02751,
              0.01056,
              -0.02225,
              -0.08734,
              -0.21773,
              -0.47903
            ],
            [
              0.04601,
              0.03627,
              0.02737,
              0.01041,
              -0.02243,
              -0.08753,
              -0.21789,
              -0.47918
            ],
            [
              0.04585,
              0.03609,
              0.02719,
              0.01025,
              -0.02261,
              -0.08771,
              -0.21809,
              -0.47936
            ],
            [
              0.04574,
              0.03597,
              0.02706,
              0.0101,
              -0.02275,
              -0.08787,
              -0.21824,
              -0.4795
            ],
            [
              0.0457,
              0.03593,
              0.027,
              0.01003,
              -0.02288,
              -0.08803,
              -0.2184,
              -0.47964
            ],
            [
              0.04609,
              0.03624,
              0.02726,
              0.0102,
              -0.0228,
              -0.08803,
              -0.21842,
              -0.47963
            ],
            [
              0.04726,
              0.03723,
              0.02813,
              0.0109,
              -0.02231,
              -0.08771,
              -0.21818,
              -0.4794
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.02271,
              0.03085,
              0.03916,
              0.05567,
              0.08869,
              0.15405,
              0.284,
              0.54348
            ],
            [
              0.0227,
              0.03086,
              0.03914,
              0.05561,
              0.0886,
              0.15391,
              0.28385,
              0.54392
            ],
            [
              0.02267,
              0.03083,
              0.0391,
              0.05571,
              0.08865,
              0.15401,
              0.28427,
              0.54339
            ],
            [
              0.02265,
              0.03079,
              0.03906,
              0.05563,
              0.08858,
              0.15388,
              0.28406,
              0.54333
            ],
            [
              0.02256,
              0.03074,
              0.03899,
              0.05561,
              0.08859,
              0.15388,
              0.28381,
              0.54453
            ],
            [
              0.02252,
              0.03068,
              0.03894,
              0.05551,
              0.08851,
              0.15378,
              0.28409,
              0.54404
            ],
            [
              0.0224,
              0.03055,
              0.03884,
              0.05539,
              0.08832,
              0.15358,
              0.28366,
              0.54316
            ],
            [
              0.02227,
              0.03042,
              0.03868,
              0.05522,
              0.08815,
              0.15361,
              0.28362,
              0.54375
            ],
            [
              0.02214,
              0.03026,
              0.03852,
              0.05501,
              0.0879,
              0.15312,
              0.28335,
              0.54356
            ],
            [
              0.02215,
              0.03019,
              0.03836,
              0.0548,
              0.08766,
              0.15298,
              0.28291,
              0.54237
            ],
            [
              0.02233,
              0.03028,
              0.03839,
              0.05473,
              0.08736,
              0.15253,
              0.28256,
              0.54184
            ],
            [
              0.02287,
              0.03062,
              0.03868,
              0.05499,
              0.08752,
              0.15241,
              0.28237,
              0.54307
            ],
            [
              0.02386,
              0.03135,
              0.03928,
              0.05538,
              0.08795,
              0.15309,
              0.28265,
              0.54184
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05986,
              0.06772,
              0.07649,
              0.09497,
              0.13262,
              0.2069,
              0.35231,
              0.64351
            ],
            [
              0.05987,
              0.06767,
              0.07647,
              0.09492,
              0.1326,
              0.20688,
              0.35219,
              0.64306
            ],
            [
              0.05985,
              0.06765,
              0.07648,
              0.09491,
              0.13257,
              0.20687,
              0.35217,
              0.64358
            ],
            [
              0.05983,
              0.06762,
              0.07644,
              0.09488,
              0.13258,
              0.20684,
              0.35222,
              0.64288
            ],
            [
              0.0598,
              0.06759,
              0.07643,
              0.09488,
              0.13257,
              0.20684,
              0.35219,
              0.64276
            ],
            [
              0.05974,
              0.06755,
              0.07637,
              0.0948,
              0.13248,
              0.2068,
              0.3522,
              0.64236
            ],
            [
              0.05966,
              0.06746,
              0.07628,
              0.09473,
              0.13235,
              0.20666,
              0.35202,
              0.64391
            ],
            [
              0.05951,
              0.06732,
              0.07612,
              0.09455,
              0.13214,
              0.2064,
              0.35186,
              0.64356
            ],
            [
              0.05936,
              0.0671,
              0.07589,
              0.09425,
              0.13178,
              0.20603,
              0.35153,
              0.64263
            ],
            [
              0.05941,
              0.06707,
              0.07573,
              0.094,
              0.1314,
              0.20555,
              0.35105,
              0.64273
            ],
            [
              0.05977,
              0.06725,
              0.07575,
              0.09389,
              0.13113,
              0.20519,
              0.35061,
              0.64096
            ],
            [
              0.06047,
              0.06767,
              0.07614,
              0.09417,
              0.13118,
              0.20485,
              0.35039,
              0.64085
            ],
            [
              0.06176,
              0.06866,
              0.07696,
              0.09479,
              0.13163,
              0.20523,
              0.35048,
              0.64211
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.08212,
              0.08844,
              0.0958,
              0.11142,
              0.14373,
              0.20915,
              0.33928,
              0.59882
            ],
            [
              0.0821,
              0.08842,
              0.09579,
              0.11141,
              0.14375,
              0.20911,
              0.33928,
              0.59921
            ],
            [
              0.08211,
              0.08842,
              0.09579,
              0.11142,
              0.14377,
              0.20916,
              0.33924,
              0.59875
            ],
            [
              0.08209,
              0.0884,
              0.09575,
              0.11143,
              0.14374,
              0.20888,
              0.33947,
              0.59792
            ],
            [
              0.08197,
              0.08829,
              0.09565,
              0.11129,
              0.14366,
              0.209,
              0.33932,
              0.59934
            ],
            [
              0.08187,
              0.08817,
              0.09552,
              0.11124,
              0.14354,
              0.20878,
              0.33934,
              0.59905
            ],
            [
              0.08174,
              0.08806,
              0.0954,
              0.11106,
              0.14337,
              0.20852,
              0.33885,
              0.59876
            ],
            [
              0.08161,
              0.08792,
              0.09529,
              0.11097,
              0.14333,
              0.20851,
              0.33887,
              0.59847
            ],
            [
              0.08144,
              0.08777,
              0.09514,
              0.11076,
              0.14306,
              0.20828,
              0.33836,
              0.59731
            ],
            [
              0.08135,
              0.08767,
              0.09503,
              0.11065,
              0.1429,
              0.20808,
              0.33844,
              0.59855
            ],
            [
              0.08129,
              0.0876,
              0.09493,
              0.1105,
              0.14275,
              0.2078,
              0.33819,
              0.59826
            ],
            [
              0.08171,
              0.08795,
              0.09521,
              0.11069,
              0.14278,
              0.20784,
              0.33809,
              0.59769
            ],
            [
              0.08383,
              0.0897,
              0.09676,
              0.11191,
              0.14361,
              0.20833,
              0.33859,
              0.59732
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.26929,
    "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.78879,
              0.83329,
              0.86446,
              0.91198,
              0.98254,
              1.08717,
              1.24677,
              1.50497
            ],
            [
              0.78932,
              0.83382,
              0.86501,
              0.91253,
              0.98313,
              1.08784,
              1.24724,
              1.50554
            ],
            [
              0.79048,
              0.83494,
              0.86614,
              0.91372,
              0.98432,
              1.08902,
              1.24862,
              1.50642
            ],
            [
              0.79287,
              0.83732,
              0.86852,
              0.91607,
              0.98667,
              1.09138,
              1.25108,
              1.50878
            ],
            [
              0.79785,
              0.84229,
              0.8735,
              0.92105,
              0.99161,
              1.09631,
              1.25601,
              1.51421
            ],
            [
              0.80664,
              0.8511,
              0.88229,
              0.92982,
              1.00042,
              1.10512,
              1.26472,
              1.52292
            ],
            [
              0.82027,
              0.86469,
              0.89583,
              0.94343,
              1.01403,
              1.11873,
              1.27833,
              1.53653
            ],
            [
              0.84006,
              0.88446,
              0.91566,
              0.96316,
              1.03376,
              1.13846,
              1.29786,
              1.55616
            ],
            [
              0.86785,
              0.91235,
              0.94345,
              0.99095,
              1.06155,
              1.16625,
              1.32565,
              1.58385
            ],
            [
              0.90719,
              0.95159,
              0.98279,
              1.03029,
              1.10089,
              1.20559,
              1.36499,
              1.62319
            ],
            [
              0.96352,
              1.00792,
              1.03912,
              1.08662,
              1.15712,
              1.26182,
              1.42132,
              1.67972
            ],
            [
              1.04577,
              1.09007,
              1.12127,
              1.16867,
              1.23917,
              1.34387,
              1.50367,
              1.76197
            ],
            [
              1.1597,
              1.2054,
              1.2373,
              1.2858,
              1.3573,
              1.4627,
              1.623,
              1.8818
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.23005,
              0.2652,
              0.2909,
              0.33324,
              0.40559,
              0.53737,
              0.79256,
              1.29867
            ],
            [
              0.23104,
              0.26619,
              0.29189,
              0.33424,
              0.4066,
              0.53836,
              0.79326,
              1.29964
            ],
            [
              0.23272,
              0.26788,
              0.29359,
              0.33593,
              0.40827,
              0.54007,
              0.79514,
              1.30152
            ],
            [
              0.23602,
              0.27119,
              0.2969,
              0.33924,
              0.41154,
              0.54341,
              0.7988,
              1.30468
            ],
            [
              0.24188,
              0.27707,
              0.30278,
              0.34516,
              0.41753,
              0.5493,
              0.80447,
              1.31071
            ],
            [
              0.25124,
              0.28643,
              0.31215,
              0.35452,
              0.42688,
              0.55873,
              0.8141,
              1.31982
            ],
            [
              0.26535,
              0.30055,
              0.32626,
              0.36864,
              0.44103,
              0.57273,
              0.82762,
              1.33363
            ],
            [
              0.28628,
              0.32147,
              0.34716,
              0.38949,
              0.46181,
              0.59347,
              0.84846,
              1.35526
            ],
            [
              0.31721,
              0.35234,
              0.37798,
              0.42022,
              0.49236,
              0.62425,
              0.87935,
              1.38565
            ],
            [
              0.35946,
              0.39555,
              0.42155,
              0.46398,
              0.53619,
              0.66799,
              0.92299,
              1.42939
            ],
            [
              0.41159,
              0.44972,
              0.47692,
              0.52072,
              0.59382,
              0.72602,
              0.98112,
              1.48712
            ],
            [
              0.47427,
              0.51507,
              0.54377,
              0.58947,
              0.66447,
              0.79787,
              1.05307,
              1.55897
            ],
            [
              0.5474,
              0.5914,
              0.6223,
              0.6705,
              0.7481,
              0.8831,
              1.1391,
              1.6449
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.0984,
              0.12354,
              0.14186,
              0.17126,
              0.21925,
              0.30074,
              0.4453,
              0.7233
            ],
            [
              0.09839,
              0.12371,
              0.14189,
              0.17122,
              0.21923,
              0.3004,
              0.4452,
              0.7241
            ],
            [
              0.09837,
              0.12352,
              0.1421,
              0.17139,
              0.21922,
              0.30045,
              0.4449,
              0.7241
            ],
            [
              0.09839,
              0.12351,
              0.14188,
              0.1712,
              0.21917,
              0.30049,
              0.4449,
              0.7241
            ],
            [
              0.09839,
              0.12352,
              0.1419,
              0.17136,
              0.21916,
              0.30015,
              0.4451,
              0.7238
            ],
            [
              0.0984,
              0.12355,
              0.14187,
              0.1713,
              0.2193,
              0.3004,
              0.4451,
              0.7237
            ],
            [
              0.09839,
              0.12349,
              0.14188,
              0.17122,
              0.2192,
              0.3003,
              0.4453,
              0.7233
            ],
            [
              0.09845,
              0.12358,
              0.1419,
              0.1712,
              0.2192,
              0.3004,
              0.4452,
              0.7241
            ],
            [
              0.0984,
              0.1235,
              0.1421,
              0.1713,
              0.2193,
              0.3003,
              0.4452,
              0.7241
            ],
            [
              0.0984,
              0.1236,
              0.1418,
              0.1714,
              0.219,
              0.3003,
              0.4452,
              0.7236
            ],
            [
              0.0984,
              0.1235,
              0.1421,
              0.1712,
              0.2193,
              0.3002,
              0.4451,
              0.7241
            ],
            [
              0.0983,
              0.1236,
              0.1419,
              0.1713,
              0.2191,
              0.3002,
              0.4449,
              0.7231
            ],
            [
              0.1051,
              0.1301,
              0.1482,
              0.1771,
              0.224,
              0.304,
              0.4475,
              0.7249
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.04289,
              0.07056,
              0.09337,
              0.1366,
              0.2223,
              0.39879,
              0.76348,
              1.49167
            ],
            [
              0.04291,
              0.07057,
              0.09341,
              0.13661,
              0.22236,
              0.39859,
              0.76375,
              1.49266
            ],
            [
              0.04293,
              0.07059,
              0.0934,
              0.13665,
              0.22227,
              0.39892,
              0.76353,
              1.49174
            ],
            [
              0.04293,
              0.07063,
              0.09343,
              0.13663,
              0.22258,
              0.39918,
              0.76167,
              1.49691
            ],
            [
              0.04297,
              0.07061,
              0.09361,
              0.13678,
              0.22264,
              0.39946,
              0.76219,
              1.49219
            ],
            [
              0.04297,
              0.07068,
              0.09348,
              0.1367,
              0.22233,
              0.39873,
              0.76359,
              1.4923
            ],
            [
              0.043,
              0.07067,
              0.09361,
              0.13654,
              0.22308,
              0.39936,
              0.76377,
              1.49321
            ],
            [
              0.04304,
              0.07075,
              0.09357,
              0.13667,
              0.22245,
              0.39948,
              0.76394,
              1.4933
            ],
            [
              0.04318,
              0.07078,
              0.09366,
              0.13672,
              0.22252,
              0.3989,
              0.76293,
              1.49366
            ],
            [
              0.04553,
              0.07289,
              0.0954,
              0.13786,
              0.22298,
              0.39878,
              0.76146,
              1.4925
            ],
            [
              0.04924,
              0.07751,
              0.10011,
              0.142,
              0.2255,
              0.4012,
              0.763,
              1.4947
            ],
            [
              0.0541,
              0.0837,
              0.1064,
              0.1487,
              0.2312,
              0.4037,
              0.7622,
              1.4949
            ],
            [
              0.0608,
              0.0919,
              0.1152,
              0.157,
              0.2386,
              0.4082,
              0.7653,
              1.4961
            ]
          ]
        },
        "sdf_cond": "(!B&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.73432,
              0.76945,
              0.79421,
              0.83206,
              0.88715,
              0.96958,
              1.10657,
              1.34367
            ],
            [
              0.7373,
              0.77244,
              0.79717,
              0.83504,
              0.89015,
              0.97258,
              1.10954,
              1.34664
            ],
            [
              0.74084,
              0.77595,
              0.80069,
              0.83855,
              0.89366,
              0.9761,
              1.11312,
              1.35022
            ],
            [
              0.74587,
              0.78099,
              0.80575,
              0.84359,
              0.8987,
              0.98118,
              1.11818,
              1.35518
            ],
            [
              0.75289,
              0.788,
              0.81274,
              0.8506,
              0.90574,
              0.98821,
              1.12511,
              1.36201
            ],
            [
              0.7627,
              0.79781,
              0.82256,
              0.86042,
              0.91552,
              0.99792,
              1.13492,
              1.37182
            ],
            [
              0.77677,
              0.81188,
              0.83663,
              0.87446,
              0.92953,
              1.01203,
              1.14903,
              1.38603
            ],
            [
              0.79734,
              0.83246,
              0.85716,
              0.89506,
              0.95016,
              1.03256,
              1.16956,
              1.40666
            ],
            [
              0.82765,
              0.86275,
              0.88745,
              0.92525,
              0.98035,
              1.06275,
              1.19985,
              1.43675
            ],
            [
              0.87179,
              0.90689,
              0.93149,
              0.96929,
              1.02429,
              1.10679,
              1.24379,
              1.48069
            ],
            [
              0.93352,
              0.96812,
              0.99252,
              1.03012,
              1.08492,
              1.16732,
              1.30432,
              1.54122
            ],
            [
              1.01417,
              1.04807,
              1.07207,
              1.10897,
              1.16327,
              1.24537,
              1.38237,
              1.61927
            ],
            [
              1.1147,
              1.1478,
              1.1713,
              1.2074,
              1.2605,
              1.3415,
              1.478,
              1.7147
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.96275,
              0.99807,
              1.02177,
              1.05807,
              1.11917,
              1.23957,
              1.48607,
              1.98597
            ],
            [
              0.96307,
              0.99844,
              1.02214,
              1.05844,
              1.11964,
              1.23994,
              1.48654,
              1.98644
            ],
            [
              0.96436,
              0.99972,
              1.02342,
              1.05972,
              1.12082,
              1.24142,
              1.48782,
              1.98772
            ],
            [
              0.9673,
              1.00267,
              1.02638,
              1.06268,
              1.12378,
              1.24438,
              1.49077,
              1.99067
            ],
            [
              0.97301,
              1.00831,
              1.03201,
              1.06841,
              1.12951,
              1.25001,
              1.49651,
              1.99631
            ],
            [
              0.98252,
              1.01792,
              1.04162,
              1.07792,
              1.13912,
              1.25962,
              1.50642,
              2.00632
            ],
            [
              0.99703,
              1.03243,
              1.05603,
              1.09243,
              1.15353,
              1.27393,
              1.52053,
              2.02063
            ],
            [
              1.01816,
              1.05346,
              1.07716,
              1.11356,
              1.17456,
              1.29516,
              1.54166,
              2.04136
            ],
            [
              1.04925,
              1.08465,
              1.10835,
              1.14465,
              1.20575,
              1.32635,
              1.57285,
              2.07255
            ],
            [
              1.09609,
              1.13139,
              1.15509,
              1.19149,
              1.25259,
              1.37309,
              1.61959,
              2.11929
            ],
            [
              1.16662,
              1.20192,
              1.22562,
              1.26192,
              1.32312,
              1.44362,
              1.69012,
              2.18982
            ],
            [
              1.27237,
              1.30777,
              1.33147,
              1.36777,
              1.42887,
              1.54957,
              1.79597,
              2.29587
            ],
            [
              1.4264,
              1.4615,
              1.4849,
              1.5208,
              1.5815,
              1.7016,
              1.9476,
              2.4473
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.07095,
              0.09288,
              0.10879,
              0.13529,
              0.18045,
              0.25656,
              0.39729,
              0.6783
            ],
            [
              0.07095,
              0.09288,
              0.10878,
              0.13539,
              0.18015,
              0.25691,
              0.39689,
              0.6784
            ],
            [
              0.07095,
              0.09288,
              0.10881,
              0.1354,
              0.18031,
              0.2567,
              0.39715,
              0.6786
            ],
            [
              0.07096,
              0.09288,
              0.10879,
              0.13531,
              0.1804,
              0.25651,
              0.39733,
              0.6781
            ],
            [
              0.07095,
              0.09288,
              0.10876,
              0.13528,
              0.18033,
              0.25685,
              0.39676,
              0.677
            ],
            [
              0.07096,
              0.09289,
              0.10879,
              0.13526,
              0.18035,
              0.25689,
              0.397,
              0.6776
            ],
            [
              0.07095,
              0.09288,
              0.10879,
              0.13527,
              0.1804,
              0.25687,
              0.3973,
              0.6774
            ],
            [
              0.07095,
              0.09288,
              0.10891,
              0.13536,
              0.1802,
              0.2569,
              0.3969,
              0.6785
            ],
            [
              0.071,
              0.0929,
              0.1088,
              0.1355,
              0.1803,
              0.2569,
              0.3973,
              0.6774
            ],
            [
              0.0709,
              0.0929,
              0.1089,
              0.1354,
              0.1805,
              0.2569,
              0.3971,
              0.6772
            ],
            [
              0.071,
              0.0928,
              0.1088,
              0.1354,
              0.1802,
              0.2567,
              0.3971,
              0.6772
            ],
            [
              0.0712,
              0.0931,
              0.1091,
              0.1355,
              0.1806,
              0.2568,
              0.397,
              0.6774
            ],
            [
              0.0711,
              0.0929,
              0.109,
              0.1355,
              0.1807,
              0.2569,
              0.3972,
              0.6784
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05882,
              0.08803,
              0.11147,
              0.15417,
              0.2362,
              0.4052,
              0.7617,
              1.4895
            ],
            [
              0.0587,
              0.08795,
              0.11129,
              0.15413,
              0.2362,
              0.4053,
              0.7617,
              1.4895
            ],
            [
              0.0588,
              0.08799,
              0.11122,
              0.1541,
              0.2361,
              0.4059,
              0.7619,
              1.4895
            ],
            [
              0.05882,
              0.08807,
              0.1114,
              0.1541,
              0.2361,
              0.406,
              0.7619,
              1.4897
            ],
            [
              0.05879,
              0.088,
              0.1113,
              0.1542,
              0.2362,
              0.4061,
              0.7613,
              1.4892
            ],
            [
              0.0587,
              0.0881,
              0.1112,
              0.1541,
              0.2361,
              0.406,
              0.7619,
              1.4883
            ],
            [
              0.0587,
              0.088,
              0.1112,
              0.1542,
              0.2362,
              0.4053,
              0.7617,
              1.4932
            ],
            [
              0.0588,
              0.0881,
              0.1114,
              0.1542,
              0.2362,
              0.4061,
              0.7611,
              1.4899
            ],
            [
              0.0587,
              0.088,
              0.1114,
              0.1541,
              0.2361,
              0.406,
              0.7612,
              1.4893
            ],
            [
              0.0588,
              0.0881,
              0.1113,
              0.1542,
              0.2361,
              0.406,
              0.7618,
              1.4929
            ],
            [
              0.0588,
              0.0881,
              0.1113,
              0.1542,
              0.2362,
              0.4052,
              0.7618,
              1.4894
            ],
            [
              0.0589,
              0.0882,
              0.1116,
              0.1543,
              0.2361,
              0.4061,
              0.7611,
              1.4896
            ],
            [
              0.0595,
              0.0888,
              0.1123,
              0.1549,
              0.2367,
              0.4062,
              0.7633,
              1.4925
            ]
          ]
        },
        "sdf_cond": "(!B&CIN)",
        "timing_sense": "negative_unate",
        "when": "(!B&CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.70392,
              0.73969,
              0.76576,
              0.80675,
              0.86711,
              0.95709,
              1.10217,
              1.34667
            ],
            [
              0.70468,
              0.74047,
              0.76652,
              0.80754,
              0.86794,
              0.95793,
              1.10304,
              1.34744
            ],
            [
              0.70625,
              0.74205,
              0.76812,
              0.80914,
              0.86959,
              0.95962,
              1.10472,
              1.34932
            ],
            [
              0.70947,
              0.74526,
              0.77133,
              0.81239,
              0.87291,
              0.96301,
              1.10818,
              1.35268
            ],
            [
              0.71502,
              0.75081,
              0.77689,
              0.81798,
              0.87859,
              0.96871,
              1.11401,
              1.35851
            ],
            [
              0.7236,
              0.75941,
              0.78549,
              0.8266,
              0.88727,
              0.97752,
              1.12272,
              1.36722
            ],
            [
              0.73651,
              0.77235,
              0.79843,
              0.83953,
              0.90023,
              0.99043,
              1.13573,
              1.38033
            ],
            [
              0.75595,
              0.79178,
              0.81783,
              0.85896,
              0.91966,
              1.00986,
              1.15516,
              1.39976
            ],
            [
              0.78505,
              0.82085,
              0.84695,
              0.88795,
              0.94865,
              1.03885,
              1.18425,
              1.42875
            ],
            [
              0.82779,
              0.86349,
              0.88949,
              0.93049,
              0.99109,
              1.08129,
              1.22669,
              1.47129
            ],
            [
              0.88712,
              0.92232,
              0.94802,
              0.98882,
              1.04912,
              1.13932,
              1.28462,
              1.52922
            ],
            [
              0.96387,
              0.99847,
              1.02377,
              1.06387,
              1.12347,
              1.21337,
              1.35857,
              1.60307
            ],
            [
              1.0592,
              1.0929,
              1.1177,
              1.157,
              1.2156,
              1.3045,
              1.4492,
              1.6935
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.93943,
              0.97277,
              0.99547,
              1.03077,
              1.08997,
              1.20887,
              1.45507,
              1.95517
            ],
            [
              0.94156,
              0.9749,
              0.99764,
              1.03294,
              1.09224,
              1.21104,
              1.45724,
              1.95724
            ],
            [
              0.94427,
              0.97761,
              1.00032,
              1.03562,
              1.09482,
              1.21372,
              1.45992,
              1.96002
            ],
            [
              0.94861,
              0.98198,
              1.00468,
              1.03998,
              1.09928,
              1.21818,
              1.46428,
              1.96437
            ],
            [
              0.95551,
              0.98881,
              1.01161,
              1.04691,
              1.10621,
              1.22501,
              1.47121,
              1.97121
            ],
            [
              0.96602,
              0.99932,
              1.02202,
              1.05742,
              1.11662,
              1.23542,
              1.48152,
              1.98162
            ],
            [
              0.98083,
              1.01413,
              1.03693,
              1.07223,
              1.13153,
              1.25043,
              1.49653,
              1.99683
            ],
            [
              1.00116,
              1.03446,
              1.05716,
              1.09246,
              1.15176,
              1.27066,
              1.51686,
              2.01666
            ],
            [
              1.02895,
              1.06225,
              1.08495,
              1.12025,
              1.17955,
              1.29845,
              1.54465,
              2.04445
            ],
            [
              1.06829,
              1.10159,
              1.12429,
              1.15969,
              1.21899,
              1.33779,
              1.58389,
              2.08389
            ],
            [
              1.12582,
              1.15912,
              1.18182,
              1.21722,
              1.27662,
              1.39542,
              1.64152,
              2.14162
            ],
            [
              1.21057,
              1.24387,
              1.26657,
              1.30187,
              1.36107,
              1.47997,
              1.72607,
              2.22597
            ],
            [
              1.3298,
              1.3628,
              1.3852,
              1.4199,
              1.4784,
              1.5965,
              1.8421,
              2.3418
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.06992,
              0.09406,
              0.11289,
              0.14347,
              0.19239,
              0.27076,
              0.4117,
              0.6907
            ],
            [
              0.06987,
              0.09408,
              0.11289,
              0.14361,
              0.19249,
              0.27084,
              0.41166,
              0.6906
            ],
            [
              0.06994,
              0.09421,
              0.11294,
              0.14375,
              0.19232,
              0.27099,
              0.41176,
              0.6912
            ],
            [
              0.06996,
              0.09423,
              0.11297,
              0.14385,
              0.19246,
              0.27083,
              0.41185,
              0.6908
            ],
            [
              0.06997,
              0.0941,
              0.113,
              0.14379,
              0.19293,
              0.27129,
              0.41188,
              0.6908
            ],
            [
              0.06996,
              0.09412,
              0.11308,
              0.14388,
              0.19304,
              0.2711,
              0.41222,
              0.6902
            ],
            [
              0.06996,
              0.09422,
              0.11313,
              0.14391,
              0.19282,
              0.27174,
              0.4122,
              0.6911
            ],
            [
              0.06996,
              0.09429,
              0.11308,
              0.14413,
              0.19308,
              0.2717,
              0.4123,
              0.6913
            ],
            [
              0.06995,
              0.0943,
              0.1131,
              0.144,
              0.1932,
              0.2715,
              0.4123,
              0.6903
            ],
            [
              0.0699,
              0.0942,
              0.1131,
              0.1442,
              0.1932,
              0.2715,
              0.4122,
              0.6913
            ],
            [
              0.07,
              0.0943,
              0.1131,
              0.1443,
              0.1929,
              0.2712,
              0.4121,
              0.6912
            ],
            [
              0.0702,
              0.0944,
              0.1132,
              0.1443,
              0.1933,
              0.2715,
              0.4123,
              0.6911
            ],
            [
              0.0702,
              0.0944,
              0.1132,
              0.1444,
              0.193,
              0.2712,
              0.4121,
              0.6916
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05301,
              0.08219,
              0.10553,
              0.14839,
              0.23184,
              0.4039,
              0.7626,
              1.4893
            ],
            [
              0.05302,
              0.08222,
              0.10556,
              0.14839,
              0.2318,
              0.4039,
              0.7611,
              1.4903
            ],
            [
              0.05302,
              0.08219,
              0.10553,
              0.14839,
              0.2319,
              0.4038,
              0.7619,
              1.4891
            ],
            [
              0.05298,
              0.08221,
              0.10554,
              0.1483,
              0.2324,
              0.404,
              0.7631,
              1.49
            ],
            [
              0.05301,
              0.08224,
              0.1056,
              0.1484,
              0.2318,
              0.4039,
              0.7612,
              1.4905
            ],
            [
              0.0531,
              0.0823,
              0.1055,
              0.1484,
              0.232,
              0.4032,
              0.7608,
              1.4903
            ],
            [
              0.053,
              0.0823,
              0.1056,
              0.1484,
              0.2324,
              0.404,
              0.7633,
              1.4908
            ],
            [
              0.0531,
              0.0822,
              0.1056,
              0.1484,
              0.2324,
              0.4041,
              0.7612,
              1.4903
            ],
            [
              0.0531,
              0.0822,
              0.1055,
              0.1485,
              0.2318,
              0.404,
              0.7611,
              1.4894
            ],
            [
              0.053,
              0.0822,
              0.1055,
              0.1484,
              0.232,
              0.4037,
              0.7613,
              1.4924
            ],
            [
              0.0531,
              0.0824,
              0.1055,
              0.1483,
              0.2319,
              0.4036,
              0.7613,
              1.4897
            ],
            [
              0.0531,
              0.0824,
              0.1057,
              0.1486,
              0.2319,
              0.4039,
              0.7632,
              1.4902
            ],
            [
              0.054,
              0.0835,
              0.1065,
              0.1495,
              0.2327,
              0.4041,
              0.7621,
              1.4897
            ]
          ]
        },
        "sdf_cond": "(B&!CIN)",
        "timing_sense": "negative_unate",
        "when": "(B&!CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.5656,
              0.60249,
              0.6282,
              0.66752,
              0.7264,
              0.81553,
              0.95585,
              1.19397
            ],
            [
              0.56648,
              0.60337,
              0.62908,
              0.6684,
              0.72729,
              0.8164,
              0.95674,
              1.19484
            ],
            [
              0.56801,
              0.6049,
              0.63062,
              0.66994,
              0.72883,
              0.81795,
              0.95828,
              1.19642
            ],
            [
              0.5711,
              0.60798,
              0.6337,
              0.67297,
              0.73198,
              0.821,
              0.9614,
              1.19968
            ],
            [
              0.57693,
              0.61381,
              0.63953,
              0.67887,
              0.73774,
              0.82688,
              0.96721,
              1.20541
            ],
            [
              0.58699,
              0.62388,
              0.64959,
              0.68894,
              0.74781,
              0.83695,
              0.97732,
              1.21552
            ],
            [
              0.60282,
              0.63969,
              0.66541,
              0.70468,
              0.76364,
              0.85274,
              0.99313,
              1.23143
            ],
            [
              0.62589,
              0.66277,
              0.68847,
              0.72781,
              0.7867,
              0.87586,
              1.01626,
              1.25446
            ],
            [
              0.65886,
              0.69571,
              0.72142,
              0.76075,
              0.81965,
              0.90875,
              1.04915,
              1.28735
            ],
            [
              0.70689,
              0.74369,
              0.76939,
              0.80869,
              0.86759,
              0.95669,
              1.09719,
              1.33549
            ],
            [
              0.77812,
              0.81502,
              0.84072,
              0.88002,
              0.93892,
              1.02802,
              1.16852,
              1.40672
            ],
            [
              0.88357,
              0.92067,
              0.94647,
              0.98587,
              1.04477,
              1.13407,
              1.27467,
              1.51297
            ],
            [
              1.0207,
              1.0604,
              1.0878,
              1.1295,
              1.1912,
              1.2832,
              1.4258,
              1.6653
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.2975,
              0.33815,
              0.36736,
              0.41427,
              0.49135,
              0.6267,
              0.8823,
              1.38837
            ],
            [
              0.29826,
              0.33892,
              0.36813,
              0.41504,
              0.49213,
              0.62752,
              0.88322,
              1.38924
            ],
            [
              0.2997,
              0.34035,
              0.36957,
              0.41648,
              0.49358,
              0.62888,
              0.88445,
              1.39052
            ],
            [
              0.30255,
              0.3432,
              0.37241,
              0.41933,
              0.49646,
              0.63165,
              0.88723,
              1.39328
            ],
            [
              0.30768,
              0.34833,
              0.37755,
              0.42446,
              0.50163,
              0.6369,
              0.89281,
              1.39791
            ],
            [
              0.31573,
              0.35638,
              0.3856,
              0.43251,
              0.50962,
              0.64505,
              0.90084,
              1.40682
            ],
            [
              0.32727,
              0.36791,
              0.39714,
              0.44404,
              0.52124,
              0.65636,
              0.91213,
              1.41763
            ],
            [
              0.34388,
              0.38452,
              0.41373,
              0.46063,
              0.53776,
              0.6731,
              0.92916,
              1.43496
            ],
            [
              0.36828,
              0.40892,
              0.43813,
              0.48501,
              0.56214,
              0.69728,
              0.95345,
              1.45955
            ],
            [
              0.40344,
              0.4444,
              0.4737,
              0.52065,
              0.59777,
              0.73329,
              0.98929,
              1.49489
            ],
            [
              0.44832,
              0.49092,
              0.52122,
              0.56932,
              0.64732,
              0.78302,
              1.03912,
              1.54522
            ],
            [
              0.50347,
              0.54817,
              0.57987,
              0.62977,
              0.70977,
              0.84687,
              1.10377,
              1.60937
            ],
            [
              0.5696,
              0.617,
              0.6506,
              0.7029,
              0.7855,
              0.925,
              1.1826,
              1.6881
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.07085,
              0.09247,
              0.10801,
              0.13371,
              0.17708,
              0.25277,
              0.39358,
              0.67454
            ],
            [
              0.07084,
              0.09247,
              0.10801,
              0.13371,
              0.17706,
              0.25267,
              0.39338,
              0.67474
            ],
            [
              0.07085,
              0.09234,
              0.10801,
              0.13371,
              0.17706,
              0.25266,
              0.39341,
              0.67478
            ],
            [
              0.07085,
              0.09233,
              0.10816,
              0.13379,
              0.17682,
              0.25294,
              0.39383,
              0.67585
            ],
            [
              0.07085,
              0.09231,
              0.10797,
              0.13368,
              0.17721,
              0.25289,
              0.39369,
              0.67526
            ],
            [
              0.07083,
              0.09231,
              0.10799,
              0.13367,
              0.17724,
              0.25289,
              0.39372,
              0.67518
            ],
            [
              0.07088,
              0.09233,
              0.10801,
              0.13378,
              0.17695,
              0.25256,
              0.39369,
              0.6757
            ],
            [
              0.07082,
              0.09231,
              0.10801,
              0.13366,
              0.17721,
              0.25283,
              0.39364,
              0.6752
            ],
            [
              0.07086,
              0.09232,
              0.10805,
              0.13365,
              0.17718,
              0.2529,
              0.3936,
              0.6748
            ],
            [
              0.0709,
              0.0924,
              0.108,
              0.1339,
              0.1769,
              0.2527,
              0.3938,
              0.6755
            ],
            [
              0.0709,
              0.0923,
              0.1081,
              0.1338,
              0.1773,
              0.2529,
              0.3935,
              0.6746
            ],
            [
              0.073,
              0.0943,
              0.1097,
              0.135,
              0.1778,
              0.2536,
              0.394,
              0.6748
            ],
            [
              0.0819,
              0.1039,
              0.1196,
              0.1453,
              0.1877,
              0.262,
              0.3996,
              0.6787
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05212,
              0.08312,
              0.10745,
              0.15141,
              0.23603,
              0.40983,
              0.76761,
              1.49496
            ],
            [
              0.05212,
              0.0831,
              0.10745,
              0.15141,
              0.23603,
              0.4098,
              0.76749,
              1.49445
            ],
            [
              0.0521,
              0.08303,
              0.10724,
              0.1514,
              0.23605,
              0.4098,
              0.76755,
              1.49507
            ],
            [
              0.05216,
              0.08302,
              0.1074,
              0.15135,
              0.23611,
              0.40965,
              0.76746,
              1.49628
            ],
            [
              0.05211,
              0.08304,
              0.10728,
              0.15158,
              0.23619,
              0.40885,
              0.76657,
              1.49883
            ],
            [
              0.05212,
              0.08313,
              0.10746,
              0.15144,
              0.2362,
              0.40952,
              0.76765,
              1.49461
            ],
            [
              0.05213,
              0.08302,
              0.10726,
              0.15124,
              0.23612,
              0.40913,
              0.76727,
              1.49818
            ],
            [
              0.0521,
              0.08304,
              0.10743,
              0.15146,
              0.23674,
              0.40915,
              0.76657,
              1.49715
            ],
            [
              0.05215,
              0.08305,
              0.10724,
              0.15157,
              0.23622,
              0.40935,
              0.76761,
              1.4959
            ],
            [
              0.05341,
              0.08408,
              0.10805,
              0.15208,
              0.23652,
              0.40976,
              0.7664,
              1.4971
            ],
            [
              0.05652,
              0.0879,
              0.1122,
              0.1556,
              0.2391,
              0.4099,
              0.7679,
              1.496
            ],
            [
              0.0606,
              0.0933,
              0.118,
              0.1615,
              0.2444,
              0.4134,
              0.7685,
              1.4991
            ],
            [
              0.0662,
              0.1006,
              0.1258,
              0.1697,
              0.2519,
              0.4206,
              0.77,
              1.4952
            ]
          ]
        },
        "sdf_cond": "(B&CIN)",
        "timing_sense": "positive_unate",
        "when": "(B&CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.7296,
              0.7741,
              0.80534,
              0.85298,
              0.92365,
              1.02857,
              1.18847,
              1.44667
            ],
            [
              0.73068,
              0.77522,
              0.80648,
              0.85407,
              0.92471,
              1.02974,
              1.18964,
              1.44764
            ],
            [
              0.73273,
              0.77728,
              0.80853,
              0.85617,
              0.92688,
              1.03182,
              1.19182,
              1.45012
            ],
            [
              0.73642,
              0.78097,
              0.81225,
              0.85987,
              0.93063,
              1.03558,
              1.19548,
              1.45388
            ],
            [
              0.74249,
              0.78704,
              0.81832,
              0.86597,
              0.93672,
              1.04161,
              1.20151,
              1.46001
            ],
            [
              0.75172,
              0.79625,
              0.82751,
              0.87519,
              0.94592,
              1.05092,
              1.21082,
              1.46912
            ],
            [
              0.765,
              0.80951,
              0.84078,
              0.88841,
              0.95913,
              1.06403,
              1.22413,
              1.48243
            ],
            [
              0.78421,
              0.82871,
              0.85996,
              0.90756,
              0.97826,
              1.08316,
              1.24316,
              1.50186
            ],
            [
              0.81265,
              0.85715,
              0.88835,
              0.93595,
              1.00665,
              1.11165,
              1.27165,
              1.52985
            ],
            [
              0.85559,
              0.90009,
              0.93129,
              0.97899,
              1.04969,
              1.15469,
              1.31439,
              1.57309
            ],
            [
              0.92112,
              0.96562,
              0.99682,
              1.04452,
              1.11512,
              1.22002,
              1.38002,
              1.63892
            ],
            [
              1.02117,
              1.06557,
              1.09677,
              1.14437,
              1.21507,
              1.32007,
              1.48017,
              1.73927
            ],
            [
              1.1654,
              1.2113,
              1.2434,
              1.2921,
              1.3636,
              1.4692,
              1.6298,
              1.8893
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.19405,
              0.22918,
              0.25493,
              0.29739,
              0.36981,
              0.50114,
              0.75531,
              1.26137
            ],
            [
              0.19704,
              0.23217,
              0.25792,
              0.30039,
              0.37282,
              0.50411,
              0.75823,
              1.26444
            ],
            [
              0.20066,
              0.23581,
              0.26157,
              0.30405,
              0.37649,
              0.50789,
              0.7623,
              1.26772
            ],
            [
              0.2058,
              0.24097,
              0.26675,
              0.30923,
              0.38166,
              0.51313,
              0.76758,
              1.27278
            ],
            [
              0.213,
              0.2482,
              0.27398,
              0.31648,
              0.38891,
              0.52046,
              0.77498,
              1.27981
            ],
            [
              0.22312,
              0.25836,
              0.28415,
              0.32667,
              0.39914,
              0.53068,
              0.78525,
              1.29002
            ],
            [
              0.23754,
              0.2728,
              0.29863,
              0.34114,
              0.41354,
              0.54512,
              0.79963,
              1.30553
            ],
            [
              0.25832,
              0.29363,
              0.31944,
              0.36196,
              0.4344,
              0.56602,
              0.8207,
              1.32496
            ],
            [
              0.28827,
              0.32351,
              0.3493,
              0.39177,
              0.46413,
              0.59566,
              0.85015,
              1.35635
            ],
            [
              0.32749,
              0.36406,
              0.3904,
              0.43326,
              0.50585,
              0.63739,
              0.89209,
              1.39729
            ],
            [
              0.37535,
              0.41392,
              0.44148,
              0.48582,
              0.55962,
              0.69192,
              0.94672,
              1.45212
            ],
            [
              0.43277,
              0.47387,
              0.50297,
              0.54927,
              0.62497,
              0.75877,
              1.01367,
              1.51967
            ],
            [
              0.4993,
              0.5437,
              0.5749,
              0.6237,
              0.702,
              0.8376,
              1.0936,
              1.5993
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.09868,
              0.12392,
              0.14228,
              0.17187,
              0.21974,
              0.30119,
              0.44576,
              0.7251
            ],
            [
              0.09872,
              0.12392,
              0.14226,
              0.17172,
              0.2199,
              0.30117,
              0.4457,
              0.7242
            ],
            [
              0.09871,
              0.12388,
              0.1423,
              0.17172,
              0.21957,
              0.30072,
              0.44605,
              0.7248
            ],
            [
              0.09871,
              0.12389,
              0.1423,
              0.17171,
              0.21977,
              0.3011,
              0.4458,
              0.7248
            ],
            [
              0.0987,
              0.1239,
              0.14227,
              0.17171,
              0.21982,
              0.30117,
              0.446,
              0.7249
            ],
            [
              0.09874,
              0.12391,
              0.14233,
              0.1718,
              0.21962,
              0.30086,
              0.4457,
              0.725
            ],
            [
              0.09873,
              0.1239,
              0.14222,
              0.17171,
              0.21975,
              0.3012,
              0.4459,
              0.7244
            ],
            [
              0.09875,
              0.12392,
              0.14228,
              0.17177,
              0.2198,
              0.3013,
              0.4461,
              0.724
            ],
            [
              0.0987,
              0.1239,
              0.1425,
              0.1719,
              0.2197,
              0.3009,
              0.4459,
              0.724
            ],
            [
              0.0988,
              0.124,
              0.1426,
              0.1719,
              0.2197,
              0.301,
              0.446,
              0.7249
            ],
            [
              0.0987,
              0.1241,
              0.1424,
              0.172,
              0.2199,
              0.3014,
              0.4462,
              0.7243
            ],
            [
              0.0988,
              0.124,
              0.1424,
              0.172,
              0.2201,
              0.3011,
              0.4464,
              0.7251
            ],
            [
              0.1066,
              0.1317,
              0.1497,
              0.1783,
              0.225,
              0.305,
              0.4483,
              0.7267
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.04253,
              0.07048,
              0.09359,
              0.13671,
              0.22291,
              0.39841,
              0.7628,
              1.49228
            ],
            [
              0.04256,
              0.07038,
              0.09351,
              0.13684,
              0.2227,
              0.3986,
              0.76296,
              1.49245
            ],
            [
              0.04259,
              0.07043,
              0.09355,
              0.13687,
              0.22297,
              0.39824,
              0.76216,
              1.49133
            ],
            [
              0.04262,
              0.07045,
              0.09352,
              0.13671,
              0.22244,
              0.39824,
              0.76179,
              1.49165
            ],
            [
              0.04266,
              0.0706,
              0.09354,
              0.13688,
              0.2224,
              0.39835,
              0.76131,
              1.49224
            ],
            [
              0.04275,
              0.07063,
              0.09373,
              0.13691,
              0.22252,
              0.39835,
              0.76118,
              1.49239
            ],
            [
              0.04281,
              0.07077,
              0.09379,
              0.13698,
              0.22283,
              0.39928,
              0.76087,
              1.49505
            ],
            [
              0.04288,
              0.07078,
              0.09395,
              0.13693,
              0.22264,
              0.3986,
              0.76082,
              1.49263
            ],
            [
              0.04329,
              0.07109,
              0.09415,
              0.13737,
              0.22351,
              0.3994,
              0.76291,
              1.49353
            ],
            [
              0.04602,
              0.07395,
              0.09668,
              0.13901,
              0.22366,
              0.39959,
              0.76298,
              1.4928
            ],
            [
              0.04963,
              0.07836,
              0.1013,
              0.14372,
              0.2273,
              0.4007,
              0.7623,
              1.4926
            ],
            [
              0.0544,
              0.0845,
              0.1076,
              0.1501,
              0.2329,
              0.4043,
              0.7615,
              1.493
            ],
            [
              0.0612,
              0.0927,
              0.1165,
              0.1586,
              0.2404,
              0.4098,
              0.7643,
              1.4925
            ]
          ]
        },
        "sdf_cond": "(!A&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.71651,
              0.75172,
              0.77647,
              0.81428,
              0.86952,
              0.95187,
              1.08797,
              1.32387
            ],
            [
              0.72012,
              0.75536,
              0.78012,
              0.81796,
              0.87322,
              0.95558,
              1.09174,
              1.32774
            ],
            [
              0.72441,
              0.75964,
              0.78441,
              0.82224,
              0.87751,
              0.95988,
              1.09602,
              1.33192
            ],
            [
              0.73052,
              0.76572,
              0.79048,
              0.82834,
              0.88365,
              0.96603,
              1.10218,
              1.33808
            ],
            [
              0.7385,
              0.77373,
              0.79848,
              0.83635,
              0.89171,
              0.97411,
              1.11021,
              1.34611
            ],
            [
              0.74897,
              0.78418,
              0.80894,
              0.84681,
              0.9022,
              0.98462,
              1.12072,
              1.35662
            ],
            [
              0.76293,
              0.79814,
              0.82288,
              0.86076,
              0.91613,
              0.99863,
              1.13473,
              1.37073
            ],
            [
              0.78216,
              0.81735,
              0.84206,
              0.87996,
              0.93536,
              1.01776,
              1.15396,
              1.39006
            ],
            [
              0.80945,
              0.84455,
              0.86935,
              0.90715,
              0.96245,
              1.04485,
              1.18115,
              1.41735
            ],
            [
              0.84909,
              0.88409,
              0.90869,
              0.94639,
              1.00159,
              1.08399,
              1.22029,
              1.45659
            ],
            [
              0.90392,
              0.93842,
              0.96272,
              1.00002,
              1.05492,
              1.13712,
              1.27352,
              1.50972
            ],
            [
              0.97417,
              1.00797,
              1.03187,
              1.06857,
              1.12267,
              1.20447,
              1.34077,
              1.57687
            ],
            [
              1.0628,
              1.0955,
              1.1186,
              1.1542,
              1.2069,
              1.2873,
              1.4226,
              1.6582
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.93081,
              0.96595,
              0.98954,
              1.02577,
              1.08697,
              1.20757,
              1.45457,
              1.95467
            ],
            [
              0.93262,
              0.96777,
              0.99134,
              1.02764,
              1.08884,
              1.20954,
              1.45614,
              1.95614
            ],
            [
              0.93485,
              0.96998,
              0.99362,
              1.02992,
              1.09102,
              1.21182,
              1.45842,
              1.95842
            ],
            [
              0.93827,
              0.97347,
              0.99708,
              1.03338,
              1.09448,
              1.21518,
              1.46188,
              1.96188
            ],
            [
              0.94376,
              0.97891,
              1.00251,
              1.03881,
              1.09991,
              1.22061,
              1.46781,
              1.96731
            ],
            [
              0.95232,
              0.98742,
              1.01102,
              1.04732,
              1.10852,
              1.22922,
              1.47602,
              1.97572
            ],
            [
              0.96593,
              1.00103,
              1.02463,
              1.06083,
              1.12213,
              1.24293,
              1.48993,
              1.98953
            ],
            [
              0.98756,
              1.02266,
              1.04616,
              1.08246,
              1.14366,
              1.26446,
              1.51106,
              2.01106
            ],
            [
              1.02185,
              1.05685,
              1.08045,
              1.11665,
              1.17775,
              1.29865,
              1.54525,
              2.04515
            ],
            [
              1.07579,
              1.11089,
              1.13439,
              1.17059,
              1.23179,
              1.35249,
              1.59949,
              2.09899
            ],
            [
              1.15992,
              1.19492,
              1.21852,
              1.25472,
              1.31592,
              1.43672,
              1.68342,
              2.18322
            ],
            [
              1.28927,
              1.32427,
              1.34787,
              1.38407,
              1.44537,
              1.56607,
              1.81287,
              2.31277
            ],
            [
              1.4817,
              1.5163,
              1.5395,
              1.5753,
              1.6361,
              1.7565,
              2.0029,
              2.5025
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.07083,
              0.09233,
              0.10809,
              0.13408,
              0.17837,
              0.2543,
              0.39384,
              0.6743
            ],
            [
              0.07085,
              0.09234,
              0.10809,
              0.13405,
              0.17822,
              0.25409,
              0.39404,
              0.6753
            ],
            [
              0.07085,
              0.09232,
              0.10813,
              0.13406,
              0.17825,
              0.25425,
              0.39392,
              0.6751
            ],
            [
              0.07087,
              0.09235,
              0.10814,
              0.13416,
              0.17832,
              0.25429,
              0.39397,
              0.6752
            ],
            [
              0.07087,
              0.09254,
              0.10819,
              0.1341,
              0.17838,
              0.25418,
              0.39385,
              0.675
            ],
            [
              0.07088,
              0.09243,
              0.10817,
              0.13418,
              0.17849,
              0.25441,
              0.394,
              0.6744
            ],
            [
              0.07096,
              0.09247,
              0.10823,
              0.1342,
              0.17849,
              0.25449,
              0.3941,
              0.6744
            ],
            [
              0.07099,
              0.09251,
              0.10827,
              0.13432,
              0.1787,
              0.2546,
              0.3945,
              0.6755
            ],
            [
              0.0709,
              0.0927,
              0.1083,
              0.1343,
              0.1786,
              0.2543,
              0.3945,
              0.6761
            ],
            [
              0.0711,
              0.0925,
              0.1083,
              0.1344,
              0.1788,
              0.2543,
              0.3945,
              0.6761
            ],
            [
              0.0711,
              0.0927,
              0.1084,
              0.1345,
              0.1785,
              0.2547,
              0.3944,
              0.6755
            ],
            [
              0.0713,
              0.0928,
              0.1086,
              0.1345,
              0.1788,
              0.2544,
              0.3945,
              0.676
            ],
            [
              0.0704,
              0.0918,
              0.1076,
              0.1336,
              0.1775,
              0.2535,
              0.393,
              0.6755
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05746,
              0.08752,
              0.11105,
              0.15407,
              0.23623,
              0.4054,
              0.7611,
              1.4902
            ],
            [
              0.05742,
              0.08756,
              0.1112,
              0.1541,
              0.23675,
              0.4062,
              0.7611,
              1.4891
            ],
            [
              0.05741,
              0.08743,
              0.11111,
              0.15432,
              0.2362,
              0.4062,
              0.7604,
              1.4897
            ],
            [
              0.05739,
              0.08742,
              0.11112,
              0.15439,
              0.2361,
              0.4057,
              0.762,
              1.4889
            ],
            [
              0.05741,
              0.08751,
              0.11106,
              0.1541,
              0.2362,
              0.4053,
              0.7619,
              1.4883
            ],
            [
              0.05741,
              0.0874,
              0.1112,
              0.1541,
              0.2361,
              0.4055,
              0.7618,
              1.4885
            ],
            [
              0.0574,
              0.0875,
              0.1111,
              0.1542,
              0.2361,
              0.4061,
              0.7613,
              1.4894
            ],
            [
              0.0573,
              0.0874,
              0.1111,
              0.1541,
              0.2363,
              0.4062,
              0.7605,
              1.4895
            ],
            [
              0.0574,
              0.0875,
              0.1111,
              0.1542,
              0.2361,
              0.4058,
              0.7606,
              1.4902
            ],
            [
              0.0574,
              0.0874,
              0.111,
              0.1542,
              0.2363,
              0.406,
              0.7619,
              1.4882
            ],
            [
              0.0574,
              0.0876,
              0.111,
              0.1542,
              0.2363,
              0.4061,
              0.7617,
              1.489
            ],
            [
              0.0575,
              0.0876,
              0.1112,
              0.1542,
              0.2362,
              0.4057,
              0.7613,
              1.489
            ],
            [
              0.0578,
              0.088,
              0.1118,
              0.1547,
              0.2365,
              0.4058,
              0.7619,
              1.4897
            ]
          ]
        },
        "sdf_cond": "(!A&CIN)",
        "timing_sense": "negative_unate",
        "when": "(!A&CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.67979,
              0.7154,
              0.7413,
              0.78185,
              0.84148,
              0.93091,
              1.07587,
              1.32027
            ],
            [
              0.68255,
              0.71815,
              0.74402,
              0.78456,
              0.84418,
              0.93369,
              1.07854,
              1.32294
            ],
            [
              0.6858,
              0.72141,
              0.74728,
              0.78782,
              0.84745,
              0.93689,
              1.08192,
              1.32622
            ],
            [
              0.69066,
              0.72627,
              0.75213,
              0.79268,
              0.85232,
              0.94183,
              1.08678,
              1.33108
            ],
            [
              0.69789,
              0.7335,
              0.75936,
              0.7999,
              0.85956,
              0.94903,
              1.09391,
              1.33841
            ],
            [
              0.70861,
              0.74421,
              0.7701,
              0.81063,
              0.87026,
              0.95972,
              1.10472,
              1.34912
            ],
            [
              0.72452,
              0.76014,
              0.78601,
              0.82652,
              0.88617,
              0.97563,
              1.12053,
              1.36493
            ],
            [
              0.7483,
              0.78392,
              0.80978,
              0.85026,
              0.90986,
              0.99936,
              1.14426,
              1.38866
            ],
            [
              0.78375,
              0.81935,
              0.84515,
              0.88565,
              0.94525,
              1.03465,
              1.17955,
              1.42405
            ],
            [
              0.83559,
              0.87109,
              0.89689,
              0.93739,
              0.99689,
              1.08629,
              1.23119,
              1.47559
            ],
            [
              0.90622,
              0.94092,
              0.96642,
              1.00662,
              1.06592,
              1.15522,
              1.30012,
              1.54452
            ],
            [
              0.99527,
              1.02867,
              1.05347,
              1.09267,
              1.15127,
              1.24027,
              1.38497,
              1.62927
            ],
            [
              1.1027,
              1.1345,
              1.1583,
              1.1963,
              1.2534,
              1.3412,
              1.4855,
              1.7295
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.93056,
              0.96402,
              0.98675,
              1.02187,
              1.08087,
              1.19957,
              1.44607,
              1.94657
            ],
            [
              0.93317,
              0.96665,
              0.98944,
              1.02464,
              1.08364,
              1.20234,
              1.44874,
              1.94914
            ],
            [
              0.93624,
              0.96974,
              0.99252,
              1.02772,
              1.08672,
              1.20532,
              1.45182,
              1.95222
            ],
            [
              0.94088,
              0.97437,
              0.99718,
              1.03238,
              1.09127,
              1.20988,
              1.45647,
              1.95688
            ],
            [
              0.94796,
              0.98141,
              1.00421,
              1.03941,
              1.09851,
              1.21701,
              1.46361,
              1.96411
            ],
            [
              0.95852,
              0.99202,
              1.01472,
              1.05002,
              1.10912,
              1.22762,
              1.47432,
              1.97472
            ],
            [
              0.97383,
              1.00733,
              1.03003,
              1.06523,
              1.12423,
              1.24283,
              1.48963,
              1.98983
            ],
            [
              0.99536,
              1.02876,
              1.05156,
              1.08676,
              1.14576,
              1.26436,
              1.51126,
              2.01156
            ],
            [
              1.02585,
              1.05925,
              1.08195,
              1.11715,
              1.17615,
              1.29475,
              1.54125,
              2.04175
            ],
            [
              1.07009,
              1.10349,
              1.12619,
              1.16139,
              1.22049,
              1.33909,
              1.58559,
              2.08639
            ],
            [
              1.13582,
              1.16922,
              1.19192,
              1.22712,
              1.28612,
              1.40492,
              1.65152,
              2.15222
            ],
            [
              1.23307,
              1.26647,
              1.28907,
              1.32417,
              1.38327,
              1.50207,
              1.74887,
              2.24947
            ],
            [
              1.3693,
              1.4022,
              1.4246,
              1.4591,
              1.5172,
              1.635,
              1.8809,
              2.381
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.0696,
              0.09373,
              0.11208,
              0.1421,
              0.19062,
              0.26977,
              0.41143,
              0.6898
            ],
            [
              0.06962,
              0.09373,
              0.11205,
              0.14209,
              0.19085,
              0.26947,
              0.41147,
              0.69
            ],
            [
              0.06972,
              0.09372,
              0.11207,
              0.14209,
              0.19064,
              0.26952,
              0.41149,
              0.6904
            ],
            [
              0.06971,
              0.09372,
              0.11201,
              0.14234,
              0.19083,
              0.2696,
              0.41149,
              0.6902
            ],
            [
              0.06971,
              0.09371,
              0.11201,
              0.14229,
              0.19054,
              0.26974,
              0.41147,
              0.6908
            ],
            [
              0.06958,
              0.09372,
              0.11205,
              0.14209,
              0.19084,
              0.26939,
              0.41147,
              0.6905
            ],
            [
              0.06961,
              0.09369,
              0.11205,
              0.14209,
              0.19086,
              0.26966,
              0.4114,
              0.6902
            ],
            [
              0.06959,
              0.09366,
              0.1121,
              0.14206,
              0.19059,
              0.2694,
              0.4115,
              0.6903
            ],
            [
              0.06956,
              0.0937,
              0.112,
              0.1421,
              0.1906,
              0.2698,
              0.4116,
              0.6902
            ],
            [
              0.0696,
              0.0936,
              0.1121,
              0.1422,
              0.1909,
              0.2694,
              0.4116,
              0.69
            ],
            [
              0.0697,
              0.0936,
              0.1121,
              0.1422,
              0.1909,
              0.2696,
              0.4115,
              0.6902
            ],
            [
              0.0699,
              0.0939,
              0.1122,
              0.1425,
              0.1907,
              0.2695,
              0.4114,
              0.6901
            ],
            [
              0.0699,
              0.0939,
              0.1123,
              0.1423,
              0.191,
              0.2695,
              0.4113,
              0.6912
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05395,
              0.08279,
              0.10576,
              0.14829,
              0.23189,
              0.4039,
              0.7617,
              1.4942
            ],
            [
              0.05395,
              0.08282,
              0.10567,
              0.1482,
              0.23214,
              0.4041,
              0.7626,
              1.4914
            ],
            [
              0.05393,
              0.08281,
              0.10575,
              0.14817,
              0.2319,
              0.404,
              0.7626,
              1.4907
            ],
            [
              0.05394,
              0.08281,
              0.10575,
              0.14822,
              0.2316,
              0.4037,
              0.7619,
              1.4922
            ],
            [
              0.05396,
              0.08281,
              0.10566,
              0.1482,
              0.2322,
              0.4038,
              0.762,
              1.4925
            ],
            [
              0.0539,
              0.0829,
              0.1055,
              0.1482,
              0.2314,
              0.4036,
              0.7618,
              1.4907
            ],
            [
              0.0539,
              0.0827,
              0.1056,
              0.1482,
              0.2318,
              0.4039,
              0.7633,
              1.4894
            ],
            [
              0.0539,
              0.0828,
              0.1056,
              0.1482,
              0.2316,
              0.4039,
              0.7622,
              1.4932
            ],
            [
              0.0539,
              0.0827,
              0.1055,
              0.1482,
              0.232,
              0.404,
              0.7623,
              1.4941
            ],
            [
              0.054,
              0.0829,
              0.1056,
              0.1482,
              0.2318,
              0.4038,
              0.7609,
              1.4906
            ],
            [
              0.0539,
              0.0829,
              0.1057,
              0.1483,
              0.2315,
              0.4038,
              0.7613,
              1.4921
            ],
            [
              0.0541,
              0.0831,
              0.1058,
              0.1486,
              0.2319,
              0.4042,
              0.7633,
              1.4928
            ],
            [
              0.0552,
              0.0842,
              0.1069,
              0.1493,
              0.2325,
              0.4044,
              0.7625,
              1.4924
            ]
          ]
        },
        "sdf_cond": "(A&!CIN)",
        "timing_sense": "negative_unate",
        "when": "(A&!CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.51702,
              0.55382,
              0.57958,
              0.61909,
              0.67848,
              0.76834,
              0.90974,
              1.14867
            ],
            [
              0.52001,
              0.55683,
              0.5826,
              0.62214,
              0.68153,
              0.7714,
              0.91281,
              1.15164
            ],
            [
              0.52363,
              0.56047,
              0.58623,
              0.6258,
              0.68518,
              0.77505,
              0.91646,
              1.15542
            ],
            [
              0.52911,
              0.56595,
              0.59174,
              0.63131,
              0.69071,
              0.78058,
              0.92202,
              1.16088
            ],
            [
              0.53729,
              0.57415,
              0.59994,
              0.63948,
              0.69887,
              0.78874,
              0.93015,
              1.16921
            ],
            [
              0.54921,
              0.58603,
              0.61182,
              0.65138,
              0.7108,
              0.80064,
              0.94202,
              1.18112
            ],
            [
              0.56578,
              0.60259,
              0.62837,
              0.66793,
              0.72736,
              0.81723,
              0.95863,
              1.19783
            ],
            [
              0.58854,
              0.62534,
              0.6511,
              0.69065,
              0.7501,
              0.83996,
              0.98146,
              1.22046
            ],
            [
              0.62037,
              0.65716,
              0.68293,
              0.72249,
              0.78185,
              0.87175,
              1.01305,
              1.25235
            ],
            [
              0.66649,
              0.70329,
              0.72899,
              0.76849,
              0.82789,
              0.91779,
              1.05929,
              1.29869
            ],
            [
              0.73502,
              0.77182,
              0.79762,
              0.83712,
              0.89652,
              0.98642,
              1.12792,
              1.36732
            ],
            [
              0.83587,
              0.87317,
              0.89917,
              0.93877,
              0.99827,
              1.08827,
              1.22997,
              1.46937
            ],
            [
              0.9642,
              1.0039,
              1.0316,
              1.0738,
              1.1364,
              1.2297,
              1.3741,
              1.6149
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.25713,
              0.29794,
              0.32728,
              0.37438,
              0.45179,
              0.5877,
              0.84412,
              1.35097
            ],
            [
              0.25946,
              0.30028,
              0.32963,
              0.37673,
              0.45418,
              0.59,
              0.84662,
              1.35324
            ],
            [
              0.26233,
              0.30316,
              0.33249,
              0.3796,
              0.45703,
              0.59281,
              0.84914,
              1.35622
            ],
            [
              0.26641,
              0.30723,
              0.33658,
              0.38368,
              0.46107,
              0.59698,
              0.85333,
              1.36038
            ],
            [
              0.27231,
              0.31314,
              0.34249,
              0.3896,
              0.46701,
              0.60298,
              0.85943,
              1.36631
            ],
            [
              0.28103,
              0.32186,
              0.35121,
              0.39833,
              0.47575,
              0.61173,
              0.86821,
              1.37502
            ],
            [
              0.29408,
              0.33492,
              0.36427,
              0.4114,
              0.48884,
              0.62466,
              0.88105,
              1.38813
            ],
            [
              0.3137,
              0.35455,
              0.38392,
              0.43106,
              0.50848,
              0.64451,
              0.90106,
              1.40806
            ],
            [
              0.3432,
              0.38405,
              0.41342,
              0.46054,
              0.538,
              0.67396,
              0.93075,
              1.43675
            ],
            [
              0.38607,
              0.42717,
              0.45661,
              0.50381,
              0.58134,
              0.71719,
              0.97419,
              1.47999
            ],
            [
              0.44122,
              0.48402,
              0.51452,
              0.56282,
              0.64122,
              0.77762,
              1.03462,
              1.54222
            ],
            [
              0.50927,
              0.55437,
              0.58617,
              0.63617,
              0.71627,
              0.85407,
              1.11187,
              1.61947
            ],
            [
              0.59,
              0.6381,
              0.6719,
              0.7243,
              0.8067,
              0.9464,
              1.2054,
              1.7128
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.0707,
              0.09246,
              0.10842,
              0.13454,
              0.17824,
              0.25456,
              0.396,
              0.67754
            ],
            [
              0.07071,
              0.09245,
              0.10841,
              0.13452,
              0.17824,
              0.25487,
              0.39621,
              0.67692
            ],
            [
              0.07067,
              0.09249,
              0.10843,
              0.13452,
              0.17825,
              0.2546,
              0.39594,
              0.67745
            ],
            [
              0.07069,
              0.09248,
              0.10841,
              0.13454,
              0.17829,
              0.25494,
              0.39615,
              0.6769
            ],
            [
              0.07073,
              0.09248,
              0.10841,
              0.13455,
              0.1787,
              0.25506,
              0.39621,
              0.67796
            ],
            [
              0.07074,
              0.09248,
              0.10842,
              0.13454,
              0.17859,
              0.255,
              0.39654,
              0.67842
            ],
            [
              0.0707,
              0.09249,
              0.1084,
              0.13454,
              0.1786,
              0.25485,
              0.39645,
              0.67833
            ],
            [
              0.0707,
              0.0925,
              0.10843,
              0.13458,
              0.17831,
              0.25452,
              0.39597,
              0.6775
            ],
            [
              0.07073,
              0.09246,
              0.1084,
              0.13452,
              0.1786,
              0.25488,
              0.3963,
              0.6781
            ],
            [
              0.07076,
              0.0926,
              0.1085,
              0.1348,
              0.1783,
              0.2547,
              0.3964,
              0.6783
            ],
            [
              0.0708,
              0.0925,
              0.1085,
              0.1348,
              0.1783,
              0.2549,
              0.3965,
              0.6781
            ],
            [
              0.0741,
              0.0952,
              0.1108,
              0.1366,
              0.1801,
              0.2559,
              0.3969,
              0.6771
            ],
            [
              0.0828,
              0.1051,
              0.1215,
              0.1476,
              0.1911,
              0.2655,
              0.4035,
              0.6818
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05238,
              0.08342,
              0.10779,
              0.15205,
              0.23677,
              0.41076,
              0.76874,
              1.49706
            ],
            [
              0.05238,
              0.08348,
              0.10777,
              0.15206,
              0.23739,
              0.41022,
              0.76798,
              1.49936
            ],
            [
              0.0524,
              0.08343,
              0.10782,
              0.15195,
              0.23687,
              0.41098,
              0.76898,
              1.49667
            ],
            [
              0.05238,
              0.08357,
              0.10793,
              0.15204,
              0.23678,
              0.41095,
              0.76893,
              1.49693
            ],
            [
              0.05238,
              0.0835,
              0.10794,
              0.1521,
              0.23687,
              0.4108,
              0.76879,
              1.4972
            ],
            [
              0.05242,
              0.08351,
              0.10797,
              0.15212,
              0.23687,
              0.41077,
              0.76884,
              1.49723
            ],
            [
              0.05242,
              0.08354,
              0.10803,
              0.15204,
              0.23692,
              0.41103,
              0.76898,
              1.49621
            ],
            [
              0.05243,
              0.08354,
              0.10799,
              0.1521,
              0.23693,
              0.41091,
              0.76886,
              1.49737
            ],
            [
              0.05243,
              0.08354,
              0.10785,
              0.15239,
              0.23758,
              0.41048,
              0.76856,
              1.5008
            ],
            [
              0.05381,
              0.0846,
              0.10908,
              0.15297,
              0.2376,
              0.4113,
              0.769,
              1.4983
            ],
            [
              0.05732,
              0.08875,
              0.113,
              0.1566,
              0.2406,
              0.4115,
              0.7698,
              1.5023
            ],
            [
              0.0621,
              0.0946,
              0.1192,
              0.1626,
              0.2454,
              0.4163,
              0.7702,
              1.4984
            ],
            [
              0.0692,
              0.1034,
              0.1282,
              0.1714,
              0.2528,
              0.4214,
              0.7739,
              1.5017
            ]
          ]
        },
        "sdf_cond": "(A&CIN)",
        "timing_sense": "positive_unate",
        "when": "(A&CIN)"
      },
      {
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.69504,
              0.73962,
              0.77085,
              0.81846,
              0.88913,
              0.99397,
              1.15387,
              1.41187
            ],
            [
              0.69658,
              0.7412,
              0.77245,
              0.82008,
              0.89076,
              0.99564,
              1.15524,
              1.41384
            ],
            [
              0.6983,
              0.74289,
              0.77417,
              0.8218,
              0.89251,
              0.99732,
              1.15722,
              1.41522
            ],
            [
              0.70085,
              0.74543,
              0.7767,
              0.82434,
              0.89499,
              0.99977,
              1.15968,
              1.41807
            ],
            [
              0.70488,
              0.74946,
              0.78071,
              0.82838,
              0.89902,
              1.00391,
              1.16371,
              1.42161
            ],
            [
              0.71153,
              0.75603,
              0.78728,
              0.83489,
              0.90555,
              1.01032,
              1.17022,
              1.42862
            ],
            [
              0.72255,
              0.76699,
              0.79819,
              0.84575,
              0.91643,
              1.02123,
              1.18113,
              1.43913
            ],
            [
              0.74077,
              0.78518,
              0.81635,
              0.86386,
              0.93456,
              1.03926,
              1.19896,
              1.45716
            ],
            [
              0.77065,
              0.81495,
              0.84615,
              0.89375,
              0.96435,
              1.06905,
              1.22885,
              1.48675
            ],
            [
              0.81909,
              0.86349,
              0.89459,
              0.94209,
              1.01269,
              1.11739,
              1.27719,
              1.53509
            ],
            [
              0.89612,
              0.94052,
              0.97162,
              1.01912,
              1.08962,
              1.19432,
              1.35412,
              1.61252
            ],
            [
              1.01667,
              1.06097,
              1.09217,
              1.13957,
              1.21007,
              1.31467,
              1.47447,
              1.73297
            ],
            [
              1.1992,
              1.244,
              1.2751,
              1.3226,
              1.3929,
              1.4975,
              1.6574,
              1.9159
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.18541,
              0.22217,
              0.24896,
              0.29275,
              0.36642,
              0.49849,
              0.75261,
              1.25857
            ],
            [
              0.18866,
              0.22543,
              0.25224,
              0.29603,
              0.36973,
              0.50188,
              0.756,
              1.26184
            ],
            [
              0.19229,
              0.22908,
              0.25588,
              0.29968,
              0.3734,
              0.50556,
              0.75961,
              1.26562
            ],
            [
              0.19739,
              0.2342,
              0.26101,
              0.30484,
              0.37861,
              0.51079,
              0.76502,
              1.27058
            ],
            [
              0.20431,
              0.24114,
              0.26796,
              0.31179,
              0.38546,
              0.51776,
              0.77171,
              1.27681
            ],
            [
              0.2139,
              0.25074,
              0.27758,
              0.32143,
              0.39524,
              0.52751,
              0.78158,
              1.28712
            ],
            [
              0.22748,
              0.26435,
              0.29121,
              0.33504,
              0.40885,
              0.54109,
              0.7957,
              1.30023
            ],
            [
              0.2471,
              0.28394,
              0.31076,
              0.35455,
              0.42831,
              0.56055,
              0.81481,
              1.32056
            ],
            [
              0.27476,
              0.31184,
              0.33869,
              0.38247,
              0.45623,
              0.5884,
              0.84315,
              1.34895
            ],
            [
              0.30899,
              0.348,
              0.37597,
              0.42078,
              0.49492,
              0.62762,
              0.88239,
              1.38749
            ],
            [
              0.35207,
              0.39235,
              0.42153,
              0.46812,
              0.54442,
              0.67842,
              0.93322,
              1.43882
            ],
            [
              0.40397,
              0.44607,
              0.47657,
              0.52517,
              0.60357,
              0.73957,
              0.99567,
              1.50167
            ],
            [
              0.4632,
              0.5086,
              0.5407,
              0.5918,
              0.6732,
              0.8114,
              1.0691,
              1.5757
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.09859,
              0.1239,
              0.14205,
              0.17147,
              0.21947,
              0.30069,
              0.44539,
              0.7239
            ],
            [
              0.09856,
              0.12372,
              0.14203,
              0.17147,
              0.21954,
              0.30066,
              0.44579,
              0.7245
            ],
            [
              0.09849,
              0.1237,
              0.14199,
              0.17143,
              0.21944,
              0.30072,
              0.44531,
              0.7244
            ],
            [
              0.0985,
              0.12363,
              0.142,
              0.17142,
              0.2194,
              0.30035,
              0.44567,
              0.7231
            ],
            [
              0.09847,
              0.12362,
              0.14186,
              0.17156,
              0.21918,
              0.30025,
              0.44542,
              0.7233
            ],
            [
              0.09846,
              0.12361,
              0.14195,
              0.17144,
              0.21949,
              0.30077,
              0.4453,
              0.7233
            ],
            [
              0.09842,
              0.12356,
              0.14193,
              0.17134,
              0.21944,
              0.3007,
              0.4451,
              0.7234
            ],
            [
              0.0984,
              0.12356,
              0.14187,
              0.17131,
              0.21929,
              0.3005,
              0.4452,
              0.724
            ],
            [
              0.09835,
              0.12355,
              0.1421,
              0.1712,
              0.2193,
              0.3004,
              0.4451,
              0.7242
            ],
            [
              0.0984,
              0.1236,
              0.1419,
              0.1713,
              0.2192,
              0.3005,
              0.4452,
              0.723
            ],
            [
              0.0983,
              0.1235,
              0.1421,
              0.1712,
              0.219,
              0.3001,
              0.4449,
              0.724
            ],
            [
              0.0982,
              0.1234,
              0.1418,
              0.1711,
              0.2191,
              0.3005,
              0.445,
              0.7239
            ],
            [
              0.1035,
              0.1279,
              0.1455,
              0.174,
              0.2214,
              0.3017,
              0.4461,
              0.7241
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.04457,
              0.073,
              0.09627,
              0.13958,
              0.22466,
              0.40011,
              0.76226,
              1.49403
            ],
            [
              0.04458,
              0.0731,
              0.0963,
              0.13942,
              0.22496,
              0.40023,
              0.76232,
              1.49507
            ],
            [
              0.04464,
              0.07301,
              0.09633,
              0.13953,
              0.22497,
              0.40023,
              0.76241,
              1.49477
            ],
            [
              0.04463,
              0.07302,
              0.09653,
              0.13969,
              0.22535,
              0.40026,
              0.76208,
              1.49611
            ],
            [
              0.04467,
              0.07309,
              0.09638,
              0.13962,
              0.22534,
              0.40028,
              0.76231,
              1.49144
            ],
            [
              0.04469,
              0.07311,
              0.09656,
              0.13971,
              0.22553,
              0.40015,
              0.76243,
              1.49067
            ],
            [
              0.04477,
              0.07328,
              0.09649,
              0.13988,
              0.22556,
              0.39997,
              0.75984,
              1.49112
            ],
            [
              0.04465,
              0.0733,
              0.09654,
              0.13993,
              0.22578,
              0.40039,
              0.76216,
              1.49155
            ],
            [
              0.04583,
              0.07394,
              0.09717,
              0.1403,
              0.22589,
              0.40043,
              0.76187,
              1.49709
            ],
            [
              0.04797,
              0.07791,
              0.10118,
              0.14349,
              0.22753,
              0.40109,
              0.76032,
              1.4927
            ],
            [
              0.05059,
              0.08184,
              0.10597,
              0.14911,
              0.23197,
              0.4043,
              0.7622,
              1.4958
            ],
            [
              0.0554,
              0.0871,
              0.1118,
              0.1557,
              0.2385,
              0.4095,
              0.7644,
              1.4919
            ],
            [
              0.0625,
              0.0951,
              0.1204,
              0.1647,
              0.2468,
              0.415,
              0.7687,
              1.4936
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.70982,
              0.74503,
              0.76979,
              0.80768,
              0.86302,
              0.94544,
              1.08167,
              1.31787
            ],
            [
              0.71276,
              0.74793,
              0.77269,
              0.81057,
              0.86593,
              0.94837,
              1.08464,
              1.32064
            ],
            [
              0.71611,
              0.7513,
              0.77607,
              0.81401,
              0.86929,
              0.95172,
              1.08792,
              1.32412
            ],
            [
              0.7212,
              0.75641,
              0.78117,
              0.81905,
              0.87443,
              0.95688,
              1.09308,
              1.32927
            ],
            [
              0.72862,
              0.76383,
              0.7886,
              0.82648,
              0.88185,
              0.96431,
              1.10051,
              1.33671
            ],
            [
              0.73964,
              0.77484,
              0.79959,
              0.83747,
              0.89287,
              0.97532,
              1.11152,
              1.34782
            ],
            [
              0.75555,
              0.79073,
              0.81547,
              0.85332,
              0.90873,
              0.99113,
              1.12733,
              1.36363
            ],
            [
              0.7787,
              0.81386,
              0.83856,
              0.87636,
              0.93176,
              1.01416,
              1.15046,
              1.38656
            ],
            [
              0.81255,
              0.84765,
              0.87235,
              0.91015,
              0.96545,
              1.04785,
              1.18415,
              1.42035
            ],
            [
              0.86109,
              0.89599,
              0.92059,
              0.95829,
              1.01339,
              1.09579,
              1.23209,
              1.46839
            ],
            [
              0.92652,
              0.96042,
              0.98462,
              1.02182,
              1.07662,
              1.15892,
              1.29522,
              1.53142
            ],
            [
              1.00897,
              1.04157,
              1.06487,
              1.10117,
              1.15497,
              1.23687,
              1.37297,
              1.60907
            ],
            [
              1.1069,
              1.137,
              1.1589,
              1.1935,
              1.2455,
              1.3262,
              1.4624,
              1.6987
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.89208,
              0.92538,
              0.94806,
              0.98332,
              1.04267,
              1.16157,
              1.40787,
              1.90797
            ],
            [
              0.8944,
              0.92772,
              0.95039,
              0.98564,
              1.04494,
              1.16394,
              1.41024,
              1.91014
            ],
            [
              0.89702,
              0.93035,
              0.95304,
              0.98832,
              1.04762,
              1.16662,
              1.41292,
              1.91282
            ],
            [
              0.90097,
              0.93429,
              0.957,
              0.99228,
              1.05158,
              1.17068,
              1.41708,
              1.91667
            ],
            [
              0.90704,
              0.94034,
              0.96301,
              0.99831,
              1.05761,
              1.17671,
              1.42301,
              1.92301
            ],
            [
              0.91648,
              0.94972,
              0.97242,
              1.00762,
              1.06712,
              1.18612,
              1.43242,
              1.93232
            ],
            [
              0.93113,
              0.96443,
              0.98713,
              1.02233,
              1.08173,
              1.20073,
              1.44713,
              1.94683
            ],
            [
              0.95406,
              0.98726,
              1.00996,
              1.04516,
              1.10456,
              1.22356,
              1.46986,
              1.96986
            ],
            [
              0.98975,
              1.02295,
              1.04565,
              1.08085,
              1.14015,
              1.25925,
              1.50575,
              2.00535
            ],
            [
              1.04509,
              1.07829,
              1.10099,
              1.13619,
              1.19549,
              1.31449,
              1.56079,
              2.06089
            ],
            [
              1.13042,
              1.16362,
              1.18622,
              1.22142,
              1.28092,
              1.40002,
              1.64622,
              2.14612
            ],
            [
              1.25997,
              1.29317,
              1.31587,
              1.35097,
              1.41047,
              1.52947,
              1.77597,
              2.27597
            ],
            [
              1.4501,
              1.4826,
              1.5047,
              1.5391,
              1.5979,
              1.7165,
              1.9626,
              2.4626
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.07103,
              0.09251,
              0.10833,
              0.13431,
              0.17866,
              0.2546,
              0.39468,
              0.6752
            ],
            [
              0.07098,
              0.09254,
              0.10835,
              0.13437,
              0.17862,
              0.25477,
              0.39444,
              0.6747
            ],
            [
              0.07103,
              0.09255,
              0.10826,
              0.13433,
              0.17865,
              0.25457,
              0.39447,
              0.6752
            ],
            [
              0.071,
              0.09254,
              0.10832,
              0.13428,
              0.17871,
              0.25444,
              0.39423,
              0.6751
            ],
            [
              0.07103,
              0.09255,
              0.10825,
              0.13425,
              0.1785,
              0.25459,
              0.39425,
              0.6753
            ],
            [
              0.07103,
              0.09254,
              0.10824,
              0.13444,
              0.17863,
              0.25462,
              0.3944,
              0.6762
            ],
            [
              0.07103,
              0.09255,
              0.10824,
              0.1343,
              0.17849,
              0.2546,
              0.3942,
              0.6761
            ],
            [
              0.07103,
              0.09253,
              0.10829,
              0.13428,
              0.1784,
              0.2547,
              0.3943,
              0.6756
            ],
            [
              0.0711,
              0.0926,
              0.1083,
              0.1344,
              0.1788,
              0.2546,
              0.3943,
              0.675
            ],
            [
              0.0711,
              0.0926,
              0.1084,
              0.1346,
              0.1788,
              0.2545,
              0.3945,
              0.6759
            ],
            [
              0.0711,
              0.0926,
              0.1084,
              0.1344,
              0.1786,
              0.2546,
              0.3946,
              0.6763
            ],
            [
              0.0712,
              0.0927,
              0.1085,
              0.1344,
              0.1788,
              0.2546,
              0.3945,
              0.6755
            ],
            [
              0.0703,
              0.0915,
              0.1074,
              0.1338,
              0.1788,
              0.2555,
              0.3958,
              0.6773
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05322,
              0.08249,
              0.10565,
              0.14875,
              0.23215,
              0.4036,
              0.7618,
              1.4904
            ],
            [
              0.05323,
              0.08246,
              0.10576,
              0.14858,
              0.23257,
              0.404,
              0.7611,
              1.4915
            ],
            [
              0.05322,
              0.08245,
              0.10579,
              0.14861,
              0.23258,
              0.4041,
              0.7612,
              1.4901
            ],
            [
              0.05321,
              0.08243,
              0.10573,
              0.14882,
              0.2321,
              0.4042,
              0.7619,
              1.4938
            ],
            [
              0.05321,
              0.08249,
              0.10569,
              0.14868,
              0.23253,
              0.404,
              0.7618,
              1.4887
            ],
            [
              0.05317,
              0.08248,
              0.10571,
              0.1487,
              0.2322,
              0.4041,
              0.761,
              1.4901
            ],
            [
              0.0532,
              0.0825,
              0.1057,
              0.1487,
              0.2321,
              0.4042,
              0.7629,
              1.4883
            ],
            [
              0.0532,
              0.0825,
              0.1057,
              0.1488,
              0.2327,
              0.4041,
              0.7617,
              1.4906
            ],
            [
              0.0533,
              0.0825,
              0.1057,
              0.1485,
              0.2322,
              0.4041,
              0.7617,
              1.4937
            ],
            [
              0.0533,
              0.0825,
              0.1058,
              0.1486,
              0.232,
              0.4036,
              0.7615,
              1.4904
            ],
            [
              0.0533,
              0.0826,
              0.1058,
              0.1487,
              0.2325,
              0.4043,
              0.7626,
              1.4904
            ],
            [
              0.0535,
              0.0828,
              0.106,
              0.1489,
              0.2324,
              0.4038,
              0.7623,
              1.4905
            ],
            [
              0.0541,
              0.0834,
              0.1066,
              0.1495,
              0.2334,
              0.4039,
              0.7612,
              1.4943
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.72132,
              0.75647,
              0.78126,
              0.81916,
              0.87428,
              0.95675,
              1.09377,
              1.33077
            ],
            [
              0.72416,
              0.75932,
              0.78409,
              0.82199,
              0.8771,
              0.95958,
              1.09664,
              1.33374
            ],
            [
              0.72755,
              0.7627,
              0.78748,
              0.82536,
              0.88048,
              0.96296,
              1.10002,
              1.33712
            ],
            [
              0.73252,
              0.76767,
              0.79244,
              0.83032,
              0.88545,
              0.96798,
              1.10498,
              1.34208
            ],
            [
              0.73989,
              0.77503,
              0.79979,
              0.83769,
              0.89278,
              0.97531,
              1.11241,
              1.34951
            ],
            [
              0.75074,
              0.78586,
              0.81062,
              0.84849,
              0.9036,
              0.98612,
              1.12312,
              1.36022
            ],
            [
              0.76657,
              0.80169,
              0.82643,
              0.8643,
              0.91943,
              1.00183,
              1.13893,
              1.37613
            ],
            [
              0.7898,
              0.82491,
              0.84966,
              0.88746,
              0.94246,
              1.02496,
              1.16206,
              1.39896
            ],
            [
              0.82375,
              0.85875,
              0.88345,
              0.92125,
              0.97625,
              1.05875,
              1.19585,
              1.43295
            ],
            [
              0.87299,
              0.90799,
              0.93259,
              0.97029,
              1.02519,
              1.10759,
              1.24479,
              1.48179
            ],
            [
              0.94082,
              0.97502,
              0.99932,
              1.03662,
              1.09122,
              1.17362,
              1.31082,
              1.54792
            ],
            [
              1.02727,
              1.05997,
              1.08347,
              1.11987,
              1.17367,
              1.25567,
              1.39287,
              1.62987
            ],
            [
              1.1333,
              1.1638,
              1.1859,
              1.2207,
              1.2725,
              1.3532,
              1.4898,
              1.7266
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.89213,
              0.9259,
              0.94868,
              0.98384,
              1.04277,
              1.16127,
              1.40757,
              1.90807
            ],
            [
              0.89449,
              0.92823,
              0.95103,
              0.98624,
              1.04514,
              1.16364,
              1.41004,
              1.91074
            ],
            [
              0.89709,
              0.93085,
              0.95368,
              0.98882,
              1.04782,
              1.16632,
              1.41272,
              1.91352
            ],
            [
              0.90102,
              0.93481,
              0.95761,
              0.99277,
              1.05168,
              1.17028,
              1.41667,
              1.91708
            ],
            [
              0.90704,
              0.94081,
              0.96361,
              0.99881,
              1.05781,
              1.17621,
              1.42301,
              1.92331
            ],
            [
              0.91632,
              0.95012,
              0.97292,
              1.00802,
              1.06702,
              1.18562,
              1.43202,
              1.93242
            ],
            [
              0.93083,
              0.96453,
              0.98733,
              1.02253,
              1.08133,
              1.20003,
              1.44643,
              1.94683
            ],
            [
              0.95346,
              0.98726,
              1.00996,
              1.04516,
              1.10396,
              1.22246,
              1.46916,
              1.96946
            ],
            [
              0.98885,
              1.02255,
              1.04535,
              1.08045,
              1.13935,
              1.25785,
              1.50455,
              2.00475
            ],
            [
              1.04379,
              1.07749,
              1.10019,
              1.13539,
              1.19419,
              1.31289,
              1.55919,
              2.05959
            ],
            [
              1.12842,
              1.16212,
              1.18492,
              1.22002,
              1.27902,
              1.39742,
              1.64402,
              2.14472
            ],
            [
              1.25717,
              1.29087,
              1.31357,
              1.34867,
              1.40757,
              1.52607,
              1.77267,
              2.27337
            ],
            [
              1.4449,
              1.4777,
              1.4999,
              1.5342,
              1.5922,
              1.7101,
              1.9561,
              2.4561
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.07096,
              0.09274,
              0.1089,
              0.13549,
              0.18043,
              0.25688,
              0.39724,
              0.6773
            ],
            [
              0.07097,
              0.09276,
              0.10884,
              0.13533,
              0.18051,
              0.25657,
              0.39744,
              0.6783
            ],
            [
              0.07097,
              0.0929,
              0.10883,
              0.13538,
              0.1805,
              0.25696,
              0.39673,
              0.6778
            ],
            [
              0.07097,
              0.0929,
              0.10884,
              0.13545,
              0.18048,
              0.25664,
              0.39742,
              0.6782
            ],
            [
              0.07097,
              0.09272,
              0.10879,
              0.13544,
              0.18051,
              0.25663,
              0.39731,
              0.6786
            ],
            [
              0.07097,
              0.0929,
              0.10884,
              0.13534,
              0.18049,
              0.25694,
              0.3967,
              0.6779
            ],
            [
              0.07097,
              0.09274,
              0.10879,
              0.13538,
              0.18041,
              0.25695,
              0.3972,
              0.6787
            ],
            [
              0.07096,
              0.09276,
              0.10889,
              0.13535,
              0.1804,
              0.2568,
              0.3971,
              0.6775
            ],
            [
              0.071,
              0.0928,
              0.1088,
              0.1353,
              0.1804,
              0.257,
              0.3971,
              0.6785
            ],
            [
              0.071,
              0.0928,
              0.109,
              0.1355,
              0.1806,
              0.2566,
              0.3972,
              0.6771
            ],
            [
              0.071,
              0.0929,
              0.109,
              0.1355,
              0.1805,
              0.2569,
              0.3969,
              0.6783
            ],
            [
              0.0712,
              0.0929,
              0.109,
              0.1357,
              0.1805,
              0.2567,
              0.3972,
              0.6784
            ],
            [
              0.0702,
              0.0918,
              0.108,
              0.1343,
              0.1797,
              0.256,
              0.397,
              0.6788
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05429,
              0.08306,
              0.10601,
              0.14853,
              0.23202,
              0.4042,
              0.7625,
              1.4915
            ],
            [
              0.05421,
              0.08312,
              0.10582,
              0.14845,
              0.23199,
              0.4042,
              0.7624,
              1.4906
            ],
            [
              0.05419,
              0.08312,
              0.10584,
              0.14847,
              0.232,
              0.4042,
              0.7617,
              1.4895
            ],
            [
              0.05424,
              0.08308,
              0.10598,
              0.14846,
              0.23159,
              0.4041,
              0.7633,
              1.4912
            ],
            [
              0.0543,
              0.08312,
              0.1058,
              0.14851,
              0.23183,
              0.4034,
              0.7622,
              1.4906
            ],
            [
              0.05416,
              0.08316,
              0.10585,
              0.1485,
              0.2319,
              0.4042,
              0.7618,
              1.4932
            ],
            [
              0.0543,
              0.0831,
              0.1059,
              0.1485,
              0.2317,
              0.4042,
              0.7627,
              1.4938
            ],
            [
              0.0542,
              0.0831,
              0.1059,
              0.1485,
              0.2318,
              0.4039,
              0.7636,
              1.4898
            ],
            [
              0.0543,
              0.083,
              0.1061,
              0.1485,
              0.2318,
              0.4036,
              0.7633,
              1.4939
            ],
            [
              0.0543,
              0.0832,
              0.1061,
              0.1485,
              0.2317,
              0.4042,
              0.7628,
              1.4902
            ],
            [
              0.0544,
              0.0831,
              0.106,
              0.1484,
              0.2318,
              0.4037,
              0.7611,
              1.4904
            ],
            [
              0.0544,
              0.0833,
              0.1062,
              0.1488,
              0.232,
              0.4034,
              0.762,
              1.4906
            ],
            [
              0.055,
              0.0839,
              0.1071,
              0.1494,
              0.2322,
              0.4042,
              0.761,
              1.4905
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.46266,
              0.49967,
              0.52618,
              0.5677,
              0.6307,
              0.7258,
              0.87377,
              1.11957
            ],
            [
              0.46612,
              0.50315,
              0.5297,
              0.57121,
              0.63422,
              0.72932,
              0.87734,
              1.12344
            ],
            [
              0.46999,
              0.50702,
              0.53358,
              0.57508,
              0.63813,
              0.73324,
              0.88126,
              1.12742
            ],
            [
              0.47551,
              0.51253,
              0.53909,
              0.58064,
              0.64367,
              0.73879,
              0.88658,
              1.13278
            ],
            [
              0.48351,
              0.52051,
              0.54708,
              0.58861,
              0.65166,
              0.74679,
              0.8948,
              1.14071
            ],
            [
              0.49486,
              0.53183,
              0.55837,
              0.59989,
              0.66291,
              0.75806,
              0.90609,
              1.15212
            ],
            [
              0.51055,
              0.54749,
              0.57399,
              0.61548,
              0.67852,
              0.77356,
              0.92163,
              1.16783
            ],
            [
              0.5322,
              0.5691,
              0.59559,
              0.63705,
              0.70004,
              0.79514,
              0.94316,
              1.18916
            ],
            [
              0.56296,
              0.59983,
              0.62628,
              0.66771,
              0.73061,
              0.82565,
              0.97375,
              1.21985
            ],
            [
              0.60826,
              0.64509,
              0.67149,
              0.71279,
              0.77559,
              0.87059,
              1.01859,
              1.26489
            ],
            [
              0.67652,
              0.71322,
              0.73942,
              0.78062,
              0.84322,
              0.93822,
              1.08632,
              1.33242
            ],
            [
              0.77247,
              0.80997,
              0.83677,
              0.87857,
              0.94187,
              1.03737,
              1.18597,
              1.43247
            ],
            [
              0.8933,
              0.9321,
              0.9596,
              1.002,
              1.0671,
              1.1671,
              1.3215,
              1.5714
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.25328,
              0.29402,
              0.32332,
              0.37033,
              0.44759,
              0.58334,
              0.83949,
              1.34617
            ],
            [
              0.25579,
              0.29655,
              0.32581,
              0.37282,
              0.45016,
              0.5856,
              0.84168,
              1.34844
            ],
            [
              0.25881,
              0.29954,
              0.32881,
              0.3758,
              0.45308,
              0.58876,
              0.84512,
              1.35032
            ],
            [
              0.26336,
              0.30406,
              0.33331,
              0.38031,
              0.45753,
              0.59325,
              0.84937,
              1.35588
            ],
            [
              0.27009,
              0.31078,
              0.34003,
              0.38698,
              0.46425,
              0.59973,
              0.85607,
              1.36231
            ],
            [
              0.2801,
              0.32076,
              0.3499,
              0.39686,
              0.47409,
              0.6097,
              0.86576,
              1.37212
            ],
            [
              0.29493,
              0.3356,
              0.36481,
              0.41175,
              0.48893,
              0.62439,
              0.8803,
              1.38683
            ],
            [
              0.31736,
              0.35801,
              0.38723,
              0.43416,
              0.51126,
              0.64685,
              0.90276,
              1.40916
            ],
            [
              0.35145,
              0.39209,
              0.42131,
              0.4682,
              0.54532,
              0.68062,
              0.93645,
              1.44295
            ],
            [
              0.40202,
              0.44258,
              0.47171,
              0.51848,
              0.59545,
              0.73089,
              0.98699,
              1.49369
            ],
            [
              0.46702,
              0.50922,
              0.53922,
              0.58682,
              0.66432,
              0.79992,
              1.05562,
              1.56202
            ],
            [
              0.54347,
              0.58817,
              0.61957,
              0.66877,
              0.74807,
              0.88487,
              1.14157,
              1.64777
            ],
            [
              0.631,
              0.6795,
              0.7132,
              0.765,
              0.8464,
              0.9847,
              1.2423,
              1.7483
            ]
          ]
        },
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.06888,
              0.09224,
              0.10996,
              0.1389,
              0.18636,
              0.26563,
              0.40927,
              0.68976
            ],
            [
              0.06888,
              0.09226,
              0.10999,
              0.13906,
              0.18636,
              0.26586,
              0.4092,
              0.69007
            ],
            [
              0.06888,
              0.09226,
              0.10999,
              0.13906,
              0.18637,
              0.26583,
              0.40926,
              0.69003
            ],
            [
              0.06889,
              0.09227,
              0.11,
              0.13891,
              0.18635,
              0.26568,
              0.40935,
              0.69044
            ],
            [
              0.06888,
              0.09229,
              0.10997,
              0.13892,
              0.18637,
              0.26562,
              0.40918,
              0.68998
            ],
            [
              0.06887,
              0.09222,
              0.10995,
              0.13896,
              0.18639,
              0.26582,
              0.40918,
              0.68909
            ],
            [
              0.06887,
              0.09223,
              0.10995,
              0.13883,
              0.18632,
              0.26589,
              0.40921,
              0.6903
            ],
            [
              0.0688,
              0.09237,
              0.10991,
              0.13895,
              0.18625,
              0.26594,
              0.40947,
              0.6904
            ],
            [
              0.0688,
              0.09214,
              0.1099,
              0.13883,
              0.18574,
              0.26597,
              0.4092,
              0.6902
            ],
            [
              0.06868,
              0.092,
              0.10966,
              0.1387,
              0.1856,
              0.2655,
              0.4093,
              0.6899
            ],
            [
              0.0686,
              0.0918,
              0.1094,
              0.1384,
              0.186,
              0.2655,
              0.4091,
              0.6898
            ],
            [
              0.0736,
              0.0965,
              0.1139,
              0.1425,
              0.1894,
              0.2679,
              0.4108,
              0.6912
            ],
            [
              0.0806,
              0.1033,
              0.1204,
              0.1491,
              0.1985,
              0.2809,
              0.4236,
              0.6987
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00639,
            0.01277,
            0.02555,
            0.0511,
            0.10219,
            0.20439,
            0.40879
          ],
          "values": [
            [
              0.05231,
              0.08333,
              0.10773,
              0.1518,
              0.23645,
              0.41046,
              0.76842,
              1.4958
            ],
            [
              0.05225,
              0.08322,
              0.10772,
              0.15156,
              0.23657,
              0.41022,
              0.76823,
              1.496
            ],
            [
              0.05225,
              0.08324,
              0.10749,
              0.15169,
              0.23656,
              0.40973,
              0.76692,
              1.49977
            ],
            [
              0.0522,
              0.08317,
              0.10759,
              0.15165,
              0.23632,
              0.41024,
              0.76806,
              1.49556
            ],
            [
              0.05216,
              0.08319,
              0.10742,
              0.15161,
              0.23692,
              0.40944,
              0.76696,
              1.49807
            ],
            [
              0.05214,
              0.08315,
              0.10738,
              0.15133,
              0.23678,
              0.40985,
              0.76789,
              1.4952
            ],
            [
              0.05214,
              0.08312,
              0.10756,
              0.15142,
              0.23615,
              0.40992,
              0.76785,
              1.49506
            ],
            [
              0.0521,
              0.08306,
              0.10744,
              0.15144,
              0.23602,
              0.40992,
              0.76768,
              1.49482
            ],
            [
              0.05215,
              0.08297,
              0.10739,
              0.1513,
              0.23612,
              0.40975,
              0.76762,
              1.4954
            ],
            [
              0.05259,
              0.08343,
              0.1076,
              0.15148,
              0.23619,
              0.40927,
              0.7676,
              1.5003
            ],
            [
              0.05691,
              0.0879,
              0.1119,
              0.1551,
              0.2386,
              0.4108,
              0.7677,
              1.4994
            ],
            [
              0.0635,
              0.0951,
              0.119,
              0.1619,
              0.2441,
              0.4136,
              0.7681,
              1.4979
            ],
            [
              0.0729,
              0.106,
              0.1298,
              0.1715,
              0.2516,
              0.4205,
              0.7712,
              1.4971
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}