cells/fa/sky130_fd_sc_ls__fa_4__tt_100C_1v80.lib.json

{
  "area": 36.7632,
  "cell_footprint": "sky130_fd_sc_ls__fa",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.01146,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.01067,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CIN": {
    "capacitance": 0.00782,
    "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.11213,
              0.12276,
              0.13601,
              0.16424,
              0.22222,
              0.33906,
              0.57178,
              1.03621
            ],
            [
              0.11204,
              0.12275,
              0.13602,
              0.16421,
              0.22219,
              0.33905,
              0.57198,
              1.03583
            ],
            [
              0.11201,
              0.12268,
              0.13592,
              0.1642,
              0.2221,
              0.33874,
              0.57122,
              1.03641
            ],
            [
              0.11196,
              0.12261,
              0.13589,
              0.16414,
              0.22209,
              0.3388,
              0.57159,
              1.03604
            ],
            [
              0.11188,
              0.12254,
              0.13584,
              0.16406,
              0.22203,
              0.33883,
              0.57189,
              1.037
            ],
            [
              0.11176,
              0.12243,
              0.13572,
              0.16398,
              0.22193,
              0.33859,
              0.57097,
              1.03582
            ],
            [
              0.11167,
              0.12234,
              0.1356,
              0.16383,
              0.22179,
              0.33864,
              0.57099,
              1.03573
            ],
            [
              0.11156,
              0.12221,
              0.1355,
              0.16372,
              0.22166,
              0.33844,
              0.5716,
              1.03532
            ],
            [
              0.11143,
              0.1221,
              0.13539,
              0.16354,
              0.22149,
              0.33816,
              0.57041,
              1.03523
            ],
            [
              0.11139,
              0.12204,
              0.1353,
              0.16339,
              0.22126,
              0.33807,
              0.57125,
              1.03642
            ],
            [
              0.11215,
              0.12263,
              0.13573,
              0.16373,
              0.22137,
              0.33818,
              0.5708,
              1.0359
            ],
            [
              0.11436,
              0.12434,
              0.13714,
              0.16472,
              0.22203,
              0.33854,
              0.57182,
              1.03652
            ],
            [
              0.11804,
              0.12742,
              0.13984,
              0.16705,
              0.22386,
              0.33971,
              0.57299,
              1.03829
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.06919,
              0.08233,
              0.09793,
              0.13044,
              0.19537,
              0.32336,
              0.57882,
              1.08891
            ],
            [
              0.06907,
              0.08225,
              0.09782,
              0.13032,
              0.19528,
              0.32319,
              0.5786,
              1.08909
            ],
            [
              0.06896,
              0.08214,
              0.0977,
              0.13021,
              0.19515,
              0.32304,
              0.57853,
              1.0879
            ],
            [
              0.06882,
              0.08197,
              0.09754,
              0.13006,
              0.19503,
              0.32291,
              0.57816,
              1.08885
            ],
            [
              0.06863,
              0.08176,
              0.09734,
              0.12985,
              0.19481,
              0.32265,
              0.57838,
              1.08784
            ],
            [
              0.06836,
              0.08154,
              0.09713,
              0.12959,
              0.19455,
              0.32242,
              0.57771,
              1.08778
            ],
            [
              0.06809,
              0.08125,
              0.09687,
              0.12931,
              0.19422,
              0.32209,
              0.577,
              1.08842
            ],
            [
              0.06786,
              0.08099,
              0.09653,
              0.12897,
              0.19386,
              0.32172,
              0.57717,
              1.08671
            ],
            [
              0.06784,
              0.08084,
              0.09633,
              0.12863,
              0.19344,
              0.32131,
              0.57681,
              1.08733
            ],
            [
              0.06814,
              0.08099,
              0.09629,
              0.1284,
              0.19306,
              0.32079,
              0.57597,
              1.08726
            ],
            [
              0.06893,
              0.08144,
              0.09663,
              0.12866,
              0.1931,
              0.32072,
              0.57648,
              1.08649
            ],
            [
              0.07057,
              0.08263,
              0.0977,
              0.12938,
              0.19358,
              0.32098,
              0.57601,
              1.08629
            ],
            [
              0.07368,
              0.08511,
              0.0999,
              0.13126,
              0.19509,
              0.32236,
              0.57701,
              1.08902
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.10873,
              0.11953,
              0.13281,
              0.16108,
              0.21906,
              0.33599,
              0.56833,
              1.03346
            ],
            [
              0.10867,
              0.11945,
              0.13276,
              0.16104,
              0.21904,
              0.33584,
              0.569,
              1.03255
            ],
            [
              0.10855,
              0.11931,
              0.13265,
              0.16097,
              0.2189,
              0.33588,
              0.56859,
              1.03354
            ],
            [
              0.10836,
              0.11911,
              0.13239,
              0.1607,
              0.21864,
              0.33552,
              0.56896,
              1.0332
            ],
            [
              0.10815,
              0.11892,
              0.13225,
              0.16052,
              0.21855,
              0.33531,
              0.56845,
              1.03359
            ],
            [
              0.10787,
              0.11869,
              0.13198,
              0.16025,
              0.2182,
              0.3352,
              0.56793,
              1.03365
            ],
            [
              0.10759,
              0.11832,
              0.13165,
              0.15992,
              0.21796,
              0.33456,
              0.5677,
              1.03274
            ],
            [
              0.10729,
              0.11805,
              0.13137,
              0.15966,
              0.21756,
              0.33468,
              0.56686,
              1.03215
            ],
            [
              0.10703,
              0.11782,
              0.13113,
              0.15935,
              0.21746,
              0.33407,
              0.56709,
              1.03243
            ],
            [
              0.10686,
              0.11761,
              0.13086,
              0.15905,
              0.21688,
              0.33379,
              0.56664,
              1.03154
            ],
            [
              0.10759,
              0.11815,
              0.13129,
              0.15926,
              0.21701,
              0.33364,
              0.56719,
              1.03049
            ],
            [
              0.11019,
              0.12016,
              0.13291,
              0.1604,
              0.21775,
              0.33455,
              0.56742,
              1.03293
            ],
            [
              0.11467,
              0.12384,
              0.13616,
              0.16313,
              0.21989,
              0.33589,
              0.56834,
              1.03282
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.07403,
              0.08734,
              0.10297,
              0.13551,
              0.20053,
              0.32848,
              0.58388,
              1.09427
            ],
            [
              0.07395,
              0.08722,
              0.1029,
              0.13542,
              0.20049,
              0.32833,
              0.58383,
              1.09347
            ],
            [
              0.07392,
              0.0872,
              0.10284,
              0.13543,
              0.20043,
              0.32831,
              0.58373,
              1.0944
            ],
            [
              0.07378,
              0.08705,
              0.10271,
              0.13529,
              0.20034,
              0.3282,
              0.58364,
              1.09415
            ],
            [
              0.07361,
              0.08685,
              0.10254,
              0.1351,
              0.20017,
              0.32803,
              0.5833,
              1.09373
            ],
            [
              0.07333,
              0.08662,
              0.10226,
              0.13481,
              0.19987,
              0.32779,
              0.58314,
              1.09211
            ],
            [
              0.073,
              0.08626,
              0.10195,
              0.13445,
              0.19945,
              0.32734,
              0.58258,
              1.09211
            ],
            [
              0.07267,
              0.08588,
              0.10148,
              0.13392,
              0.19884,
              0.32679,
              0.5823,
              1.09266
            ],
            [
              0.07253,
              0.08558,
              0.1011,
              0.13337,
              0.19817,
              0.32607,
              0.58163,
              1.09251
            ],
            [
              0.07275,
              0.0856,
              0.1009,
              0.13291,
              0.19755,
              0.32522,
              0.58066,
              1.09047
            ],
            [
              0.07349,
              0.08593,
              0.10114,
              0.13303,
              0.19737,
              0.32502,
              0.58073,
              1.09105
            ],
            [
              0.07517,
              0.08706,
              0.10207,
              0.13364,
              0.19775,
              0.32507,
              0.58048,
              1.09074
            ],
            [
              0.07835,
              0.08953,
              0.10423,
              0.13554,
              0.19919,
              0.3265,
              0.58121,
              1.09137
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.10305,
              0.1138,
              0.12706,
              0.15529,
              0.21331,
              0.33001,
              0.56307,
              1.02755
            ],
            [
              0.10306,
              0.11383,
              0.12711,
              0.15545,
              0.21341,
              0.32998,
              0.56364,
              1.02652
            ],
            [
              0.10308,
              0.11386,
              0.12713,
              0.15534,
              0.21333,
              0.33013,
              0.56288,
              1.027
            ],
            [
              0.10285,
              0.11362,
              0.1269,
              0.15515,
              0.21314,
              0.32977,
              0.56263,
              1.0281
            ],
            [
              0.10272,
              0.11348,
              0.12676,
              0.15498,
              0.21299,
              0.32977,
              0.56251,
              1.0276
            ],
            [
              0.10246,
              0.11327,
              0.12651,
              0.15477,
              0.2127,
              0.32954,
              0.56284,
              1.02708
            ],
            [
              0.10227,
              0.11304,
              0.12634,
              0.15455,
              0.21259,
              0.32927,
              0.56222,
              1.026
            ],
            [
              0.1021,
              0.11286,
              0.12619,
              0.15436,
              0.21234,
              0.32903,
              0.56202,
              1.026
            ],
            [
              0.10196,
              0.11274,
              0.12598,
              0.1542,
              0.21212,
              0.3289,
              0.56226,
              1.02746
            ],
            [
              0.10198,
              0.11272,
              0.12592,
              0.15411,
              0.21187,
              0.32887,
              0.56148,
              1.02649
            ],
            [
              0.10304,
              0.11356,
              0.12659,
              0.1545,
              0.21209,
              0.32846,
              0.56177,
              1.02685
            ],
            [
              0.10664,
              0.11639,
              0.12895,
              0.15632,
              0.21339,
              0.32947,
              0.56237,
              1.02704
            ],
            [
              0.1123,
              0.12113,
              0.1331,
              0.1597,
              0.21591,
              0.33154,
              0.56403,
              1.02974
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.07659,
              0.08961,
              0.10512,
              0.13765,
              0.20267,
              0.33052,
              0.58593,
              1.09523
            ],
            [
              0.07663,
              0.08964,
              0.10517,
              0.1377,
              0.20275,
              0.33049,
              0.58549,
              1.09527
            ],
            [
              0.07665,
              0.08968,
              0.10518,
              0.13774,
              0.20279,
              0.33058,
              0.586,
              1.09582
            ],
            [
              0.07655,
              0.08955,
              0.10506,
              0.13762,
              0.20265,
              0.33045,
              0.58591,
              1.09533
            ],
            [
              0.07648,
              0.08949,
              0.10502,
              0.13755,
              0.20259,
              0.3304,
              0.58532,
              1.0958
            ],
            [
              0.07638,
              0.0894,
              0.10489,
              0.13742,
              0.20246,
              0.33031,
              0.58562,
              1.09443
            ],
            [
              0.07618,
              0.08919,
              0.10471,
              0.13718,
              0.20215,
              0.32991,
              0.58534,
              1.09441
            ],
            [
              0.07601,
              0.08897,
              0.10445,
              0.13679,
              0.20166,
              0.32946,
              0.58506,
              1.09616
            ],
            [
              0.0762,
              0.0889,
              0.10419,
              0.1364,
              0.20111,
              0.32884,
              0.58425,
              1.0947
            ],
            [
              0.07687,
              0.08929,
              0.10438,
              0.13627,
              0.20077,
              0.32831,
              0.58358,
              1.09411
            ],
            [
              0.07819,
              0.09005,
              0.10497,
              0.13673,
              0.20091,
              0.32828,
              0.58403,
              1.09357
            ],
            [
              0.08017,
              0.0915,
              0.10624,
              0.13768,
              0.20154,
              0.32867,
              0.58398,
              1.09454
            ],
            [
              0.08383,
              0.09436,
              0.10885,
              0.13991,
              0.2033,
              0.33023,
              0.58473,
              1.09575
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.42266,
    "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.37788,
              0.41594,
              0.44222,
              0.48279,
              0.54442,
              0.63996,
              0.79636,
              1.07267
            ],
            [
              0.37842,
              0.41648,
              0.44276,
              0.48331,
              0.54493,
              0.64046,
              0.79686,
              1.07314
            ],
            [
              0.37987,
              0.41794,
              0.44422,
              0.48479,
              0.54642,
              0.64196,
              0.79836,
              1.07462
            ],
            [
              0.38296,
              0.42102,
              0.44732,
              0.48788,
              0.54949,
              0.64502,
              0.80141,
              1.07767
            ],
            [
              0.38871,
              0.42677,
              0.45306,
              0.49362,
              0.55527,
              0.65081,
              0.8072,
              1.08351
            ],
            [
              0.39793,
              0.436,
              0.46228,
              0.50282,
              0.56445,
              0.65998,
              0.81637,
              1.09252
            ],
            [
              0.41194,
              0.45001,
              0.47627,
              0.51682,
              0.57844,
              0.67398,
              0.83041,
              1.10643
            ],
            [
              0.4331,
              0.47116,
              0.49744,
              0.53797,
              0.59958,
              0.69511,
              0.85156,
              1.12776
            ],
            [
              0.4652,
              0.50325,
              0.5295,
              0.57005,
              0.63166,
              0.7272,
              0.88365,
              1.15975
            ],
            [
              0.5139,
              0.55194,
              0.5782,
              0.61873,
              0.68029,
              0.77589,
              0.93229,
              1.20859
            ],
            [
              0.58642,
              0.62462,
              0.65092,
              0.69152,
              0.75312,
              0.84872,
              1.00522,
              1.28152
            ],
            [
              0.68227,
              0.72257,
              0.75017,
              0.79257,
              0.85617,
              0.95327,
              1.11047,
              1.38677
            ],
            [
              0.8068,
              0.8495,
              0.8788,
              0.9237,
              0.9908,
              1.0922,
              1.2531,
              1.531
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.16943,
              0.20451,
              0.22947,
              0.27065,
              0.34177,
              0.473,
              0.73062,
              1.23907
            ],
            [
              0.17205,
              0.20713,
              0.23209,
              0.27327,
              0.34434,
              0.47561,
              0.73323,
              1.24164
            ],
            [
              0.17504,
              0.21012,
              0.23508,
              0.27627,
              0.34733,
              0.47861,
              0.73621,
              1.24462
            ],
            [
              0.17918,
              0.21427,
              0.23922,
              0.28041,
              0.35152,
              0.48275,
              0.74038,
              1.24877
            ],
            [
              0.18496,
              0.22005,
              0.245,
              0.2862,
              0.35731,
              0.48853,
              0.74613,
              1.25451
            ],
            [
              0.19326,
              0.22835,
              0.2533,
              0.29447,
              0.36564,
              0.49681,
              0.75443,
              1.26282
            ],
            [
              0.20544,
              0.24053,
              0.26549,
              0.30666,
              0.37781,
              0.50898,
              0.76661,
              1.27493
            ],
            [
              0.2235,
              0.25858,
              0.28352,
              0.32465,
              0.39577,
              0.52694,
              0.78461,
              1.29296
            ],
            [
              0.24916,
              0.28454,
              0.30954,
              0.35067,
              0.42177,
              0.55298,
              0.81065,
              1.31915
            ],
            [
              0.28155,
              0.31825,
              0.34397,
              0.38577,
              0.45718,
              0.58859,
              0.84629,
              1.35479
            ],
            [
              0.32014,
              0.35863,
              0.38538,
              0.42835,
              0.50082,
              0.63292,
              0.89062,
              1.39912
            ],
            [
              0.36277,
              0.40377,
              0.43207,
              0.47667,
              0.55057,
              0.68337,
              0.94177,
              1.45017
            ],
            [
              0.4055,
              0.4501,
              0.4807,
              0.5279,
              0.604,
              0.7379,
              0.9965,
              1.5052
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.05495,
              0.07891,
              0.09649,
              0.12478,
              0.17278,
              0.25938,
              0.42446,
              0.7628
            ],
            [
              0.05493,
              0.07892,
              0.09641,
              0.12481,
              0.17282,
              0.25947,
              0.42456,
              0.76274
            ],
            [
              0.05495,
              0.07891,
              0.09649,
              0.12478,
              0.17278,
              0.25937,
              0.42421,
              0.76285
            ],
            [
              0.05493,
              0.07892,
              0.09651,
              0.12482,
              0.17283,
              0.25945,
              0.42453,
              0.76276
            ],
            [
              0.05494,
              0.0789,
              0.09643,
              0.12479,
              0.17277,
              0.25933,
              0.42425,
              0.76188
            ],
            [
              0.05494,
              0.07889,
              0.09643,
              0.12484,
              0.17281,
              0.25952,
              0.42441,
              0.76243
            ],
            [
              0.055,
              0.079,
              0.09636,
              0.12483,
              0.17279,
              0.2595,
              0.42436,
              0.76196
            ],
            [
              0.05492,
              0.07891,
              0.09643,
              0.12484,
              0.17284,
              0.25937,
              0.42434,
              0.76175
            ],
            [
              0.05492,
              0.07899,
              0.09639,
              0.12482,
              0.1728,
              0.25952,
              0.42439,
              0.7624
            ],
            [
              0.05494,
              0.07894,
              0.09652,
              0.1248,
              0.17283,
              0.2594,
              0.4244,
              0.7627
            ],
            [
              0.0568,
              0.0803,
              0.0976,
              0.1258,
              0.1736,
              0.2599,
              0.4248,
              0.7627
            ],
            [
              0.0631,
              0.0874,
              0.1048,
              0.133,
              0.1799,
              0.2641,
              0.4269,
              0.7626
            ],
            [
              0.0711,
              0.0963,
              0.1146,
              0.1436,
              0.1914,
              0.2756,
              0.4353,
              0.767
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.03303,
              0.06169,
              0.08471,
              0.12814,
              0.21461,
              0.39378,
              0.7594,
              1.49333
            ],
            [
              0.03302,
              0.06182,
              0.08469,
              0.12818,
              0.21462,
              0.39385,
              0.75916,
              1.49359
            ],
            [
              0.03302,
              0.06183,
              0.08469,
              0.12822,
              0.21461,
              0.39386,
              0.75904,
              1.49358
            ],
            [
              0.03303,
              0.06171,
              0.08466,
              0.12816,
              0.21461,
              0.39381,
              0.75925,
              1.49308
            ],
            [
              0.03304,
              0.06166,
              0.08469,
              0.12807,
              0.21458,
              0.39385,
              0.75911,
              1.49364
            ],
            [
              0.03302,
              0.06173,
              0.08474,
              0.12805,
              0.21458,
              0.39381,
              0.75922,
              1.49215
            ],
            [
              0.03304,
              0.06173,
              0.08478,
              0.12809,
              0.21458,
              0.39383,
              0.75925,
              1.49226
            ],
            [
              0.03307,
              0.06182,
              0.08472,
              0.12813,
              0.21462,
              0.3938,
              0.7594,
              1.49388
            ],
            [
              0.03399,
              0.06243,
              0.08532,
              0.12851,
              0.21488,
              0.39391,
              0.75914,
              1.49356
            ],
            [
              0.03606,
              0.06516,
              0.08797,
              0.13058,
              0.21614,
              0.3944,
              0.75924,
              1.4923
            ],
            [
              0.03921,
              0.06915,
              0.09196,
              0.13449,
              0.2192,
              0.396,
              0.7602,
              1.4929
            ],
            [
              0.0442,
              0.0751,
              0.0981,
              0.1401,
              0.2234,
              0.3987,
              0.7611,
              1.4939
            ],
            [
              0.0512,
              0.0839,
              0.1075,
              0.1485,
              0.2298,
              0.4024,
              0.7632,
              1.4939
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.3607,
              0.39886,
              0.4253,
              0.46614,
              0.52842,
              0.62544,
              0.78393,
              1.06177
            ],
            [
              0.36293,
              0.40111,
              0.42753,
              0.46838,
              0.53066,
              0.62768,
              0.78617,
              1.06394
            ],
            [
              0.3657,
              0.40386,
              0.4303,
              0.47115,
              0.53342,
              0.63045,
              0.78894,
              1.06672
            ],
            [
              0.37006,
              0.40821,
              0.43466,
              0.47551,
              0.53778,
              0.63482,
              0.79329,
              1.07107
            ],
            [
              0.37687,
              0.41502,
              0.44145,
              0.48227,
              0.54453,
              0.64155,
              0.80004,
              1.07791
            ],
            [
              0.38688,
              0.42503,
              0.45146,
              0.49226,
              0.55458,
              0.65161,
              0.8101,
              1.08792
            ],
            [
              0.40081,
              0.43896,
              0.46539,
              0.50622,
              0.56849,
              0.66553,
              0.82403,
              1.10183
            ],
            [
              0.4203,
              0.45844,
              0.48487,
              0.52567,
              0.58792,
              0.68494,
              0.84346,
              1.12116
            ],
            [
              0.44832,
              0.48647,
              0.51288,
              0.5537,
              0.61594,
              0.71297,
              0.87145,
              1.14935
            ],
            [
              0.48974,
              0.52789,
              0.55427,
              0.5951,
              0.65729,
              0.75439,
              0.91289,
              1.19089
            ],
            [
              0.54962,
              0.58822,
              0.61482,
              0.65582,
              0.71822,
              0.81542,
              0.97402,
              1.25202
            ],
            [
              0.62657,
              0.66707,
              0.69487,
              0.73777,
              0.80237,
              0.90157,
              1.06137,
              1.33967
            ],
            [
              0.7275,
              0.77,
              0.7994,
              0.8444,
              0.9122,
              1.0154,
              1.179,
              1.4591
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.18346,
              0.21701,
              0.24092,
              0.28074,
              0.35038,
              0.48089,
              0.7378,
              1.24617
            ],
            [
              0.18437,
              0.21792,
              0.24183,
              0.28164,
              0.3513,
              0.48178,
              0.73872,
              1.24704
            ],
            [
              0.18602,
              0.21957,
              0.24348,
              0.28329,
              0.35293,
              0.48342,
              0.74035,
              1.24872
            ],
            [
              0.18907,
              0.22262,
              0.24654,
              0.28634,
              0.35597,
              0.48646,
              0.74338,
              1.25168
            ],
            [
              0.19412,
              0.22766,
              0.25156,
              0.29139,
              0.36098,
              0.49148,
              0.74837,
              1.25661
            ],
            [
              0.20182,
              0.23536,
              0.25926,
              0.29909,
              0.36868,
              0.49916,
              0.75605,
              1.26422
            ],
            [
              0.21335,
              0.24689,
              0.27079,
              0.31059,
              0.38017,
              0.51065,
              0.76756,
              1.27573
            ],
            [
              0.23059,
              0.26415,
              0.28803,
              0.32782,
              0.39734,
              0.52782,
              0.78476,
              1.29306
            ],
            [
              0.25495,
              0.28892,
              0.31291,
              0.35273,
              0.42226,
              0.55272,
              0.80965,
              1.31805
            ],
            [
              0.28519,
              0.32052,
              0.34524,
              0.38568,
              0.45567,
              0.5862,
              0.84319,
              1.35149
            ],
            [
              0.32039,
              0.35758,
              0.38331,
              0.42485,
              0.49572,
              0.62682,
              0.88372,
              1.39212
            ],
            [
              0.35817,
              0.39807,
              0.42537,
              0.46847,
              0.54057,
              0.67217,
              0.92957,
              1.43777
            ],
            [
              0.3952,
              0.4387,
              0.4682,
              0.5137,
              0.5877,
              0.7202,
              0.9777,
              1.4864
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.05513,
              0.07933,
              0.09713,
              0.12615,
              0.17492,
              0.26315,
              0.42889,
              0.76507
            ],
            [
              0.0551,
              0.07937,
              0.09706,
              0.12617,
              0.17493,
              0.26324,
              0.42892,
              0.76557
            ],
            [
              0.05511,
              0.07935,
              0.09715,
              0.12617,
              0.17493,
              0.26324,
              0.42893,
              0.76549
            ],
            [
              0.05518,
              0.07933,
              0.09713,
              0.12617,
              0.17493,
              0.26322,
              0.42892,
              0.76529
            ],
            [
              0.05511,
              0.07933,
              0.09708,
              0.12618,
              0.17494,
              0.263,
              0.42884,
              0.76532
            ],
            [
              0.0551,
              0.07934,
              0.09717,
              0.12623,
              0.17492,
              0.26315,
              0.42886,
              0.76504
            ],
            [
              0.05511,
              0.07933,
              0.09715,
              0.12617,
              0.17492,
              0.26318,
              0.42885,
              0.76512
            ],
            [
              0.05511,
              0.07932,
              0.09715,
              0.12622,
              0.17499,
              0.26329,
              0.42899,
              0.76562
            ],
            [
              0.05516,
              0.07935,
              0.09707,
              0.12618,
              0.17496,
              0.26316,
              0.42882,
              0.765
            ],
            [
              0.05515,
              0.0795,
              0.0971,
              0.12622,
              0.17493,
              0.26301,
              0.4288,
              0.7657
            ],
            [
              0.0579,
              0.0817,
              0.0991,
              0.1278,
              0.1761,
              0.2639,
              0.4293,
              0.7657
            ],
            [
              0.0632,
              0.088,
              0.1058,
              0.135,
              0.1831,
              0.2692,
              0.4322,
              0.7673
            ],
            [
              0.0704,
              0.0958,
              0.1143,
              0.1444,
              0.1935,
              0.2801,
              0.441,
              0.7716
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.03134,
              0.0589,
              0.08122,
              0.12438,
              0.21111,
              0.3914,
              0.75763,
              1.49163
            ],
            [
              0.03134,
              0.05879,
              0.08132,
              0.12441,
              0.21111,
              0.39136,
              0.75781,
              1.49331
            ],
            [
              0.03134,
              0.05882,
              0.0813,
              0.12435,
              0.21108,
              0.39136,
              0.75804,
              1.49166
            ],
            [
              0.03134,
              0.05878,
              0.08132,
              0.12429,
              0.21107,
              0.39132,
              0.75775,
              1.49318
            ],
            [
              0.03133,
              0.05889,
              0.08122,
              0.12443,
              0.21108,
              0.39131,
              0.75786,
              1.4915
            ],
            [
              0.03133,
              0.0589,
              0.08132,
              0.12448,
              0.21108,
              0.39119,
              0.75789,
              1.49213
            ],
            [
              0.03134,
              0.05881,
              0.08131,
              0.12448,
              0.21108,
              0.39129,
              0.75789,
              1.49232
            ],
            [
              0.03146,
              0.05898,
              0.08133,
              0.12454,
              0.21111,
              0.39125,
              0.75762,
              1.4934
            ],
            [
              0.03246,
              0.05978,
              0.08212,
              0.12498,
              0.21133,
              0.39136,
              0.75779,
              1.49153
            ],
            [
              0.03457,
              0.06246,
              0.08463,
              0.12696,
              0.21262,
              0.39178,
              0.758,
              1.4917
            ],
            [
              0.03782,
              0.06652,
              0.08873,
              0.13065,
              0.21536,
              0.3933,
              0.7585,
              1.4914
            ],
            [
              0.0428,
              0.0724,
              0.0947,
              0.1358,
              0.219,
              0.3956,
              0.7593,
              1.4916
            ],
            [
              0.0494,
              0.0809,
              0.1035,
              0.1438,
              0.2248,
              0.3987,
              0.7609,
              1.494
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.35022,
              0.38834,
              0.41465,
              0.45525,
              0.51693,
              0.61259,
              0.769,
              1.04517
            ],
            [
              0.35195,
              0.39007,
              0.41638,
              0.45697,
              0.5186,
              0.61424,
              0.77062,
              1.04664
            ],
            [
              0.35416,
              0.39228,
              0.41858,
              0.45917,
              0.52082,
              0.61645,
              0.77281,
              1.04902
            ],
            [
              0.35768,
              0.39578,
              0.42208,
              0.4627,
              0.52436,
              0.62001,
              0.77636,
              1.05268
            ],
            [
              0.3633,
              0.40137,
              0.42767,
              0.46827,
              0.52994,
              0.62558,
              0.78192,
              1.05821
            ],
            [
              0.37228,
              0.41035,
              0.43662,
              0.47721,
              0.53888,
              0.63451,
              0.79086,
              1.06712
            ],
            [
              0.38667,
              0.42471,
              0.45099,
              0.49156,
              0.55322,
              0.64886,
              0.80521,
              1.08123
            ],
            [
              0.4097,
              0.44774,
              0.47401,
              0.51453,
              0.57616,
              0.67177,
              0.82813,
              1.10436
            ],
            [
              0.44627,
              0.48431,
              0.51056,
              0.5511,
              0.61269,
              0.7083,
              0.86465,
              1.14075
            ],
            [
              0.50349,
              0.54153,
              0.56777,
              0.60828,
              0.66989,
              0.76549,
              0.92189,
              1.19809
            ],
            [
              0.59172,
              0.62952,
              0.65572,
              0.69612,
              0.75772,
              0.85332,
              1.00972,
              1.28592
            ],
            [
              0.71107,
              0.75167,
              0.77927,
              0.82137,
              0.88437,
              0.98097,
              1.13787,
              1.41397
            ],
            [
              0.8587,
              0.9031,
              0.9333,
              0.9791,
              1.0465,
              1.1477,
              1.3081,
              1.5855
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.15159,
              0.18621,
              0.21086,
              0.25161,
              0.32208,
              0.45251,
              0.70933,
              1.21717
            ],
            [
              0.15411,
              0.18874,
              0.21339,
              0.25411,
              0.32462,
              0.45506,
              0.71183,
              1.21964
            ],
            [
              0.15701,
              0.19163,
              0.21629,
              0.25701,
              0.32752,
              0.45796,
              0.71477,
              1.22262
            ],
            [
              0.16101,
              0.19564,
              0.22027,
              0.26099,
              0.33148,
              0.46198,
              0.71878,
              1.22667
            ],
            [
              0.16662,
              0.20124,
              0.22589,
              0.26662,
              0.33708,
              0.46758,
              0.72436,
              1.23221
            ],
            [
              0.17471,
              0.20933,
              0.23398,
              0.27467,
              0.34519,
              0.47563,
              0.73247,
              1.24032
            ],
            [
              0.18668,
              0.22128,
              0.24591,
              0.28661,
              0.35705,
              0.48752,
              0.74439,
              1.25223
            ],
            [
              0.20432,
              0.23888,
              0.26345,
              0.30408,
              0.37446,
              0.50495,
              0.76182,
              1.26966
            ],
            [
              0.22654,
              0.26257,
              0.28763,
              0.32854,
              0.39899,
              0.52955,
              0.78645,
              1.29435
            ],
            [
              0.25362,
              0.29079,
              0.31687,
              0.35912,
              0.43074,
              0.56165,
              0.81859,
              1.32649
            ],
            [
              0.28469,
              0.32327,
              0.35046,
              0.39394,
              0.46692,
              0.59942,
              0.85662,
              1.36452
            ],
            [
              0.31617,
              0.35727,
              0.38597,
              0.43127,
              0.50577,
              0.63897,
              0.89787,
              1.40567
            ],
            [
              0.3434,
              0.3884,
              0.4192,
              0.4673,
              0.5442,
              0.6787,
              0.9376,
              1.4471
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.05496,
              0.07894,
              0.09642,
              0.12489,
              0.17296,
              0.25963,
              0.4245,
              0.76205
            ],
            [
              0.05494,
              0.0789,
              0.09639,
              0.12484,
              0.17294,
              0.25934,
              0.42432,
              0.76214
            ],
            [
              0.05493,
              0.07894,
              0.09642,
              0.12487,
              0.17293,
              0.25938,
              0.42448,
              0.76259
            ],
            [
              0.05493,
              0.07893,
              0.09647,
              0.12481,
              0.17287,
              0.25933,
              0.42424,
              0.76187
            ],
            [
              0.05492,
              0.07893,
              0.09643,
              0.1248,
              0.17287,
              0.25933,
              0.42422,
              0.76235
            ],
            [
              0.05492,
              0.07899,
              0.09643,
              0.12483,
              0.17284,
              0.25936,
              0.42418,
              0.76252
            ],
            [
              0.05491,
              0.07889,
              0.09633,
              0.12482,
              0.17284,
              0.25945,
              0.42433,
              0.76194
            ],
            [
              0.05491,
              0.07888,
              0.09633,
              0.12486,
              0.1729,
              0.25948,
              0.42426,
              0.76219
            ],
            [
              0.05492,
              0.07891,
              0.09639,
              0.12481,
              0.1729,
              0.2595,
              0.4243,
              0.7618
            ],
            [
              0.05488,
              0.07892,
              0.09634,
              0.12483,
              0.17289,
              0.2595,
              0.4243,
              0.7627
            ],
            [
              0.0556,
              0.0794,
              0.097,
              0.1254,
              0.1734,
              0.2596,
              0.4246,
              0.7624
            ],
            [
              0.0655,
              0.0891,
              0.106,
              0.1333,
              0.1794,
              0.2635,
              0.4261,
              0.7627
            ],
            [
              0.0784,
              0.1034,
              0.1212,
              0.1489,
              0.1946,
              0.2767,
              0.4353,
              0.7669
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.03228,
              0.06028,
              0.08302,
              0.12602,
              0.2123,
              0.39145,
              0.75732,
              1.49146
            ],
            [
              0.03225,
              0.06031,
              0.08293,
              0.12594,
              0.21231,
              0.39153,
              0.75695,
              1.4914
            ],
            [
              0.03223,
              0.06048,
              0.08293,
              0.12601,
              0.2123,
              0.39139,
              0.75733,
              1.49298
            ],
            [
              0.03224,
              0.0603,
              0.08304,
              0.12599,
              0.21235,
              0.3915,
              0.75727,
              1.49153
            ],
            [
              0.03222,
              0.06029,
              0.08301,
              0.12614,
              0.21235,
              0.39153,
              0.75689,
              1.49075
            ],
            [
              0.03218,
              0.06034,
              0.08301,
              0.12596,
              0.21232,
              0.39138,
              0.75733,
              1.49178
            ],
            [
              0.03216,
              0.06031,
              0.08294,
              0.126,
              0.21232,
              0.39143,
              0.75732,
              1.49284
            ],
            [
              0.03228,
              0.06045,
              0.08306,
              0.12612,
              0.21237,
              0.39156,
              0.75689,
              1.49146
            ],
            [
              0.03413,
              0.06266,
              0.08495,
              0.12746,
              0.21293,
              0.39173,
              0.75697,
              1.49144
            ],
            [
              0.0356,
              0.0656,
              0.08855,
              0.13103,
              0.2156,
              0.39277,
              0.75714,
              1.4916
            ],
            [
              0.03888,
              0.06944,
              0.0929,
              0.13527,
              0.21977,
              0.39581,
              0.7586,
              1.492
            ],
            [
              0.0443,
              0.0756,
              0.0992,
              0.1414,
              0.2243,
              0.3993,
              0.7611,
              1.4926
            ],
            [
              0.0518,
              0.0845,
              0.1084,
              0.1502,
              0.2313,
              0.403,
              0.7637,
              1.495
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.33455,
              0.37291,
              0.40014,
              0.44273,
              0.5078,
              0.60857,
              0.77072,
              1.05137
            ],
            [
              0.33675,
              0.37513,
              0.40236,
              0.44496,
              0.51005,
              0.61076,
              0.7729,
              1.05344
            ],
            [
              0.33957,
              0.37794,
              0.40518,
              0.44781,
              0.5129,
              0.61362,
              0.77577,
              1.05642
            ],
            [
              0.34397,
              0.38233,
              0.40957,
              0.45216,
              0.51729,
              0.61803,
              0.78017,
              1.06078
            ],
            [
              0.35076,
              0.38909,
              0.41632,
              0.45895,
              0.524,
              0.62471,
              0.78687,
              1.06761
            ],
            [
              0.36086,
              0.39918,
              0.42638,
              0.46897,
              0.53404,
              0.63476,
              0.79692,
              1.07752
            ],
            [
              0.37542,
              0.41371,
              0.44089,
              0.48344,
              0.54849,
              0.6492,
              0.81135,
              1.09203
            ],
            [
              0.39655,
              0.4348,
              0.46196,
              0.50447,
              0.56949,
              0.67017,
              0.83234,
              1.11306
            ],
            [
              0.42783,
              0.46603,
              0.49313,
              0.5356,
              0.60054,
              0.70119,
              0.86335,
              1.14415
            ],
            [
              0.47492,
              0.51299,
              0.53998,
              0.58233,
              0.64719,
              0.74779,
              0.90989,
              1.19069
            ],
            [
              0.54252,
              0.58122,
              0.60832,
              0.65082,
              0.71582,
              0.81652,
              0.97882,
              1.25962
            ],
            [
              0.62847,
              0.66807,
              0.69587,
              0.73947,
              0.80727,
              0.91157,
              1.07567,
              1.35707
            ],
            [
              0.7407,
              0.7822,
              0.8112,
              0.8564,
              0.9258,
              1.034,
              1.2039,
              1.4891
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.16062,
              0.19421,
              0.21815,
              0.25805,
              0.32774,
              0.45834,
              0.71537,
              1.22377
            ],
            [
              0.16299,
              0.19657,
              0.2205,
              0.26035,
              0.33006,
              0.46064,
              0.71766,
              1.22604
            ],
            [
              0.16581,
              0.19937,
              0.2233,
              0.26317,
              0.33283,
              0.46339,
              0.72038,
              1.22872
            ],
            [
              0.17003,
              0.20359,
              0.22751,
              0.26736,
              0.33703,
              0.46755,
              0.7245,
              1.23288
            ],
            [
              0.17632,
              0.20987,
              0.23377,
              0.27359,
              0.34326,
              0.47378,
              0.73071,
              1.23901
            ],
            [
              0.18572,
              0.21926,
              0.24317,
              0.28301,
              0.35262,
              0.48314,
              0.74006,
              1.24832
            ],
            [
              0.19989,
              0.23343,
              0.25733,
              0.2971,
              0.36673,
              0.49722,
              0.75413,
              1.26243
            ],
            [
              0.22156,
              0.25505,
              0.27891,
              0.31864,
              0.38819,
              0.51865,
              0.7756,
              1.28396
            ],
            [
              0.25304,
              0.28666,
              0.3105,
              0.35015,
              0.4196,
              0.55003,
              0.80695,
              1.31535
            ],
            [
              0.28965,
              0.32504,
              0.34967,
              0.39005,
              0.45984,
              0.59024,
              0.84719,
              1.35559
            ],
            [
              0.32927,
              0.36729,
              0.39312,
              0.43459,
              0.50532,
              0.63652,
              0.89332,
              1.40162
            ],
            [
              0.36977,
              0.41127,
              0.43917,
              0.48247,
              0.55427,
              0.68587,
              0.94347,
              1.45167
            ],
            [
              0.4079,
              0.4534,
              0.4842,
              0.5306,
              0.6045,
              0.7366,
              0.9942,
              1.5031
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.05396,
              0.07983,
              0.09908,
              0.13027,
              0.18133,
              0.27062,
              0.43636,
              0.77049
            ],
            [
              0.05396,
              0.07983,
              0.09907,
              0.13026,
              0.18131,
              0.27082,
              0.4364,
              0.77036
            ],
            [
              0.05394,
              0.07989,
              0.0991,
              0.13028,
              0.18128,
              0.27088,
              0.43639,
              0.76991
            ],
            [
              0.05393,
              0.07992,
              0.0992,
              0.1303,
              0.18125,
              0.27077,
              0.43633,
              0.7703
            ],
            [
              0.05393,
              0.07992,
              0.0991,
              0.13025,
              0.1813,
              0.27091,
              0.4364,
              0.77012
            ],
            [
              0.05392,
              0.07975,
              0.099,
              0.13021,
              0.18127,
              0.27075,
              0.43645,
              0.77032
            ],
            [
              0.0539,
              0.07983,
              0.09896,
              0.13019,
              0.18125,
              0.27082,
              0.43641,
              0.77011
            ],
            [
              0.05384,
              0.07965,
              0.09886,
              0.13009,
              0.18113,
              0.27066,
              0.43606,
              0.77094
            ],
            [
              0.05371,
              0.0795,
              0.09872,
              0.12997,
              0.18104,
              0.27069,
              0.43619,
              0.7709
            ],
            [
              0.0535,
              0.0792,
              0.09851,
              0.12966,
              0.18085,
              0.27037,
              0.4361,
              0.7708
            ],
            [
              0.0569,
              0.0818,
              0.1006,
              0.1314,
              0.1821,
              0.2714,
              0.4363,
              0.7709
            ],
            [
              0.0616,
              0.0866,
              0.1057,
              0.138,
              0.1907,
              0.2794,
              0.4412,
              0.7726
            ],
            [
              0.0695,
              0.0946,
              0.1136,
              0.1453,
              0.199,
              0.2909,
              0.4538,
              0.7805
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.03138,
              0.05898,
              0.08142,
              0.12456,
              0.21129,
              0.39164,
              0.75814,
              1.49221
            ],
            [
              0.03136,
              0.05883,
              0.08138,
              0.12444,
              0.21121,
              0.39141,
              0.75829,
              1.49269
            ],
            [
              0.03133,
              0.05892,
              0.0813,
              0.1246,
              0.21118,
              0.39153,
              0.758,
              1.49173
            ],
            [
              0.03133,
              0.05882,
              0.08132,
              0.12447,
              0.21115,
              0.3914,
              0.75779,
              1.49355
            ],
            [
              0.03136,
              0.05881,
              0.08133,
              0.1243,
              0.21111,
              0.39129,
              0.75789,
              1.49118
            ],
            [
              0.03131,
              0.05887,
              0.08131,
              0.12439,
              0.21109,
              0.3914,
              0.75792,
              1.49172
            ],
            [
              0.03132,
              0.05879,
              0.08127,
              0.12428,
              0.2111,
              0.39134,
              0.75761,
              1.4924
            ],
            [
              0.03126,
              0.05883,
              0.08128,
              0.12429,
              0.21107,
              0.39133,
              0.75756,
              1.4923
            ],
            [
              0.03242,
              0.0596,
              0.0818,
              0.12465,
              0.21122,
              0.39134,
              0.75754,
              1.49092
            ],
            [
              0.03585,
              0.0632,
              0.08522,
              0.12715,
              0.2126,
              0.39155,
              0.75755,
              1.4928
            ],
            [
              0.04076,
              0.06872,
              0.09021,
              0.13155,
              0.21594,
              0.3937,
              0.7584,
              1.4907
            ],
            [
              0.0471,
              0.0769,
              0.0981,
              0.1379,
              0.22,
              0.3964,
              0.7599,
              1.493
            ],
            [
              0.055,
              0.0872,
              0.1093,
              0.1478,
              0.2266,
              0.3994,
              0.7616,
              1.493
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.32856,
              0.36669,
              0.39309,
              0.43396,
              0.49617,
              0.59318,
              0.75161,
              1.02957
            ],
            [
              0.33071,
              0.36885,
              0.39527,
              0.43609,
              0.49836,
              0.59537,
              0.7538,
              1.03174
            ],
            [
              0.3333,
              0.37144,
              0.39785,
              0.43869,
              0.50094,
              0.59797,
              0.7564,
              1.03402
            ],
            [
              0.33724,
              0.37539,
              0.4018,
              0.44264,
              0.50491,
              0.60193,
              0.76036,
              1.03808
            ],
            [
              0.34341,
              0.38153,
              0.40795,
              0.44878,
              0.51105,
              0.60809,
              0.76652,
              1.04431
            ],
            [
              0.35312,
              0.39122,
              0.41762,
              0.45847,
              0.52073,
              0.61776,
              0.7762,
              1.05412
            ],
            [
              0.36838,
              0.40647,
              0.43288,
              0.47368,
              0.53594,
              0.63297,
              0.7914,
              1.06923
            ],
            [
              0.39243,
              0.43051,
              0.45691,
              0.4977,
              0.55994,
              0.65696,
              0.8154,
              1.09326
            ],
            [
              0.43,
              0.46807,
              0.49446,
              0.53527,
              0.59749,
              0.6945,
              0.85295,
              1.13085
            ],
            [
              0.48829,
              0.52634,
              0.5527,
              0.59348,
              0.65569,
              0.75269,
              0.91109,
              1.18899
            ],
            [
              0.57742,
              0.61522,
              0.64142,
              0.68212,
              0.74432,
              0.84132,
              0.99972,
              1.27762
            ],
            [
              0.69597,
              0.73667,
              0.76447,
              0.80687,
              0.87067,
              0.96887,
              1.12777,
              1.40547
            ],
            [
              0.8421,
              0.8866,
              0.9171,
              0.9632,
              1.0314,
              1.1342,
              1.2967,
              1.5758
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.14267,
              0.17743,
              0.20212,
              0.24286,
              0.31337,
              0.4438,
              0.70058,
              1.20847
            ],
            [
              0.14505,
              0.17982,
              0.20451,
              0.24527,
              0.31566,
              0.44618,
              0.703,
              1.21084
            ],
            [
              0.14786,
              0.18263,
              0.20731,
              0.24806,
              0.31848,
              0.44899,
              0.70582,
              1.21372
            ],
            [
              0.15207,
              0.18684,
              0.21152,
              0.25227,
              0.32277,
              0.4532,
              0.71001,
              1.21798
            ],
            [
              0.15835,
              0.19312,
              0.21781,
              0.25856,
              0.32895,
              0.45948,
              0.7163,
              1.22421
            ],
            [
              0.16781,
              0.20257,
              0.22725,
              0.26798,
              0.33843,
              0.46889,
              0.7257,
              1.23362
            ],
            [
              0.18223,
              0.21698,
              0.24163,
              0.28232,
              0.35266,
              0.48319,
              0.74007,
              1.24803
            ],
            [
              0.20395,
              0.23859,
              0.26317,
              0.30377,
              0.37411,
              0.50457,
              0.7615,
              1.26946
            ],
            [
              0.23329,
              0.26866,
              0.29341,
              0.33409,
              0.40439,
              0.53486,
              0.79185,
              1.29975
            ],
            [
              0.26627,
              0.30366,
              0.32945,
              0.37115,
              0.44213,
              0.57267,
              0.82959,
              1.33759
            ],
            [
              0.30121,
              0.34161,
              0.36895,
              0.41209,
              0.48432,
              0.61582,
              0.87272,
              1.38052
            ],
            [
              0.33567,
              0.37987,
              0.40967,
              0.45517,
              0.52907,
              0.66117,
              0.91887,
              1.42657
            ],
            [
              0.366,
              0.4142,
              0.4475,
              0.4969,
              0.5736,
              0.7069,
              0.9645,
              1.4729
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.05503,
              0.07924,
              0.09697,
              0.12604,
              0.17492,
              0.26305,
              0.42865,
              0.7656
            ],
            [
              0.05501,
              0.07922,
              0.09701,
              0.12607,
              0.17492,
              0.26304,
              0.4286,
              0.76557
            ],
            [
              0.05499,
              0.07932,
              0.09697,
              0.12612,
              0.17492,
              0.26322,
              0.42887,
              0.7657
            ],
            [
              0.05501,
              0.07936,
              0.09694,
              0.12611,
              0.17492,
              0.26318,
              0.42892,
              0.76602
            ],
            [
              0.05507,
              0.07925,
              0.09696,
              0.12612,
              0.17488,
              0.26308,
              0.42879,
              0.765
            ],
            [
              0.05501,
              0.07922,
              0.09702,
              0.12609,
              0.17491,
              0.2631,
              0.42882,
              0.76565
            ],
            [
              0.055,
              0.07922,
              0.09706,
              0.12609,
              0.1749,
              0.26292,
              0.42882,
              0.76504
            ],
            [
              0.055,
              0.07922,
              0.09697,
              0.12608,
              0.17489,
              0.2629,
              0.42875,
              0.76516
            ],
            [
              0.05499,
              0.0792,
              0.09695,
              0.12602,
              0.17491,
              0.26301,
              0.42869,
              0.7656
            ],
            [
              0.05492,
              0.0792,
              0.09691,
              0.12606,
              0.17497,
              0.26319,
              0.4287,
              0.7649
            ],
            [
              0.0559,
              0.0799,
              0.0976,
              0.1267,
              0.1755,
              0.2635,
              0.4288,
              0.765
            ],
            [
              0.0664,
              0.0901,
              0.1072,
              0.1351,
              0.1821,
              0.2677,
              0.431,
              0.7663
            ],
            [
              0.0796,
              0.1048,
              0.1227,
              0.1511,
              0.1976,
              0.2811,
              0.4398,
              0.7705
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.03291,
              0.06066,
              0.08322,
              0.12616,
              0.21238,
              0.39153,
              0.75704,
              1.49147
            ],
            [
              0.03291,
              0.06074,
              0.08329,
              0.12641,
              0.21244,
              0.39142,
              0.75722,
              1.49265
            ],
            [
              0.03291,
              0.06065,
              0.08322,
              0.12617,
              0.21244,
              0.39144,
              0.75738,
              1.49182
            ],
            [
              0.03293,
              0.06066,
              0.0832,
              0.12617,
              0.21239,
              0.39144,
              0.75713,
              1.49177
            ],
            [
              0.03291,
              0.06074,
              0.08329,
              0.12646,
              0.21244,
              0.39149,
              0.75718,
              1.49152
            ],
            [
              0.03292,
              0.06067,
              0.08321,
              0.1262,
              0.21244,
              0.39155,
              0.75697,
              1.49148
            ],
            [
              0.03291,
              0.06066,
              0.08335,
              0.12623,
              0.21247,
              0.39144,
              0.75744,
              1.49182
            ],
            [
              0.03297,
              0.06077,
              0.08346,
              0.12638,
              0.21252,
              0.39153,
              0.75744,
              1.49145
            ],
            [
              0.03534,
              0.06268,
              0.08482,
              0.1274,
              0.21298,
              0.39175,
              0.75694,
              1.49145
            ],
            [
              0.03943,
              0.06722,
              0.08911,
              0.13072,
              0.21512,
              0.3924,
              0.75753,
              1.4903
            ],
            [
              0.04502,
              0.07387,
              0.09547,
              0.13615,
              0.21923,
              0.39492,
              0.7578,
              1.4917
            ],
            [
              0.052,
              0.0832,
              0.105,
              0.1443,
              0.2246,
              0.3982,
              0.7598,
              1.4913
            ],
            [
              0.0606,
              0.0947,
              0.1182,
              0.1568,
              0.2334,
              0.4027,
              0.7621,
              1.4928
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.30406,
              0.34292,
              0.37079,
              0.4148,
              0.48113,
              0.58261,
              0.74513,
              1.02597
            ],
            [
              0.30628,
              0.34515,
              0.37304,
              0.41703,
              0.48337,
              0.58484,
              0.74736,
              1.02804
            ],
            [
              0.30884,
              0.34772,
              0.37562,
              0.41963,
              0.48596,
              0.58745,
              0.74997,
              1.03072
            ],
            [
              0.31278,
              0.35165,
              0.37954,
              0.42356,
              0.4899,
              0.5914,
              0.75394,
              1.03468
            ],
            [
              0.31893,
              0.35777,
              0.38565,
              0.42967,
              0.49602,
              0.59751,
              0.76003,
              1.04071
            ],
            [
              0.32856,
              0.36738,
              0.39526,
              0.43928,
              0.5056,
              0.6071,
              0.76962,
              1.05052
            ],
            [
              0.34372,
              0.38254,
              0.41039,
              0.45438,
              0.52071,
              0.6222,
              0.78475,
              1.06563
            ],
            [
              0.36759,
              0.4064,
              0.43425,
              0.47822,
              0.54452,
              0.646,
              0.80854,
              1.08926
            ],
            [
              0.40494,
              0.44373,
              0.47158,
              0.51551,
              0.58179,
              0.68326,
              0.84585,
              1.12655
            ],
            [
              0.46286,
              0.50163,
              0.52943,
              0.57333,
              0.63959,
              0.74109,
              0.90359,
              1.18429
            ],
            [
              0.55032,
              0.58912,
              0.61692,
              0.66072,
              0.72702,
              0.82862,
              0.99122,
              1.27212
            ],
            [
              0.66247,
              0.70447,
              0.73407,
              0.78047,
              0.84947,
              0.95287,
              1.11637,
              1.39747
            ],
            [
              0.8013,
              0.8469,
              0.8792,
              0.9298,
              1.0044,
              1.1136,
              1.2817,
              1.5645
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.16113,
              0.19621,
              0.22116,
              0.26236,
              0.33344,
              0.46471,
              0.72232,
              1.23067
            ],
            [
              0.16351,
              0.19859,
              0.22354,
              0.26474,
              0.33581,
              0.46709,
              0.7247,
              1.23304
            ],
            [
              0.16635,
              0.20143,
              0.22638,
              0.26757,
              0.33871,
              0.46993,
              0.72755,
              1.23592
            ],
            [
              0.17056,
              0.20564,
              0.23061,
              0.27177,
              0.34296,
              0.47414,
              0.73176,
              1.24018
            ],
            [
              0.17688,
              0.21195,
              0.23691,
              0.27807,
              0.34924,
              0.48044,
              0.73805,
              1.24631
            ],
            [
              0.18633,
              0.22141,
              0.24636,
              0.28755,
              0.35859,
              0.48989,
              0.74752,
              1.25592
            ],
            [
              0.2006,
              0.23568,
              0.26063,
              0.3018,
              0.37282,
              0.5041,
              0.76175,
              1.27013
            ],
            [
              0.22229,
              0.25733,
              0.28225,
              0.32335,
              0.39437,
              0.52558,
              0.78328,
              1.29176
            ],
            [
              0.25377,
              0.28895,
              0.31383,
              0.35487,
              0.42585,
              0.55699,
              0.81475,
              1.32315
            ],
            [
              0.29058,
              0.3274,
              0.35309,
              0.39487,
              0.46622,
              0.59738,
              0.85509,
              1.36349
            ],
            [
              0.33036,
              0.36973,
              0.39661,
              0.43953,
              0.51192,
              0.64402,
              0.90162,
              1.41002
            ],
            [
              0.37067,
              0.41357,
              0.44247,
              0.48727,
              0.56097,
              0.69357,
              0.95207,
              1.46017
            ],
            [
              0.4078,
              0.4547,
              0.4868,
              0.5348,
              0.6106,
              0.7441,
              1.0026,
              1.5115
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.0546,
              0.08147,
              0.10174,
              0.13362,
              0.18429,
              0.2725,
              0.43731,
              0.77041
            ],
            [
              0.0546,
              0.08136,
              0.10171,
              0.13364,
              0.18432,
              0.27249,
              0.4373,
              0.77071
            ],
            [
              0.05461,
              0.08139,
              0.10169,
              0.13359,
              0.18429,
              0.27268,
              0.43729,
              0.77038
            ],
            [
              0.05461,
              0.08147,
              0.10176,
              0.13365,
              0.18429,
              0.27248,
              0.43699,
              0.77112
            ],
            [
              0.05458,
              0.08146,
              0.10175,
              0.13359,
              0.1843,
              0.27264,
              0.4373,
              0.77048
            ],
            [
              0.0546,
              0.08137,
              0.1017,
              0.13363,
              0.18429,
              0.27268,
              0.43732,
              0.77131
            ],
            [
              0.0546,
              0.08147,
              0.10176,
              0.13363,
              0.1843,
              0.27263,
              0.43703,
              0.7713
            ],
            [
              0.0546,
              0.08147,
              0.10172,
              0.13361,
              0.18433,
              0.27266,
              0.43725,
              0.77033
            ],
            [
              0.05459,
              0.0814,
              0.10169,
              0.13369,
              0.18438,
              0.27267,
              0.43708,
              0.771
            ],
            [
              0.0545,
              0.08139,
              0.10178,
              0.13372,
              0.18447,
              0.27281,
              0.4373,
              0.7704
            ],
            [
              0.0575,
              0.0834,
              0.1033,
              0.135,
              0.1856,
              0.2735,
              0.4376,
              0.7705
            ],
            [
              0.0682,
              0.0947,
              0.1148,
              0.1459,
              0.1947,
              0.2795,
              0.4406,
              0.7725
            ],
            [
              0.0817,
              0.1098,
              0.1312,
              0.1639,
              0.2132,
              0.2959,
              0.4521,
              0.7775
            ]
          ]
        },
        "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.00995,
            0.01989,
            0.03979,
            0.07958,
            0.15915,
            0.31831,
            0.63662
          ],
          "values": [
            [
              0.03302,
              0.06172,
              0.08469,
              0.12819,
              0.2146,
              0.39384,
              0.7592,
              1.49344
            ],
            [
              0.03304,
              0.06171,
              0.08469,
              0.1282,
              0.2146,
              0.39384,
              0.75919,
              1.49363
            ],
            [
              0.03302,
              0.06179,
              0.08467,
              0.12816,
              0.2146,
              0.39374,
              0.75943,
              1.49327
            ],
            [
              0.03302,
              0.06172,
              0.08465,
              0.12802,
              0.21456,
              0.39373,
              0.75916,
              1.49301
            ],
            [
              0.03303,
              0.06172,
              0.08466,
              0.12801,
              0.21457,
              0.39377,
              0.7594,
              1.49363
            ],
            [
              0.03302,
              0.06172,
              0.08469,
              0.12821,
              0.21461,
              0.39384,
              0.75915,
              1.49367
            ],
            [
              0.03303,
              0.06175,
              0.08467,
              0.12821,
              0.21461,
              0.39386,
              0.75912,
              1.49362
            ],
            [
              0.03302,
              0.06169,
              0.08479,
              0.12822,
              0.21463,
              0.39379,
              0.75934,
              1.49357
            ],
            [
              0.03412,
              0.06245,
              0.08529,
              0.12854,
              0.21484,
              0.39388,
              0.7592,
              1.49375
            ],
            [
              0.03761,
              0.0662,
              0.08878,
              0.13133,
              0.21633,
              0.39444,
              0.75947,
              1.4938
            ],
            [
              0.04277,
              0.07187,
              0.09394,
              0.13568,
              0.22002,
              0.3964,
              0.7602,
              1.4934
            ],
            [
              0.0495,
              0.0802,
              0.1023,
              0.1425,
              0.2245,
              0.3997,
              0.7622,
              1.4928
            ],
            [
              0.0581,
              0.0912,
              0.1142,
              0.1532,
              0.2317,
              0.4034,
              0.764,
              1.4953
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.07289,
              0.05408,
              0.03751,
              0.00603,
              -0.05555,
              -0.17845,
              -0.42444,
              -0.9168
            ],
            [
              0.0728,
              0.054,
              0.03744,
              0.00598,
              -0.05566,
              -0.17852,
              -0.42452,
              -0.91689
            ],
            [
              0.07279,
              0.05395,
              0.03737,
              0.00586,
              -0.05571,
              -0.17855,
              -0.42457,
              -0.91693
            ],
            [
              0.07272,
              0.0539,
              0.03731,
              0.00579,
              -0.05577,
              -0.17861,
              -0.4246,
              -0.917
            ],
            [
              0.07264,
              0.0538,
              0.03722,
              0.00571,
              -0.05582,
              -0.17869,
              -0.42469,
              -0.91708
            ],
            [
              0.07252,
              0.05375,
              0.03715,
              0.00564,
              -0.05596,
              -0.17882,
              -0.42478,
              -0.91716
            ],
            [
              0.07242,
              0.05364,
              0.03704,
              0.00559,
              -0.05605,
              -0.1789,
              -0.4249,
              -0.91726
            ],
            [
              0.07232,
              0.05357,
              0.03699,
              0.00549,
              -0.05616,
              -0.17902,
              -0.42498,
              -0.91734
            ],
            [
              0.07228,
              0.05349,
              0.03691,
              0.00541,
              -0.05625,
              -0.17913,
              -0.42509,
              -0.91741
            ],
            [
              0.07223,
              0.05344,
              0.03682,
              0.00525,
              -0.05641,
              -0.17927,
              -0.42519,
              -0.91748
            ],
            [
              0.07272,
              0.05379,
              0.0371,
              0.00544,
              -0.05639,
              -0.17929,
              -0.42521,
              -0.91748
            ],
            [
              0.07429,
              0.05498,
              0.03805,
              0.0061,
              -0.05593,
              -0.17901,
              -0.42498,
              -0.91725
            ],
            [
              0.07704,
              0.05724,
              0.03994,
              0.00757,
              -0.05486,
              -0.17817,
              -0.42423,
              -0.91648
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.02024,
              0.03539,
              0.05083,
              0.08178,
              0.14331,
              0.26598,
              0.51153,
              0.99875
            ],
            [
              0.02008,
              0.03522,
              0.05067,
              0.08164,
              0.14312,
              0.26582,
              0.51111,
              0.99899
            ],
            [
              0.01994,
              0.03509,
              0.05053,
              0.08144,
              0.14292,
              0.26553,
              0.51066,
              0.998
            ],
            [
              0.01975,
              0.03489,
              0.05031,
              0.0813,
              0.14275,
              0.26559,
              0.5107,
              0.99795
            ],
            [
              0.01949,
              0.03466,
              0.05011,
              0.08104,
              0.14255,
              0.26522,
              0.51029,
              0.99809
            ],
            [
              0.01923,
              0.03438,
              0.04984,
              0.08076,
              0.14222,
              0.26486,
              0.51018,
              0.99851
            ],
            [
              0.01896,
              0.0341,
              0.04955,
              0.08045,
              0.14192,
              0.26468,
              0.50967,
              0.99804
            ],
            [
              0.01872,
              0.03382,
              0.04923,
              0.08012,
              0.14158,
              0.2643,
              0.51014,
              0.99807
            ],
            [
              0.01868,
              0.03367,
              0.04901,
              0.07983,
              0.14128,
              0.26395,
              0.50869,
              0.99733
            ],
            [
              0.01891,
              0.03377,
              0.04897,
              0.07957,
              0.14113,
              0.26393,
              0.50872,
              0.99598
            ],
            [
              0.01952,
              0.03413,
              0.04934,
              0.07997,
              0.14106,
              0.2633,
              0.50855,
              0.99745
            ],
            [
              0.02074,
              0.03496,
              0.04995,
              0.08049,
              0.14186,
              0.26401,
              0.50819,
              0.99681
            ],
            [
              0.02303,
              0.0367,
              0.05149,
              0.0816,
              0.14282,
              0.26552,
              0.50925,
              0.99666
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.06919,
              0.08306,
              0.09939,
              0.13334,
              0.20119,
              0.33498,
              0.60205,
              1.13537
            ],
            [
              0.06907,
              0.08298,
              0.09927,
              0.13322,
              0.20109,
              0.33481,
              0.60183,
              1.13555
            ],
            [
              0.06896,
              0.08287,
              0.09916,
              0.13311,
              0.20097,
              0.33466,
              0.60176,
              1.13436
            ],
            [
              0.06882,
              0.0827,
              0.09899,
              0.13296,
              0.20084,
              0.33453,
              0.60139,
              1.13532
            ],
            [
              0.06863,
              0.08248,
              0.0988,
              0.13275,
              0.20062,
              0.33427,
              0.60162,
              1.1343
            ],
            [
              0.06836,
              0.08227,
              0.09859,
              0.13249,
              0.20037,
              0.33404,
              0.60094,
              1.13424
            ],
            [
              0.06809,
              0.08198,
              0.09833,
              0.13221,
              0.20004,
              0.33371,
              0.60023,
              1.13488
            ],
            [
              0.06786,
              0.08172,
              0.09799,
              0.13187,
              0.19967,
              0.33334,
              0.6004,
              1.13316
            ],
            [
              0.06784,
              0.08157,
              0.09779,
              0.13153,
              0.19926,
              0.33293,
              0.60004,
              1.13379
            ],
            [
              0.06814,
              0.08172,
              0.09775,
              0.1313,
              0.19887,
              0.33241,
              0.5992,
              1.13372
            ],
            [
              0.06893,
              0.08217,
              0.09809,
              0.13156,
              0.19891,
              0.33233,
              0.59971,
              1.13295
            ],
            [
              0.07057,
              0.08336,
              0.09916,
              0.13228,
              0.1994,
              0.33259,
              0.59924,
              1.13275
            ],
            [
              0.07368,
              0.08584,
              0.10135,
              0.13415,
              0.20091,
              0.33398,
              0.60024,
              1.13548
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.11213,
              0.12349,
              0.13747,
              0.16714,
              0.22804,
              0.35068,
              0.59501,
              1.08267
            ],
            [
              0.11204,
              0.12348,
              0.13748,
              0.16711,
              0.228,
              0.35066,
              0.59521,
              1.0823
            ],
            [
              0.11201,
              0.12341,
              0.13737,
              0.1671,
              0.22792,
              0.35036,
              0.59445,
              1.08287
            ],
            [
              0.11196,
              0.12334,
              0.13735,
              0.16704,
              0.22791,
              0.35041,
              0.59482,
              1.08251
            ],
            [
              0.11188,
              0.12326,
              0.1373,
              0.16696,
              0.22785,
              0.35045,
              0.59513,
              1.08346
            ],
            [
              0.11176,
              0.12315,
              0.13717,
              0.16688,
              0.22775,
              0.3502,
              0.5942,
              1.08228
            ],
            [
              0.11167,
              0.12307,
              0.13706,
              0.16673,
              0.2276,
              0.35025,
              0.59422,
              1.08218
            ],
            [
              0.11156,
              0.12294,
              0.13696,
              0.16662,
              0.22747,
              0.35006,
              0.59483,
              1.08179
            ],
            [
              0.11143,
              0.12283,
              0.13685,
              0.16644,
              0.22731,
              0.34977,
              0.59365,
              1.08169
            ],
            [
              0.11139,
              0.12277,
              0.13676,
              0.16629,
              0.22707,
              0.34968,
              0.59448,
              1.08288
            ],
            [
              0.11215,
              0.12336,
              0.13718,
              0.16663,
              0.22718,
              0.34979,
              0.59403,
              1.08236
            ],
            [
              0.11436,
              0.12506,
              0.1386,
              0.16762,
              0.22785,
              0.35016,
              0.59505,
              1.08298
            ],
            [
              0.11804,
              0.12815,
              0.1413,
              0.16995,
              0.22968,
              0.35133,
              0.59622,
              1.08476
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.06559,
              0.0468,
              0.03019,
              -0.00126,
              -0.06285,
              -0.18567,
              -0.43162,
              -0.92391
            ],
            [
              0.06551,
              0.04669,
              0.0301,
              -0.00138,
              -0.06295,
              -0.18576,
              -0.4317,
              -0.92401
            ],
            [
              0.06541,
              0.0466,
              0.03004,
              -0.00144,
              -0.06304,
              -0.18584,
              -0.43178,
              -0.92409
            ],
            [
              0.06539,
              0.04655,
              0.02995,
              -0.00151,
              -0.06307,
              -0.1859,
              -0.43185,
              -0.92415
            ],
            [
              0.06527,
              0.04644,
              0.02988,
              -0.00161,
              -0.0632,
              -0.18602,
              -0.43196,
              -0.92425
            ],
            [
              0.06512,
              0.0463,
              0.0297,
              -0.00177,
              -0.06333,
              -0.18615,
              -0.43211,
              -0.9244
            ],
            [
              0.06497,
              0.04619,
              0.02963,
              -0.00191,
              -0.06348,
              -0.18632,
              -0.43225,
              -0.92453
            ],
            [
              0.06485,
              0.04605,
              0.02949,
              -0.00202,
              -0.06365,
              -0.18646,
              -0.43241,
              -0.92466
            ],
            [
              0.06473,
              0.04594,
              0.02935,
              -0.00216,
              -0.0638,
              -0.18662,
              -0.43254,
              -0.92479
            ],
            [
              0.06474,
              0.04592,
              0.02928,
              -0.00228,
              -0.06398,
              -0.18681,
              -0.43269,
              -0.9249
            ],
            [
              0.06535,
              0.04638,
              0.02965,
              -0.00206,
              -0.06389,
              -0.1868,
              -0.43269,
              -0.92489
            ],
            [
              0.0672,
              0.04779,
              0.03078,
              -0.00122,
              -0.06332,
              -0.18641,
              -0.43236,
              -0.92457
            ],
            [
              0.07026,
              0.05033,
              0.03295,
              0.00049,
              -0.06201,
              -0.18536,
              -0.43145,
              -0.92367
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.02388,
              0.03905,
              0.05451,
              0.08547,
              0.14699,
              0.26996,
              0.51451,
              1.00304
            ],
            [
              0.02377,
              0.03893,
              0.05437,
              0.08536,
              0.14685,
              0.2696,
              0.51513,
              1.00253
            ],
            [
              0.02366,
              0.03881,
              0.05426,
              0.08526,
              0.14679,
              0.26934,
              0.5149,
              1.00263
            ],
            [
              0.02345,
              0.03862,
              0.05405,
              0.08501,
              0.14662,
              0.26958,
              0.51487,
              1.00186
            ],
            [
              0.02331,
              0.03847,
              0.05389,
              0.08489,
              0.14636,
              0.2693,
              0.51481,
              1.00256
            ],
            [
              0.02311,
              0.03826,
              0.05369,
              0.08462,
              0.14619,
              0.26893,
              0.51414,
              1.00222
            ],
            [
              0.02286,
              0.038,
              0.05345,
              0.08437,
              0.14591,
              0.2688,
              0.51334,
              1.00209
            ],
            [
              0.02274,
              0.03783,
              0.05323,
              0.08411,
              0.14561,
              0.26839,
              0.51421,
              1.00223
            ],
            [
              0.02278,
              0.03775,
              0.05308,
              0.08388,
              0.14525,
              0.26847,
              0.51366,
              1.00327
            ],
            [
              0.02311,
              0.03793,
              0.05314,
              0.08369,
              0.14511,
              0.2681,
              0.51306,
              1.00284
            ],
            [
              0.0239,
              0.03843,
              0.05355,
              0.08415,
              0.14528,
              0.26763,
              0.51234,
              1.00039
            ],
            [
              0.02537,
              0.03943,
              0.05439,
              0.08479,
              0.14609,
              0.26815,
              0.51245,
              1.00128
            ],
            [
              0.0279,
              0.04136,
              0.05613,
              0.08613,
              0.14721,
              0.26977,
              0.51359,
              1.00103
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.07403,
              0.08806,
              0.10443,
              0.13841,
              0.20635,
              0.34009,
              0.60711,
              1.14073
            ],
            [
              0.07395,
              0.08795,
              0.10436,
              0.13832,
              0.20631,
              0.33995,
              0.60706,
              1.13993
            ],
            [
              0.07392,
              0.08793,
              0.10429,
              0.13833,
              0.20624,
              0.33992,
              0.60696,
              1.14086
            ],
            [
              0.07378,
              0.08778,
              0.10417,
              0.13819,
              0.20616,
              0.33982,
              0.60687,
              1.14061
            ],
            [
              0.07361,
              0.08758,
              0.104,
              0.138,
              0.20598,
              0.33964,
              0.60653,
              1.14019
            ],
            [
              0.07333,
              0.08735,
              0.10372,
              0.13771,
              0.20568,
              0.3394,
              0.60637,
              1.13857
            ],
            [
              0.073,
              0.08699,
              0.10341,
              0.13735,
              0.20526,
              0.33895,
              0.60581,
              1.13857
            ],
            [
              0.07267,
              0.08661,
              0.10294,
              0.13682,
              0.20465,
              0.3384,
              0.60553,
              1.13912
            ],
            [
              0.07253,
              0.08631,
              0.10256,
              0.13627,
              0.20398,
              0.33769,
              0.60486,
              1.13898
            ],
            [
              0.07275,
              0.08633,
              0.10235,
              0.13581,
              0.20336,
              0.33684,
              0.60389,
              1.13692
            ],
            [
              0.07349,
              0.08666,
              0.10259,
              0.13593,
              0.20319,
              0.33664,
              0.60396,
              1.1375
            ],
            [
              0.07517,
              0.08779,
              0.10353,
              0.13654,
              0.20357,
              0.33669,
              0.60371,
              1.13721
            ],
            [
              0.07835,
              0.09026,
              0.10569,
              0.13844,
              0.205,
              0.33811,
              0.60444,
              1.13783
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.10873,
              0.12026,
              0.13427,
              0.16398,
              0.22487,
              0.34761,
              0.59156,
              1.07993
            ],
            [
              0.10867,
              0.12018,
              0.13422,
              0.16394,
              0.22486,
              0.34745,
              0.59223,
              1.07902
            ],
            [
              0.10855,
              0.12004,
              0.13411,
              0.16387,
              0.22472,
              0.3475,
              0.59182,
              1.08
            ],
            [
              0.10836,
              0.11983,
              0.13385,
              0.1636,
              0.22446,
              0.34714,
              0.59219,
              1.07966
            ],
            [
              0.10815,
              0.11964,
              0.13371,
              0.16342,
              0.22436,
              0.34693,
              0.59168,
              1.08005
            ],
            [
              0.10787,
              0.11942,
              0.13344,
              0.16315,
              0.22402,
              0.34682,
              0.59116,
              1.08011
            ],
            [
              0.10759,
              0.11905,
              0.13311,
              0.16282,
              0.22378,
              0.34617,
              0.59093,
              1.0792
            ],
            [
              0.10729,
              0.11878,
              0.13282,
              0.16256,
              0.22338,
              0.3463,
              0.59009,
              1.07862
            ],
            [
              0.10703,
              0.11854,
              0.13259,
              0.16225,
              0.22328,
              0.34569,
              0.59032,
              1.07889
            ],
            [
              0.10686,
              0.11834,
              0.13232,
              0.16195,
              0.2227,
              0.3454,
              0.58987,
              1.078
            ],
            [
              0.10759,
              0.11888,
              0.13275,
              0.16216,
              0.22283,
              0.34525,
              0.59042,
              1.07696
            ],
            [
              0.11019,
              0.12089,
              0.13437,
              0.1633,
              0.22357,
              0.34617,
              0.59066,
              1.07939
            ],
            [
              0.11467,
              0.12457,
              0.13761,
              0.16603,
              0.22571,
              0.34751,
              0.59158,
              1.07927
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.05964,
              0.04103,
              0.02452,
              -0.0069,
              -0.06844,
              -0.19124,
              -0.43715,
              -0.92944
            ],
            [
              0.05972,
              0.04106,
              0.02455,
              -0.00685,
              -0.06835,
              -0.19114,
              -0.43709,
              -0.92938
            ],
            [
              0.05955,
              0.04091,
              0.0244,
              -0.007,
              -0.06855,
              -0.19135,
              -0.43727,
              -0.92954
            ],
            [
              0.05936,
              0.04073,
              0.02419,
              -0.00722,
              -0.06876,
              -0.19155,
              -0.43747,
              -0.92974
            ],
            [
              0.05917,
              0.04052,
              0.02403,
              -0.0074,
              -0.0689,
              -0.19169,
              -0.43763,
              -0.9299
            ],
            [
              0.05895,
              0.04032,
              0.02382,
              -0.00756,
              -0.06911,
              -0.19191,
              -0.43782,
              -0.93011
            ],
            [
              0.0587,
              0.04007,
              0.02356,
              -0.00785,
              -0.06935,
              -0.19213,
              -0.43807,
              -0.93034
            ],
            [
              0.05846,
              0.03984,
              0.02336,
              -0.00807,
              -0.06963,
              -0.19241,
              -0.43832,
              -0.93055
            ],
            [
              0.05831,
              0.03967,
              0.02319,
              -0.00826,
              -0.06982,
              -0.19261,
              -0.43851,
              -0.93074
            ],
            [
              0.05836,
              0.03971,
              0.02317,
              -0.00832,
              -0.06995,
              -0.19275,
              -0.43862,
              -0.93081
            ],
            [
              0.05907,
              0.04023,
              0.02358,
              -0.00805,
              -0.06979,
              -0.19267,
              -0.43854,
              -0.93071
            ],
            [
              0.06123,
              0.04193,
              0.02498,
              -0.00695,
              -0.069,
              -0.19208,
              -0.43802,
              -0.93021
            ],
            [
              0.0652,
              0.04519,
              0.02777,
              -0.00472,
              -0.06726,
              -0.19068,
              -0.43681,
              -0.92905
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.02822,
              0.04336,
              0.05881,
              0.08986,
              0.1515,
              0.27432,
              0.51953,
              1.00686
            ],
            [
              0.02818,
              0.04334,
              0.0588,
              0.08984,
              0.15147,
              0.27411,
              0.51935,
              1.00755
            ],
            [
              0.02817,
              0.0433,
              0.05871,
              0.08979,
              0.1514,
              0.27419,
              0.51947,
              1.00882
            ],
            [
              0.02811,
              0.04323,
              0.05865,
              0.08968,
              0.15135,
              0.27415,
              0.51864,
              1.007
            ],
            [
              0.02802,
              0.0431,
              0.05862,
              0.08968,
              0.15124,
              0.27408,
              0.5185,
              1.00711
            ],
            [
              0.02785,
              0.04297,
              0.05845,
              0.08949,
              0.15113,
              0.27387,
              0.51885,
              1.00645
            ],
            [
              0.0277,
              0.04282,
              0.05825,
              0.08928,
              0.15091,
              0.27357,
              0.5185,
              1.00655
            ],
            [
              0.02756,
              0.04265,
              0.05807,
              0.08905,
              0.15063,
              0.27356,
              0.51827,
              1.00686
            ],
            [
              0.02767,
              0.04259,
              0.05794,
              0.08875,
              0.15033,
              0.27295,
              0.51802,
              1.00581
            ],
            [
              0.02812,
              0.0429,
              0.0581,
              0.08876,
              0.15001,
              0.27289,
              0.51715,
              1.00625
            ],
            [
              0.02908,
              0.0435,
              0.05861,
              0.0892,
              0.1503,
              0.27258,
              0.51782,
              1.00629
            ],
            [
              0.03084,
              0.0447,
              0.05961,
              0.08998,
              0.15119,
              0.27331,
              0.51676,
              1.00786
            ],
            [
              0.03372,
              0.04688,
              0.06151,
              0.0915,
              0.15254,
              0.27493,
              0.5188,
              1.00656
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.07659,
              0.09033,
              0.10658,
              0.14055,
              0.20849,
              0.34214,
              0.60916,
              1.14169
            ],
            [
              0.07663,
              0.09037,
              0.10662,
              0.1406,
              0.20856,
              0.3421,
              0.60873,
              1.14174
            ],
            [
              0.07665,
              0.09041,
              0.10664,
              0.14064,
              0.2086,
              0.3422,
              0.60923,
              1.14228
            ],
            [
              0.07655,
              0.09028,
              0.10652,
              0.14052,
              0.20847,
              0.34207,
              0.60914,
              1.14179
            ],
            [
              0.07648,
              0.09022,
              0.10648,
              0.14045,
              0.20841,
              0.34201,
              0.60856,
              1.14226
            ],
            [
              0.07638,
              0.09013,
              0.10635,
              0.14032,
              0.20827,
              0.34193,
              0.60885,
              1.14089
            ],
            [
              0.07618,
              0.08992,
              0.10617,
              0.14008,
              0.20797,
              0.34152,
              0.60857,
              1.14087
            ],
            [
              0.07601,
              0.0897,
              0.10591,
              0.13969,
              0.20747,
              0.34107,
              0.60829,
              1.14262
            ],
            [
              0.0762,
              0.08963,
              0.10565,
              0.1393,
              0.20692,
              0.34045,
              0.60748,
              1.14116
            ],
            [
              0.07687,
              0.09002,
              0.10584,
              0.13917,
              0.20659,
              0.33993,
              0.60681,
              1.14057
            ],
            [
              0.07819,
              0.09078,
              0.10643,
              0.13963,
              0.20673,
              0.3399,
              0.60726,
              1.14003
            ],
            [
              0.08017,
              0.09223,
              0.10769,
              0.14058,
              0.20736,
              0.34029,
              0.60722,
              1.14101
            ],
            [
              0.08383,
              0.09509,
              0.1103,
              0.14281,
              0.20911,
              0.34185,
              0.60796,
              1.14222
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.10305,
              0.11453,
              0.12851,
              0.15819,
              0.21913,
              0.34162,
              0.5863,
              1.07401
            ],
            [
              0.10306,
              0.11456,
              0.12857,
              0.15835,
              0.21922,
              0.3416,
              0.58687,
              1.07299
            ],
            [
              0.10308,
              0.11459,
              0.12859,
              0.15824,
              0.21915,
              0.34175,
              0.58611,
              1.07347
            ],
            [
              0.10285,
              0.11435,
              0.12835,
              0.15805,
              0.21896,
              0.34139,
              0.58586,
              1.07456
            ],
            [
              0.10272,
              0.11421,
              0.12822,
              0.15787,
              0.21881,
              0.34138,
              0.58574,
              1.07406
            ],
            [
              0.10246,
              0.114,
              0.12797,
              0.15767,
              0.21851,
              0.34116,
              0.58607,
              1.07354
            ],
            [
              0.10227,
              0.11377,
              0.1278,
              0.15745,
              0.2184,
              0.34088,
              0.58546,
              1.07246
            ],
            [
              0.1021,
              0.11359,
              0.12765,
              0.15726,
              0.21815,
              0.34065,
              0.58525,
              1.07247
            ],
            [
              0.10196,
              0.11347,
              0.12744,
              0.1571,
              0.21794,
              0.34051,
              0.58549,
              1.07392
            ],
            [
              0.10198,
              0.11345,
              0.12738,
              0.15701,
              0.21768,
              0.34048,
              0.58471,
              1.07295
            ],
            [
              0.10304,
              0.11428,
              0.12805,
              0.1574,
              0.21791,
              0.34007,
              0.585,
              1.07331
            ],
            [
              0.10664,
              0.11712,
              0.13041,
              0.15922,
              0.2192,
              0.34108,
              0.5856,
              1.0735
            ],
            [
              0.1123,
              0.12186,
              0.13456,
              0.1626,
              0.22173,
              0.34315,
              0.58726,
              1.0762
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.40229,
    "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.47512,
              0.51422,
              0.54146,
              0.58326,
              0.64591,
              0.74095,
              0.89333,
              1.15997
            ],
            [
              0.4758,
              0.5149,
              0.54213,
              0.58393,
              0.64658,
              0.74164,
              0.89401,
              1.16094
            ],
            [
              0.47709,
              0.51618,
              0.54342,
              0.58522,
              0.64785,
              0.74276,
              0.89529,
              1.16192
            ],
            [
              0.47968,
              0.51875,
              0.54599,
              0.58779,
              0.65043,
              0.74535,
              0.89772,
              1.16447
            ],
            [
              0.48476,
              0.52382,
              0.55105,
              0.59285,
              0.65546,
              0.75042,
              0.90279,
              1.16961
            ],
            [
              0.49339,
              0.53247,
              0.5597,
              0.60149,
              0.66412,
              0.75918,
              0.9114,
              1.17802
            ],
            [
              0.50649,
              0.54555,
              0.57276,
              0.61455,
              0.67717,
              0.77226,
              0.92463,
              1.19163
            ],
            [
              0.52542,
              0.5645,
              0.59172,
              0.63348,
              0.69611,
              0.79117,
              0.94336,
              1.21016
            ],
            [
              0.55266,
              0.59171,
              0.61892,
              0.6607,
              0.7233,
              0.81835,
              0.97075,
              1.23755
            ],
            [
              0.59215,
              0.63119,
              0.65839,
              0.70019,
              0.76279,
              0.85789,
              1.01029,
              1.27709
            ],
            [
              0.65022,
              0.68922,
              0.71642,
              0.75812,
              0.82072,
              0.91582,
              1.06832,
              1.33522
            ],
            [
              0.72907,
              0.76927,
              0.79727,
              0.84007,
              0.90377,
              0.99967,
              1.15267,
              1.41967
            ],
            [
              0.8329,
              0.8748,
              0.904,
              0.9487,
              1.0151,
              1.1145,
              1.2706,
              1.5394
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.17124,
              0.20225,
              0.22481,
              0.26309,
              0.33136,
              0.46131,
              0.71769,
              1.22857
            ],
            [
              0.17224,
              0.20325,
              0.22581,
              0.26415,
              0.33246,
              0.4624,
              0.71877,
              1.22984
            ],
            [
              0.17389,
              0.20491,
              0.22747,
              0.26579,
              0.33408,
              0.46408,
              0.72047,
              1.23112
            ],
            [
              0.17699,
              0.20802,
              0.23058,
              0.26891,
              0.3372,
              0.46721,
              0.72362,
              1.23438
            ],
            [
              0.18227,
              0.2133,
              0.23586,
              0.27421,
              0.34251,
              0.47229,
              0.72864,
              1.24051
            ],
            [
              0.19043,
              0.22146,
              0.24402,
              0.28235,
              0.35067,
              0.48068,
              0.73711,
              1.24782
            ],
            [
              0.20255,
              0.23358,
              0.25613,
              0.29445,
              0.36275,
              0.4927,
              0.74901,
              1.25943
            ],
            [
              0.22026,
              0.25129,
              0.27382,
              0.31205,
              0.3803,
              0.51037,
              0.76688,
              1.27796
            ],
            [
              0.24437,
              0.27594,
              0.29861,
              0.33693,
              0.40512,
              0.53503,
              0.79165,
              1.30295
            ],
            [
              0.27326,
              0.30616,
              0.3295,
              0.36839,
              0.43693,
              0.56707,
              0.82329,
              1.33449
            ],
            [
              0.30541,
              0.34022,
              0.36451,
              0.40433,
              0.47362,
              0.60382,
              0.86032,
              1.37122
            ],
            [
              0.33757,
              0.37517,
              0.40097,
              0.44227,
              0.51247,
              0.64317,
              0.89947,
              1.41047
            ],
            [
              0.365,
              0.4063,
              0.4343,
              0.4779,
              0.5498,
              0.6807,
              0.9377,
              1.4476
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.06805,
              0.09142,
              0.10871,
              0.13662,
              0.18301,
              0.26528,
              0.42434,
              0.75097
            ],
            [
              0.06805,
              0.09142,
              0.1087,
              0.13663,
              0.18302,
              0.2654,
              0.42432,
              0.7504
            ],
            [
              0.06811,
              0.09139,
              0.10866,
              0.13656,
              0.18287,
              0.26535,
              0.42433,
              0.75084
            ],
            [
              0.0681,
              0.0914,
              0.10865,
              0.13657,
              0.18287,
              0.26535,
              0.42451,
              0.7514
            ],
            [
              0.06806,
              0.0914,
              0.10866,
              0.13657,
              0.18294,
              0.26548,
              0.42438,
              0.75138
            ],
            [
              0.06805,
              0.09142,
              0.10872,
              0.13658,
              0.18287,
              0.26521,
              0.42453,
              0.75153
            ],
            [
              0.06804,
              0.09142,
              0.10866,
              0.1366,
              0.18306,
              0.26557,
              0.42412,
              0.75089
            ],
            [
              0.06806,
              0.09147,
              0.10878,
              0.13673,
              0.18288,
              0.26516,
              0.42433,
              0.7514
            ],
            [
              0.06804,
              0.09139,
              0.10869,
              0.13659,
              0.18309,
              0.26516,
              0.4241,
              0.7511
            ],
            [
              0.06804,
              0.09132,
              0.10862,
              0.13657,
              0.183,
              0.2652,
              0.4244,
              0.7514
            ],
            [
              0.0684,
              0.0917,
              0.1091,
              0.1369,
              0.1831,
              0.2654,
              0.4244,
              0.7514
            ],
            [
              0.0739,
              0.0972,
              0.1144,
              0.1419,
              0.1875,
              0.2684,
              0.4259,
              0.7522
            ],
            [
              0.0808,
              0.1045,
              0.1223,
              0.1507,
              0.1969,
              0.2778,
              0.4333,
              0.7555
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.02959,
              0.05555,
              0.07763,
              0.1206,
              0.20851,
              0.39058,
              0.75801,
              1.49811
            ],
            [
              0.02962,
              0.05557,
              0.07759,
              0.12066,
              0.20878,
              0.38948,
              0.75769,
              1.49622
            ],
            [
              0.02961,
              0.05557,
              0.07769,
              0.12091,
              0.20852,
              0.39067,
              0.75789,
              1.49886
            ],
            [
              0.02961,
              0.05558,
              0.07765,
              0.12101,
              0.20862,
              0.39042,
              0.75773,
              1.49833
            ],
            [
              0.02968,
              0.05567,
              0.07762,
              0.12074,
              0.20875,
              0.39023,
              0.75962,
              1.49763
            ],
            [
              0.02964,
              0.05561,
              0.07766,
              0.12065,
              0.20873,
              0.39001,
              0.75713,
              1.49602
            ],
            [
              0.02967,
              0.05563,
              0.07763,
              0.12072,
              0.20882,
              0.38967,
              0.75956,
              1.49718
            ],
            [
              0.0298,
              0.05571,
              0.07768,
              0.12082,
              0.20848,
              0.38958,
              0.75738,
              1.49535
            ],
            [
              0.031,
              0.05681,
              0.07854,
              0.1212,
              0.20881,
              0.39051,
              0.75961,
              1.49801
            ],
            [
              0.03323,
              0.05949,
              0.08118,
              0.12332,
              0.20991,
              0.39053,
              0.75979,
              1.4965
            ],
            [
              0.03675,
              0.06356,
              0.08511,
              0.12664,
              0.21215,
              0.39129,
              0.7572,
              1.4966
            ],
            [
              0.042,
              0.0697,
              0.091,
              0.1317,
              0.2154,
              0.3927,
              0.7588,
              1.4961
            ],
            [
              0.0489,
              0.0786,
              0.1,
              0.1393,
              0.2212,
              0.3954,
              0.7596,
              1.4948
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.47381,
              0.50592,
              0.52827,
              0.56188,
              0.61172,
              0.693,
              0.83324,
              1.09157
            ],
            [
              0.4765,
              0.50863,
              0.53095,
              0.56458,
              0.6144,
              0.69569,
              0.83595,
              1.09434
            ],
            [
              0.47955,
              0.51168,
              0.53401,
              0.56764,
              0.61746,
              0.69876,
              0.83901,
              1.09742
            ],
            [
              0.48375,
              0.51587,
              0.53821,
              0.57183,
              0.62167,
              0.70295,
              0.8432,
              1.10158
            ],
            [
              0.48957,
              0.52169,
              0.54402,
              0.57766,
              0.62749,
              0.70879,
              0.84902,
              1.10741
            ],
            [
              0.49784,
              0.52995,
              0.5523,
              0.58592,
              0.63576,
              0.71707,
              0.85725,
              1.11562
            ],
            [
              0.50985,
              0.54196,
              0.56429,
              0.59791,
              0.64774,
              0.72905,
              0.86926,
              1.12763
            ],
            [
              0.52744,
              0.55955,
              0.58187,
              0.61547,
              0.66531,
              0.74662,
              0.88676,
              1.14506
            ],
            [
              0.55297,
              0.58504,
              0.60733,
              0.64091,
              0.69072,
              0.77205,
              0.91225,
              1.17075
            ],
            [
              0.58807,
              0.61979,
              0.64199,
              0.67539,
              0.72509,
              0.80649,
              0.94669,
              1.20499
            ],
            [
              0.63232,
              0.66342,
              0.68522,
              0.71832,
              0.76782,
              0.84902,
              0.98912,
              1.24742
            ],
            [
              0.68427,
              0.71437,
              0.73577,
              0.76817,
              0.81697,
              0.89777,
              1.03767,
              1.29597
            ],
            [
              0.7413,
              0.7699,
              0.7905,
              0.822,
              0.8701,
              0.9505,
              1.0901,
              1.3474
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.61149,
              0.6412,
              0.66112,
              0.6934,
              0.75463,
              0.87898,
              1.13137,
              1.63907
            ],
            [
              0.61203,
              0.64174,
              0.66163,
              0.6939,
              0.75513,
              0.87957,
              1.13184,
              1.63954
            ],
            [
              0.61347,
              0.64319,
              0.66311,
              0.6954,
              0.75663,
              0.88098,
              1.13332,
              1.64102
            ],
            [
              0.61657,
              0.64628,
              0.66617,
              0.69844,
              0.7597,
              0.88413,
              1.13638,
              1.64408
            ],
            [
              0.6223,
              0.65202,
              0.67196,
              0.70424,
              0.76548,
              0.88985,
              1.14211,
              1.65001
            ],
            [
              0.63153,
              0.66125,
              0.68118,
              0.71341,
              0.77464,
              0.89905,
              1.15132,
              1.65882
            ],
            [
              0.64551,
              0.67522,
              0.69515,
              0.7274,
              0.78855,
              0.91313,
              1.16533,
              1.67303
            ],
            [
              0.66666,
              0.69636,
              0.71628,
              0.74851,
              0.80975,
              0.93416,
              1.18646,
              1.69436
            ],
            [
              0.69862,
              0.72832,
              0.74824,
              0.78055,
              0.84175,
              0.96615,
              1.21845,
              1.72595
            ],
            [
              0.74709,
              0.77679,
              0.79669,
              0.82899,
              0.89029,
              1.01469,
              1.26689,
              1.77469
            ],
            [
              0.81962,
              0.84932,
              0.86922,
              0.90142,
              0.96272,
              1.08712,
              1.33932,
              1.84692
            ],
            [
              0.92407,
              0.95337,
              0.97297,
              1.00487,
              1.06567,
              1.18977,
              1.44167,
              1.94927
            ],
            [
              1.0626,
              1.0918,
              1.1109,
              1.1419,
              1.2016,
              1.3249,
              1.5765,
              2.0837
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.05112,
              0.07221,
              0.08789,
              0.11431,
              0.15859,
              0.23838,
              0.3989,
              0.73297
            ],
            [
              0.05111,
              0.07223,
              0.08789,
              0.11432,
              0.15854,
              0.23839,
              0.3992,
              0.73341
            ],
            [
              0.05115,
              0.07223,
              0.08789,
              0.11431,
              0.15851,
              0.23844,
              0.39922,
              0.73353
            ],
            [
              0.05114,
              0.07225,
              0.08791,
              0.11431,
              0.15859,
              0.23835,
              0.39907,
              0.73293
            ],
            [
              0.05113,
              0.07221,
              0.08804,
              0.11418,
              0.15849,
              0.23849,
              0.3993,
              0.73381
            ],
            [
              0.05115,
              0.07221,
              0.08789,
              0.11432,
              0.15845,
              0.23856,
              0.39934,
              0.73395
            ],
            [
              0.05113,
              0.07221,
              0.08794,
              0.11421,
              0.15845,
              0.23854,
              0.39936,
              0.73386
            ],
            [
              0.05116,
              0.07231,
              0.08791,
              0.11423,
              0.15846,
              0.2386,
              0.39941,
              0.73401
            ],
            [
              0.05116,
              0.07226,
              0.08792,
              0.11422,
              0.15862,
              0.23836,
              0.39918,
              0.7336
            ],
            [
              0.05119,
              0.07227,
              0.08799,
              0.11432,
              0.1585,
              0.2386,
              0.3993,
              0.7339
            ],
            [
              0.0512,
              0.0724,
              0.0882,
              0.1145,
              0.1585,
              0.2385,
              0.3992,
              0.7335
            ],
            [
              0.0513,
              0.0725,
              0.0882,
              0.1145,
              0.1585,
              0.2383,
              0.3991,
              0.7338
            ],
            [
              0.0518,
              0.0729,
              0.0887,
              0.115,
              0.1589,
              0.2385,
              0.3987,
              0.7328
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.03926,
              0.06672,
              0.08904,
              0.13116,
              0.21557,
              0.39233,
              0.75898,
              1.4956
            ],
            [
              0.03923,
              0.06672,
              0.08903,
              0.1312,
              0.21557,
              0.39272,
              0.75897,
              1.495
            ],
            [
              0.03925,
              0.06672,
              0.08904,
              0.13116,
              0.21557,
              0.39238,
              0.75772,
              1.4957
            ],
            [
              0.03923,
              0.06672,
              0.08904,
              0.13117,
              0.2156,
              0.39259,
              0.75904,
              1.4952
            ],
            [
              0.03922,
              0.06674,
              0.08898,
              0.13116,
              0.21558,
              0.39253,
              0.75718,
              1.4932
            ],
            [
              0.03926,
              0.06673,
              0.08897,
              0.13118,
              0.21559,
              0.39213,
              0.75813,
              1.4928
            ],
            [
              0.03925,
              0.06674,
              0.08903,
              0.13119,
              0.21531,
              0.39279,
              0.7586,
              1.4944
            ],
            [
              0.03923,
              0.06672,
              0.08905,
              0.13117,
              0.21561,
              0.39251,
              0.7571,
              1.4935
            ],
            [
              0.03926,
              0.06673,
              0.08903,
              0.13117,
              0.21557,
              0.3921,
              0.758,
              1.4932
            ],
            [
              0.0393,
              0.0668,
              0.0891,
              0.1311,
              0.2156,
              0.3926,
              0.7591,
              1.4957
            ],
            [
              0.0394,
              0.0668,
              0.0891,
              0.1313,
              0.2156,
              0.3927,
              0.758,
              1.4946
            ],
            [
              0.0399,
              0.0675,
              0.0897,
              0.1318,
              0.2159,
              0.3919,
              0.758,
              1.4924
            ],
            [
              0.0412,
              0.069,
              0.0912,
              0.1329,
              0.216,
              0.3926,
              0.7572,
              1.4941
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.45152,
              0.48339,
              0.5065,
              0.54272,
              0.59728,
              0.68377,
              0.82834,
              1.08937
            ],
            [
              0.45243,
              0.4843,
              0.5074,
              0.54363,
              0.5982,
              0.6847,
              0.82933,
              1.09054
            ],
            [
              0.45408,
              0.48596,
              0.50906,
              0.54528,
              0.59986,
              0.68637,
              0.83099,
              1.09222
            ],
            [
              0.45714,
              0.48901,
              0.51211,
              0.54834,
              0.60293,
              0.68946,
              0.8341,
              1.09537
            ],
            [
              0.46216,
              0.49403,
              0.51714,
              0.55337,
              0.60798,
              0.6945,
              0.83911,
              1.10021
            ],
            [
              0.46978,
              0.50165,
              0.52476,
              0.56098,
              0.6156,
              0.70213,
              0.84674,
              1.10762
            ],
            [
              0.48107,
              0.51294,
              0.53604,
              0.57225,
              0.62686,
              0.71339,
              0.85804,
              1.11903
            ],
            [
              0.4978,
              0.52966,
              0.55275,
              0.58894,
              0.64355,
              0.73008,
              0.87476,
              1.13596
            ],
            [
              0.52213,
              0.55391,
              0.57696,
              0.61311,
              0.6677,
              0.75425,
              0.89885,
              1.16005
            ],
            [
              0.5552,
              0.58659,
              0.60947,
              0.64549,
              0.69999,
              0.78649,
              0.93109,
              1.19209
            ],
            [
              0.59592,
              0.62662,
              0.64912,
              0.68472,
              0.73902,
              0.82532,
              0.96992,
              1.23082
            ],
            [
              0.64287,
              0.67257,
              0.69457,
              0.72957,
              0.78317,
              0.86907,
              1.01337,
              1.27437
            ],
            [
              0.6934,
              0.7216,
              0.7428,
              0.7769,
              0.8298,
              0.9155,
              1.0595,
              1.3196
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.60673,
              0.63505,
              0.65421,
              0.68532,
              0.74495,
              0.86855,
              1.12077,
              1.62867
            ],
            [
              0.60899,
              0.63729,
              0.65646,
              0.68757,
              0.74718,
              0.87082,
              1.12304,
              1.63084
            ],
            [
              0.61176,
              0.64006,
              0.65922,
              0.69034,
              0.74996,
              0.87356,
              1.12582,
              1.63362
            ],
            [
              0.61613,
              0.64443,
              0.6636,
              0.69471,
              0.75433,
              0.87791,
              1.13017,
              1.63808
            ],
            [
              0.62297,
              0.65125,
              0.67038,
              0.70144,
              0.76106,
              0.88481,
              1.13691,
              1.64491
            ],
            [
              0.63299,
              0.66128,
              0.68043,
              0.71146,
              0.77117,
              0.89477,
              1.14702,
              1.65492
            ],
            [
              0.64693,
              0.67521,
              0.69435,
              0.72546,
              0.78508,
              0.90863,
              1.16093,
              1.66883
            ],
            [
              0.66637,
              0.69465,
              0.71379,
              0.74484,
              0.80445,
              0.92806,
              1.18026,
              1.68806
            ],
            [
              0.69428,
              0.72255,
              0.7417,
              0.77285,
              0.83245,
              0.95605,
              1.20825,
              1.71615
            ],
            [
              0.73539,
              0.76369,
              0.78289,
              0.81399,
              0.87359,
              0.99729,
              1.24949,
              1.75739
            ],
            [
              0.79622,
              0.82442,
              0.84352,
              0.87452,
              0.93412,
              1.05782,
              1.30982,
              1.81782
            ],
            [
              0.88237,
              0.91027,
              0.92907,
              0.95957,
              1.01867,
              1.14197,
              1.39387,
              1.90147
            ],
            [
              0.9962,
              1.0239,
              1.0423,
              1.072,
              1.1301,
              1.2525,
              1.5041,
              2.0114
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.04874,
              0.07175,
              0.09021,
              0.12031,
              0.16673,
              0.24713,
              0.40675,
              0.73788
            ],
            [
              0.04873,
              0.07176,
              0.09023,
              0.12032,
              0.1668,
              0.24724,
              0.40657,
              0.73749
            ],
            [
              0.04874,
              0.07174,
              0.09024,
              0.12025,
              0.16682,
              0.24718,
              0.40652,
              0.737
            ],
            [
              0.04873,
              0.07176,
              0.09024,
              0.12026,
              0.16686,
              0.24713,
              0.40665,
              0.73755
            ],
            [
              0.04871,
              0.07172,
              0.09024,
              0.12037,
              0.16678,
              0.24733,
              0.4068,
              0.73789
            ],
            [
              0.04873,
              0.07175,
              0.09023,
              0.12037,
              0.16684,
              0.24724,
              0.40669,
              0.738
            ],
            [
              0.04873,
              0.07177,
              0.09025,
              0.12037,
              0.16676,
              0.24731,
              0.40651,
              0.73797
            ],
            [
              0.04873,
              0.07174,
              0.09025,
              0.12038,
              0.16684,
              0.2473,
              0.40671,
              0.7376
            ],
            [
              0.04874,
              0.07177,
              0.09025,
              0.12039,
              0.16686,
              0.24725,
              0.40681,
              0.7373
            ],
            [
              0.0488,
              0.07182,
              0.09024,
              0.1203,
              0.16679,
              0.2471,
              0.4064,
              0.738
            ],
            [
              0.0489,
              0.0719,
              0.0903,
              0.1205,
              0.1669,
              0.2473,
              0.4064,
              0.738
            ],
            [
              0.049,
              0.0721,
              0.0905,
              0.1207,
              0.1666,
              0.2471,
              0.4066,
              0.7376
            ],
            [
              0.0495,
              0.0725,
              0.091,
              0.1212,
              0.1673,
              0.2474,
              0.4062,
              0.7362
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.03657,
              0.06337,
              0.0855,
              0.12814,
              0.21369,
              0.3919,
              0.75901,
              1.49396
            ],
            [
              0.03657,
              0.06341,
              0.08559,
              0.12821,
              0.21364,
              0.39201,
              0.75853,
              1.494
            ],
            [
              0.03657,
              0.06341,
              0.08551,
              0.12819,
              0.21367,
              0.39181,
              0.75863,
              1.4943
            ],
            [
              0.0366,
              0.06337,
              0.08551,
              0.12816,
              0.21369,
              0.3919,
              0.75871,
              1.494
            ],
            [
              0.03655,
              0.06336,
              0.0855,
              0.12809,
              0.21341,
              0.3913,
              0.75699,
              1.4945
            ],
            [
              0.03657,
              0.06336,
              0.08551,
              0.12817,
              0.21369,
              0.39192,
              0.75903,
              1.494
            ],
            [
              0.03657,
              0.06336,
              0.08551,
              0.12813,
              0.2137,
              0.39201,
              0.75882,
              1.494
            ],
            [
              0.03657,
              0.06336,
              0.08551,
              0.12823,
              0.21365,
              0.39206,
              0.7585,
              1.4937
            ],
            [
              0.03659,
              0.06339,
              0.08564,
              0.12814,
              0.21368,
              0.392,
              0.759,
              1.4943
            ],
            [
              0.0366,
              0.0634,
              0.0855,
              0.128,
              0.2132,
              0.3915,
              0.7573,
              1.4942
            ],
            [
              0.0367,
              0.0635,
              0.0857,
              0.128,
              0.2131,
              0.3921,
              0.7592,
              1.4944
            ],
            [
              0.0372,
              0.0641,
              0.0862,
              0.1285,
              0.2138,
              0.3914,
              0.7574,
              1.4942
            ],
            [
              0.0382,
              0.0653,
              0.0873,
              0.1293,
              0.2138,
              0.3917,
              0.7577,
              1.4943
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.35723,
              0.39106,
              0.41433,
              0.45002,
              0.50387,
              0.58791,
              0.72885,
              0.98743
            ],
            [
              0.35819,
              0.39202,
              0.41528,
              0.45095,
              0.50491,
              0.58885,
              0.72978,
              0.98854
            ],
            [
              0.35979,
              0.39362,
              0.41689,
              0.45258,
              0.50644,
              0.59047,
              0.73142,
              0.99002
            ],
            [
              0.36299,
              0.39681,
              0.42007,
              0.45576,
              0.50962,
              0.59366,
              0.7346,
              0.99318
            ],
            [
              0.36885,
              0.40267,
              0.42594,
              0.46163,
              0.51549,
              0.59953,
              0.74047,
              0.99901
            ],
            [
              0.37874,
              0.41256,
              0.43583,
              0.47151,
              0.52538,
              0.60943,
              0.75036,
              1.00892
            ],
            [
              0.39393,
              0.42775,
              0.45102,
              0.48668,
              0.54063,
              0.6246,
              0.7655,
              1.02413
            ],
            [
              0.41621,
              0.45002,
              0.47328,
              0.50891,
              0.56282,
              0.64684,
              0.78782,
              1.04666
            ],
            [
              0.44905,
              0.48285,
              0.5061,
              0.54174,
              0.59566,
              0.67969,
              0.82065,
              1.07945
            ],
            [
              0.49811,
              0.53192,
              0.55516,
              0.59081,
              0.64469,
              0.72879,
              0.86979,
              1.12859
            ],
            [
              0.56982,
              0.60402,
              0.62742,
              0.66332,
              0.71732,
              0.80162,
              0.94272,
              1.20152
            ],
            [
              0.66357,
              0.69977,
              0.72447,
              0.76217,
              0.81837,
              0.90437,
              1.04637,
              1.30527
            ],
            [
              0.7856,
              0.824,
              0.8504,
              0.8904,
              0.9499,
              1.0397,
              1.1851,
              1.4453
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.21177,
              0.24677,
              0.27172,
              0.31286,
              0.3836,
              0.51453,
              0.77078,
              1.28007
            ],
            [
              0.21259,
              0.2476,
              0.27255,
              0.31368,
              0.3845,
              0.51533,
              0.77163,
              1.28194
            ],
            [
              0.21404,
              0.24904,
              0.27399,
              0.3151,
              0.38599,
              0.51687,
              0.77271,
              1.28372
            ],
            [
              0.21677,
              0.25178,
              0.27672,
              0.31788,
              0.38865,
              0.51943,
              0.77587,
              1.28578
            ],
            [
              0.22133,
              0.25633,
              0.28128,
              0.32241,
              0.39325,
              0.5241,
              0.78033,
              1.29091
            ],
            [
              0.22789,
              0.26289,
              0.28784,
              0.32895,
              0.39983,
              0.5307,
              0.78683,
              1.29752
            ],
            [
              0.23703,
              0.27204,
              0.29699,
              0.33809,
              0.40897,
              0.53989,
              0.79562,
              1.30683
            ],
            [
              0.25024,
              0.28525,
              0.31021,
              0.35131,
              0.42214,
              0.55316,
              0.80905,
              1.32006
            ],
            [
              0.26889,
              0.30417,
              0.32921,
              0.37038,
              0.44125,
              0.57226,
              0.82795,
              1.33925
            ],
            [
              0.29213,
              0.32847,
              0.3541,
              0.39585,
              0.46722,
              0.59828,
              0.85429,
              1.36469
            ],
            [
              0.31948,
              0.35722,
              0.38369,
              0.42644,
              0.49872,
              0.63022,
              0.88672,
              1.39682
            ],
            [
              0.34897,
              0.38857,
              0.41627,
              0.46037,
              0.53377,
              0.66617,
              0.92237,
              1.43297
            ],
            [
              0.3756,
              0.4181,
              0.4475,
              0.4937,
              0.5687,
              0.7022,
              0.9589,
              1.4683
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.05069,
              0.07137,
              0.08655,
              0.11134,
              0.15453,
              0.23478,
              0.396,
              0.73186
            ],
            [
              0.05067,
              0.07139,
              0.08645,
              0.11145,
              0.15462,
              0.23489,
              0.39617,
              0.7309
            ],
            [
              0.05069,
              0.07137,
              0.08655,
              0.11134,
              0.15453,
              0.23479,
              0.396,
              0.73195
            ],
            [
              0.05069,
              0.07137,
              0.08655,
              0.11134,
              0.15453,
              0.2348,
              0.396,
              0.73192
            ],
            [
              0.05069,
              0.07137,
              0.08655,
              0.11134,
              0.15454,
              0.23482,
              0.39602,
              0.73188
            ],
            [
              0.05069,
              0.07133,
              0.08654,
              0.11134,
              0.15456,
              0.2349,
              0.39611,
              0.73187
            ],
            [
              0.05068,
              0.07139,
              0.08642,
              0.11132,
              0.1545,
              0.235,
              0.39615,
              0.73159
            ],
            [
              0.05066,
              0.07138,
              0.08654,
              0.11139,
              0.1546,
              0.23481,
              0.39599,
              0.73119
            ],
            [
              0.05069,
              0.07137,
              0.08648,
              0.11149,
              0.15467,
              0.23486,
              0.39612,
              0.73099
            ],
            [
              0.0508,
              0.07149,
              0.08649,
              0.11148,
              0.15464,
              0.23487,
              0.3962,
              0.731
            ],
            [
              0.0533,
              0.0735,
              0.0885,
              0.113,
              0.1558,
              0.2355,
              0.3964,
              0.732
            ],
            [
              0.0593,
              0.0803,
              0.0955,
              0.1202,
              0.1623,
              0.2404,
              0.3991,
              0.7328
            ],
            [
              0.0673,
              0.0894,
              0.1051,
              0.1307,
              0.173,
              0.251,
              0.4068,
              0.7367
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.03516,
              0.06374,
              0.08656,
              0.12991,
              0.21589,
              0.39397,
              0.75983,
              1.50147
            ],
            [
              0.03518,
              0.06362,
              0.08658,
              0.12976,
              0.21615,
              0.39439,
              0.76008,
              1.49899
            ],
            [
              0.03517,
              0.06362,
              0.0866,
              0.12977,
              0.21636,
              0.39456,
              0.76151,
              1.49709
            ],
            [
              0.03517,
              0.06365,
              0.08657,
              0.12992,
              0.21594,
              0.39415,
              0.75932,
              1.50027
            ],
            [
              0.03518,
              0.06361,
              0.0866,
              0.12975,
              0.21621,
              0.39444,
              0.7604,
              1.4968
            ],
            [
              0.03519,
              0.06361,
              0.08661,
              0.12977,
              0.21633,
              0.39451,
              0.76083,
              1.49625
            ],
            [
              0.03519,
              0.06361,
              0.08662,
              0.12977,
              0.21634,
              0.39457,
              0.76177,
              1.49757
            ],
            [
              0.03524,
              0.06372,
              0.08662,
              0.12989,
              0.21611,
              0.39459,
              0.76,
              1.50008
            ],
            [
              0.03602,
              0.06438,
              0.08717,
              0.13012,
              0.21635,
              0.39449,
              0.76187,
              1.49854
            ],
            [
              0.03774,
              0.06666,
              0.08936,
              0.13211,
              0.21796,
              0.39454,
              0.7601,
              1.5012
            ],
            [
              0.04027,
              0.06978,
              0.09278,
              0.13527,
              0.21983,
              0.3957,
              0.7605,
              1.4984
            ],
            [
              0.0443,
              0.0746,
              0.0976,
              0.1398,
              0.2241,
              0.398,
              0.7611,
              1.4984
            ],
            [
              0.0506,
              0.0821,
              0.1053,
              0.1469,
              0.2289,
              0.4019,
              0.7625,
              1.4989
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.42871,
              0.46787,
              0.49516,
              0.53702,
              0.59985,
              0.69515,
              0.84787,
              1.11497
            ],
            [
              0.43024,
              0.46944,
              0.49674,
              0.53865,
              0.60143,
              0.69666,
              0.84938,
              1.11634
            ],
            [
              0.43263,
              0.47183,
              0.49914,
              0.54105,
              0.60384,
              0.69908,
              0.85182,
              1.11902
            ],
            [
              0.43662,
              0.47581,
              0.50311,
              0.54502,
              0.60781,
              0.70312,
              0.85586,
              1.12318
            ],
            [
              0.44276,
              0.48193,
              0.50923,
              0.55114,
              0.61394,
              0.70924,
              0.86199,
              1.12931
            ],
            [
              0.4517,
              0.49087,
              0.51816,
              0.56007,
              0.62287,
              0.71819,
              0.87095,
              1.13832
            ],
            [
              0.46488,
              0.50404,
              0.53133,
              0.57324,
              0.63605,
              0.7314,
              0.88415,
              1.15153
            ],
            [
              0.48481,
              0.52398,
              0.55128,
              0.59317,
              0.65601,
              0.75135,
              0.90416,
              1.17126
            ],
            [
              0.51523,
              0.55441,
              0.58172,
              0.62362,
              0.68639,
              0.78175,
              0.93455,
              1.20195
            ],
            [
              0.56167,
              0.60084,
              0.62816,
              0.67009,
              0.73289,
              0.82829,
              0.98109,
              1.24849
            ],
            [
              0.63262,
              0.67172,
              0.69892,
              0.74082,
              0.80362,
              0.89912,
              1.05212,
              1.31972
            ],
            [
              0.73157,
              0.77207,
              0.80027,
              0.84337,
              0.90737,
              1.00377,
              1.15727,
              1.42517
            ],
            [
              0.8641,
              0.9064,
              0.9359,
              0.9811,
              1.0481,
              1.148,
              1.3049,
              1.5745
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.14161,
              0.17311,
              0.19604,
              0.23482,
              0.30353,
              0.43348,
              0.6897,
              1.19987
            ],
            [
              0.14431,
              0.17582,
              0.19875,
              0.23751,
              0.30618,
              0.43607,
              0.6921,
              1.20264
            ],
            [
              0.14738,
              0.1789,
              0.20184,
              0.2406,
              0.30928,
              0.43916,
              0.69521,
              1.20592
            ],
            [
              0.1516,
              0.18313,
              0.20608,
              0.24485,
              0.31352,
              0.44339,
              0.69951,
              1.21028
            ],
            [
              0.15744,
              0.189,
              0.21195,
              0.25078,
              0.31946,
              0.44943,
              0.70561,
              1.21621
            ],
            [
              0.16563,
              0.1972,
              0.22016,
              0.25896,
              0.32764,
              0.45761,
              0.71351,
              1.22402
            ],
            [
              0.17729,
              0.20887,
              0.23182,
              0.27059,
              0.33935,
              0.46934,
              0.72565,
              1.23613
            ],
            [
              0.19392,
              0.22546,
              0.24838,
              0.28716,
              0.35578,
              0.48568,
              0.74217,
              1.25336
            ],
            [
              0.21532,
              0.24771,
              0.27091,
              0.30984,
              0.37858,
              0.50865,
              0.76505,
              1.27575
            ],
            [
              0.24063,
              0.27428,
              0.29816,
              0.33782,
              0.40704,
              0.53716,
              0.79349,
              1.30469
            ],
            [
              0.26868,
              0.30412,
              0.32892,
              0.3695,
              0.43958,
              0.57012,
              0.82642,
              1.33672
            ],
            [
              0.29617,
              0.33427,
              0.36047,
              0.40247,
              0.47357,
              0.60467,
              0.86097,
              1.37137
            ],
            [
              0.3178,
              0.3594,
              0.3879,
              0.4322,
              0.5049,
              0.6367,
              0.893,
              1.4033
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.06842,
              0.09181,
              0.10909,
              0.13725,
              0.18357,
              0.26576,
              0.42516,
              0.75156
            ],
            [
              0.06841,
              0.09178,
              0.10909,
              0.13705,
              0.18341,
              0.26583,
              0.42519,
              0.7524
            ],
            [
              0.06841,
              0.0918,
              0.1091,
              0.13705,
              0.18343,
              0.26596,
              0.42515,
              0.75232
            ],
            [
              0.06841,
              0.09183,
              0.1091,
              0.13711,
              0.18348,
              0.2657,
              0.42485,
              0.7521
            ],
            [
              0.06848,
              0.09182,
              0.10911,
              0.13708,
              0.18347,
              0.26573,
              0.42485,
              0.7521
            ],
            [
              0.06843,
              0.09184,
              0.10912,
              0.13709,
              0.18348,
              0.26573,
              0.42491,
              0.75215
            ],
            [
              0.06843,
              0.09184,
              0.10919,
              0.1371,
              0.18363,
              0.26613,
              0.42504,
              0.75136
            ],
            [
              0.06846,
              0.09184,
              0.10916,
              0.13715,
              0.18348,
              0.26578,
              0.42521,
              0.75177
            ],
            [
              0.06849,
              0.09191,
              0.10925,
              0.13716,
              0.18352,
              0.26588,
              0.4249,
              0.7521
            ],
            [
              0.06856,
              0.09192,
              0.10935,
              0.13741,
              0.1837,
              0.266,
              0.4253,
              0.7524
            ],
            [
              0.0689,
              0.0923,
              0.1097,
              0.1379,
              0.1841,
              0.2663,
              0.4256,
              0.7516
            ],
            [
              0.0757,
              0.0991,
              0.1162,
              0.1437,
              0.1888,
              0.2696,
              0.4273,
              0.7528
            ],
            [
              0.084,
              0.1078,
              0.1255,
              0.1537,
              0.1997,
              0.2802,
              0.4357,
              0.7573
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.02995,
              0.0565,
              0.07865,
              0.12202,
              0.20968,
              0.39064,
              0.75963,
              1.50045
            ],
            [
              0.02997,
              0.05643,
              0.07875,
              0.12183,
              0.20946,
              0.39022,
              0.75905,
              1.49581
            ],
            [
              0.03,
              0.05645,
              0.07878,
              0.12187,
              0.20948,
              0.39026,
              0.75903,
              1.49563
            ],
            [
              0.03002,
              0.05648,
              0.07882,
              0.12187,
              0.20948,
              0.39037,
              0.75901,
              1.49575
            ],
            [
              0.03006,
              0.0566,
              0.07876,
              0.12192,
              0.20952,
              0.391,
              0.75907,
              1.49713
            ],
            [
              0.03007,
              0.05656,
              0.07892,
              0.12205,
              0.20956,
              0.39008,
              0.75986,
              1.49808
            ],
            [
              0.03011,
              0.0566,
              0.07894,
              0.12205,
              0.20977,
              0.39103,
              0.7577,
              1.49559
            ],
            [
              0.0303,
              0.05684,
              0.0791,
              0.12217,
              0.20949,
              0.39081,
              0.75818,
              1.49637
            ],
            [
              0.0318,
              0.05826,
              0.08031,
              0.12302,
              0.21023,
              0.39097,
              0.75801,
              1.49659
            ],
            [
              0.03396,
              0.06098,
              0.08295,
              0.1254,
              0.21153,
              0.3907,
              0.75822,
              1.4963
            ],
            [
              0.03738,
              0.06499,
              0.0868,
              0.12885,
              0.21395,
              0.39182,
              0.7598,
              1.4961
            ],
            [
              0.0424,
              0.0709,
              0.0927,
              0.1337,
              0.2176,
              0.3941,
              0.7591,
              1.4976
            ],
            [
              0.0495,
              0.0797,
              0.1017,
              0.1415,
              0.223,
              0.3974,
              0.7602,
              1.4968
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.45879,
              0.49101,
              0.51335,
              0.54701,
              0.59679,
              0.67732,
              0.81644,
              1.07407
            ],
            [
              0.46196,
              0.49419,
              0.51651,
              0.55022,
              0.6,
              0.6805,
              0.81967,
              1.07734
            ],
            [
              0.46548,
              0.49772,
              0.52005,
              0.55377,
              0.60356,
              0.68408,
              0.82316,
              1.08062
            ],
            [
              0.47006,
              0.50228,
              0.52463,
              0.55836,
              0.60818,
              0.68869,
              0.82786,
              1.08558
            ],
            [
              0.47596,
              0.50821,
              0.53054,
              0.56427,
              0.61411,
              0.69461,
              0.83381,
              1.09151
            ],
            [
              0.48388,
              0.51612,
              0.53847,
              0.5722,
              0.62203,
              0.70257,
              0.84171,
              1.09952
            ],
            [
              0.49488,
              0.5271,
              0.54943,
              0.58314,
              0.63296,
              0.71354,
              0.8527,
              1.11023
            ],
            [
              0.51015,
              0.54234,
              0.56463,
              0.5983,
              0.64809,
              0.72869,
              0.86796,
              1.12576
            ],
            [
              0.53192,
              0.56398,
              0.58621,
              0.61976,
              0.66953,
              0.75014,
              0.88945,
              1.14725
            ],
            [
              0.56153,
              0.59312,
              0.61514,
              0.64849,
              0.69809,
              0.77879,
              0.91799,
              1.17569
            ],
            [
              0.59742,
              0.62842,
              0.65002,
              0.68292,
              0.73212,
              0.81272,
              0.95182,
              1.20932
            ],
            [
              0.64027,
              0.66957,
              0.69037,
              0.72217,
              0.77037,
              0.84997,
              0.98867,
              1.24587
            ],
            [
              0.6814,
              0.7089,
              0.7288,
              0.7595,
              0.8067,
              0.8859,
              1.0241,
              1.2806
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.58134,
              0.61108,
              0.63097,
              0.66325,
              0.72455,
              0.84919,
              1.10147,
              1.60917
            ],
            [
              0.58301,
              0.61275,
              0.63266,
              0.66495,
              0.72625,
              0.85086,
              1.10314,
              1.61074
            ],
            [
              0.58521,
              0.61495,
              0.63483,
              0.66709,
              0.72843,
              0.85307,
              1.10532,
              1.61302
            ],
            [
              0.58871,
              0.61843,
              0.63835,
              0.67065,
              0.73196,
              0.85662,
              1.10888,
              1.61678
            ],
            [
              0.5943,
              0.62401,
              0.64391,
              0.6762,
              0.73751,
              0.86218,
              1.11441,
              1.62231
            ],
            [
              0.60324,
              0.63293,
              0.65282,
              0.68511,
              0.74643,
              0.87111,
              1.12342,
              1.63122
            ],
            [
              0.61761,
              0.64729,
              0.66717,
              0.69944,
              0.76081,
              0.88538,
              1.13763,
              1.64533
            ],
            [
              0.64057,
              0.67024,
              0.69011,
              0.72233,
              0.78366,
              0.90816,
              1.16056,
              1.66846
            ],
            [
              0.67695,
              0.70663,
              0.7265,
              0.75875,
              0.82015,
              0.94465,
              1.19695,
              1.70475
            ],
            [
              0.73389,
              0.76359,
              0.78339,
              0.81569,
              0.87709,
              1.00169,
              1.25399,
              1.76169
            ],
            [
              0.82122,
              0.85092,
              0.87072,
              0.90302,
              0.96442,
              1.08902,
              1.34122,
              1.84892
            ],
            [
              0.94957,
              0.97857,
              0.99797,
              1.02967,
              1.09067,
              1.21477,
              1.46677,
              1.97407
            ],
            [
              1.1178,
              1.1462,
              1.1646,
              1.1947,
              1.2538,
              1.3768,
              1.628,
              2.1349
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.05081,
              0.07158,
              0.0868,
              0.11249,
              0.15608,
              0.23565,
              0.39616,
              0.73075
            ],
            [
              0.05088,
              0.07159,
              0.08681,
              0.11243,
              0.15613,
              0.23544,
              0.39614,
              0.73159
            ],
            [
              0.05087,
              0.07162,
              0.08696,
              0.11255,
              0.15615,
              0.23557,
              0.39639,
              0.73169
            ],
            [
              0.0509,
              0.07163,
              0.08699,
              0.11257,
              0.15609,
              0.23572,
              0.39621,
              0.73086
            ],
            [
              0.0509,
              0.07167,
              0.0869,
              0.11249,
              0.15613,
              0.23565,
              0.39602,
              0.7313
            ],
            [
              0.05096,
              0.07169,
              0.08691,
              0.11261,
              0.15627,
              0.23561,
              0.39652,
              0.73093
            ],
            [
              0.05096,
              0.07168,
              0.08697,
              0.11254,
              0.15625,
              0.2358,
              0.39657,
              0.7319
            ],
            [
              0.05095,
              0.07171,
              0.087,
              0.11272,
              0.15624,
              0.23557,
              0.39628,
              0.73184
            ],
            [
              0.05101,
              0.07175,
              0.08713,
              0.11273,
              0.15619,
              0.23562,
              0.39629,
              0.7318
            ],
            [
              0.05108,
              0.0718,
              0.0871,
              0.11282,
              0.15623,
              0.2356,
              0.3965,
              0.732
            ],
            [
              0.051,
              0.0718,
              0.0871,
              0.1127,
              0.1562,
              0.2355,
              0.3966,
              0.7317
            ],
            [
              0.0503,
              0.0708,
              0.086,
              0.1118,
              0.1551,
              0.2345,
              0.3958,
              0.7318
            ],
            [
              0.0501,
              0.0708,
              0.0861,
              0.1119,
              0.1553,
              0.2346,
              0.3953,
              0.7302
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.03893,
              0.06674,
              0.08905,
              0.13106,
              0.21529,
              0.39273,
              0.75834,
              1.49305
            ],
            [
              0.03891,
              0.06668,
              0.08899,
              0.13123,
              0.21555,
              0.39184,
              0.75844,
              1.49425
            ],
            [
              0.03894,
              0.06675,
              0.089,
              0.13109,
              0.21515,
              0.39181,
              0.75791,
              1.49554
            ],
            [
              0.03895,
              0.0667,
              0.089,
              0.13117,
              0.21538,
              0.39181,
              0.75711,
              1.494
            ],
            [
              0.03892,
              0.06669,
              0.08901,
              0.1311,
              0.21536,
              0.39179,
              0.75818,
              1.4932
            ],
            [
              0.03896,
              0.06668,
              0.08904,
              0.13116,
              0.21533,
              0.39187,
              0.75675,
              1.4949
            ],
            [
              0.03893,
              0.06667,
              0.08915,
              0.13119,
              0.21522,
              0.39238,
              0.75826,
              1.4939
            ],
            [
              0.03894,
              0.06668,
              0.08901,
              0.13115,
              0.21515,
              0.3918,
              0.7582,
              1.4937
            ],
            [
              0.03893,
              0.06669,
              0.08906,
              0.13114,
              0.2151,
              0.3923,
              0.7569,
              1.4924
            ],
            [
              0.0389,
              0.0667,
              0.0891,
              0.1311,
              0.2151,
              0.3928,
              0.7587,
              1.4931
            ],
            [
              0.039,
              0.0667,
              0.0891,
              0.1313,
              0.2154,
              0.3918,
              0.7578,
              1.494
            ],
            [
              0.0394,
              0.0673,
              0.0897,
              0.1317,
              0.2157,
              0.3923,
              0.758,
              1.4916
            ],
            [
              0.041,
              0.0692,
              0.0915,
              0.1331,
              0.2161,
              0.393,
              0.7571,
              1.4922
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.42886,
              0.46058,
              0.48355,
              0.51931,
              0.57328,
              0.65947,
              0.80395,
              1.06487
            ],
            [
              0.4312,
              0.46293,
              0.48589,
              0.52164,
              0.57565,
              0.66183,
              0.80627,
              1.06744
            ],
            [
              0.43399,
              0.46572,
              0.48867,
              0.52444,
              0.57843,
              0.66459,
              0.80907,
              1.07012
            ],
            [
              0.43818,
              0.46992,
              0.49288,
              0.52863,
              0.58261,
              0.66882,
              0.81327,
              1.07448
            ],
            [
              0.44443,
              0.47614,
              0.4991,
              0.53486,
              0.58885,
              0.67504,
              0.8195,
              1.08051
            ],
            [
              0.45373,
              0.48546,
              0.50841,
              0.54416,
              0.59812,
              0.6843,
              0.82879,
              1.09002
            ],
            [
              0.4676,
              0.49932,
              0.52228,
              0.55803,
              0.61197,
              0.69818,
              0.84263,
              1.10383
            ],
            [
              0.48845,
              0.52017,
              0.54312,
              0.57885,
              0.63279,
              0.719,
              0.86346,
              1.12466
            ],
            [
              0.51889,
              0.55052,
              0.57343,
              0.6091,
              0.66306,
              0.74925,
              0.89365,
              1.15475
            ],
            [
              0.55885,
              0.58971,
              0.61236,
              0.64779,
              0.70169,
              0.78779,
              0.93219,
              1.19339
            ],
            [
              0.60602,
              0.63552,
              0.65762,
              0.69242,
              0.74592,
              0.83192,
              0.97622,
              1.23722
            ],
            [
              0.65877,
              0.68647,
              0.70757,
              0.74157,
              0.79427,
              0.87967,
              1.02367,
              1.28467
            ],
            [
              0.7141,
              0.74,
              0.7598,
              0.7925,
              0.8443,
              0.9292,
              1.0727,
              1.3325
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.58372,
              0.61165,
              0.63047,
              0.66101,
              0.72025,
              0.84392,
              1.09647,
              1.60427
            ],
            [
              0.58612,
              0.61405,
              0.63291,
              0.66345,
              0.72269,
              0.84627,
              1.09884,
              1.60664
            ],
            [
              0.58902,
              0.61698,
              0.63581,
              0.66639,
              0.72566,
              0.84931,
              1.10182,
              1.60972
            ],
            [
              0.59345,
              0.6214,
              0.64024,
              0.67078,
              0.73011,
              0.85371,
              1.10628,
              1.61417
            ],
            [
              0.60028,
              0.62818,
              0.64698,
              0.67762,
              0.7368,
              0.86048,
              1.11301,
              1.62111
            ],
            [
              0.61036,
              0.63826,
              0.65709,
              0.68764,
              0.74689,
              0.87048,
              1.12312,
              1.63092
            ],
            [
              0.62483,
              0.65273,
              0.67155,
              0.70206,
              0.76132,
              0.88496,
              1.13753,
              1.64553
            ],
            [
              0.64568,
              0.67358,
              0.69239,
              0.72293,
              0.78213,
              0.90576,
              1.15836,
              1.66646
            ],
            [
              0.67641,
              0.70424,
              0.72305,
              0.75365,
              0.81285,
              0.93655,
              1.18925,
              1.69725
            ],
            [
              0.72219,
              0.75009,
              0.76889,
              0.79949,
              0.85879,
              0.98249,
              1.23499,
              1.74309
            ],
            [
              0.78982,
              0.81752,
              0.83622,
              0.86672,
              0.92602,
              1.04972,
              1.30222,
              1.81032
            ],
            [
              0.88377,
              0.91107,
              0.92947,
              0.95937,
              1.01797,
              1.14097,
              1.39327,
              1.90107
            ],
            [
              1.0075,
              1.0341,
              1.0518,
              1.0806,
              1.1379,
              1.2601,
              1.5117,
              2.0192
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.04861,
              0.07138,
              0.08966,
              0.11917,
              0.16551,
              0.2465,
              0.4064,
              0.73795
            ],
            [
              0.04863,
              0.07136,
              0.08954,
              0.1191,
              0.16557,
              0.2464,
              0.40618,
              0.73731
            ],
            [
              0.04862,
              0.07138,
              0.08948,
              0.11916,
              0.16546,
              0.24646,
              0.40643,
              0.73787
            ],
            [
              0.04861,
              0.07134,
              0.08954,
              0.11915,
              0.16543,
              0.24641,
              0.40647,
              0.73757
            ],
            [
              0.04861,
              0.07136,
              0.08951,
              0.11915,
              0.16553,
              0.2464,
              0.40639,
              0.7377
            ],
            [
              0.0486,
              0.07137,
              0.08963,
              0.11903,
              0.16549,
              0.24637,
              0.40631,
              0.73693
            ],
            [
              0.0486,
              0.07133,
              0.0895,
              0.11914,
              0.16547,
              0.24644,
              0.40645,
              0.73728
            ],
            [
              0.04861,
              0.07137,
              0.08957,
              0.11915,
              0.16546,
              0.2464,
              0.40646,
              0.73728
            ],
            [
              0.04862,
              0.07137,
              0.08955,
              0.11912,
              0.16551,
              0.24644,
              0.40643,
              0.7378
            ],
            [
              0.04868,
              0.07141,
              0.08961,
              0.11914,
              0.16542,
              0.2464,
              0.4064,
              0.7375
            ],
            [
              0.0489,
              0.0716,
              0.0898,
              0.1193,
              0.1656,
              0.2465,
              0.4061,
              0.7378
            ],
            [
              0.0489,
              0.0717,
              0.0899,
              0.1194,
              0.1653,
              0.2462,
              0.4062,
              0.7374
            ],
            [
              0.0494,
              0.0722,
              0.0904,
              0.1201,
              0.1661,
              0.2466,
              0.4056,
              0.7364
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.03646,
              0.06254,
              0.08423,
              0.12647,
              0.21225,
              0.391,
              0.75894,
              1.49405
            ],
            [
              0.03645,
              0.0625,
              0.08422,
              0.12646,
              0.21224,
              0.39052,
              0.75716,
              1.49409
            ],
            [
              0.03645,
              0.0625,
              0.08421,
              0.12629,
              0.21229,
              0.39043,
              0.75697,
              1.49212
            ],
            [
              0.03643,
              0.06253,
              0.08416,
              0.12651,
              0.21226,
              0.39053,
              0.75696,
              1.4926
            ],
            [
              0.03645,
              0.06252,
              0.0842,
              0.12651,
              0.21211,
              0.39065,
              0.7583,
              1.4942
            ],
            [
              0.03644,
              0.06262,
              0.08422,
              0.12644,
              0.21225,
              0.39069,
              0.75782,
              1.4941
            ],
            [
              0.03643,
              0.06251,
              0.08421,
              0.12631,
              0.21229,
              0.39128,
              0.75691,
              1.493
            ],
            [
              0.03644,
              0.06255,
              0.08422,
              0.12632,
              0.21202,
              0.39082,
              0.75679,
              1.4939
            ],
            [
              0.03645,
              0.06255,
              0.08421,
              0.12641,
              0.2121,
              0.3905,
              0.7573,
              1.4949
            ],
            [
              0.0365,
              0.0626,
              0.0842,
              0.1264,
              0.2121,
              0.3909,
              0.7593,
              1.494
            ],
            [
              0.0367,
              0.0627,
              0.0844,
              0.1265,
              0.212,
              0.3909,
              0.7565,
              1.4937
            ],
            [
              0.0374,
              0.0635,
              0.0852,
              0.1272,
              0.2126,
              0.391,
              0.7562,
              1.4933
            ],
            [
              0.0381,
              0.0644,
              0.0858,
              0.1275,
              0.212,
              0.3906,
              0.7568,
              1.4943
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.31778,
              0.35153,
              0.37492,
              0.41095,
              0.46557,
              0.55051,
              0.69256,
              0.9519
            ],
            [
              0.32066,
              0.35442,
              0.37782,
              0.41384,
              0.46845,
              0.55353,
              0.69569,
              0.95513
            ],
            [
              0.32414,
              0.3579,
              0.38132,
              0.41736,
              0.472,
              0.55707,
              0.69906,
              0.95857
            ],
            [
              0.32938,
              0.36314,
              0.38655,
              0.42259,
              0.4772,
              0.56231,
              0.70429,
              0.96354
            ],
            [
              0.33709,
              0.37083,
              0.39424,
              0.4303,
              0.48496,
              0.57004,
              0.71204,
              0.97161
            ],
            [
              0.34798,
              0.38172,
              0.40512,
              0.44117,
              0.49574,
              0.58082,
              0.7229,
              0.98212
            ],
            [
              0.36307,
              0.39682,
              0.42021,
              0.45624,
              0.51089,
              0.59599,
              0.73801,
              0.99753
            ],
            [
              0.38447,
              0.41821,
              0.4416,
              0.47763,
              0.53227,
              0.61725,
              0.75956,
              1.01896
            ],
            [
              0.41581,
              0.44953,
              0.47293,
              0.50892,
              0.56354,
              0.64864,
              0.79085,
              1.05035
            ],
            [
              0.46265,
              0.49637,
              0.51975,
              0.55575,
              0.61036,
              0.69549,
              0.83769,
              1.09709
            ],
            [
              0.53022,
              0.56462,
              0.58832,
              0.62452,
              0.67942,
              0.76472,
              0.90702,
              1.16672
            ],
            [
              0.61757,
              0.65367,
              0.67857,
              0.71677,
              0.77397,
              0.86157,
              1.00517,
              1.26487
            ],
            [
              0.732,
              0.7701,
              0.7966,
              0.8371,
              0.8975,
              0.9887,
              1.1359,
              1.3976
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.17558,
              0.21068,
              0.23571,
              0.27696,
              0.34801,
              0.47912,
              0.73598,
              1.24687
            ],
            [
              0.17769,
              0.21279,
              0.23783,
              0.27909,
              0.35009,
              0.48139,
              0.73796,
              1.24904
            ],
            [
              0.1801,
              0.21521,
              0.24024,
              0.28149,
              0.35258,
              0.4838,
              0.73999,
              1.25162
            ],
            [
              0.18357,
              0.21868,
              0.24371,
              0.28497,
              0.35607,
              0.48734,
              0.74362,
              1.25518
            ],
            [
              0.18872,
              0.22383,
              0.24887,
              0.29015,
              0.36115,
              0.49249,
              0.74904,
              1.26021
            ],
            [
              0.19645,
              0.23156,
              0.2566,
              0.29788,
              0.36889,
              0.50025,
              0.75681,
              1.26802
            ],
            [
              0.20799,
              0.24312,
              0.26817,
              0.30945,
              0.38053,
              0.5118,
              0.76846,
              1.27973
            ],
            [
              0.22527,
              0.26038,
              0.28542,
              0.32668,
              0.39775,
              0.52918,
              0.78573,
              1.29706
            ],
            [
              0.24978,
              0.28519,
              0.31031,
              0.35162,
              0.42272,
              0.55424,
              0.81065,
              1.32185
            ],
            [
              0.28032,
              0.31681,
              0.34255,
              0.38452,
              0.45616,
              0.5877,
              0.84449,
              1.35479
            ],
            [
              0.31579,
              0.35376,
              0.38029,
              0.42305,
              0.49542,
              0.62762,
              0.88502,
              1.39542
            ],
            [
              0.35307,
              0.39347,
              0.42127,
              0.46527,
              0.53857,
              0.67117,
              0.92867,
              1.44017
            ],
            [
              0.3879,
              0.4315,
              0.4615,
              0.5076,
              0.5824,
              0.7154,
              0.9732,
              1.4845
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.05075,
              0.07173,
              0.08713,
              0.1126,
              0.15646,
              0.23758,
              0.39901,
              0.73371
            ],
            [
              0.05075,
              0.07171,
              0.08714,
              0.11266,
              0.15647,
              0.23735,
              0.39873,
              0.73372
            ],
            [
              0.05075,
              0.07173,
              0.0872,
              0.1127,
              0.15662,
              0.23744,
              0.39853,
              0.73288
            ],
            [
              0.05072,
              0.07172,
              0.08715,
              0.11263,
              0.1565,
              0.23753,
              0.39896,
              0.73385
            ],
            [
              0.05078,
              0.07173,
              0.08732,
              0.11275,
              0.15662,
              0.23746,
              0.39847,
              0.733
            ],
            [
              0.05076,
              0.07173,
              0.08716,
              0.11263,
              0.15672,
              0.23766,
              0.39893,
              0.73386
            ],
            [
              0.0508,
              0.07175,
              0.08721,
              0.11277,
              0.15663,
              0.23745,
              0.39853,
              0.73306
            ],
            [
              0.0508,
              0.07177,
              0.08722,
              0.11278,
              0.15664,
              0.23744,
              0.39847,
              0.73328
            ],
            [
              0.05079,
              0.07177,
              0.0872,
              0.11284,
              0.15655,
              0.23757,
              0.39887,
              0.73367
            ],
            [
              0.05078,
              0.07182,
              0.0873,
              0.11275,
              0.15663,
              0.23753,
              0.399,
              0.7337
            ],
            [
              0.0541,
              0.0748,
              0.0899,
              0.1148,
              0.158,
              0.2384,
              0.399,
              0.7336
            ],
            [
              0.06,
              0.0814,
              0.097,
              0.1224,
              0.1655,
              0.2443,
              0.4026,
              0.7352
            ],
            [
              0.0678,
              0.0899,
              0.1062,
              0.1326,
              0.1761,
              0.255,
              0.4113,
              0.7393
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.0353,
              0.06399,
              0.08685,
              0.13007,
              0.21666,
              0.39491,
              0.76053,
              1.49998
            ],
            [
              0.0353,
              0.0639,
              0.08684,
              0.13023,
              0.2165,
              0.39499,
              0.76085,
              1.50187
            ],
            [
              0.0353,
              0.06385,
              0.08688,
              0.13006,
              0.21679,
              0.39518,
              0.76271,
              1.49898
            ],
            [
              0.03531,
              0.06384,
              0.08685,
              0.13011,
              0.21668,
              0.39526,
              0.76086,
              1.50047
            ],
            [
              0.03531,
              0.06391,
              0.08684,
              0.13024,
              0.21649,
              0.395,
              0.76091,
              1.50192
            ],
            [
              0.03532,
              0.06402,
              0.08686,
              0.13028,
              0.2165,
              0.39505,
              0.76086,
              1.50205
            ],
            [
              0.03533,
              0.06395,
              0.087,
              0.1302,
              0.21676,
              0.39515,
              0.76195,
              1.49764
            ],
            [
              0.03532,
              0.06395,
              0.08693,
              0.13026,
              0.21654,
              0.39523,
              0.76095,
              1.50169
            ],
            [
              0.03635,
              0.06472,
              0.08754,
              0.1307,
              0.21692,
              0.3955,
              0.76092,
              1.4987
            ],
            [
              0.03834,
              0.06724,
              0.0901,
              0.13291,
              0.21855,
              0.39554,
              0.76178,
              1.4986
            ],
            [
              0.04174,
              0.071,
              0.09363,
              0.13595,
              0.22091,
              0.3975,
              0.7623,
              1.5026
            ],
            [
              0.0472,
              0.077,
              0.0994,
              0.1407,
              0.2245,
              0.3998,
              0.7624,
              1.4994
            ],
            [
              0.0547,
              0.0858,
              0.1086,
              0.1487,
              0.2302,
              0.4022,
              0.7649,
              1.5026
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.40686,
              0.44604,
              0.47331,
              0.51515,
              0.57785,
              0.67303,
              0.82536,
              1.09237
            ],
            [
              0.40803,
              0.44723,
              0.4745,
              0.51634,
              0.57903,
              0.67415,
              0.82671,
              1.09364
            ],
            [
              0.40961,
              0.44878,
              0.47606,
              0.5179,
              0.58061,
              0.67577,
              0.82828,
              1.09502
            ],
            [
              0.41218,
              0.45134,
              0.47861,
              0.52045,
              0.58317,
              0.67834,
              0.83084,
              1.09758
            ],
            [
              0.41647,
              0.45559,
              0.48285,
              0.52468,
              0.58737,
              0.68256,
              0.83505,
              1.10211
            ],
            [
              0.42375,
              0.46282,
              0.49005,
              0.53185,
              0.59456,
              0.68973,
              0.84204,
              1.10892
            ],
            [
              0.43602,
              0.47505,
              0.50225,
              0.54404,
              0.60668,
              0.70184,
              0.85437,
              1.12113
            ],
            [
              0.4565,
              0.49553,
              0.52273,
              0.5645,
              0.62715,
              0.72229,
              0.87476,
              1.14146
            ],
            [
              0.48988,
              0.52891,
              0.55611,
              0.59785,
              0.66046,
              0.75555,
              0.90805,
              1.17505
            ],
            [
              0.54306,
              0.5821,
              0.6093,
              0.65109,
              0.71369,
              0.80879,
              0.96129,
              1.22839
            ],
            [
              0.62632,
              0.66522,
              0.69242,
              0.73402,
              0.79662,
              0.89162,
              1.04422,
              1.31122
            ],
            [
              0.74807,
              0.78807,
              0.81577,
              0.85787,
              0.92067,
              1.01607,
              1.16877,
              1.43587
            ],
            [
              0.9012,
              0.9444,
              0.9743,
              1.0194,
              1.0853,
              1.1836,
              1.3388,
              1.6067
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.1352,
              0.16807,
              0.19183,
              0.23161,
              0.30114,
              0.43135,
              0.6874,
              1.19737
            ],
            [
              0.13801,
              0.17089,
              0.19466,
              0.23441,
              0.30398,
              0.43418,
              0.69025,
              1.19954
            ],
            [
              0.14104,
              0.17391,
              0.19769,
              0.23749,
              0.30702,
              0.43719,
              0.69336,
              1.20352
            ],
            [
              0.14506,
              0.17797,
              0.20175,
              0.24158,
              0.31106,
              0.44133,
              0.69737,
              1.20708
            ],
            [
              0.15053,
              0.18344,
              0.20723,
              0.24701,
              0.31657,
              0.44682,
              0.70277,
              1.21241
            ],
            [
              0.1581,
              0.19103,
              0.21482,
              0.25459,
              0.32419,
              0.45431,
              0.71054,
              1.22022
            ],
            [
              0.16889,
              0.20181,
              0.22558,
              0.26538,
              0.33492,
              0.465,
              0.72106,
              1.23063
            ],
            [
              0.18388,
              0.21698,
              0.24075,
              0.28052,
              0.35001,
              0.48021,
              0.73605,
              1.24686
            ],
            [
              0.2017,
              0.23621,
              0.26075,
              0.30099,
              0.37079,
              0.50105,
              0.75705,
              1.26765
            ],
            [
              0.2237,
              0.25899,
              0.28417,
              0.32547,
              0.3964,
              0.52722,
              0.78349,
              1.29329
            ],
            [
              0.24803,
              0.28445,
              0.31056,
              0.35286,
              0.42474,
              0.55672,
              0.81332,
              1.32392
            ],
            [
              0.27057,
              0.30947,
              0.33677,
              0.38067,
              0.45377,
              0.58617,
              0.84357,
              1.35337
            ],
            [
              0.2859,
              0.3285,
              0.3578,
              0.4039,
              0.479,
              0.6124,
              0.8694,
              1.3807
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.06814,
              0.09149,
              0.10877,
              0.13669,
              0.18301,
              0.26538,
              0.42462,
              0.75168
            ],
            [
              0.06809,
              0.09147,
              0.10872,
              0.13666,
              0.18297,
              0.26538,
              0.42459,
              0.75175
            ],
            [
              0.06811,
              0.09145,
              0.10875,
              0.13663,
              0.18289,
              0.26524,
              0.42448,
              0.75119
            ],
            [
              0.06811,
              0.09147,
              0.10874,
              0.13677,
              0.18288,
              0.2652,
              0.42445,
              0.75052
            ],
            [
              0.06805,
              0.09143,
              0.10869,
              0.13672,
              0.18303,
              0.26542,
              0.42421,
              0.7505
            ],
            [
              0.06805,
              0.09146,
              0.10881,
              0.13673,
              0.18285,
              0.26516,
              0.42452,
              0.75156
            ],
            [
              0.06803,
              0.09142,
              0.10865,
              0.13657,
              0.1829,
              0.26539,
              0.42409,
              0.75137
            ],
            [
              0.06804,
              0.09139,
              0.10869,
              0.13657,
              0.18283,
              0.26519,
              0.42444,
              0.75085
            ],
            [
              0.06801,
              0.09136,
              0.10869,
              0.13659,
              0.18306,
              0.26512,
              0.42405,
              0.7504
            ],
            [
              0.06799,
              0.0914,
              0.10861,
              0.13648,
              0.18298,
              0.2651,
              0.4241,
              0.7511
            ],
            [
              0.0677,
              0.0912,
              0.1087,
              0.1366,
              0.1831,
              0.2652,
              0.4241,
              0.7512
            ],
            [
              0.0755,
              0.0977,
              0.1142,
              0.1412,
              0.1862,
              0.2676,
              0.4253,
              0.7517
            ],
            [
              0.0893,
              0.1124,
              0.1293,
              0.1559,
              0.1992,
              0.2777,
              0.433,
              0.7553
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.0315,
              0.05847,
              0.08096,
              0.12412,
              0.21091,
              0.39096,
              0.75766,
              1.49586
            ],
            [
              0.0315,
              0.05849,
              0.081,
              0.12392,
              0.21092,
              0.39123,
              0.75768,
              1.49887
            ],
            [
              0.03147,
              0.05858,
              0.08087,
              0.12427,
              0.21105,
              0.39118,
              0.75709,
              1.49561
            ],
            [
              0.03153,
              0.05859,
              0.08092,
              0.12404,
              0.21074,
              0.39111,
              0.75779,
              1.49845
            ],
            [
              0.03154,
              0.05859,
              0.08094,
              0.12402,
              0.21077,
              0.3906,
              0.75849,
              1.49642
            ],
            [
              0.03154,
              0.05861,
              0.0811,
              0.12408,
              0.21114,
              0.39097,
              0.75825,
              1.49487
            ],
            [
              0.03152,
              0.05871,
              0.08106,
              0.12417,
              0.21116,
              0.39073,
              0.7591,
              1.49592
            ],
            [
              0.03231,
              0.05897,
              0.08134,
              0.1244,
              0.21126,
              0.39108,
              0.7598,
              1.49879
            ],
            [
              0.03341,
              0.06143,
              0.08373,
              0.126,
              0.21207,
              0.39051,
              0.75928,
              1.49694
            ],
            [
              0.03473,
              0.06377,
              0.08653,
              0.12929,
              0.21479,
              0.39179,
              0.75814,
              1.4973
            ],
            [
              0.03803,
              0.0672,
              0.09019,
              0.13277,
              0.21833,
              0.39428,
              0.7587,
              1.495
            ],
            [
              0.0435,
              0.073,
              0.0958,
              0.1382,
              0.222,
              0.3973,
              0.7605,
              1.4956
            ],
            [
              0.0512,
              0.0818,
              0.1049,
              0.1463,
              0.2285,
              0.4009,
              0.7627,
              1.4979
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.45139,
              0.48362,
              0.50596,
              0.53968,
              0.58949,
              0.67003,
              0.80927,
              1.06697
            ],
            [
              0.45386,
              0.48609,
              0.50843,
              0.54214,
              0.59197,
              0.67253,
              0.81171,
              1.06924
            ],
            [
              0.45674,
              0.48897,
              0.51131,
              0.54502,
              0.59483,
              0.6754,
              0.81456,
              1.07222
            ],
            [
              0.46102,
              0.49323,
              0.51557,
              0.54927,
              0.5991,
              0.67966,
              0.81886,
              1.07658
            ],
            [
              0.46724,
              0.49946,
              0.5218,
              0.5555,
              0.60533,
              0.68589,
              0.82509,
              1.08271
            ],
            [
              0.47638,
              0.50859,
              0.53091,
              0.56461,
              0.61443,
              0.69497,
              0.83421,
              1.09202
            ],
            [
              0.4899,
              0.52209,
              0.5444,
              0.57807,
              0.62787,
              0.70846,
              0.84765,
              1.10543
            ],
            [
              0.50949,
              0.54166,
              0.56395,
              0.59758,
              0.64735,
              0.72796,
              0.86716,
              1.12486
            ],
            [
              0.53743,
              0.56939,
              0.5916,
              0.62512,
              0.67486,
              0.75545,
              0.89475,
              1.15245
            ],
            [
              0.57367,
              0.60467,
              0.62655,
              0.65979,
              0.70929,
              0.78989,
              0.92919,
              1.18689
            ],
            [
              0.61642,
              0.64592,
              0.66722,
              0.69972,
              0.74882,
              0.82932,
              0.96832,
              1.22602
            ],
            [
              0.66277,
              0.68917,
              0.70887,
              0.73987,
              0.78787,
              0.86827,
              1.00787,
              1.26597
            ],
            [
              0.707,
              0.7315,
              0.7496,
              0.7788,
              0.8253,
              0.9049,
              1.0441,
              1.3026
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.57276,
              0.60101,
              0.62014,
              0.6512,
              0.7108,
              0.83458,
              1.08677,
              1.59467
            ],
            [
              0.57492,
              0.60319,
              0.6223,
              0.65333,
              0.71299,
              0.83677,
              1.08894,
              1.59694
            ],
            [
              0.57747,
              0.60576,
              0.62489,
              0.6559,
              0.71559,
              0.83933,
              1.09152,
              1.59922
            ],
            [
              0.58142,
              0.60967,
              0.62882,
              0.65985,
              0.71949,
              0.84332,
              1.09548,
              1.60308
            ],
            [
              0.58759,
              0.61585,
              0.63497,
              0.666,
              0.72571,
              0.84938,
              1.10161,
              1.60951
            ],
            [
              0.59728,
              0.62549,
              0.6446,
              0.67564,
              0.73527,
              0.85911,
              1.11132,
              1.61922
            ],
            [
              0.61249,
              0.64071,
              0.65978,
              0.69082,
              0.75051,
              0.8743,
              1.12643,
              1.63433
            ],
            [
              0.63641,
              0.66461,
              0.68369,
              0.71472,
              0.7744,
              0.89816,
              1.15036,
              1.65826
            ],
            [
              0.67366,
              0.70187,
              0.72096,
              0.752,
              0.81165,
              0.93545,
              1.18765,
              1.69565
            ],
            [
              0.73119,
              0.75939,
              0.77849,
              0.80949,
              0.86929,
              0.99289,
              1.24519,
              1.75319
            ],
            [
              0.81852,
              0.84672,
              0.86572,
              0.89672,
              0.95652,
              1.08032,
              1.33252,
              1.84042
            ],
            [
              0.94577,
              0.97317,
              0.99167,
              1.02197,
              1.08117,
              1.20467,
              1.45657,
              1.96387
            ],
            [
              1.1117,
              1.1383,
              1.1556,
              1.1841,
              1.2415,
              1.3637,
              1.615,
              2.1221
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.05097,
              0.07167,
              0.08695,
              0.11266,
              0.1563,
              0.23563,
              0.39632,
              0.73179
            ],
            [
              0.05095,
              0.07172,
              0.08695,
              0.11257,
              0.15619,
              0.23575,
              0.39653,
              0.73208
            ],
            [
              0.05097,
              0.07172,
              0.08694,
              0.11265,
              0.15618,
              0.23578,
              0.39663,
              0.73166
            ],
            [
              0.05098,
              0.07167,
              0.08707,
              0.11264,
              0.15629,
              0.23577,
              0.39652,
              0.73124
            ],
            [
              0.05097,
              0.07172,
              0.08695,
              0.1126,
              0.15619,
              0.23586,
              0.39631,
              0.73155
            ],
            [
              0.05093,
              0.07172,
              0.08707,
              0.11264,
              0.15632,
              0.23568,
              0.39622,
              0.73178
            ],
            [
              0.05097,
              0.07171,
              0.08696,
              0.11266,
              0.15625,
              0.23581,
              0.39657,
              0.73107
            ],
            [
              0.05099,
              0.07172,
              0.08698,
              0.11272,
              0.15627,
              0.23575,
              0.39657,
              0.73148
            ],
            [
              0.05098,
              0.07171,
              0.08705,
              0.11274,
              0.15633,
              0.2356,
              0.39632,
              0.7319
            ],
            [
              0.05108,
              0.07181,
              0.08718,
              0.11273,
              0.15619,
              0.2357,
              0.3962,
              0.7315
            ],
            [
              0.0512,
              0.0719,
              0.0872,
              0.1129,
              0.1564,
              0.2358,
              0.3965,
              0.732
            ],
            [
              0.0497,
              0.0701,
              0.0857,
              0.1121,
              0.1562,
              0.2367,
              0.398,
              0.7322
            ],
            [
              0.0491,
              0.0695,
              0.0853,
              0.1117,
              0.1559,
              0.2363,
              0.3981,
              0.7342
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.03667,
              0.06351,
              0.08563,
              0.12821,
              0.21321,
              0.39195,
              0.75732,
              1.49442
            ],
            [
              0.03673,
              0.06352,
              0.08563,
              0.12823,
              0.21325,
              0.39193,
              0.7572,
              1.4945
            ],
            [
              0.03667,
              0.06351,
              0.08567,
              0.12806,
              0.21363,
              0.3918,
              0.75841,
              1.49418
            ],
            [
              0.03672,
              0.06348,
              0.08566,
              0.1281,
              0.21345,
              0.39191,
              0.75761,
              1.49301
            ],
            [
              0.03669,
              0.06358,
              0.08568,
              0.12812,
              0.21374,
              0.39121,
              0.7591,
              1.4935
            ],
            [
              0.03668,
              0.06352,
              0.08564,
              0.12813,
              0.21328,
              0.39207,
              0.75744,
              1.4941
            ],
            [
              0.03672,
              0.06353,
              0.08567,
              0.12826,
              0.21358,
              0.39133,
              0.75751,
              1.4941
            ],
            [
              0.03673,
              0.06367,
              0.08569,
              0.12826,
              0.21352,
              0.39136,
              0.75813,
              1.4936
            ],
            [
              0.03671,
              0.0637,
              0.08568,
              0.12823,
              0.21321,
              0.3918,
              0.7574,
              1.4943
            ],
            [
              0.0368,
              0.0636,
              0.0857,
              0.128,
              0.2137,
              0.3919,
              0.759,
              1.4934
            ],
            [
              0.0369,
              0.0637,
              0.0858,
              0.1284,
              0.2135,
              0.3923,
              0.7581,
              1.4932
            ],
            [
              0.0374,
              0.0642,
              0.0863,
              0.1287,
              0.2138,
              0.3922,
              0.758,
              1.4944
            ],
            [
              0.0388,
              0.0659,
              0.0879,
              0.1298,
              0.2142,
              0.3921,
              0.7572,
              1.4935
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.46463,
              0.49675,
              0.5191,
              0.55275,
              0.60259,
              0.6839,
              0.82417,
              1.08257
            ],
            [
              0.46705,
              0.49916,
              0.52151,
              0.55517,
              0.605,
              0.68632,
              0.82659,
              1.08504
            ],
            [
              0.4699,
              0.50202,
              0.52437,
              0.55802,
              0.60788,
              0.68918,
              0.82944,
              1.08782
            ],
            [
              0.47413,
              0.50626,
              0.52858,
              0.56224,
              0.61209,
              0.69341,
              0.83366,
              1.09208
            ],
            [
              0.48037,
              0.51248,
              0.53482,
              0.56846,
              0.61832,
              0.69964,
              0.8398,
              1.09811
            ],
            [
              0.48956,
              0.52166,
              0.544,
              0.57764,
              0.62746,
              0.70879,
              0.84906,
              1.10752
            ],
            [
              0.50311,
              0.53522,
              0.55754,
              0.59114,
              0.64095,
              0.72229,
              0.86256,
              1.12103
            ],
            [
              0.5229,
              0.55498,
              0.57726,
              0.61081,
              0.66061,
              0.74198,
              0.88226,
              1.14076
            ],
            [
              0.55131,
              0.58329,
              0.60553,
              0.63897,
              0.68874,
              0.77015,
              0.91045,
              1.16895
            ],
            [
              0.58933,
              0.62051,
              0.64249,
              0.67569,
              0.72529,
              0.80679,
              0.94709,
              1.20549
            ],
            [
              0.63512,
              0.66482,
              0.68612,
              0.71872,
              0.76792,
              0.84932,
              0.98942,
              1.24782
            ],
            [
              0.68847,
              0.71527,
              0.73527,
              0.76637,
              0.81447,
              0.89517,
              1.03517,
              1.29347
            ],
            [
              0.7422,
              0.7668,
              0.7852,
              0.8147,
              0.8615,
              0.9415,
              1.0809,
              1.3384
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.55674,
              0.58496,
              0.60378,
              0.63428,
              0.69344,
              0.81697,
              1.06947,
              1.57747
            ],
            [
              0.55894,
              0.5872,
              0.60604,
              0.63652,
              0.69558,
              0.81919,
              1.07164,
              1.57944
            ],
            [
              0.5615,
              0.58976,
              0.60861,
              0.63911,
              0.69826,
              0.82178,
              1.07432,
              1.58222
            ],
            [
              0.56546,
              0.59371,
              0.61254,
              0.64304,
              0.7022,
              0.82576,
              1.07828,
              1.58618
            ],
            [
              0.5716,
              0.59983,
              0.61865,
              0.64917,
              0.70833,
              0.83184,
              1.08441,
              1.59221
            ],
            [
              0.58123,
              0.60944,
              0.62826,
              0.65877,
              0.71791,
              0.84144,
              1.09402,
              1.60202
            ],
            [
              0.59637,
              0.62455,
              0.64336,
              0.67385,
              0.73298,
              0.85655,
              1.10903,
              1.61713
            ],
            [
              0.62014,
              0.64832,
              0.66712,
              0.6976,
              0.75675,
              0.88026,
              1.13286,
              1.64066
            ],
            [
              0.65722,
              0.6854,
              0.70419,
              0.73467,
              0.79375,
              0.91735,
              1.16985,
              1.67775
            ],
            [
              0.71449,
              0.74259,
              0.76139,
              0.79189,
              0.85109,
              0.97459,
              1.22719,
              1.73499
            ],
            [
              0.80102,
              0.82922,
              0.84792,
              0.87832,
              0.93742,
              1.06102,
              1.31342,
              1.82142
            ],
            [
              0.92557,
              0.95287,
              0.97097,
              1.00057,
              1.05897,
              1.18187,
              1.43397,
              1.94167
            ],
            [
              1.0842,
              1.1112,
              1.1282,
              1.1558,
              1.2125,
              1.3345,
              1.586,
              2.0932
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.05116,
              0.07223,
              0.08792,
              0.11422,
              0.15854,
              0.2384,
              0.39923,
              0.73342
            ],
            [
              0.05114,
              0.07222,
              0.08793,
              0.11435,
              0.15853,
              0.2384,
              0.39918,
              0.73349
            ],
            [
              0.05116,
              0.07221,
              0.08791,
              0.11434,
              0.1586,
              0.23843,
              0.39897,
              0.73304
            ],
            [
              0.05116,
              0.07226,
              0.08791,
              0.11421,
              0.15846,
              0.23858,
              0.39915,
              0.73322
            ],
            [
              0.05116,
              0.07222,
              0.08791,
              0.11422,
              0.15846,
              0.23861,
              0.39947,
              0.73397
            ],
            [
              0.05115,
              0.07223,
              0.08791,
              0.11422,
              0.15853,
              0.23841,
              0.3992,
              0.7335
            ],
            [
              0.05115,
              0.07224,
              0.08793,
              0.11424,
              0.15851,
              0.23845,
              0.3993,
              0.73359
            ],
            [
              0.05113,
              0.07227,
              0.088,
              0.11426,
              0.15855,
              0.23842,
              0.39922,
              0.73351
            ],
            [
              0.0512,
              0.0723,
              0.08803,
              0.11434,
              0.15858,
              0.23842,
              0.39931,
              0.7338
            ],
            [
              0.05123,
              0.07231,
              0.08817,
              0.11445,
              0.1585,
              0.2386,
              0.3993,
              0.7337
            ],
            [
              0.0514,
              0.0725,
              0.0883,
              0.1147,
              0.1585,
              0.2386,
              0.399,
              0.7336
            ],
            [
              0.0504,
              0.071,
              0.0868,
              0.1135,
              0.1576,
              0.2382,
              0.399,
              0.7331
            ],
            [
              0.0502,
              0.0709,
              0.0867,
              0.1135,
              0.1576,
              0.2377,
              0.3986,
              0.7328
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.03668,
              0.06274,
              0.08437,
              0.12655,
              0.21233,
              0.39088,
              0.75708,
              1.49428
            ],
            [
              0.03668,
              0.06281,
              0.08444,
              0.12654,
              0.21173,
              0.39124,
              0.75763,
              1.49337
            ],
            [
              0.03668,
              0.06282,
              0.08445,
              0.12665,
              0.21238,
              0.39172,
              0.75729,
              1.49414
            ],
            [
              0.03669,
              0.06275,
              0.08437,
              0.12653,
              0.21219,
              0.39102,
              0.75682,
              1.4922
            ],
            [
              0.03669,
              0.06274,
              0.08437,
              0.12658,
              0.21238,
              0.39065,
              0.75721,
              1.4932
            ],
            [
              0.03668,
              0.06279,
              0.08443,
              0.12674,
              0.21238,
              0.39177,
              0.75683,
              1.4938
            ],
            [
              0.03669,
              0.06274,
              0.08436,
              0.12652,
              0.21209,
              0.39057,
              0.75668,
              1.4937
            ],
            [
              0.03669,
              0.06277,
              0.08445,
              0.1266,
              0.21234,
              0.39076,
              0.75725,
              1.4941
            ],
            [
              0.03671,
              0.0628,
              0.08441,
              0.12651,
              0.21216,
              0.39079,
              0.7568,
              1.4924
            ],
            [
              0.0368,
              0.0629,
              0.0844,
              0.1267,
              0.2123,
              0.3907,
              0.7565,
              1.4928
            ],
            [
              0.0369,
              0.0632,
              0.0846,
              0.1267,
              0.2122,
              0.3907,
              0.7577,
              1.4942
            ],
            [
              0.0375,
              0.0637,
              0.0853,
              0.1272,
              0.2127,
              0.3913,
              0.7575,
              1.4942
            ],
            [
              0.0392,
              0.066,
              0.0874,
              0.1292,
              0.2134,
              0.3923,
              0.7578,
              1.4946
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.27831,
              0.31147,
              0.33522,
              0.3727,
              0.42991,
              0.5184,
              0.66417,
              0.92579
            ],
            [
              0.28145,
              0.3146,
              0.33839,
              0.37587,
              0.433,
              0.52148,
              0.66718,
              0.92889
            ],
            [
              0.285,
              0.31814,
              0.3419,
              0.3794,
              0.43663,
              0.52516,
              0.67092,
              0.93281
            ],
            [
              0.29013,
              0.32327,
              0.34704,
              0.38455,
              0.44177,
              0.53026,
              0.6758,
              0.93771
            ],
            [
              0.29749,
              0.33059,
              0.35435,
              0.39185,
              0.44908,
              0.53758,
              0.68335,
              0.94492
            ],
            [
              0.30778,
              0.34085,
              0.36459,
              0.40205,
              0.45928,
              0.5478,
              0.6935,
              0.95532
            ],
            [
              0.32217,
              0.35522,
              0.37896,
              0.41638,
              0.47356,
              0.56196,
              0.70765,
              0.96953
            ],
            [
              0.34291,
              0.37594,
              0.39963,
              0.43702,
              0.49417,
              0.58267,
              0.7284,
              0.99026
            ],
            [
              0.37376,
              0.40676,
              0.43042,
              0.46771,
              0.5248,
              0.61328,
              0.75905,
              1.02105
            ],
            [
              0.42039,
              0.45325,
              0.47676,
              0.5139,
              0.57089,
              0.65939,
              0.80509,
              1.06719
            ],
            [
              0.48432,
              0.51782,
              0.54172,
              0.57952,
              0.63732,
              0.72642,
              0.87252,
              1.13472
            ],
            [
              0.56747,
              0.60207,
              0.62647,
              0.66467,
              0.72407,
              0.81667,
              0.96577,
              1.22887
            ],
            [
              0.6764,
              0.7129,
              0.7386,
              0.7784,
              0.8393,
              0.9344,
              1.0878,
              1.3551
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.17157,
              0.20662,
              0.23161,
              0.27282,
              0.34373,
              0.47493,
              0.73143,
              1.24127
            ],
            [
              0.17387,
              0.2089,
              0.23387,
              0.27506,
              0.346,
              0.47719,
              0.73337,
              1.24464
            ],
            [
              0.17652,
              0.21153,
              0.2365,
              0.27767,
              0.34863,
              0.4796,
              0.73627,
              1.24692
            ],
            [
              0.18044,
              0.21544,
              0.24041,
              0.28155,
              0.35252,
              0.48355,
              0.73974,
              1.25087
            ],
            [
              0.18623,
              0.2212,
              0.24618,
              0.28731,
              0.35828,
              0.48922,
              0.74577,
              1.25641
            ],
            [
              0.19488,
              0.22987,
              0.25484,
              0.296,
              0.36689,
              0.49789,
              0.75437,
              1.26502
            ],
            [
              0.208,
              0.243,
              0.26796,
              0.30911,
              0.38004,
              0.51104,
              0.7674,
              1.27813
            ],
            [
              0.228,
              0.26299,
              0.28794,
              0.32906,
              0.39992,
              0.53096,
              0.78729,
              1.29766
            ],
            [
              0.25776,
              0.29268,
              0.31758,
              0.35861,
              0.42944,
              0.56049,
              0.81695,
              1.32665
            ],
            [
              0.29348,
              0.32943,
              0.35486,
              0.39644,
              0.46748,
              0.5986,
              0.85489,
              1.36519
            ],
            [
              0.33235,
              0.37016,
              0.39637,
              0.43868,
              0.51062,
              0.64222,
              0.89812,
              1.40802
            ],
            [
              0.37187,
              0.41267,
              0.44037,
              0.48397,
              0.55657,
              0.68867,
              0.94517,
              1.45587
            ],
            [
              0.4086,
              0.4529,
              0.4832,
              0.5292,
              0.6032,
              0.7354,
              0.9922,
              1.5027
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.04794,
              0.0701,
              0.08721,
              0.11526,
              0.16144,
              0.24416,
              0.40518,
              0.73751
            ],
            [
              0.04793,
              0.07009,
              0.08724,
              0.11525,
              0.16168,
              0.24414,
              0.40532,
              0.73749
            ],
            [
              0.04794,
              0.0701,
              0.08723,
              0.11529,
              0.16162,
              0.24416,
              0.40521,
              0.73741
            ],
            [
              0.04794,
              0.07009,
              0.08721,
              0.11519,
              0.1615,
              0.24408,
              0.40537,
              0.73707
            ],
            [
              0.04794,
              0.07011,
              0.08721,
              0.11523,
              0.16148,
              0.24416,
              0.40525,
              0.73745
            ],
            [
              0.04794,
              0.07008,
              0.08719,
              0.11532,
              0.1615,
              0.24418,
              0.40531,
              0.73734
            ],
            [
              0.04796,
              0.07006,
              0.08729,
              0.11516,
              0.16147,
              0.2442,
              0.40536,
              0.73724
            ],
            [
              0.04792,
              0.07001,
              0.08712,
              0.11505,
              0.16155,
              0.24408,
              0.40522,
              0.7367
            ],
            [
              0.04794,
              0.06991,
              0.08711,
              0.11507,
              0.16138,
              0.24398,
              0.405,
              0.73725
            ],
            [
              0.04802,
              0.0699,
              0.08692,
              0.115,
              0.16131,
              0.24407,
              0.40522,
              0.7371
            ],
            [
              0.0517,
              0.0734,
              0.0903,
              0.1183,
              0.1644,
              0.2461,
              0.4062,
              0.7373
            ],
            [
              0.0575,
              0.0785,
              0.0948,
              0.123,
              0.1709,
              0.2544,
              0.413,
              0.7406
            ],
            [
              0.0656,
              0.0869,
              0.1033,
              0.1307,
              0.1785,
              0.2631,
              0.4233,
              0.7487
            ]
          ]
        },
        "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.0095,
            0.01899,
            0.038,
            0.07599,
            0.15198,
            0.30397,
            0.60794
          ],
          "values": [
            [
              0.03523,
              0.06381,
              0.0867,
              0.13004,
              0.21619,
              0.39447,
              0.76048,
              1.50096
            ],
            [
              0.03521,
              0.06381,
              0.08666,
              0.12999,
              0.21629,
              0.39492,
              0.76035,
              1.50059
            ],
            [
              0.03519,
              0.06371,
              0.08662,
              0.12979,
              0.21639,
              0.39449,
              0.75995,
              1.49827
            ],
            [
              0.03518,
              0.06367,
              0.08664,
              0.1298,
              0.21635,
              0.39461,
              0.76163,
              1.49719
            ],
            [
              0.03517,
              0.06366,
              0.08659,
              0.12973,
              0.21638,
              0.39442,
              0.76001,
              1.49746
            ],
            [
              0.03517,
              0.06372,
              0.08655,
              0.12988,
              0.21611,
              0.3944,
              0.76035,
              1.49696
            ],
            [
              0.03515,
              0.06366,
              0.08653,
              0.12985,
              0.21626,
              0.3945,
              0.76073,
              1.49667
            ],
            [
              0.03513,
              0.06363,
              0.08654,
              0.12983,
              0.21609,
              0.39406,
              0.76159,
              1.49857
            ],
            [
              0.03571,
              0.06405,
              0.08682,
              0.12991,
              0.21628,
              0.39464,
              0.75953,
              1.49938
            ],
            [
              0.03867,
              0.06694,
              0.08959,
              0.13221,
              0.21735,
              0.39498,
              0.7609,
              1.499
            ],
            [
              0.04363,
              0.0717,
              0.09379,
              0.13565,
              0.22036,
              0.3969,
              0.761,
              1.5021
            ],
            [
              0.0503,
              0.0792,
              0.1009,
              0.1412,
              0.2244,
              0.3987,
              0.7619,
              1.4964
            ],
            [
              0.0588,
              0.0896,
              0.1115,
              0.1501,
              0.2296,
              0.4013,
              0.7634,
              1.4972
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}