{
  "area": 47.952,
  "cell_footprint": "sky130_fd_sc_ms__fah",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.0053,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00817,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00297,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CI) | (B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.14285,
              0.15197,
              0.16469,
              0.19256,
              0.25152,
              0.37046,
              0.60835,
              1.08494
            ],
            [
              0.14264,
              0.15173,
              0.16445,
              0.19242,
              0.25126,
              0.37015,
              0.608,
              1.0853
            ],
            [
              0.14261,
              0.15168,
              0.16445,
              0.19242,
              0.25109,
              0.36982,
              0.60768,
              1.08613
            ],
            [
              0.14274,
              0.15179,
              0.16455,
              0.19252,
              0.25115,
              0.36992,
              0.60803,
              1.08658
            ],
            [
              0.14322,
              0.15231,
              0.16511,
              0.1931,
              0.25166,
              0.3705,
              0.60892,
              1.08718
            ],
            [
              0.14445,
              0.15349,
              0.16624,
              0.19421,
              0.25299,
              0.37194,
              0.61022,
              1.08809
            ],
            [
              0.14671,
              0.15573,
              0.16843,
              0.19643,
              0.25516,
              0.37413,
              0.61213,
              1.08932
            ],
            [
              0.15079,
              0.15983,
              0.17263,
              0.2006,
              0.25916,
              0.37808,
              0.61599,
              1.09471
            ],
            [
              0.15823,
              0.1672,
              0.17989,
              0.20781,
              0.26648,
              0.38496,
              0.62324,
              1.10019
            ],
            [
              0.17057,
              0.17941,
              0.19201,
              0.21987,
              0.27845,
              0.39725,
              0.63562,
              1.11271
            ],
            [
              0.19007,
              0.19869,
              0.21132,
              0.23901,
              0.29721,
              0.41628,
              0.6541,
              1.13175
            ],
            [
              0.22108,
              0.22943,
              0.24181,
              0.26956,
              0.32796,
              0.44586,
              0.6845,
              1.16221
            ],
            [
              0.26896,
              0.27685,
              0.28921,
              0.31644,
              0.37482,
              0.49309,
              0.73006,
              1.20742
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.1175,
              0.12298,
              0.13213,
              0.15318,
              0.19774,
              0.28803,
              0.47027,
              0.83442
            ],
            [
              0.11725,
              0.1227,
              0.13192,
              0.15292,
              0.19744,
              0.28802,
              0.46963,
              0.8342
            ],
            [
              0.11729,
              0.12275,
              0.13194,
              0.15296,
              0.1976,
              0.28809,
              0.46949,
              0.83427
            ],
            [
              0.11738,
              0.12288,
              0.13202,
              0.15297,
              0.19755,
              0.28805,
              0.46982,
              0.83523
            ],
            [
              0.11788,
              0.12336,
              0.1325,
              0.15356,
              0.19822,
              0.28841,
              0.47031,
              0.83481
            ],
            [
              0.11909,
              0.12452,
              0.13372,
              0.15468,
              0.19932,
              0.28974,
              0.47129,
              0.83588
            ],
            [
              0.12147,
              0.12692,
              0.13611,
              0.15705,
              0.20169,
              0.29214,
              0.4742,
              0.83752
            ],
            [
              0.12584,
              0.13129,
              0.14037,
              0.16136,
              0.20609,
              0.29667,
              0.47849,
              0.84369
            ],
            [
              0.13343,
              0.13882,
              0.14787,
              0.16885,
              0.21351,
              0.30354,
              0.48591,
              0.84974
            ],
            [
              0.14611,
              0.15143,
              0.16045,
              0.18135,
              0.22575,
              0.31623,
              0.49841,
              0.86293
            ],
            [
              0.16622,
              0.17139,
              0.18025,
              0.20114,
              0.24561,
              0.33568,
              0.51669,
              0.88186
            ],
            [
              0.19773,
              0.20269,
              0.21138,
              0.23199,
              0.27641,
              0.36664,
              0.54737,
              0.9123
            ],
            [
              0.24636,
              0.25105,
              0.25949,
              0.2798,
              0.32387,
              0.41425,
              0.59565,
              0.95858
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.13151,
              0.14085,
              0.1536,
              0.18159,
              0.24017,
              0.35882,
              0.59766,
              1.0732
            ],
            [
              0.13119,
              0.14047,
              0.15312,
              0.18129,
              0.23997,
              0.35833,
              0.59659,
              1.07478
            ],
            [
              0.13096,
              0.14019,
              0.15296,
              0.18098,
              0.23984,
              0.35844,
              0.59662,
              1.07473
            ],
            [
              0.13098,
              0.14018,
              0.15297,
              0.18099,
              0.2398,
              0.35834,
              0.59577,
              1.07486
            ],
            [
              0.13146,
              0.14076,
              0.15348,
              0.18136,
              0.24015,
              0.35844,
              0.59748,
              1.07411
            ],
            [
              0.13272,
              0.14185,
              0.15461,
              0.18255,
              0.24138,
              0.36022,
              0.59803,
              1.07651
            ],
            [
              0.13547,
              0.14455,
              0.15728,
              0.18514,
              0.24371,
              0.36228,
              0.60065,
              1.0773
            ],
            [
              0.14042,
              0.14937,
              0.16197,
              0.18955,
              0.24796,
              0.36631,
              0.60495,
              1.08047
            ],
            [
              0.14848,
              0.15711,
              0.1695,
              0.19685,
              0.25508,
              0.37275,
              0.61153,
              1.08739
            ],
            [
              0.16089,
              0.16928,
              0.18129,
              0.20848,
              0.26625,
              0.3843,
              0.62175,
              1.09976
            ],
            [
              0.17971,
              0.18764,
              0.19946,
              0.22621,
              0.28345,
              0.40113,
              0.63922,
              1.11652
            ],
            [
              0.20977,
              0.21713,
              0.2285,
              0.25475,
              0.31166,
              0.42836,
              0.66614,
              1.14252
            ],
            [
              0.25774,
              0.2643,
              0.27505,
              0.30035,
              0.35655,
              0.47325,
              0.70911,
              1.18562
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.09656,
              0.10196,
              0.1111,
              0.13208,
              0.17666,
              0.26703,
              0.44823,
              0.81409
            ],
            [
              0.0965,
              0.10193,
              0.11103,
              0.13202,
              0.17661,
              0.26733,
              0.44826,
              0.81305
            ],
            [
              0.09654,
              0.10191,
              0.11102,
              0.132,
              0.17655,
              0.2673,
              0.44877,
              0.81418
            ],
            [
              0.09679,
              0.10216,
              0.11131,
              0.13225,
              0.17686,
              0.26756,
              0.4489,
              0.81306
            ],
            [
              0.09723,
              0.1026,
              0.11173,
              0.1327,
              0.17724,
              0.26751,
              0.44901,
              0.81411
            ],
            [
              0.09825,
              0.10365,
              0.11275,
              0.13378,
              0.17825,
              0.26838,
              0.44992,
              0.81386
            ],
            [
              0.10033,
              0.10577,
              0.11489,
              0.1358,
              0.18028,
              0.27072,
              0.45231,
              0.81684
            ],
            [
              0.1046,
              0.10993,
              0.119,
              0.13982,
              0.18422,
              0.2747,
              0.4566,
              0.82066
            ],
            [
              0.11138,
              0.11669,
              0.12574,
              0.14647,
              0.19048,
              0.28066,
              0.46217,
              0.82689
            ],
            [
              0.12278,
              0.12796,
              0.13704,
              0.15761,
              0.20128,
              0.29163,
              0.47237,
              0.83706
            ],
            [
              0.14137,
              0.14627,
              0.15509,
              0.17563,
              0.2193,
              0.3085,
              0.48932,
              0.85325
            ],
            [
              0.17313,
              0.17758,
              0.18604,
              0.20613,
              0.2495,
              0.33831,
              0.51843,
              0.88136
            ],
            [
              0.22566,
              0.22943,
              0.23747,
              0.25668,
              0.29897,
              0.38706,
              0.56672,
              0.92846
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.09686,
              0.10664,
              0.11939,
              0.14725,
              0.20541,
              0.32356,
              0.56158,
              1.03873
            ],
            [
              0.09675,
              0.10648,
              0.11933,
              0.14712,
              0.20547,
              0.32411,
              0.56117,
              1.03818
            ],
            [
              0.09669,
              0.10654,
              0.11931,
              0.14711,
              0.20554,
              0.32374,
              0.56181,
              1.03795
            ],
            [
              0.09671,
              0.10648,
              0.11922,
              0.14702,
              0.20537,
              0.32362,
              0.56128,
              1.03953
            ],
            [
              0.09683,
              0.10655,
              0.11932,
              0.14723,
              0.20551,
              0.32386,
              0.56197,
              1.03958
            ],
            [
              0.09726,
              0.107,
              0.11974,
              0.14758,
              0.206,
              0.32425,
              0.56241,
              1.04037
            ],
            [
              0.0985,
              0.10821,
              0.12084,
              0.14854,
              0.20666,
              0.32495,
              0.56243,
              1.03835
            ],
            [
              0.10164,
              0.1111,
              0.12353,
              0.15101,
              0.20902,
              0.32733,
              0.56436,
              1.0412
            ],
            [
              0.10739,
              0.11628,
              0.12842,
              0.15546,
              0.213,
              0.33074,
              0.56892,
              1.04564
            ],
            [
              0.11617,
              0.12452,
              0.13628,
              0.16257,
              0.21968,
              0.33745,
              0.5747,
              1.05092
            ],
            [
              0.12886,
              0.13644,
              0.14781,
              0.17361,
              0.22971,
              0.34679,
              0.58311,
              1.06128
            ],
            [
              0.14803,
              0.15481,
              0.16559,
              0.1906,
              0.24592,
              0.36154,
              0.59854,
              1.07316
            ],
            [
              0.17733,
              0.18327,
              0.1933,
              0.21714,
              0.27116,
              0.38617,
              0.62055,
              1.09605
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.07505,
              0.08095,
              0.09013,
              0.11132,
              0.15602,
              0.24681,
              0.42836,
              0.79276
            ],
            [
              0.07493,
              0.08085,
              0.09001,
              0.11123,
              0.15594,
              0.24671,
              0.42788,
              0.79137
            ],
            [
              0.07493,
              0.08085,
              0.09,
              0.11118,
              0.15599,
              0.24622,
              0.42825,
              0.79173
            ],
            [
              0.07504,
              0.08095,
              0.09012,
              0.11128,
              0.15598,
              0.24636,
              0.42833,
              0.7937
            ],
            [
              0.07534,
              0.08123,
              0.09036,
              0.11148,
              0.15624,
              0.24661,
              0.42827,
              0.79306
            ],
            [
              0.07609,
              0.08196,
              0.09102,
              0.11206,
              0.15662,
              0.24744,
              0.42932,
              0.79263
            ],
            [
              0.07785,
              0.08356,
              0.09242,
              0.11334,
              0.15781,
              0.24817,
              0.43022,
              0.79442
            ],
            [
              0.08103,
              0.08634,
              0.09505,
              0.11562,
              0.15986,
              0.25025,
              0.43204,
              0.79522
            ],
            [
              0.08605,
              0.09081,
              0.09922,
              0.11949,
              0.16317,
              0.25304,
              0.43434,
              0.79895
            ],
            [
              0.09409,
              0.09813,
              0.10619,
              0.12598,
              0.1691,
              0.25895,
              0.43991,
              0.80491
            ],
            [
              0.10626,
              0.10938,
              0.11696,
              0.13619,
              0.17888,
              0.26757,
              0.44874,
              0.81234
            ],
            [
              0.12574,
              0.12776,
              0.13469,
              0.15311,
              0.195,
              0.28297,
              0.46233,
              0.82571
            ],
            [
              0.15574,
              0.15649,
              0.16256,
              0.18001,
              0.22068,
              0.30788,
              0.48641,
              0.84794
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.25798,
    "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.18261,
              0.20265,
              0.21689,
              0.23981,
              0.27693,
              0.33955,
              0.45277,
              0.67121
            ],
            [
              0.18463,
              0.20467,
              0.2189,
              0.24182,
              0.27894,
              0.34156,
              0.45477,
              0.67323
            ],
            [
              0.18731,
              0.20735,
              0.22159,
              0.24451,
              0.28164,
              0.34424,
              0.45744,
              0.67599
            ],
            [
              0.19162,
              0.21166,
              0.22589,
              0.24882,
              0.28593,
              0.34853,
              0.46174,
              0.68029
            ],
            [
              0.19817,
              0.21821,
              0.23244,
              0.25537,
              0.29249,
              0.35509,
              0.46828,
              0.68684
            ],
            [
              0.20767,
              0.22768,
              0.24189,
              0.2648,
              0.30191,
              0.36449,
              0.4777,
              0.69626
            ],
            [
              0.2211,
              0.24103,
              0.2552,
              0.27807,
              0.31513,
              0.37768,
              0.49085,
              0.70934
            ],
            [
              0.24003,
              0.25978,
              0.27387,
              0.29665,
              0.33363,
              0.39614,
              0.50927,
              0.72778
            ],
            [
              0.2657,
              0.28519,
              0.29916,
              0.3218,
              0.35868,
              0.42109,
              0.53414,
              0.75247
            ],
            [
              0.29966,
              0.31894,
              0.33281,
              0.35538,
              0.39217,
              0.45446,
              0.56735,
              0.78579
            ],
            [
              0.34515,
              0.36425,
              0.37806,
              0.40057,
              0.43732,
              0.49952,
              0.61222,
              0.83042
            ],
            [
              0.40677,
              0.42587,
              0.43967,
              0.46207,
              0.49887,
              0.56097,
              0.67357,
              0.89157
            ],
            [
              0.4917,
              0.5108,
              0.5246,
              0.547,
              0.5838,
              0.646,
              0.7584,
              0.9762
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.16823,
              0.19029,
              0.20801,
              0.23987,
              0.2996,
              0.41608,
              0.64778,
              1.11057
            ],
            [
              0.16964,
              0.19171,
              0.20942,
              0.24127,
              0.30101,
              0.41754,
              0.64919,
              1.11194
            ],
            [
              0.17139,
              0.19345,
              0.21117,
              0.24302,
              0.30276,
              0.41929,
              0.65094,
              1.11372
            ],
            [
              0.17372,
              0.19578,
              0.21351,
              0.24538,
              0.30506,
              0.42161,
              0.65319,
              1.11588
            ],
            [
              0.17638,
              0.19844,
              0.21616,
              0.24803,
              0.30771,
              0.4243,
              0.65595,
              1.11851
            ],
            [
              0.17901,
              0.20108,
              0.2188,
              0.25067,
              0.31037,
              0.42697,
              0.65862,
              1.12142
            ],
            [
              0.1813,
              0.20336,
              0.22109,
              0.25295,
              0.31271,
              0.42929,
              0.66095,
              1.12383
            ],
            [
              0.18262,
              0.20466,
              0.2224,
              0.25426,
              0.31404,
              0.43062,
              0.66225,
              1.12506
            ],
            [
              0.18177,
              0.20381,
              0.22152,
              0.25338,
              0.3132,
              0.42973,
              0.66136,
              1.12425
            ],
            [
              0.17658,
              0.19859,
              0.21628,
              0.24812,
              0.30788,
              0.42446,
              0.65609,
              1.11899
            ],
            [
              0.16384,
              0.18581,
              0.20347,
              0.23525,
              0.29494,
              0.41162,
              0.64322,
              1.10582
            ],
            [
              0.13903,
              0.16097,
              0.17857,
              0.21027,
              0.26997,
              0.38657,
              0.61817,
              1.08077
            ],
            [
              0.0956,
              0.1175,
              0.1351,
              0.1668,
              0.2263,
              0.343,
              0.5745,
              1.0373
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.02189,
              0.03694,
              0.04789,
              0.06718,
              0.10236,
              0.17071,
              0.31031,
              0.60036
            ],
            [
              0.02188,
              0.03694,
              0.04788,
              0.06717,
              0.10234,
              0.17071,
              0.31013,
              0.60032
            ],
            [
              0.02187,
              0.03694,
              0.04788,
              0.06719,
              0.10235,
              0.17064,
              0.31015,
              0.60034
            ],
            [
              0.02188,
              0.03694,
              0.04788,
              0.0672,
              0.10236,
              0.17061,
              0.31018,
              0.60039
            ],
            [
              0.02188,
              0.03693,
              0.04788,
              0.06718,
              0.10235,
              0.17061,
              0.31018,
              0.60038
            ],
            [
              0.02184,
              0.03688,
              0.04783,
              0.06714,
              0.10231,
              0.1705,
              0.31011,
              0.60028
            ],
            [
              0.02175,
              0.03674,
              0.04768,
              0.067,
              0.10221,
              0.17038,
              0.31011,
              0.6003
            ],
            [
              0.02161,
              0.0365,
              0.04743,
              0.06679,
              0.10204,
              0.17043,
              0.30993,
              0.60032
            ],
            [
              0.02152,
              0.03624,
              0.04717,
              0.06653,
              0.10176,
              0.17012,
              0.30982,
              0.60038
            ],
            [
              0.02145,
              0.03604,
              0.04696,
              0.06617,
              0.10153,
              0.16974,
              0.3101,
              0.60017
            ],
            [
              0.0214,
              0.03585,
              0.04674,
              0.06609,
              0.10133,
              0.1695,
              0.3095,
              0.6003
            ],
            [
              0.0214,
              0.0357,
              0.0467,
              0.066,
              0.1013,
              0.1695,
              0.3089,
              0.5993
            ],
            [
              0.0217,
              0.0359,
              0.0467,
              0.066,
              0.1013,
              0.1694,
              0.3088,
              0.5984
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.01823,
              0.04316,
              0.06547,
              0.10938,
              0.19904,
              0.38195,
              0.75246,
              1.49474
            ],
            [
              0.01824,
              0.04316,
              0.06545,
              0.10935,
              0.19893,
              0.38214,
              0.75191,
              1.49548
            ],
            [
              0.01824,
              0.04316,
              0.06545,
              0.10935,
              0.19891,
              0.3821,
              0.75184,
              1.49582
            ],
            [
              0.01821,
              0.04316,
              0.06547,
              0.10936,
              0.1989,
              0.38203,
              0.75338,
              1.49426
            ],
            [
              0.01823,
              0.04315,
              0.06546,
              0.10935,
              0.19887,
              0.38211,
              0.75302,
              1.49444
            ],
            [
              0.01818,
              0.04311,
              0.06542,
              0.10938,
              0.19888,
              0.38209,
              0.75306,
              1.49613
            ],
            [
              0.01814,
              0.04307,
              0.06537,
              0.10935,
              0.19889,
              0.38213,
              0.75225,
              1.4959
            ],
            [
              0.01797,
              0.04297,
              0.06527,
              0.10924,
              0.19886,
              0.38189,
              0.75226,
              1.49481
            ],
            [
              0.01783,
              0.04284,
              0.06519,
              0.10915,
              0.19882,
              0.38234,
              0.75271,
              1.49395
            ],
            [
              0.01763,
              0.04271,
              0.06501,
              0.10903,
              0.19889,
              0.38203,
              0.75259,
              1.49493
            ],
            [
              0.01744,
              0.04255,
              0.06484,
              0.10886,
              0.19869,
              0.38244,
              0.75382,
              1.4951
            ],
            [
              0.01734,
              0.04242,
              0.06481,
              0.10881,
              0.1986,
              0.382,
              0.7522,
              1.4974
            ],
            [
              0.0174,
              0.0425,
              0.0647,
              0.1086,
              0.1984,
              0.3824,
              0.7524,
              1.4946
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.18118,
              0.20262,
              0.21795,
              0.24261,
              0.28227,
              0.34812,
              0.46434,
              0.68452
            ],
            [
              0.18322,
              0.20465,
              0.21999,
              0.24465,
              0.2843,
              0.35015,
              0.46637,
              0.68655
            ],
            [
              0.18589,
              0.20733,
              0.22266,
              0.24733,
              0.28698,
              0.35283,
              0.469,
              0.68923
            ],
            [
              0.19017,
              0.2116,
              0.22693,
              0.2516,
              0.29125,
              0.35711,
              0.47332,
              0.69351
            ],
            [
              0.19669,
              0.21813,
              0.23347,
              0.25813,
              0.29778,
              0.36364,
              0.47987,
              0.70004
            ],
            [
              0.20618,
              0.2276,
              0.24292,
              0.26757,
              0.30721,
              0.37304,
              0.48925,
              0.70943
            ],
            [
              0.21967,
              0.24103,
              0.25632,
              0.28091,
              0.3205,
              0.3863,
              0.50248,
              0.72254
            ],
            [
              0.23898,
              0.26022,
              0.27542,
              0.29991,
              0.3394,
              0.40511,
              0.52125,
              0.74108
            ],
            [
              0.26587,
              0.28687,
              0.30191,
              0.32624,
              0.36557,
              0.43113,
              0.54718,
              0.76695
            ],
            [
              0.30152,
              0.32228,
              0.3372,
              0.36138,
              0.40055,
              0.46595,
              0.58181,
              0.80179
            ],
            [
              0.34903,
              0.36955,
              0.38436,
              0.40843,
              0.44752,
              0.51272,
              0.62832,
              0.84812
            ],
            [
              0.41277,
              0.43307,
              0.44787,
              0.47187,
              0.51087,
              0.57607,
              0.69147,
              0.91087
            ],
            [
              0.4995,
              0.5198,
              0.5346,
              0.5587,
              0.5978,
              0.6628,
              0.778,
              0.9972
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.15561,
              0.17735,
              0.19462,
              0.22583,
              0.28498,
              0.40128,
              0.63293,
              1.09557
            ],
            [
              0.15704,
              0.17877,
              0.19604,
              0.22725,
              0.28645,
              0.40279,
              0.6343,
              1.09714
            ],
            [
              0.1588,
              0.18053,
              0.1978,
              0.22901,
              0.28821,
              0.40455,
              0.63605,
              1.09892
            ],
            [
              0.16118,
              0.18291,
              0.20017,
              0.23139,
              0.29056,
              0.4069,
              0.63848,
              1.10118
            ],
            [
              0.16394,
              0.18567,
              0.20294,
              0.23416,
              0.2933,
              0.40964,
              0.64127,
              1.10401
            ],
            [
              0.16675,
              0.18847,
              0.20574,
              0.23697,
              0.29616,
              0.41252,
              0.6441,
              1.10692
            ],
            [
              0.16924,
              0.19094,
              0.20822,
              0.23945,
              0.29868,
              0.41506,
              0.64666,
              1.10943
            ],
            [
              0.17077,
              0.19239,
              0.20965,
              0.24092,
              0.30011,
              0.41652,
              0.64809,
              1.11076
            ],
            [
              0.16994,
              0.19154,
              0.20879,
              0.24001,
              0.29922,
              0.41562,
              0.64723,
              1.11005
            ],
            [
              0.16459,
              0.18611,
              0.20332,
              0.23449,
              0.29367,
              0.41007,
              0.64169,
              1.10449
            ],
            [
              0.15147,
              0.17291,
              0.19007,
              0.22119,
              0.2803,
              0.39669,
              0.62822,
              1.09102
            ],
            [
              0.12608,
              0.14747,
              0.16459,
              0.19567,
              0.25467,
              0.37097,
              0.60267,
              1.06517
            ],
            [
              0.0817,
              0.1031,
              0.1202,
              0.1512,
              0.2101,
              0.3264,
              0.558,
              1.0206
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.02422,
              0.04056,
              0.05238,
              0.0728,
              0.10938,
              0.17837,
              0.31714,
              0.60336
            ],
            [
              0.02422,
              0.04057,
              0.05238,
              0.0728,
              0.10938,
              0.17836,
              0.31712,
              0.60329
            ],
            [
              0.02422,
              0.04058,
              0.05236,
              0.07281,
              0.10942,
              0.17832,
              0.31697,
              0.60319
            ],
            [
              0.0242,
              0.04057,
              0.05238,
              0.07284,
              0.1094,
              0.17841,
              0.31714,
              0.60374
            ],
            [
              0.02421,
              0.04058,
              0.05237,
              0.07284,
              0.1094,
              0.17839,
              0.31702,
              0.60347
            ],
            [
              0.02421,
              0.04056,
              0.05234,
              0.0728,
              0.10937,
              0.17834,
              0.31672,
              0.60338
            ],
            [
              0.02419,
              0.0405,
              0.05227,
              0.0727,
              0.10922,
              0.17831,
              0.31708,
              0.60368
            ],
            [
              0.0242,
              0.0404,
              0.05212,
              0.07252,
              0.109,
              0.17814,
              0.31699,
              0.60403
            ],
            [
              0.02438,
              0.04036,
              0.05197,
              0.07229,
              0.10883,
              0.17787,
              0.31684,
              0.60388
            ],
            [
              0.02459,
              0.04034,
              0.05183,
              0.07201,
              0.10849,
              0.17758,
              0.3163,
              0.60409
            ],
            [
              0.02465,
              0.04024,
              0.0517,
              0.07189,
              0.10819,
              0.17711,
              0.3159,
              0.6035
            ],
            [
              0.0246,
              0.0402,
              0.0516,
              0.0718,
              0.1081,
              0.1769,
              0.3152,
              0.6023
            ],
            [
              0.0248,
              0.0402,
              0.0517,
              0.072,
              0.1082,
              0.1767,
              0.3148,
              0.6016
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.01769,
              0.04221,
              0.06399,
              0.10768,
              0.19771,
              0.38171,
              0.7516,
              1.49525
            ],
            [
              0.01768,
              0.04214,
              0.06399,
              0.10771,
              0.19765,
              0.38144,
              0.75256,
              1.49478
            ],
            [
              0.01768,
              0.04214,
              0.06399,
              0.10771,
              0.19766,
              0.38223,
              0.75218,
              1.4948
            ],
            [
              0.01768,
              0.04219,
              0.06398,
              0.10765,
              0.19781,
              0.382,
              0.75175,
              1.49456
            ],
            [
              0.01764,
              0.04216,
              0.06395,
              0.10765,
              0.19759,
              0.38169,
              0.7516,
              1.49353
            ],
            [
              0.01756,
              0.04209,
              0.06391,
              0.10761,
              0.1977,
              0.38156,
              0.75168,
              1.4948
            ],
            [
              0.01743,
              0.04195,
              0.06381,
              0.1076,
              0.19758,
              0.38192,
              0.75155,
              1.4949
            ],
            [
              0.01722,
              0.04183,
              0.06377,
              0.10744,
              0.19752,
              0.38133,
              0.75215,
              1.49407
            ],
            [
              0.017,
              0.04162,
              0.06356,
              0.10738,
              0.19749,
              0.38121,
              0.75258,
              1.49752
            ],
            [
              0.01676,
              0.0414,
              0.06335,
              0.10718,
              0.19741,
              0.38118,
              0.75163,
              1.4949
            ],
            [
              0.01659,
              0.04122,
              0.06317,
              0.10701,
              0.19736,
              0.38147,
              0.75275,
              1.4946
            ],
            [
              0.01658,
              0.04116,
              0.06314,
              0.1069,
              0.1971,
              0.3814,
              0.7518,
              1.4943
            ],
            [
              0.0168,
              0.0414,
              0.0632,
              0.1069,
              0.1972,
              0.3813,
              0.752,
              1.4946
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.16517,
              0.1853,
              0.19962,
              0.22263,
              0.25982,
              0.32248,
              0.4357,
              0.65419
            ],
            [
              0.16666,
              0.18681,
              0.20113,
              0.22415,
              0.26135,
              0.32402,
              0.43725,
              0.65577
            ],
            [
              0.16888,
              0.18905,
              0.20338,
              0.22642,
              0.26362,
              0.32629,
              0.43954,
              0.65809
            ],
            [
              0.17267,
              0.19287,
              0.20722,
              0.23025,
              0.26748,
              0.33016,
              0.44344,
              0.66192
            ],
            [
              0.17892,
              0.19914,
              0.2135,
              0.23656,
              0.2738,
              0.33651,
              0.44975,
              0.66828
            ],
            [
              0.18859,
              0.20883,
              0.2232,
              0.24627,
              0.28353,
              0.34625,
              0.45951,
              0.67786
            ],
            [
              0.20312,
              0.22336,
              0.23773,
              0.26081,
              0.29805,
              0.36076,
              0.47406,
              0.69249
            ],
            [
              0.22434,
              0.24453,
              0.25886,
              0.2819,
              0.31912,
              0.38182,
              0.49506,
              0.71359
            ],
            [
              0.25406,
              0.2743,
              0.28864,
              0.31167,
              0.34888,
              0.41157,
              0.52477,
              0.74343
            ],
            [
              0.29297,
              0.31368,
              0.32836,
              0.35193,
              0.38982,
              0.45299,
              0.56637,
              0.78479
            ],
            [
              0.34682,
              0.36797,
              0.383,
              0.4071,
              0.44582,
              0.51002,
              0.62432,
              0.84312
            ],
            [
              0.42347,
              0.44517,
              0.46067,
              0.48547,
              0.52517,
              0.59067,
              0.70597,
              0.92537
            ],
            [
              0.5339,
              0.5561,
              0.5721,
              0.5978,
              0.639,
              0.7063,
              0.8231,
              1.0433
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.12495,
              0.14706,
              0.16478,
              0.19661,
              0.2563,
              0.37293,
              0.60454,
              1.06727
            ],
            [
              0.12658,
              0.1487,
              0.16641,
              0.19824,
              0.25793,
              0.37454,
              0.60616,
              1.06894
            ],
            [
              0.12852,
              0.15063,
              0.16835,
              0.20016,
              0.25992,
              0.37649,
              0.60812,
              1.07092
            ],
            [
              0.13135,
              0.15348,
              0.17119,
              0.203,
              0.26273,
              0.37927,
              0.61093,
              1.07357
            ],
            [
              0.13539,
              0.15751,
              0.17522,
              0.20702,
              0.26674,
              0.38326,
              0.6149,
              1.07761
            ],
            [
              0.14107,
              0.16319,
              0.1809,
              0.21268,
              0.27229,
              0.38886,
              0.62045,
              1.08312
            ],
            [
              0.14962,
              0.17173,
              0.1894,
              0.22111,
              0.28069,
              0.3971,
              0.62865,
              1.09133
            ],
            [
              0.15987,
              0.18189,
              0.19943,
              0.23097,
              0.2903,
              0.40646,
              0.63791,
              1.10076
            ],
            [
              0.16612,
              0.18812,
              0.20566,
              0.23712,
              0.29619,
              0.41207,
              0.64338,
              1.10605
            ],
            [
              0.16712,
              0.1891,
              0.2066,
              0.23794,
              0.29673,
              0.41229,
              0.64329,
              1.10569
            ],
            [
              0.16101,
              0.18289,
              0.20034,
              0.23155,
              0.29002,
              0.40516,
              0.63572,
              1.09812
            ],
            [
              0.14388,
              0.16557,
              0.18297,
              0.21397,
              0.27207,
              0.38657,
              0.61657,
              1.07827
            ],
            [
              0.109,
              0.1306,
              0.1478,
              0.1785,
              0.2361,
              0.3498,
              0.579,
              1.0402
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.02178,
              0.03694,
              0.04795,
              0.06727,
              0.10243,
              0.17079,
              0.31016,
              0.60054
            ],
            [
              0.0218,
              0.03697,
              0.04798,
              0.06731,
              0.10244,
              0.17081,
              0.31018,
              0.60046
            ],
            [
              0.02181,
              0.037,
              0.04799,
              0.06733,
              0.10251,
              0.1707,
              0.31018,
              0.60037
            ],
            [
              0.02183,
              0.03704,
              0.04805,
              0.06736,
              0.10257,
              0.1708,
              0.31072,
              0.60042
            ],
            [
              0.02186,
              0.03709,
              0.04809,
              0.06742,
              0.10253,
              0.17088,
              0.31022,
              0.60032
            ],
            [
              0.0219,
              0.03712,
              0.04813,
              0.06745,
              0.10264,
              0.17091,
              0.31026,
              0.60068
            ],
            [
              0.02187,
              0.0371,
              0.04811,
              0.06743,
              0.10262,
              0.17087,
              0.31048,
              0.60046
            ],
            [
              0.02185,
              0.03705,
              0.04805,
              0.06736,
              0.10258,
              0.17085,
              0.31023,
              0.60036
            ],
            [
              0.02276,
              0.03772,
              0.04853,
              0.06771,
              0.10269,
              0.17095,
              0.31031,
              0.59983
            ],
            [
              0.02395,
              0.03925,
              0.0503,
              0.06954,
              0.10456,
              0.17208,
              0.31072,
              0.60047
            ],
            [
              0.0257,
              0.0412,
              0.05233,
              0.07188,
              0.10706,
              0.17463,
              0.3125,
              0.601
            ],
            [
              0.0287,
              0.0444,
              0.0557,
              0.0752,
              0.1106,
              0.178,
              0.3151,
              0.6025
            ],
            [
              0.0333,
              0.0494,
              0.0606,
              0.0801,
              0.1158,
              0.1829,
              0.3187,
              0.6037
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.01844,
              0.04335,
              0.06557,
              0.10943,
              0.19913,
              0.38227,
              0.75297,
              1.4946
            ],
            [
              0.01846,
              0.04337,
              0.06559,
              0.10943,
              0.19922,
              0.38224,
              0.75342,
              1.49464
            ],
            [
              0.01848,
              0.04333,
              0.0656,
              0.10942,
              0.19903,
              0.38262,
              0.75197,
              1.4945
            ],
            [
              0.01852,
              0.0434,
              0.06565,
              0.10944,
              0.19893,
              0.38216,
              0.75251,
              1.49518
            ],
            [
              0.01858,
              0.04344,
              0.06568,
              0.10946,
              0.19898,
              0.38271,
              0.75216,
              1.49523
            ],
            [
              0.01864,
              0.04349,
              0.06569,
              0.10954,
              0.19922,
              0.38231,
              0.75359,
              1.49612
            ],
            [
              0.01871,
              0.04358,
              0.06576,
              0.10961,
              0.19908,
              0.38256,
              0.75342,
              1.49517
            ],
            [
              0.01912,
              0.04375,
              0.06602,
              0.10983,
              0.19936,
              0.3826,
              0.75248,
              1.49645
            ],
            [
              0.01949,
              0.04413,
              0.06636,
              0.11006,
              0.19954,
              0.38197,
              0.75314,
              1.49513
            ],
            [
              0.01987,
              0.04448,
              0.06668,
              0.11035,
              0.19963,
              0.38247,
              0.75378,
              1.49469
            ],
            [
              0.02035,
              0.04481,
              0.06704,
              0.11064,
              0.19978,
              0.38242,
              0.7534,
              1.4965
            ],
            [
              0.02095,
              0.0452,
              0.06744,
              0.1109,
              0.2,
              0.3823,
              0.7529,
              1.4944
            ],
            [
              0.0217,
              0.0459,
              0.0681,
              0.1116,
              0.2001,
              0.3828,
              0.7526,
              1.4962
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.15189,
              0.17216,
              0.18675,
              0.21066,
              0.24973,
              0.31511,
              0.43092,
              0.65073
            ],
            [
              0.15349,
              0.17378,
              0.18838,
              0.2123,
              0.25138,
              0.31676,
              0.43259,
              0.65252
            ],
            [
              0.15569,
              0.17601,
              0.19061,
              0.21454,
              0.25362,
              0.31901,
              0.43488,
              0.65485
            ],
            [
              0.15935,
              0.17968,
              0.19428,
              0.21821,
              0.25731,
              0.32271,
              0.4385,
              0.65838
            ],
            [
              0.1653,
              0.18561,
              0.20022,
              0.22414,
              0.26323,
              0.32863,
              0.44448,
              0.66445
            ],
            [
              0.17459,
              0.19486,
              0.20944,
              0.23332,
              0.27238,
              0.33778,
              0.4536,
              0.67346
            ],
            [
              0.18834,
              0.20856,
              0.22303,
              0.24678,
              0.28576,
              0.35112,
              0.46695,
              0.68685
            ],
            [
              0.2079,
              0.22792,
              0.2422,
              0.26572,
              0.30453,
              0.36976,
              0.4855,
              0.70509
            ],
            [
              0.23398,
              0.25376,
              0.26779,
              0.29097,
              0.32949,
              0.39452,
              0.51001,
              0.72952
            ],
            [
              0.26814,
              0.28779,
              0.30162,
              0.32458,
              0.3629,
              0.4277,
              0.54299,
              0.76229
            ],
            [
              0.31472,
              0.33425,
              0.34789,
              0.37056,
              0.40862,
              0.47322,
              0.58822,
              0.80752
            ],
            [
              0.37897,
              0.39837,
              0.41197,
              0.43427,
              0.47207,
              0.53657,
              0.65127,
              0.86987
            ],
            [
              0.4675,
              0.487,
              0.5004,
              0.5226,
              0.5601,
              0.6244,
              0.7388,
              0.9571
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.12251,
              0.14418,
              0.16147,
              0.19273,
              0.252,
              0.36842,
              0.59993,
              1.06277
            ],
            [
              0.1242,
              0.14587,
              0.16316,
              0.19442,
              0.25366,
              0.37001,
              0.60165,
              1.06444
            ],
            [
              0.12625,
              0.14793,
              0.16522,
              0.19648,
              0.25573,
              0.37213,
              0.60369,
              1.06642
            ],
            [
              0.12931,
              0.15099,
              0.16828,
              0.19953,
              0.25879,
              0.37521,
              0.60672,
              1.06957
            ],
            [
              0.13374,
              0.15542,
              0.1727,
              0.20397,
              0.26321,
              0.37958,
              0.61119,
              1.07401
            ],
            [
              0.14025,
              0.16193,
              0.17921,
              0.21048,
              0.26968,
              0.38605,
              0.61769,
              1.08052
            ],
            [
              0.15043,
              0.1721,
              0.18935,
              0.22057,
              0.27976,
              0.39614,
              0.62771,
              1.09033
            ],
            [
              0.16225,
              0.18391,
              0.20109,
              0.23221,
              0.29126,
              0.40745,
              0.63901,
              1.10166
            ],
            [
              0.1703,
              0.19219,
              0.20965,
              0.24106,
              0.30024,
              0.41639,
              0.64786,
              1.11075
            ],
            [
              0.17548,
              0.19769,
              0.21551,
              0.24729,
              0.30671,
              0.42293,
              0.65439,
              1.11719
            ],
            [
              0.17862,
              0.20119,
              0.21951,
              0.25201,
              0.31191,
              0.42824,
              0.65982,
              1.12212
            ],
            [
              0.18017,
              0.20347,
              0.22217,
              0.25567,
              0.31637,
              0.43317,
              0.66477,
              1.12727
            ],
            [
              0.1795,
              0.2041,
              0.2237,
              0.2578,
              0.3194,
              0.4372,
              0.6694,
              1.1324
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.02512,
              0.0407,
              0.05229,
              0.07245,
              0.10883,
              0.1778,
              0.3163,
              0.60365
            ],
            [
              0.02517,
              0.04075,
              0.05234,
              0.07249,
              0.10889,
              0.17781,
              0.31625,
              0.60335
            ],
            [
              0.0252,
              0.04082,
              0.05239,
              0.07258,
              0.10898,
              0.17779,
              0.31665,
              0.60325
            ],
            [
              0.02525,
              0.04089,
              0.05245,
              0.07268,
              0.10903,
              0.17785,
              0.31645,
              0.6041
            ],
            [
              0.02537,
              0.04103,
              0.0526,
              0.07277,
              0.10908,
              0.17795,
              0.31627,
              0.60392
            ],
            [
              0.0256,
              0.04127,
              0.05282,
              0.07297,
              0.10928,
              0.17789,
              0.31639,
              0.6041
            ],
            [
              0.02613,
              0.04174,
              0.0533,
              0.07334,
              0.10958,
              0.17814,
              0.3166,
              0.60361
            ],
            [
              0.0269,
              0.04245,
              0.05399,
              0.07393,
              0.11001,
              0.17851,
              0.3169,
              0.60406
            ],
            [
              0.02774,
              0.04312,
              0.05457,
              0.07444,
              0.11042,
              0.17869,
              0.31665,
              0.60405
            ],
            [
              0.02879,
              0.04411,
              0.05548,
              0.07527,
              0.11079,
              0.17871,
              0.31655,
              0.60359
            ],
            [
              0.03026,
              0.04541,
              0.05659,
              0.07609,
              0.11155,
              0.179,
              0.31615,
              0.603
            ],
            [
              0.0325,
              0.0474,
              0.0583,
              0.0774,
              0.1125,
              0.1797,
              0.3167,
              0.6023
            ],
            [
              0.0359,
              0.0505,
              0.061,
              0.0795,
              0.1142,
              0.1809,
              0.3167,
              0.6019
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.01722,
              0.04179,
              0.06371,
              0.10745,
              0.19757,
              0.38124,
              0.75365,
              1.4948
            ],
            [
              0.01723,
              0.04181,
              0.06373,
              0.10744,
              0.19748,
              0.38166,
              0.75183,
              1.49477
            ],
            [
              0.01723,
              0.0418,
              0.06371,
              0.10746,
              0.19754,
              0.38159,
              0.75175,
              1.49393
            ],
            [
              0.01724,
              0.0418,
              0.06368,
              0.1075,
              0.19761,
              0.38194,
              0.75336,
              1.49332
            ],
            [
              0.01723,
              0.04182,
              0.06369,
              0.10745,
              0.19752,
              0.38152,
              0.75166,
              1.49482
            ],
            [
              0.01722,
              0.04181,
              0.06367,
              0.10741,
              0.19746,
              0.38135,
              0.75157,
              1.49481
            ],
            [
              0.01727,
              0.04183,
              0.06368,
              0.10747,
              0.1975,
              0.38139,
              0.75166,
              1.49329
            ],
            [
              0.01777,
              0.04219,
              0.06401,
              0.10766,
              0.19784,
              0.38193,
              0.75214,
              1.4953
            ],
            [
              0.01834,
              0.04303,
              0.06505,
              0.10874,
              0.19835,
              0.38202,
              0.75172,
              1.4955
            ],
            [
              0.01922,
              0.04424,
              0.06648,
              0.11005,
              0.19945,
              0.38224,
              0.75271,
              1.4961
            ],
            [
              0.02067,
              0.04591,
              0.06877,
              0.11263,
              0.20134,
              0.38335,
              0.75412,
              1.4973
            ],
            [
              0.0228,
              0.0485,
              0.0721,
              0.1165,
              0.2044,
              0.3852,
              0.7545,
              1.4971
            ],
            [
              0.0254,
              0.0514,
              0.0756,
              0.1212,
              0.2095,
              0.3898,
              0.757,
              1.4972
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.10343,
              0.12548,
              0.14177,
              0.16868,
              0.21164,
              0.28012,
              0.39767,
              0.6182
            ],
            [
              0.10538,
              0.12742,
              0.14372,
              0.17063,
              0.21358,
              0.28207,
              0.39964,
              0.62014
            ],
            [
              0.1079,
              0.12995,
              0.14624,
              0.17316,
              0.21611,
              0.2846,
              0.40216,
              0.62268
            ],
            [
              0.11189,
              0.13393,
              0.15024,
              0.17714,
              0.2201,
              0.28861,
              0.40619,
              0.62672
            ],
            [
              0.11824,
              0.14026,
              0.15655,
              0.18347,
              0.22643,
              0.29493,
              0.4125,
              0.63302
            ],
            [
              0.12815,
              0.15016,
              0.16643,
              0.19334,
              0.23632,
              0.30483,
              0.42243,
              0.64297
            ],
            [
              0.1434,
              0.16535,
              0.18159,
              0.2085,
              0.2515,
              0.32003,
              0.43763,
              0.65817
            ],
            [
              0.16518,
              0.18738,
              0.20368,
              0.23066,
              0.27378,
              0.34245,
              0.46011,
              0.68067
            ],
            [
              0.19298,
              0.21612,
              0.23294,
              0.26061,
              0.3045,
              0.37364,
              0.49153,
              0.71187
            ],
            [
              0.2293,
              0.25356,
              0.27104,
              0.29959,
              0.34488,
              0.41546,
              0.534,
              0.75459
            ],
            [
              0.27825,
              0.3038,
              0.3221,
              0.35175,
              0.39864,
              0.47102,
              0.59102,
              0.81222
            ],
            [
              0.34547,
              0.37247,
              0.39187,
              0.42297,
              0.47187,
              0.54677,
              0.66877,
              0.89077
            ],
            [
              0.4383,
              0.4673,
              0.488,
              0.5211,
              0.573,
              0.6518,
              0.7775,
              1.0015
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.08646,
              0.1084,
              0.12621,
              0.15828,
              0.21821,
              0.33492,
              0.56674,
              1.02937
            ],
            [
              0.08793,
              0.10986,
              0.12767,
              0.15974,
              0.21966,
              0.33639,
              0.56817,
              1.03084
            ],
            [
              0.08975,
              0.11168,
              0.12948,
              0.16155,
              0.22147,
              0.33827,
              0.57,
              1.03272
            ],
            [
              0.09255,
              0.11447,
              0.13228,
              0.16431,
              0.22424,
              0.34099,
              0.57278,
              1.03538
            ],
            [
              0.09679,
              0.1187,
              0.13648,
              0.1685,
              0.2284,
              0.34519,
              0.57695,
              1.03971
            ],
            [
              0.10296,
              0.12482,
              0.14254,
              0.17449,
              0.23434,
              0.3511,
              0.58285,
              1.04562
            ],
            [
              0.11079,
              0.13267,
              0.15032,
              0.18217,
              0.24187,
              0.35856,
              0.5903,
              1.05303
            ],
            [
              0.11857,
              0.14083,
              0.15872,
              0.19072,
              0.25038,
              0.36683,
              0.59855,
              1.06126
            ],
            [
              0.12503,
              0.14786,
              0.1661,
              0.19841,
              0.25827,
              0.37466,
              0.60625,
              1.06875
            ],
            [
              0.12818,
              0.15187,
              0.17064,
              0.20352,
              0.26358,
              0.37989,
              0.61132,
              1.07389
            ],
            [
              0.12481,
              0.14969,
              0.16923,
              0.20311,
              0.26382,
              0.38012,
              0.61132,
              1.07352
            ],
            [
              0.10994,
              0.13643,
              0.15691,
              0.19237,
              0.25447,
              0.37157,
              0.60297,
              1.06487
            ],
            [
              0.0761,
              0.1046,
              0.1262,
              0.1637,
              0.2282,
              0.3472,
              0.5803,
              1.0429
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.02368,
              0.04127,
              0.05482,
              0.07788,
              0.11583,
              0.18347,
              0.31945,
              0.60437
            ],
            [
              0.02368,
              0.04127,
              0.05482,
              0.07788,
              0.11579,
              0.18342,
              0.31954,
              0.60491
            ],
            [
              0.02369,
              0.04127,
              0.05483,
              0.07788,
              0.1158,
              0.18343,
              0.31948,
              0.60499
            ],
            [
              0.02367,
              0.04129,
              0.05483,
              0.07789,
              0.11581,
              0.18338,
              0.31965,
              0.60444
            ],
            [
              0.02369,
              0.04131,
              0.05485,
              0.07792,
              0.11581,
              0.18341,
              0.31956,
              0.60473
            ],
            [
              0.02376,
              0.04136,
              0.05493,
              0.07797,
              0.11585,
              0.18343,
              0.31968,
              0.60444
            ],
            [
              0.02402,
              0.04168,
              0.05521,
              0.07819,
              0.11608,
              0.18359,
              0.31963,
              0.60449
            ],
            [
              0.02622,
              0.04347,
              0.05671,
              0.07935,
              0.11688,
              0.18402,
              0.31992,
              0.60447
            ],
            [
              0.02969,
              0.04724,
              0.0604,
              0.08275,
              0.11962,
              0.18579,
              0.32059,
              0.60502
            ],
            [
              0.0339,
              0.05189,
              0.06509,
              0.08751,
              0.12418,
              0.18943,
              0.32233,
              0.60608
            ],
            [
              0.0391,
              0.05776,
              0.07107,
              0.09353,
              0.13021,
              0.19464,
              0.32601,
              0.6067
            ],
            [
              0.046,
              0.0656,
              0.0791,
              0.1018,
              0.1383,
              0.2021,
              0.3309,
              0.6098
            ],
            [
              0.0557,
              0.0764,
              0.0905,
              0.1135,
              0.1506,
              0.214,
              0.3405,
              0.6138
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.01593,
              0.04123,
              0.06383,
              0.10819,
              0.19825,
              0.38189,
              0.75206,
              1.49466
            ],
            [
              0.01593,
              0.04122,
              0.06383,
              0.1082,
              0.19825,
              0.38186,
              0.75278,
              1.49584
            ],
            [
              0.01595,
              0.04122,
              0.06383,
              0.10821,
              0.19821,
              0.38222,
              0.75274,
              1.49421
            ],
            [
              0.01595,
              0.04122,
              0.06381,
              0.10816,
              0.19813,
              0.38182,
              0.75213,
              1.49653
            ],
            [
              0.01596,
              0.04121,
              0.06382,
              0.10822,
              0.19825,
              0.38215,
              0.75288,
              1.49473
            ],
            [
              0.01602,
              0.04126,
              0.06389,
              0.10829,
              0.19827,
              0.38173,
              0.75199,
              1.49436
            ],
            [
              0.01672,
              0.04176,
              0.06431,
              0.10849,
              0.19831,
              0.38174,
              0.75217,
              1.49588
            ],
            [
              0.0182,
              0.04316,
              0.06574,
              0.10952,
              0.19885,
              0.38198,
              0.75182,
              1.49497
            ],
            [
              0.02042,
              0.04521,
              0.0678,
              0.11131,
              0.19998,
              0.38222,
              0.7536,
              1.49381
            ],
            [
              0.02358,
              0.04816,
              0.07088,
              0.11403,
              0.20168,
              0.38314,
              0.75242,
              1.4954
            ],
            [
              0.02797,
              0.05228,
              0.07529,
              0.11839,
              0.20482,
              0.38482,
              0.75341,
              1.4947
            ],
            [
              0.03396,
              0.05798,
              0.08133,
              0.12484,
              0.21042,
              0.3884,
              0.7547,
              1.497
            ],
            [
              0.0421,
              0.0659,
              0.0896,
              0.1338,
              0.2193,
              0.3956,
              0.7602,
              1.4985
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.10337,
              0.1254,
              0.14168,
              0.16859,
              0.21155,
              0.28003,
              0.39757,
              0.61812
            ],
            [
              0.10532,
              0.12735,
              0.14363,
              0.17054,
              0.2135,
              0.28198,
              0.39953,
              0.62009
            ],
            [
              0.10784,
              0.12987,
              0.14616,
              0.17307,
              0.21603,
              0.28451,
              0.40205,
              0.62241
            ],
            [
              0.11184,
              0.13387,
              0.15016,
              0.17705,
              0.22001,
              0.28852,
              0.40608,
              0.62658
            ],
            [
              0.11818,
              0.14019,
              0.15647,
              0.18338,
              0.22635,
              0.29484,
              0.41239,
              0.63298
            ],
            [
              0.12809,
              0.15009,
              0.16635,
              0.19326,
              0.23624,
              0.30474,
              0.4223,
              0.6428
            ],
            [
              0.14335,
              0.16528,
              0.18152,
              0.20842,
              0.25143,
              0.31995,
              0.43751,
              0.65801
            ],
            [
              0.16514,
              0.18732,
              0.20362,
              0.23059,
              0.27372,
              0.34237,
              0.46002,
              0.68044
            ],
            [
              0.19294,
              0.21607,
              0.23289,
              0.26056,
              0.30445,
              0.37358,
              0.49145,
              0.71201
            ],
            [
              0.22928,
              0.25353,
              0.27101,
              0.29956,
              0.34486,
              0.41543,
              0.53394,
              0.75449
            ],
            [
              0.27823,
              0.30378,
              0.32209,
              0.35174,
              0.39864,
              0.47102,
              0.59102,
              0.81212
            ],
            [
              0.34547,
              0.37247,
              0.39187,
              0.42297,
              0.47197,
              0.54677,
              0.66877,
              0.89077
            ],
            [
              0.4383,
              0.4673,
              0.488,
              0.5211,
              0.573,
              0.6519,
              0.7775,
              1.0015
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.08641,
              0.10835,
              0.12617,
              0.15825,
              0.2182,
              0.33491,
              0.56676,
              1.02947
            ],
            [
              0.08787,
              0.10981,
              0.12763,
              0.15971,
              0.21966,
              0.33639,
              0.56818,
              1.03084
            ],
            [
              0.08969,
              0.11163,
              0.12944,
              0.16152,
              0.22146,
              0.33826,
              0.57,
              1.03272
            ],
            [
              0.09249,
              0.11442,
              0.13223,
              0.16429,
              0.22423,
              0.34102,
              0.57268,
              1.03538
            ],
            [
              0.09673,
              0.11865,
              0.13643,
              0.16847,
              0.22839,
              0.3452,
              0.57695,
              1.03971
            ],
            [
              0.10291,
              0.12478,
              0.14251,
              0.17447,
              0.23434,
              0.35111,
              0.58286,
              1.04562
            ],
            [
              0.11074,
              0.13263,
              0.15028,
              0.18214,
              0.24187,
              0.35856,
              0.59029,
              1.05313
            ],
            [
              0.11852,
              0.14078,
              0.15867,
              0.19069,
              0.25037,
              0.36681,
              0.59855,
              1.06126
            ],
            [
              0.12497,
              0.14781,
              0.16605,
              0.19838,
              0.25825,
              0.37465,
              0.60624,
              1.06875
            ],
            [
              0.12812,
              0.15181,
              0.17059,
              0.20348,
              0.26356,
              0.37987,
              0.61123,
              1.07389
            ],
            [
              0.12476,
              0.14964,
              0.16918,
              0.20307,
              0.2638,
              0.38011,
              0.61132,
              1.07352
            ],
            [
              0.10989,
              0.13639,
              0.15687,
              0.19227,
              0.25447,
              0.37157,
              0.60297,
              1.06497
            ],
            [
              0.076,
              0.1046,
              0.1262,
              0.1637,
              0.2282,
              0.3473,
              0.5804,
              1.0429
            ]
          ]
        },
        "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.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.02367,
              0.04124,
              0.05478,
              0.07786,
              0.11578,
              0.18342,
              0.31947,
              0.60458
            ],
            [
              0.02366,
              0.04124,
              0.05479,
              0.07787,
              0.11578,
              0.18339,
              0.31953,
              0.60465
            ],
            [
              0.02366,
              0.04123,
              0.0548,
              0.07786,
              0.11582,
              0.18344,
              0.31951,
              0.60425
            ],
            [
              0.02365,
              0.04126,
              0.0548,
              0.07788,
              0.11583,
              0.18332,
              0.31962,
              0.60438
            ],
            [
              0.02366,
              0.04128,
              0.05482,
              0.07791,
              0.11581,
              0.18339,
              0.31951,
              0.60414
            ],
            [
              0.02374,
              0.04133,
              0.05491,
              0.07796,
              0.11587,
              0.18344,
              0.31951,
              0.6044
            ],
            [
              0.024,
              0.04165,
              0.05518,
              0.07817,
              0.11608,
              0.18357,
              0.3194,
              0.6045
            ],
            [
              0.02621,
              0.04344,
              0.05669,
              0.07933,
              0.11689,
              0.18394,
              0.31988,
              0.60524
            ],
            [
              0.02967,
              0.04721,
              0.06038,
              0.08275,
              0.11961,
              0.18577,
              0.32053,
              0.60441
            ],
            [
              0.0339,
              0.05189,
              0.06509,
              0.08752,
              0.12419,
              0.18941,
              0.32225,
              0.60602
            ],
            [
              0.0391,
              0.05776,
              0.07108,
              0.09356,
              0.13022,
              0.19465,
              0.32601,
              0.6067
            ],
            [
              0.046,
              0.0656,
              0.0792,
              0.1018,
              0.1384,
              0.202,
              0.3309,
              0.6097
            ],
            [
              0.0557,
              0.0764,
              0.0905,
              0.1136,
              0.1507,
              0.214,
              0.3404,
              0.6136
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00605,
            0.0121,
            0.02421,
            0.0484,
            0.0968,
            0.19362,
            0.38724
          ],
          "values": [
            [
              0.01595,
              0.04124,
              0.06385,
              0.10822,
              0.19828,
              0.38192,
              0.75256,
              1.495
            ],
            [
              0.01596,
              0.04125,
              0.06384,
              0.10824,
              0.19828,
              0.38189,
              0.75288,
              1.49533
            ],
            [
              0.01596,
              0.04124,
              0.06386,
              0.10825,
              0.19825,
              0.38224,
              0.75274,
              1.49392
            ],
            [
              0.01597,
              0.04124,
              0.06385,
              0.10824,
              0.19829,
              0.38167,
              0.75223,
              1.49414
            ],
            [
              0.01597,
              0.04123,
              0.06386,
              0.10826,
              0.19829,
              0.38217,
              0.75288,
              1.49443
            ],
            [
              0.01604,
              0.04128,
              0.06392,
              0.10832,
              0.1983,
              0.38174,
              0.75198,
              1.49446
            ],
            [
              0.01673,
              0.04177,
              0.06434,
              0.10854,
              0.19837,
              0.38193,
              0.75207,
              1.49633
            ],
            [
              0.01821,
              0.04318,
              0.06576,
              0.10956,
              0.19888,
              0.38201,
              0.75183,
              1.49428
            ],
            [
              0.02044,
              0.04523,
              0.06782,
              0.11135,
              0.20001,
              0.38222,
              0.75361,
              1.49392
            ],
            [
              0.02359,
              0.04818,
              0.0709,
              0.11407,
              0.20171,
              0.38316,
              0.75214,
              1.49541
            ],
            [
              0.02798,
              0.0523,
              0.07532,
              0.11842,
              0.20486,
              0.38484,
              0.75342,
              1.4953
            ],
            [
              0.03398,
              0.05801,
              0.08138,
              0.12489,
              0.21047,
              0.3884,
              0.7547,
              1.497
            ],
            [
              0.0422,
              0.0659,
              0.0896,
              0.1338,
              0.2193,
              0.3956,
              0.7602,
              1.4976
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CI) | (!A&B&!CI) | (!A&!B&CI) | (A&B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.11844,
              0.10167,
              0.08681,
              0.05889,
              0.00497,
              -0.10176,
              -0.31464,
              -0.73993
            ],
            [
              0.11823,
              0.10144,
              0.08656,
              0.05868,
              0.00475,
              -0.10199,
              -0.31487,
              -0.74016
            ],
            [
              0.11814,
              0.10137,
              0.08648,
              0.05859,
              0.00466,
              -0.10206,
              -0.31495,
              -0.74022
            ],
            [
              0.1183,
              0.10154,
              0.08663,
              0.05875,
              0.00482,
              -0.10192,
              -0.3148,
              -0.74008
            ],
            [
              0.11884,
              0.10208,
              0.08717,
              0.05929,
              0.00536,
              -0.10137,
              -0.31426,
              -0.73953
            ],
            [
              0.11998,
              0.10317,
              0.08832,
              0.06041,
              0.00649,
              -0.10024,
              -0.31313,
              -0.73839
            ],
            [
              0.12198,
              0.1052,
              0.09033,
              0.06244,
              0.00852,
              -0.09821,
              -0.31109,
              -0.73636
            ],
            [
              0.12582,
              0.10899,
              0.09408,
              0.06622,
              0.01229,
              -0.09443,
              -0.30731,
              -0.73259
            ],
            [
              0.13272,
              0.1158,
              0.10087,
              0.07302,
              0.01911,
              -0.08763,
              -0.30052,
              -0.72579
            ],
            [
              0.14438,
              0.12735,
              0.11246,
              0.08458,
              0.03066,
              -0.07605,
              -0.28894,
              -0.71417
            ],
            [
              0.16284,
              0.14576,
              0.13083,
              0.10292,
              0.04901,
              -0.05766,
              -0.27048,
              -0.69572
            ],
            [
              0.19213,
              0.17501,
              0.16014,
              0.13227,
              0.07838,
              -0.02833,
              -0.24119,
              -0.6664
            ],
            [
              0.23751,
              0.22043,
              0.2055,
              0.17766,
              0.12382,
              0.01721,
              -0.19566,
              -0.62092
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.08533,
              0.09647,
              0.10913,
              0.13508,
              0.18763,
              0.29264,
              0.5031,
              0.92339
            ],
            [
              0.08505,
              0.09622,
              0.10887,
              0.13481,
              0.18743,
              0.29293,
              0.50311,
              0.92422
            ],
            [
              0.08512,
              0.09628,
              0.10892,
              0.13486,
              0.1875,
              0.29269,
              0.5035,
              0.92371
            ],
            [
              0.08519,
              0.09634,
              0.10901,
              0.135,
              0.18743,
              0.29283,
              0.50292,
              0.9236
            ],
            [
              0.08564,
              0.09679,
              0.10946,
              0.13549,
              0.18788,
              0.29323,
              0.50311,
              0.92561
            ],
            [
              0.08664,
              0.09781,
              0.11048,
              0.13652,
              0.18914,
              0.29408,
              0.50412,
              0.92534
            ],
            [
              0.08876,
              0.09995,
              0.11265,
              0.13871,
              0.19119,
              0.29627,
              0.50693,
              0.92877
            ],
            [
              0.09275,
              0.10396,
              0.11667,
              0.14275,
              0.19538,
              0.30037,
              0.51039,
              0.93183
            ],
            [
              0.09979,
              0.11108,
              0.12381,
              0.14978,
              0.20224,
              0.30746,
              0.51823,
              0.93817
            ],
            [
              0.11169,
              0.12304,
              0.13584,
              0.16187,
              0.21452,
              0.31953,
              0.52975,
              0.95243
            ],
            [
              0.13074,
              0.14208,
              0.15487,
              0.18109,
              0.23373,
              0.33864,
              0.54906,
              0.97018
            ],
            [
              0.16092,
              0.1723,
              0.185,
              0.21118,
              0.26396,
              0.36931,
              0.57872,
              1.00059
            ],
            [
              0.20789,
              0.21924,
              0.23193,
              0.25806,
              0.31052,
              0.41635,
              0.62659,
              1.04592
            ]
          ]
        },
        "when": "(!B&!CI) | (B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.1175,
              0.12122,
              0.12857,
              0.14609,
              0.18354,
              0.25962,
              0.41348,
              0.72082
            ],
            [
              0.11725,
              0.12093,
              0.12837,
              0.14583,
              0.18324,
              0.25962,
              0.41284,
              0.7206
            ],
            [
              0.11729,
              0.12098,
              0.12838,
              0.14587,
              0.1834,
              0.25969,
              0.4127,
              0.72067
            ],
            [
              0.11738,
              0.12111,
              0.12847,
              0.14588,
              0.18334,
              0.25964,
              0.41303,
              0.72163
            ],
            [
              0.11788,
              0.1216,
              0.12894,
              0.14647,
              0.18402,
              0.26001,
              0.41352,
              0.72121
            ],
            [
              0.11909,
              0.12276,
              0.13017,
              0.14759,
              0.18512,
              0.26133,
              0.4145,
              0.72228
            ],
            [
              0.12147,
              0.12515,
              0.13256,
              0.14995,
              0.18749,
              0.26374,
              0.41741,
              0.72392
            ],
            [
              0.12584,
              0.12952,
              0.13682,
              0.15427,
              0.19189,
              0.26826,
              0.4217,
              0.73009
            ],
            [
              0.13343,
              0.13706,
              0.14432,
              0.16176,
              0.1993,
              0.27513,
              0.42912,
              0.73614
            ],
            [
              0.14611,
              0.14966,
              0.15689,
              0.17426,
              0.21155,
              0.28782,
              0.44162,
              0.74933
            ],
            [
              0.16622,
              0.16962,
              0.17669,
              0.19405,
              0.23141,
              0.30728,
              0.4599,
              0.76826
            ],
            [
              0.19773,
              0.20092,
              0.20782,
              0.2249,
              0.26221,
              0.33824,
              0.49058,
              0.7987
            ],
            [
              0.24636,
              0.24928,
              0.25593,
              0.27271,
              0.30967,
              0.38584,
              0.53886,
              0.84498
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.14285,
              0.1502,
              0.16114,
              0.18547,
              0.23731,
              0.34205,
              0.55156,
              0.97134
            ],
            [
              0.14264,
              0.14996,
              0.16089,
              0.18533,
              0.23706,
              0.34175,
              0.55121,
              0.9717
            ],
            [
              0.14261,
              0.14991,
              0.16089,
              0.18532,
              0.23689,
              0.34142,
              0.55089,
              0.97253
            ],
            [
              0.14274,
              0.15003,
              0.16099,
              0.18542,
              0.23695,
              0.34151,
              0.55124,
              0.97298
            ],
            [
              0.14322,
              0.15054,
              0.16156,
              0.18601,
              0.23745,
              0.34209,
              0.55213,
              0.97358
            ],
            [
              0.14445,
              0.15172,
              0.16269,
              0.18712,
              0.23879,
              0.34354,
              0.55343,
              0.97449
            ],
            [
              0.14671,
              0.15396,
              0.16487,
              0.18934,
              0.24096,
              0.34573,
              0.55534,
              0.97573
            ],
            [
              0.15079,
              0.15806,
              0.16907,
              0.19351,
              0.24495,
              0.34968,
              0.5592,
              0.98111
            ],
            [
              0.15823,
              0.16543,
              0.17633,
              0.20072,
              0.25228,
              0.35656,
              0.56645,
              0.98659
            ],
            [
              0.17057,
              0.17764,
              0.18845,
              0.21278,
              0.26425,
              0.36885,
              0.57883,
              0.99911
            ],
            [
              0.19007,
              0.19692,
              0.20776,
              0.23192,
              0.28301,
              0.38788,
              0.59731,
              1.01815
            ],
            [
              0.22108,
              0.22766,
              0.23825,
              0.26247,
              0.31375,
              0.41745,
              0.62771,
              1.04861
            ],
            [
              0.26896,
              0.27508,
              0.28566,
              0.30935,
              0.36062,
              0.46469,
              0.67327,
              1.09382
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.11189,
              0.09507,
              0.08016,
              0.05227,
              -0.00165,
              -0.10838,
              -0.32128,
              -0.74657
            ],
            [
              0.11156,
              0.09473,
              0.07983,
              0.05195,
              -0.00198,
              -0.10871,
              -0.32161,
              -0.74689
            ],
            [
              0.11148,
              0.09467,
              0.07974,
              0.05186,
              -0.00205,
              -0.10879,
              -0.32168,
              -0.74697
            ],
            [
              0.11163,
              0.09481,
              0.0799,
              0.05199,
              -0.00193,
              -0.10866,
              -0.32155,
              -0.74684
            ],
            [
              0.11233,
              0.0955,
              0.08058,
              0.05269,
              -0.00124,
              -0.10798,
              -0.32087,
              -0.74615
            ],
            [
              0.11385,
              0.09701,
              0.08208,
              0.05417,
              0.00025,
              -0.1065,
              -0.3194,
              -0.74468
            ],
            [
              0.11685,
              0.1,
              0.0851,
              0.05719,
              0.00325,
              -0.10348,
              -0.31638,
              -0.74165
            ],
            [
              0.12196,
              0.10508,
              0.09019,
              0.06225,
              0.00833,
              -0.09838,
              -0.31128,
              -0.73653
            ],
            [
              0.12977,
              0.11285,
              0.09793,
              0.06999,
              0.01606,
              -0.09066,
              -0.30355,
              -0.7288
            ],
            [
              0.14157,
              0.12456,
              0.1096,
              0.0817,
              0.02775,
              -0.07894,
              -0.29183,
              -0.71705
            ],
            [
              0.15927,
              0.14218,
              0.12719,
              0.09923,
              0.04531,
              -0.06136,
              -0.27411,
              -0.69935
            ],
            [
              0.1876,
              0.17039,
              0.15539,
              0.12745,
              0.07355,
              -0.03316,
              -0.24594,
              -0.67108
            ],
            [
              0.23279,
              0.21545,
              0.20045,
              0.17247,
              0.11863,
              0.01209,
              -0.20074,
              -0.62587
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.06598,
              0.07714,
              0.08983,
              0.11594,
              0.1684,
              0.27399,
              0.4844,
              0.90453
            ],
            [
              0.066,
              0.0772,
              0.08985,
              0.11591,
              0.1684,
              0.27385,
              0.48469,
              0.90554
            ],
            [
              0.06618,
              0.07736,
              0.09005,
              0.1161,
              0.16863,
              0.27408,
              0.48431,
              0.90524
            ],
            [
              0.0666,
              0.07779,
              0.09046,
              0.11651,
              0.16904,
              0.27415,
              0.4845,
              0.90643
            ],
            [
              0.06746,
              0.07864,
              0.09132,
              0.11737,
              0.16981,
              0.27507,
              0.4856,
              0.90734
            ],
            [
              0.06911,
              0.08028,
              0.09301,
              0.11908,
              0.17152,
              0.27692,
              0.48742,
              0.90845
            ],
            [
              0.07224,
              0.08341,
              0.09609,
              0.12212,
              0.1746,
              0.27983,
              0.48981,
              0.91113
            ],
            [
              0.07756,
              0.08866,
              0.10125,
              0.12722,
              0.17953,
              0.2849,
              0.49515,
              0.91677
            ],
            [
              0.08547,
              0.09654,
              0.10908,
              0.13487,
              0.18721,
              0.29245,
              0.50299,
              0.92385
            ],
            [
              0.09774,
              0.10871,
              0.1213,
              0.14704,
              0.19932,
              0.3044,
              0.51404,
              0.93554
            ],
            [
              0.11682,
              0.12773,
              0.14019,
              0.16607,
              0.21818,
              0.32276,
              0.53244,
              0.95465
            ],
            [
              0.14841,
              0.15919,
              0.17156,
              0.19716,
              0.24946,
              0.35442,
              0.56384,
              0.98532
            ],
            [
              0.19968,
              0.21033,
              0.22263,
              0.24803,
              0.3,
              0.40493,
              0.6149,
              1.0348
            ]
          ]
        },
        "when": "(!A&!CI) | (A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.09656,
              0.10019,
              0.10754,
              0.12499,
              0.16245,
              0.23862,
              0.39143,
              0.70049
            ],
            [
              0.0965,
              0.10016,
              0.10747,
              0.12493,
              0.16241,
              0.23893,
              0.39147,
              0.69945
            ],
            [
              0.09654,
              0.10014,
              0.10747,
              0.1249,
              0.16235,
              0.23889,
              0.39198,
              0.70058
            ],
            [
              0.09679,
              0.10039,
              0.10775,
              0.12516,
              0.16266,
              0.23916,
              0.39211,
              0.69946
            ],
            [
              0.09723,
              0.10083,
              0.10818,
              0.12561,
              0.16304,
              0.23911,
              0.39222,
              0.70051
            ],
            [
              0.09825,
              0.10188,
              0.1092,
              0.12669,
              0.16405,
              0.23998,
              0.39313,
              0.70026
            ],
            [
              0.10033,
              0.104,
              0.11133,
              0.1287,
              0.16608,
              0.24231,
              0.39552,
              0.70324
            ],
            [
              0.1046,
              0.10817,
              0.11544,
              0.13273,
              0.17002,
              0.2463,
              0.39981,
              0.70706
            ],
            [
              0.11138,
              0.11492,
              0.12218,
              0.13938,
              0.17627,
              0.25225,
              0.40538,
              0.7133
            ],
            [
              0.12278,
              0.1262,
              0.13348,
              0.15052,
              0.18708,
              0.26323,
              0.41558,
              0.72346
            ],
            [
              0.14137,
              0.1445,
              0.15154,
              0.16853,
              0.2051,
              0.2801,
              0.43253,
              0.73965
            ],
            [
              0.17313,
              0.17581,
              0.18249,
              0.19904,
              0.2353,
              0.3099,
              0.46163,
              0.76776
            ],
            [
              0.22566,
              0.22767,
              0.23392,
              0.24959,
              0.28476,
              0.35865,
              0.50993,
              0.81486
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.13151,
              0.13908,
              0.15005,
              0.1745,
              0.22597,
              0.33041,
              0.54087,
              0.9596
            ],
            [
              0.13119,
              0.1387,
              0.14957,
              0.1742,
              0.22576,
              0.32993,
              0.5398,
              0.96118
            ],
            [
              0.13096,
              0.13842,
              0.1494,
              0.17389,
              0.22564,
              0.33004,
              0.53982,
              0.96113
            ],
            [
              0.13098,
              0.13841,
              0.14941,
              0.17389,
              0.22559,
              0.32993,
              0.53898,
              0.96126
            ],
            [
              0.13146,
              0.13899,
              0.14992,
              0.17427,
              0.22595,
              0.33004,
              0.54069,
              0.96052
            ],
            [
              0.13272,
              0.14008,
              0.15106,
              0.17546,
              0.22718,
              0.33181,
              0.54124,
              0.96291
            ],
            [
              0.13547,
              0.14278,
              0.15372,
              0.17805,
              0.22951,
              0.33388,
              0.54385,
              0.9637
            ],
            [
              0.14042,
              0.14761,
              0.15841,
              0.18246,
              0.23376,
              0.33791,
              0.54816,
              0.96687
            ],
            [
              0.14848,
              0.15534,
              0.16594,
              0.18976,
              0.24088,
              0.34435,
              0.55474,
              0.9738
            ],
            [
              0.16089,
              0.16751,
              0.17773,
              0.20139,
              0.25204,
              0.35589,
              0.56496,
              0.98615
            ],
            [
              0.17971,
              0.18587,
              0.1959,
              0.21912,
              0.26924,
              0.37272,
              0.58243,
              1.00292
            ],
            [
              0.20977,
              0.21536,
              0.22495,
              0.24766,
              0.29746,
              0.39995,
              0.60935,
              1.02892
            ],
            [
              0.25774,
              0.26253,
              0.27149,
              0.29326,
              0.34235,
              0.44485,
              0.65232,
              1.07203
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.07279,
              0.05608,
              0.04113,
              0.01297,
              -0.04125,
              -0.14816,
              -0.36116,
              -0.78655
            ],
            [
              0.07264,
              0.05593,
              0.04098,
              0.01281,
              -0.04139,
              -0.14831,
              -0.36132,
              -0.7867
            ],
            [
              0.0726,
              0.05586,
              0.04093,
              0.01276,
              -0.04145,
              -0.14836,
              -0.36137,
              -0.78675
            ],
            [
              0.07261,
              0.05589,
              0.04094,
              0.01276,
              -0.04145,
              -0.14836,
              -0.36136,
              -0.78673
            ],
            [
              0.07276,
              0.05602,
              0.04105,
              0.01289,
              -0.04132,
              -0.14823,
              -0.36122,
              -0.7866
            ],
            [
              0.07324,
              0.05646,
              0.04145,
              0.01326,
              -0.04094,
              -0.14785,
              -0.36084,
              -0.7862
            ],
            [
              0.07459,
              0.05776,
              0.04266,
              0.01438,
              -0.03986,
              -0.14678,
              -0.35977,
              -0.78513
            ],
            [
              0.07794,
              0.0608,
              0.04554,
              0.01704,
              -0.03741,
              -0.14445,
              -0.35752,
              -0.78294
            ],
            [
              0.08379,
              0.0662,
              0.05063,
              0.02172,
              -0.0331,
              -0.14039,
              -0.35361,
              -0.77909
            ],
            [
              0.09269,
              0.07459,
              0.05863,
              0.02917,
              -0.02611,
              -0.13379,
              -0.34723,
              -0.77286
            ],
            [
              0.10552,
              0.08686,
              0.07049,
              0.04043,
              -0.01561,
              -0.12378,
              -0.33754,
              -0.76336
            ],
            [
              0.12513,
              0.10587,
              0.08902,
              0.05817,
              0.00123,
              -0.10778,
              -0.32209,
              -0.74823
            ],
            [
              0.15502,
              0.13512,
              0.11769,
              0.08587,
              0.02759,
              -0.08254,
              -0.29775,
              -0.72455
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.04216,
              0.0538,
              0.06672,
              0.09324,
              0.14597,
              0.25147,
              0.46199,
              0.88227
            ],
            [
              0.04205,
              0.05369,
              0.06659,
              0.09297,
              0.14568,
              0.25133,
              0.46215,
              0.883
            ],
            [
              0.04206,
              0.05369,
              0.06661,
              0.09301,
              0.14593,
              0.25124,
              0.46145,
              0.88243
            ],
            [
              0.04216,
              0.0538,
              0.0667,
              0.09304,
              0.14582,
              0.25146,
              0.46111,
              0.88452
            ],
            [
              0.04253,
              0.05417,
              0.06704,
              0.09341,
              0.14614,
              0.25175,
              0.46219,
              0.88235
            ],
            [
              0.04352,
              0.05508,
              0.06792,
              0.09415,
              0.14702,
              0.25262,
              0.4623,
              0.88358
            ],
            [
              0.04562,
              0.05687,
              0.06957,
              0.09568,
              0.14818,
              0.25376,
              0.46392,
              0.88603
            ],
            [
              0.04909,
              0.05993,
              0.07236,
              0.0982,
              0.15053,
              0.25585,
              0.46648,
              0.88722
            ],
            [
              0.05443,
              0.06476,
              0.07699,
              0.10254,
              0.15432,
              0.25903,
              0.46938,
              0.89099
            ],
            [
              0.06292,
              0.07249,
              0.08445,
              0.10956,
              0.16109,
              0.26582,
              0.47558,
              0.89574
            ],
            [
              0.07595,
              0.08452,
              0.09605,
              0.12089,
              0.17183,
              0.2756,
              0.48555,
              0.90524
            ],
            [
              0.09634,
              0.10382,
              0.11472,
              0.13869,
              0.18911,
              0.2924,
              0.50098,
              0.92235
            ],
            [
              0.12714,
              0.13342,
              0.14359,
              0.16664,
              0.21605,
              0.31848,
              0.52656,
              0.94452
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.07505,
              0.07918,
              0.08657,
              0.10423,
              0.14181,
              0.2184,
              0.37157,
              0.67916
            ],
            [
              0.07493,
              0.07908,
              0.08645,
              0.10413,
              0.14173,
              0.2183,
              0.37109,
              0.67777
            ],
            [
              0.07493,
              0.07908,
              0.08645,
              0.10409,
              0.14179,
              0.21782,
              0.37146,
              0.67813
            ],
            [
              0.07504,
              0.07918,
              0.08656,
              0.10419,
              0.14178,
              0.21795,
              0.37154,
              0.68011
            ],
            [
              0.07534,
              0.07946,
              0.08681,
              0.10439,
              0.14204,
              0.2182,
              0.37148,
              0.67946
            ],
            [
              0.07609,
              0.0802,
              0.08746,
              0.10496,
              0.14241,
              0.21903,
              0.37253,
              0.67903
            ],
            [
              0.07785,
              0.08179,
              0.08886,
              0.10625,
              0.1436,
              0.21977,
              0.37343,
              0.68082
            ],
            [
              0.08103,
              0.08457,
              0.09149,
              0.10853,
              0.14566,
              0.22184,
              0.37525,
              0.68162
            ],
            [
              0.08605,
              0.08905,
              0.09566,
              0.1124,
              0.14897,
              0.22464,
              0.37755,
              0.68535
            ],
            [
              0.09409,
              0.09636,
              0.10263,
              0.11889,
              0.1549,
              0.23054,
              0.38312,
              0.69131
            ],
            [
              0.10626,
              0.10761,
              0.11341,
              0.1291,
              0.16468,
              0.23917,
              0.39195,
              0.69874
            ],
            [
              0.12574,
              0.12599,
              0.13114,
              0.14602,
              0.1808,
              0.25457,
              0.40554,
              0.71211
            ],
            [
              0.15574,
              0.15472,
              0.159,
              0.17292,
              0.20648,
              0.27948,
              0.42962,
              0.73434
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.09686,
              0.10487,
              0.11584,
              0.14016,
              0.19121,
              0.29516,
              0.50479,
              0.92512
            ],
            [
              0.09675,
              0.10472,
              0.11577,
              0.14003,
              0.19127,
              0.2957,
              0.50438,
              0.92458
            ],
            [
              0.09669,
              0.10478,
              0.11575,
              0.14002,
              0.19134,
              0.29534,
              0.50502,
              0.92435
            ],
            [
              0.09671,
              0.10471,
              0.11566,
              0.13993,
              0.19117,
              0.29522,
              0.50449,
              0.92594
            ],
            [
              0.09683,
              0.10478,
              0.11576,
              0.14013,
              0.19131,
              0.29546,
              0.50518,
              0.92598
            ],
            [
              0.09726,
              0.10523,
              0.11619,
              0.14049,
              0.1918,
              0.29584,
              0.50562,
              0.92677
            ],
            [
              0.0985,
              0.10644,
              0.11729,
              0.14145,
              0.19246,
              0.29654,
              0.50564,
              0.92474
            ],
            [
              0.10164,
              0.10934,
              0.11998,
              0.14391,
              0.19482,
              0.29893,
              0.50757,
              0.9276
            ],
            [
              0.10739,
              0.11451,
              0.12486,
              0.14837,
              0.1988,
              0.30234,
              0.51213,
              0.93205
            ],
            [
              0.11617,
              0.12276,
              0.13273,
              0.15548,
              0.20548,
              0.30905,
              0.51791,
              0.93731
            ],
            [
              0.12886,
              0.13468,
              0.14425,
              0.16652,
              0.21551,
              0.31838,
              0.52632,
              0.94768
            ],
            [
              0.14803,
              0.15305,
              0.16204,
              0.1835,
              0.23172,
              0.33313,
              0.54175,
              0.95957
            ],
            [
              0.17733,
              0.1815,
              0.18975,
              0.21005,
              0.25695,
              0.35776,
              0.56376,
              0.98245
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.297,
    "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.18741,
              0.21053,
              0.22703,
              0.25364,
              0.29701,
              0.37024,
              0.50186,
              0.75458
            ],
            [
              0.18943,
              0.21255,
              0.22904,
              0.25565,
              0.29903,
              0.37225,
              0.50388,
              0.75663
            ],
            [
              0.19212,
              0.21524,
              0.23174,
              0.25834,
              0.30172,
              0.37495,
              0.5065,
              0.75909
            ],
            [
              0.19642,
              0.21954,
              0.23603,
              0.26265,
              0.30602,
              0.37926,
              0.51079,
              0.76348
            ],
            [
              0.20297,
              0.2261,
              0.24259,
              0.26919,
              0.31257,
              0.3858,
              0.51733,
              0.77004
            ],
            [
              0.21246,
              0.23557,
              0.25204,
              0.27863,
              0.32199,
              0.39521,
              0.52669,
              0.77959
            ],
            [
              0.22588,
              0.24892,
              0.26535,
              0.29189,
              0.3352,
              0.40838,
              0.53986,
              0.79276
            ],
            [
              0.24492,
              0.26784,
              0.28418,
              0.3106,
              0.35381,
              0.42692,
              0.55846,
              0.81096
            ],
            [
              0.2713,
              0.294,
              0.31018,
              0.33642,
              0.37947,
              0.45247,
              0.5839,
              0.83665
            ],
            [
              0.30632,
              0.32877,
              0.34479,
              0.37087,
              0.41374,
              0.48661,
              0.61799,
              0.87049
            ],
            [
              0.35291,
              0.37508,
              0.39097,
              0.41689,
              0.45962,
              0.53232,
              0.66352,
              0.91632
            ],
            [
              0.41507,
              0.43707,
              0.45297,
              0.47877,
              0.52137,
              0.59397,
              0.72507,
              0.97727
            ],
            [
              0.4999,
              0.5218,
              0.5376,
              0.5633,
              0.6058,
              0.6782,
              0.8091,
              1.0615
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.16694,
              0.18974,
              0.2078,
              0.24025,
              0.30198,
              0.42407,
              0.66756,
              1.15427
            ],
            [
              0.16835,
              0.19115,
              0.20921,
              0.24166,
              0.30348,
              0.42546,
              0.66863,
              1.15624
            ],
            [
              0.17011,
              0.19291,
              0.21097,
              0.24342,
              0.30523,
              0.42711,
              0.67042,
              1.15802
            ],
            [
              0.17247,
              0.19526,
              0.2133,
              0.24574,
              0.30757,
              0.42958,
              0.67263,
              1.16038
            ],
            [
              0.17521,
              0.198,
              0.21605,
              0.24849,
              0.31033,
              0.43227,
              0.6757,
              1.16301
            ],
            [
              0.17801,
              0.2008,
              0.21886,
              0.25131,
              0.31315,
              0.43503,
              0.67885,
              1.16592
            ],
            [
              0.18044,
              0.20322,
              0.22128,
              0.25374,
              0.31554,
              0.43759,
              0.68067,
              1.16803
            ],
            [
              0.18179,
              0.20451,
              0.22256,
              0.25505,
              0.3169,
              0.43882,
              0.68267,
              1.16856
            ],
            [
              0.1808,
              0.20352,
              0.22157,
              0.25397,
              0.31581,
              0.43774,
              0.68135,
              1.16915
            ],
            [
              0.17525,
              0.19794,
              0.21596,
              0.2484,
              0.31027,
              0.43208,
              0.67569,
              1.16279
            ],
            [
              0.16189,
              0.18456,
              0.20257,
              0.23499,
              0.29682,
              0.41871,
              0.66202,
              1.14952
            ],
            [
              0.13632,
              0.15898,
              0.17697,
              0.20937,
              0.27117,
              0.39327,
              0.63647,
              1.12257
            ],
            [
              0.0921,
              0.1148,
              0.1328,
              0.1652,
              0.2269,
              0.349,
              0.5924,
              1.0784
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.0238,
              0.04159,
              0.05468,
              0.07755,
              0.11896,
              0.19819,
              0.35868,
              0.69025
            ],
            [
              0.02381,
              0.0416,
              0.05468,
              0.07755,
              0.11895,
              0.1982,
              0.35862,
              0.69021
            ],
            [
              0.02381,
              0.04163,
              0.05465,
              0.07748,
              0.11902,
              0.19805,
              0.35882,
              0.69116
            ],
            [
              0.02383,
              0.04162,
              0.05466,
              0.07749,
              0.11903,
              0.19803,
              0.35881,
              0.69121
            ],
            [
              0.02382,
              0.04161,
              0.05465,
              0.07748,
              0.11902,
              0.19801,
              0.35881,
              0.69119
            ],
            [
              0.02381,
              0.0416,
              0.05462,
              0.07749,
              0.11898,
              0.19807,
              0.35875,
              0.69113
            ],
            [
              0.02383,
              0.04151,
              0.05456,
              0.0774,
              0.11887,
              0.19805,
              0.35875,
              0.69099
            ],
            [
              0.02384,
              0.04139,
              0.05437,
              0.07719,
              0.11864,
              0.19787,
              0.35854,
              0.69109
            ],
            [
              0.02406,
              0.04134,
              0.05415,
              0.07688,
              0.11838,
              0.19761,
              0.35842,
              0.691
            ],
            [
              0.02426,
              0.04126,
              0.05403,
              0.07662,
              0.11811,
              0.19755,
              0.35841,
              0.69006
            ],
            [
              0.0243,
              0.04108,
              0.05373,
              0.07628,
              0.1178,
              0.19709,
              0.3581,
              0.6902
            ],
            [
              0.0242,
              0.0408,
              0.0534,
              0.0761,
              0.1174,
              0.1967,
              0.3571,
              0.6904
            ],
            [
              0.024,
              0.0405,
              0.0532,
              0.0757,
              0.117,
              0.1962,
              0.3573,
              0.689
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01752,
              0.04189,
              0.0637,
              0.10706,
              0.19727,
              0.38307,
              0.75335,
              1.49878
            ],
            [
              0.01751,
              0.04191,
              0.06363,
              0.1072,
              0.19739,
              0.3819,
              0.75349,
              1.50188
            ],
            [
              0.01751,
              0.04191,
              0.06361,
              0.1072,
              0.1974,
              0.38207,
              0.75351,
              1.50211
            ],
            [
              0.01747,
              0.04193,
              0.06349,
              0.10711,
              0.19732,
              0.38187,
              0.75578,
              1.49852
            ],
            [
              0.01747,
              0.0419,
              0.06351,
              0.10714,
              0.19735,
              0.38217,
              0.75361,
              1.49793
            ],
            [
              0.01744,
              0.04186,
              0.06355,
              0.10714,
              0.19738,
              0.38209,
              0.75313,
              1.50089
            ],
            [
              0.01739,
              0.04184,
              0.0636,
              0.10706,
              0.19742,
              0.38291,
              0.75376,
              1.49862
            ],
            [
              0.01728,
              0.04174,
              0.06332,
              0.10708,
              0.1972,
              0.38209,
              0.75403,
              1.49776
            ],
            [
              0.01716,
              0.04163,
              0.06334,
              0.10694,
              0.19709,
              0.38189,
              0.75401,
              1.49883
            ],
            [
              0.01703,
              0.04156,
              0.0632,
              0.10693,
              0.1972,
              0.3823,
              0.75542,
              1.49926
            ],
            [
              0.01693,
              0.04144,
              0.06314,
              0.10691,
              0.19706,
              0.38175,
              0.75364,
              1.4996
            ],
            [
              0.01688,
              0.04135,
              0.06322,
              0.10694,
              0.1971,
              0.382,
              0.7546,
              1.5
            ],
            [
              0.0169,
              0.0415,
              0.0632,
              0.107,
              0.197,
              0.3818,
              0.7534,
              1.4981
            ]
          ]
        },
        "sdf_cond": "(!B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.16721,
              0.18928,
              0.20515,
              0.23083,
              0.2724,
              0.34274,
              0.47168,
              0.72387
            ],
            [
              0.16863,
              0.1907,
              0.20656,
              0.23224,
              0.27382,
              0.34417,
              0.4731,
              0.72519
            ],
            [
              0.17039,
              0.19246,
              0.20832,
              0.234,
              0.27557,
              0.34592,
              0.47486,
              0.72697
            ],
            [
              0.17289,
              0.19495,
              0.21083,
              0.2365,
              0.27809,
              0.34842,
              0.47729,
              0.72957
            ],
            [
              0.17616,
              0.19827,
              0.21415,
              0.23982,
              0.2814,
              0.35174,
              0.48069,
              0.73288
            ],
            [
              0.18,
              0.20219,
              0.21809,
              0.24377,
              0.28534,
              0.35569,
              0.48464,
              0.73675
            ],
            [
              0.18399,
              0.20628,
              0.22221,
              0.24791,
              0.28948,
              0.35984,
              0.48879,
              0.74084
            ],
            [
              0.18732,
              0.20977,
              0.22576,
              0.25147,
              0.29306,
              0.36343,
              0.49238,
              0.74447
            ],
            [
              0.18862,
              0.21127,
              0.22731,
              0.25306,
              0.2947,
              0.36512,
              0.49408,
              0.74614
            ],
            [
              0.18606,
              0.209,
              0.22512,
              0.25095,
              0.29264,
              0.36309,
              0.492,
              0.74399
            ],
            [
              0.17646,
              0.19981,
              0.21607,
              0.24204,
              0.28387,
              0.35445,
              0.48352,
              0.73542
            ],
            [
              0.15503,
              0.17897,
              0.19537,
              0.22157,
              0.26367,
              0.33447,
              0.46357,
              0.71587
            ],
            [
              0.1146,
              0.1392,
              0.156,
              0.1826,
              0.225,
              0.2961,
              0.4254,
              0.6777
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.17211,
              0.19535,
              0.21393,
              0.24722,
              0.30967,
              0.43177,
              0.67491,
              1.16087
            ],
            [
              0.17416,
              0.1974,
              0.21598,
              0.24926,
              0.31172,
              0.43382,
              0.67695,
              1.16304
            ],
            [
              0.17682,
              0.20006,
              0.21865,
              0.25192,
              0.31438,
              0.43646,
              0.6796,
              1.16572
            ],
            [
              0.18105,
              0.2043,
              0.22287,
              0.25616,
              0.31861,
              0.4407,
              0.68383,
              1.16997
            ],
            [
              0.18766,
              0.2109,
              0.22949,
              0.26276,
              0.32522,
              0.4473,
              0.69043,
              1.17661
            ],
            [
              0.19773,
              0.22098,
              0.23956,
              0.27283,
              0.33529,
              0.45739,
              0.70051,
              1.18662
            ],
            [
              0.21268,
              0.23594,
              0.25452,
              0.2878,
              0.35024,
              0.47233,
              0.71547,
              1.20143
            ],
            [
              0.23399,
              0.25726,
              0.27584,
              0.3091,
              0.37151,
              0.49356,
              0.73675,
              1.22286
            ],
            [
              0.26261,
              0.28596,
              0.30455,
              0.33781,
              0.40014,
              0.52212,
              0.76535,
              1.25125
            ],
            [
              0.30077,
              0.3242,
              0.34281,
              0.37603,
              0.43835,
              0.56033,
              0.80339,
              1.28939
            ],
            [
              0.35276,
              0.37639,
              0.39505,
              0.42825,
              0.49042,
              0.61242,
              0.85552,
              1.34152
            ],
            [
              0.42417,
              0.44817,
              0.46697,
              0.50017,
              0.56227,
              0.68407,
              0.92707,
              1.41287
            ],
            [
              0.5229,
              0.547,
              0.5661,
              0.5994,
              0.6614,
              0.7831,
              1.0259,
              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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02257,
              0.03971,
              0.05233,
              0.07423,
              0.11395,
              0.19158,
              0.35316,
              0.68855
            ],
            [
              0.02256,
              0.0397,
              0.05235,
              0.07429,
              0.11394,
              0.1918,
              0.35324,
              0.68954
            ],
            [
              0.02257,
              0.0397,
              0.05235,
              0.07429,
              0.11395,
              0.19182,
              0.35325,
              0.68946
            ],
            [
              0.02257,
              0.03972,
              0.05234,
              0.0743,
              0.11397,
              0.19175,
              0.3537,
              0.68878
            ],
            [
              0.02255,
              0.03973,
              0.05235,
              0.0743,
              0.11397,
              0.19182,
              0.35333,
              0.689
            ],
            [
              0.02252,
              0.03976,
              0.0524,
              0.07428,
              0.11398,
              0.19183,
              0.35333,
              0.68948
            ],
            [
              0.02251,
              0.03985,
              0.05248,
              0.07435,
              0.114,
              0.19187,
              0.35319,
              0.68985
            ],
            [
              0.02266,
              0.04008,
              0.05264,
              0.07448,
              0.11407,
              0.1919,
              0.35331,
              0.6896
            ],
            [
              0.02286,
              0.04032,
              0.05284,
              0.07469,
              0.11423,
              0.19203,
              0.3534,
              0.68953
            ],
            [
              0.02334,
              0.04081,
              0.05333,
              0.075,
              0.11444,
              0.19188,
              0.35339,
              0.6893
            ],
            [
              0.02429,
              0.04167,
              0.05411,
              0.07564,
              0.11497,
              0.1925,
              0.35357,
              0.68888
            ],
            [
              0.02578,
              0.04306,
              0.05538,
              0.0767,
              0.1158,
              0.1931,
              0.3544,
              0.6879
            ],
            [
              0.0278,
              0.045,
              0.0571,
              0.0782,
              0.117,
              0.1939,
              0.3549,
              0.6896
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01772,
              0.0429,
              0.06516,
              0.10884,
              0.19839,
              0.38228,
              0.75331,
              1.49991
            ],
            [
              0.01772,
              0.04289,
              0.06516,
              0.10885,
              0.19845,
              0.38193,
              0.75293,
              1.49649
            ],
            [
              0.01771,
              0.04291,
              0.06511,
              0.10887,
              0.19879,
              0.38209,
              0.75295,
              1.49632
            ],
            [
              0.01771,
              0.0429,
              0.06511,
              0.10887,
              0.19884,
              0.38261,
              0.75287,
              1.49625
            ],
            [
              0.01771,
              0.04292,
              0.06511,
              0.10887,
              0.19884,
              0.3821,
              0.7528,
              1.49628
            ],
            [
              0.01777,
              0.04291,
              0.06515,
              0.10886,
              0.19852,
              0.38194,
              0.75294,
              1.49922
            ],
            [
              0.01784,
              0.043,
              0.0652,
              0.10891,
              0.19862,
              0.38204,
              0.75291,
              1.49548
            ],
            [
              0.01801,
              0.04315,
              0.06534,
              0.10908,
              0.19863,
              0.38296,
              0.75289,
              1.49648
            ],
            [
              0.01849,
              0.04347,
              0.0657,
              0.10929,
              0.19867,
              0.38225,
              0.75295,
              1.49923
            ],
            [
              0.01893,
              0.04389,
              0.06607,
              0.10953,
              0.19903,
              0.38239,
              0.75273,
              1.4995
            ],
            [
              0.01961,
              0.0445,
              0.06656,
              0.11,
              0.19924,
              0.3823,
              0.754,
              1.4986
            ],
            [
              0.021,
              0.0456,
              0.0676,
              0.1107,
              0.1995,
              0.3824,
              0.7535,
              1.4962
            ],
            [
              0.0236,
              0.0474,
              0.0694,
              0.1122,
              0.2001,
              0.3831,
              0.7535,
              1.4971
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "negative_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.16665,
              0.1897,
              0.20608,
              0.23259,
              0.27579,
              0.34875,
              0.48027,
              0.73336
            ],
            [
              0.16808,
              0.19113,
              0.20751,
              0.23401,
              0.2772,
              0.35016,
              0.48158,
              0.73486
            ],
            [
              0.16985,
              0.1929,
              0.20928,
              0.23578,
              0.27897,
              0.35193,
              0.48337,
              0.73664
            ],
            [
              0.17236,
              0.19542,
              0.2118,
              0.2383,
              0.28151,
              0.35447,
              0.48597,
              0.73884
            ],
            [
              0.17563,
              0.19873,
              0.21512,
              0.24163,
              0.28485,
              0.35783,
              0.48935,
              0.74268
            ],
            [
              0.17955,
              0.20272,
              0.21914,
              0.24568,
              0.28892,
              0.36192,
              0.49345,
              0.74662
            ],
            [
              0.1838,
              0.20709,
              0.22356,
              0.25014,
              0.29341,
              0.36644,
              0.49801,
              0.75107
            ],
            [
              0.18761,
              0.21104,
              0.22758,
              0.25424,
              0.29756,
              0.37065,
              0.50218,
              0.75526
            ],
            [
              0.18962,
              0.21318,
              0.22979,
              0.25652,
              0.29997,
              0.37311,
              0.50465,
              0.75795
            ],
            [
              0.18804,
              0.21171,
              0.22841,
              0.25527,
              0.29881,
              0.37203,
              0.50361,
              0.75699
            ],
            [
              0.17962,
              0.20342,
              0.22026,
              0.24728,
              0.29101,
              0.36445,
              0.49622,
              0.74932
            ],
            [
              0.15952,
              0.18347,
              0.20047,
              0.22777,
              0.27177,
              0.34547,
              0.47747,
              0.73077
            ],
            [
              0.1206,
              0.1449,
              0.1621,
              0.1897,
              0.2341,
              0.3081,
              0.4403,
              0.6938
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.16428,
              0.18735,
              0.20561,
              0.23827,
              0.30023,
              0.4222,
              0.66528,
              1.15137
            ],
            [
              0.16633,
              0.1894,
              0.20766,
              0.24033,
              0.30228,
              0.42425,
              0.66732,
              1.15344
            ],
            [
              0.16896,
              0.19202,
              0.21029,
              0.24295,
              0.3049,
              0.42688,
              0.66992,
              1.15602
            ],
            [
              0.17314,
              0.1962,
              0.21446,
              0.24713,
              0.30906,
              0.43104,
              0.67414,
              1.16018
            ],
            [
              0.17966,
              0.20273,
              0.22099,
              0.25365,
              0.3156,
              0.43758,
              0.68068,
              1.16671
            ],
            [
              0.18957,
              0.21264,
              0.2309,
              0.26355,
              0.32549,
              0.44748,
              0.69056,
              1.17662
            ],
            [
              0.20409,
              0.22717,
              0.24542,
              0.27806,
              0.34002,
              0.46196,
              0.70503,
              1.19093
            ],
            [
              0.22444,
              0.24752,
              0.26576,
              0.29837,
              0.36031,
              0.48224,
              0.7253,
              1.21116
            ],
            [
              0.25183,
              0.27495,
              0.29321,
              0.32581,
              0.38765,
              0.50961,
              0.75264,
              1.23855
            ],
            [
              0.28848,
              0.31174,
              0.33003,
              0.36264,
              0.42451,
              0.54638,
              0.78949,
              1.27529
            ],
            [
              0.33842,
              0.36187,
              0.38023,
              0.41286,
              0.47462,
              0.59652,
              0.83952,
              1.32542
            ],
            [
              0.40687,
              0.43067,
              0.44917,
              0.48187,
              0.54357,
              0.66537,
              0.90837,
              1.39407
            ],
            [
              0.501,
              0.5252,
              0.544,
              0.5767,
              0.6383,
              0.76,
              1.003,
              1.4887
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02316,
              0.04096,
              0.054,
              0.07684,
              0.11824,
              0.19751,
              0.35835,
              0.69081
            ],
            [
              0.02317,
              0.04096,
              0.05399,
              0.07687,
              0.11821,
              0.1974,
              0.35859,
              0.69136
            ],
            [
              0.02317,
              0.04095,
              0.05399,
              0.07687,
              0.11821,
              0.19741,
              0.3586,
              0.69137
            ],
            [
              0.02317,
              0.04096,
              0.05402,
              0.07682,
              0.11825,
              0.19741,
              0.35842,
              0.69158
            ],
            [
              0.02321,
              0.04098,
              0.05402,
              0.0769,
              0.11824,
              0.19754,
              0.3584,
              0.69097
            ],
            [
              0.02329,
              0.04106,
              0.05409,
              0.07696,
              0.11832,
              0.19754,
              0.35841,
              0.69106
            ],
            [
              0.0234,
              0.04117,
              0.0542,
              0.07706,
              0.11841,
              0.19744,
              0.35863,
              0.69184
            ],
            [
              0.02367,
              0.0414,
              0.05441,
              0.07718,
              0.11853,
              0.19775,
              0.35878,
              0.69203
            ],
            [
              0.02407,
              0.04164,
              0.0546,
              0.07743,
              0.11875,
              0.19794,
              0.35878,
              0.69108
            ],
            [
              0.02471,
              0.04211,
              0.05509,
              0.07783,
              0.1191,
              0.198,
              0.35887,
              0.69138
            ],
            [
              0.02573,
              0.04294,
              0.05579,
              0.07847,
              0.11963,
              0.19857,
              0.35849,
              0.69119
            ],
            [
              0.02706,
              0.04417,
              0.0569,
              0.0794,
              0.1204,
              0.1992,
              0.3593,
              0.6909
            ],
            [
              0.0287,
              0.0459,
              0.0585,
              0.0809,
              0.1217,
              0.2002,
              0.3603,
              0.6925
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01754,
              0.0424,
              0.06413,
              0.10747,
              0.19753,
              0.3816,
              0.75249,
              1.49597
            ],
            [
              0.01755,
              0.0424,
              0.06412,
              0.10747,
              0.19755,
              0.38205,
              0.7524,
              1.49579
            ],
            [
              0.01754,
              0.04241,
              0.06413,
              0.10745,
              0.19743,
              0.3817,
              0.75416,
              1.49614
            ],
            [
              0.01752,
              0.04243,
              0.0641,
              0.10748,
              0.19745,
              0.38157,
              0.75253,
              1.49571
            ],
            [
              0.01754,
              0.04243,
              0.06411,
              0.10748,
              0.19754,
              0.38144,
              0.75244,
              1.49542
            ],
            [
              0.01755,
              0.04244,
              0.06411,
              0.10748,
              0.19755,
              0.3815,
              0.75256,
              1.49543
            ],
            [
              0.01762,
              0.04246,
              0.06413,
              0.10749,
              0.19764,
              0.38166,
              0.75248,
              1.49943
            ],
            [
              0.01778,
              0.04259,
              0.06425,
              0.10754,
              0.19778,
              0.38177,
              0.75254,
              1.49629
            ],
            [
              0.01822,
              0.04299,
              0.06458,
              0.10776,
              0.19747,
              0.38243,
              0.75279,
              1.49669
            ],
            [
              0.01879,
              0.04344,
              0.06499,
              0.10806,
              0.19786,
              0.38177,
              0.75307,
              1.4966
            ],
            [
              0.01962,
              0.04416,
              0.06562,
              0.10849,
              0.19806,
              0.38166,
              0.7525,
              1.4959
            ],
            [
              0.0208,
              0.0452,
              0.0666,
              0.1093,
              0.1984,
              0.3822,
              0.7542,
              1.4964
            ],
            [
              0.0224,
              0.0467,
              0.0681,
              0.1102,
              0.1989,
              0.3824,
              0.7538,
              1.4954
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "negative_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.17762,
              0.19957,
              0.21516,
              0.24034,
              0.28154,
              0.35184,
              0.48091,
              0.73293
            ],
            [
              0.17965,
              0.2016,
              0.21719,
              0.24237,
              0.28357,
              0.35388,
              0.48297,
              0.73503
            ],
            [
              0.18232,
              0.20427,
              0.21986,
              0.24504,
              0.28624,
              0.35654,
              0.48558,
              0.73807
            ],
            [
              0.1866,
              0.20853,
              0.22412,
              0.24932,
              0.29052,
              0.36081,
              0.48982,
              0.74218
            ],
            [
              0.19313,
              0.21507,
              0.23066,
              0.25584,
              0.29705,
              0.36733,
              0.4963,
              0.74887
            ],
            [
              0.20262,
              0.22456,
              0.24014,
              0.26531,
              0.30651,
              0.37678,
              0.50574,
              0.75833
            ],
            [
              0.21604,
              0.23795,
              0.2535,
              0.27864,
              0.31981,
              0.39006,
              0.51902,
              0.77162
            ],
            [
              0.23493,
              0.25675,
              0.27225,
              0.29732,
              0.33842,
              0.40866,
              0.53768,
              0.78997
            ],
            [
              0.26091,
              0.28257,
              0.29796,
              0.3229,
              0.3639,
              0.43405,
              0.56306,
              0.81525
            ],
            [
              0.29561,
              0.31709,
              0.33238,
              0.35723,
              0.3981,
              0.46815,
              0.59706,
              0.84919
            ],
            [
              0.34225,
              0.36354,
              0.37874,
              0.40349,
              0.44428,
              0.51422,
              0.64282,
              0.89512
            ],
            [
              0.40507,
              0.42627,
              0.44137,
              0.46607,
              0.50687,
              0.57667,
              0.70537,
              0.95727
            ],
            [
              0.4907,
              0.5119,
              0.5271,
              0.5519,
              0.5926,
              0.6623,
              0.7907,
              1.0426
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.16216,
              0.18526,
              0.20377,
              0.2368,
              0.29857,
              0.41974,
              0.66051,
              1.14207
            ],
            [
              0.16358,
              0.18668,
              0.20522,
              0.23824,
              0.30003,
              0.42108,
              0.66139,
              1.14294
            ],
            [
              0.16534,
              0.18844,
              0.20698,
              0.24,
              0.30179,
              0.42285,
              0.66316,
              1.14522
            ],
            [
              0.16767,
              0.19079,
              0.20932,
              0.24233,
              0.30414,
              0.42486,
              0.66627,
              1.14758
            ],
            [
              0.17033,
              0.19343,
              0.21196,
              0.24498,
              0.30676,
              0.4279,
              0.66844,
              1.15041
            ],
            [
              0.17291,
              0.19601,
              0.21453,
              0.24755,
              0.30931,
              0.43051,
              0.67126,
              1.15202
            ],
            [
              0.17509,
              0.19819,
              0.21672,
              0.24974,
              0.31154,
              0.43273,
              0.67351,
              1.15413
            ],
            [
              0.17631,
              0.19938,
              0.21788,
              0.25092,
              0.31268,
              0.43387,
              0.67434,
              1.15546
            ],
            [
              0.17522,
              0.19826,
              0.21678,
              0.24976,
              0.3116,
              0.43255,
              0.6734,
              1.15475
            ],
            [
              0.16969,
              0.19268,
              0.21117,
              0.24417,
              0.30599,
              0.42663,
              0.66759,
              1.14869
            ],
            [
              0.15647,
              0.17939,
              0.19782,
              0.23077,
              0.29255,
              0.41371,
              0.65392,
              1.13522
            ],
            [
              0.13111,
              0.15398,
              0.17237,
              0.20527,
              0.26697,
              0.38787,
              0.62857,
              1.10927
            ],
            [
              0.087,
              0.1099,
              0.1283,
              0.1611,
              0.2226,
              0.3438,
              0.5839,
              1.0651
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.0217,
              0.03845,
              0.05089,
              0.07279,
              0.113,
              0.19157,
              0.35378,
              0.68942
            ],
            [
              0.02168,
              0.03845,
              0.05088,
              0.07281,
              0.11298,
              0.1916,
              0.35336,
              0.68907
            ],
            [
              0.0217,
              0.03845,
              0.05087,
              0.07278,
              0.11301,
              0.19153,
              0.35387,
              0.68957
            ],
            [
              0.02168,
              0.03848,
              0.05091,
              0.07282,
              0.11298,
              0.19139,
              0.3538,
              0.68965
            ],
            [
              0.02167,
              0.03848,
              0.05086,
              0.07283,
              0.11301,
              0.19144,
              0.35385,
              0.68927
            ],
            [
              0.02168,
              0.03847,
              0.05085,
              0.0728,
              0.11299,
              0.19143,
              0.35385,
              0.68923
            ],
            [
              0.02175,
              0.03846,
              0.05081,
              0.07274,
              0.11295,
              0.19138,
              0.35383,
              0.68936
            ],
            [
              0.02182,
              0.03842,
              0.05076,
              0.07265,
              0.1128,
              0.19144,
              0.35365,
              0.68962
            ],
            [
              0.02204,
              0.0384,
              0.05065,
              0.07253,
              0.11265,
              0.19131,
              0.35338,
              0.68919
            ],
            [
              0.02223,
              0.03841,
              0.05059,
              0.07229,
              0.11244,
              0.19101,
              0.35349,
              0.68924
            ],
            [
              0.02232,
              0.03837,
              0.05048,
              0.0722,
              0.11229,
              0.19077,
              0.3532,
              0.6897
            ],
            [
              0.0224,
              0.0384,
              0.0505,
              0.0721,
              0.1121,
              0.1905,
              0.3525,
              0.6886
            ],
            [
              0.0224,
              0.0384,
              0.0505,
              0.0722,
              0.112,
              0.1903,
              0.3528,
              0.6878
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01803,
              0.04292,
              0.06507,
              0.10843,
              0.19744,
              0.37905,
              0.74835,
              1.48632
            ],
            [
              0.01806,
              0.04295,
              0.06496,
              0.10845,
              0.19773,
              0.37919,
              0.74765,
              1.49014
            ],
            [
              0.01803,
              0.04293,
              0.06495,
              0.10842,
              0.19772,
              0.3791,
              0.74767,
              1.48795
            ],
            [
              0.01804,
              0.0429,
              0.06499,
              0.10851,
              0.19746,
              0.37918,
              0.74891,
              1.48611
            ],
            [
              0.01801,
              0.04286,
              0.06496,
              0.10827,
              0.19758,
              0.37916,
              0.74853,
              1.48628
            ],
            [
              0.01796,
              0.0428,
              0.06499,
              0.10833,
              0.19755,
              0.37938,
              0.74832,
              1.48886
            ],
            [
              0.01787,
              0.04276,
              0.0649,
              0.10826,
              0.19759,
              0.37938,
              0.74841,
              1.48954
            ],
            [
              0.01771,
              0.04264,
              0.06477,
              0.10808,
              0.1975,
              0.37942,
              0.74723,
              1.48856
            ],
            [
              0.01755,
              0.04254,
              0.06468,
              0.1082,
              0.19695,
              0.38035,
              0.74803,
              1.48823
            ],
            [
              0.01733,
              0.04236,
              0.06447,
              0.10813,
              0.19709,
              0.37982,
              0.74781,
              1.4864
            ],
            [
              0.01719,
              0.04215,
              0.06422,
              0.10795,
              0.19676,
              0.37907,
              0.74736,
              1.4878
            ],
            [
              0.01712,
              0.04198,
              0.06409,
              0.10784,
              0.1969,
              0.3799,
              0.7485,
              1.4841
            ],
            [
              0.0172,
              0.0421,
              0.0641,
              0.1077,
              0.1971,
              0.3792,
              0.7494,
              1.4861
            ]
          ]
        },
        "sdf_cond": "(B&CI)",
        "timing_sense": "positive_unate",
        "when": "(B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.16673,
              0.18981,
              0.20626,
              0.23283,
              0.27617,
              0.34935,
              0.48093,
              0.7337
            ],
            [
              0.16826,
              0.19134,
              0.20781,
              0.23439,
              0.27773,
              0.35091,
              0.48248,
              0.73519
            ],
            [
              0.17051,
              0.19361,
              0.21009,
              0.23667,
              0.28003,
              0.35322,
              0.48479,
              0.73744
            ],
            [
              0.17436,
              0.19747,
              0.21396,
              0.24057,
              0.28393,
              0.35716,
              0.48868,
              0.74155
            ],
            [
              0.18065,
              0.20378,
              0.22028,
              0.2469,
              0.29028,
              0.36352,
              0.49505,
              0.74791
            ],
            [
              0.19029,
              0.21342,
              0.22994,
              0.25656,
              0.29995,
              0.37319,
              0.50479,
              0.75756
            ],
            [
              0.20432,
              0.22744,
              0.24394,
              0.27056,
              0.31394,
              0.38715,
              0.51873,
              0.77144
            ],
            [
              0.22386,
              0.24689,
              0.26334,
              0.28988,
              0.33319,
              0.40637,
              0.53787,
              0.79078
            ],
            [
              0.24948,
              0.27241,
              0.28871,
              0.31509,
              0.35824,
              0.43131,
              0.56281,
              0.81565
            ],
            [
              0.28296,
              0.30579,
              0.32205,
              0.34836,
              0.39142,
              0.46437,
              0.5957,
              0.84829
            ],
            [
              0.32856,
              0.35121,
              0.36734,
              0.39352,
              0.43652,
              0.50942,
              0.64072,
              0.89342
            ],
            [
              0.39047,
              0.41297,
              0.42897,
              0.45507,
              0.49797,
              0.57077,
              0.70217,
              0.95437
            ],
            [
              0.4745,
              0.4968,
              0.5128,
              0.5388,
              0.5817,
              0.6545,
              0.7858,
              1.0383
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.13264,
              0.15545,
              0.17351,
              0.20599,
              0.26778,
              0.38991,
              0.63314,
              1.12077
            ],
            [
              0.13442,
              0.15723,
              0.1753,
              0.20778,
              0.26955,
              0.39169,
              0.63536,
              1.12124
            ],
            [
              0.13661,
              0.15942,
              0.1775,
              0.20998,
              0.27185,
              0.39388,
              0.63752,
              1.12492
            ],
            [
              0.13991,
              0.16273,
              0.1808,
              0.21329,
              0.27509,
              0.39692,
              0.64006,
              1.12718
            ],
            [
              0.14472,
              0.16753,
              0.18561,
              0.21809,
              0.2799,
              0.40172,
              0.6458,
              1.13191
            ],
            [
              0.15135,
              0.17416,
              0.19224,
              0.22473,
              0.28657,
              0.40849,
              0.65229,
              1.13952
            ],
            [
              0.16072,
              0.18352,
              0.20158,
              0.23405,
              0.29587,
              0.41776,
              0.66107,
              1.14873
            ],
            [
              0.17272,
              0.19549,
              0.21346,
              0.24584,
              0.30747,
              0.42938,
              0.67259,
              1.15956
            ],
            [
              0.18136,
              0.20415,
              0.22213,
              0.2544,
              0.31601,
              0.43791,
              0.6814,
              1.16815
            ],
            [
              0.18503,
              0.20785,
              0.22583,
              0.2581,
              0.31953,
              0.44118,
              0.68469,
              1.17139
            ],
            [
              0.18316,
              0.20602,
              0.22399,
              0.25619,
              0.31757,
              0.43906,
              0.68222,
              1.16902
            ],
            [
              0.17457,
              0.19747,
              0.21547,
              0.24757,
              0.30867,
              0.42997,
              0.67327,
              1.15917
            ],
            [
              0.1581,
              0.1811,
              0.1991,
              0.2311,
              0.292,
              0.4131,
              0.656,
              1.142
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02369,
              0.04145,
              0.05447,
              0.07736,
              0.11886,
              0.19815,
              0.3585,
              0.69018
            ],
            [
              0.02369,
              0.04145,
              0.05453,
              0.0774,
              0.11884,
              0.19809,
              0.35878,
              0.69123
            ],
            [
              0.02371,
              0.04146,
              0.05455,
              0.07742,
              0.11885,
              0.19812,
              0.35878,
              0.69119
            ],
            [
              0.02369,
              0.04146,
              0.05456,
              0.07739,
              0.11895,
              0.19807,
              0.35867,
              0.69038
            ],
            [
              0.02369,
              0.04149,
              0.05458,
              0.07742,
              0.11897,
              0.19807,
              0.35867,
              0.69034
            ],
            [
              0.02368,
              0.04148,
              0.0546,
              0.07743,
              0.119,
              0.19818,
              0.35853,
              0.69017
            ],
            [
              0.02368,
              0.04147,
              0.05458,
              0.07747,
              0.11888,
              0.19816,
              0.3588,
              0.69126
            ],
            [
              0.02366,
              0.04138,
              0.05442,
              0.07726,
              0.11884,
              0.19791,
              0.35874,
              0.69073
            ],
            [
              0.02408,
              0.04147,
              0.05439,
              0.07706,
              0.11855,
              0.19791,
              0.35853,
              0.69077
            ],
            [
              0.02417,
              0.04151,
              0.05437,
              0.07695,
              0.11842,
              0.19756,
              0.35847,
              0.69124
            ],
            [
              0.02437,
              0.04151,
              0.05431,
              0.07694,
              0.1184,
              0.19727,
              0.3582,
              0.6899
            ],
            [
              0.0247,
              0.0417,
              0.0543,
              0.077,
              0.1182,
              0.1976,
              0.3577,
              0.6903
            ],
            [
              0.0252,
              0.0419,
              0.0546,
              0.0771,
              0.1183,
              0.1975,
              0.3578,
              0.6893
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.0175,
              0.04196,
              0.06353,
              0.10712,
              0.19724,
              0.38187,
              0.75331,
              1.49982
            ],
            [
              0.01753,
              0.04193,
              0.06358,
              0.10709,
              0.19729,
              0.38183,
              0.7532,
              1.49871
            ],
            [
              0.0175,
              0.04197,
              0.06368,
              0.10723,
              0.19735,
              0.38168,
              0.75308,
              1.49706
            ],
            [
              0.01754,
              0.0419,
              0.06355,
              0.10701,
              0.19741,
              0.382,
              0.75304,
              1.49885
            ],
            [
              0.01753,
              0.04193,
              0.06355,
              0.10701,
              0.19742,
              0.38204,
              0.75424,
              1.49887
            ],
            [
              0.01751,
              0.04196,
              0.06372,
              0.10722,
              0.19742,
              0.38208,
              0.75381,
              1.50001
            ],
            [
              0.0175,
              0.04195,
              0.06357,
              0.10706,
              0.19744,
              0.3822,
              0.75402,
              1.50038
            ],
            [
              0.01767,
              0.04209,
              0.06375,
              0.10735,
              0.19723,
              0.38169,
              0.75315,
              1.49783
            ],
            [
              0.01803,
              0.0424,
              0.06402,
              0.1075,
              0.19738,
              0.38198,
              0.75608,
              1.50158
            ],
            [
              0.01833,
              0.04264,
              0.06419,
              0.10769,
              0.19769,
              0.38177,
              0.75468,
              1.49961
            ],
            [
              0.01871,
              0.043,
              0.06449,
              0.10788,
              0.19774,
              0.38202,
              0.75356,
              1.4986
            ],
            [
              0.01913,
              0.0434,
              0.0649,
              0.1082,
              0.1979,
              0.3821,
              0.7544,
              1.4978
            ],
            [
              0.0197,
              0.0438,
              0.0653,
              0.1084,
              0.1979,
              0.3825,
              0.756,
              1.4997
            ]
          ]
        },
        "sdf_cond": "(!A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.13733,
              0.15992,
              0.17586,
              0.20148,
              0.24296,
              0.31325,
              0.4422,
              0.69444
            ],
            [
              0.13895,
              0.16153,
              0.17747,
              0.20309,
              0.24457,
              0.31486,
              0.44381,
              0.69605
            ],
            [
              0.14094,
              0.16351,
              0.17944,
              0.20506,
              0.24654,
              0.31683,
              0.44571,
              0.69791
            ],
            [
              0.14394,
              0.1665,
              0.18243,
              0.20805,
              0.24951,
              0.31978,
              0.44869,
              0.7009
            ],
            [
              0.14827,
              0.17082,
              0.18675,
              0.21236,
              0.25382,
              0.32409,
              0.45301,
              0.70516
            ],
            [
              0.15399,
              0.17653,
              0.19244,
              0.21803,
              0.25949,
              0.32976,
              0.45871,
              0.7109
            ],
            [
              0.16067,
              0.18309,
              0.19898,
              0.22457,
              0.26603,
              0.3363,
              0.46523,
              0.71738
            ],
            [
              0.16494,
              0.18699,
              0.20279,
              0.2284,
              0.26987,
              0.34016,
              0.46908,
              0.72122
            ],
            [
              0.16317,
              0.18476,
              0.20041,
              0.22588,
              0.26731,
              0.33763,
              0.46658,
              0.71829
            ],
            [
              0.15486,
              0.1762,
              0.19169,
              0.21704,
              0.25844,
              0.32865,
              0.4574,
              0.70959
            ],
            [
              0.13754,
              0.15874,
              0.17405,
              0.19921,
              0.24055,
              0.31071,
              0.43948,
              0.69142
            ],
            [
              0.10589,
              0.127,
              0.14215,
              0.16707,
              0.20827,
              0.27837,
              0.40707,
              0.65927
            ],
            [
              0.0509,
              0.0721,
              0.0872,
              0.1119,
              0.1528,
              0.2229,
              0.3514,
              0.6033
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.15696,
              0.1802,
              0.19879,
              0.23211,
              0.29456,
              0.41664,
              0.65982,
              1.14557
            ],
            [
              0.15814,
              0.18138,
              0.19998,
              0.23329,
              0.29575,
              0.41784,
              0.661,
              1.14684
            ],
            [
              0.16003,
              0.18326,
              0.20186,
              0.23516,
              0.29764,
              0.41973,
              0.66288,
              1.14902
            ],
            [
              0.16339,
              0.18662,
              0.2052,
              0.23852,
              0.30097,
              0.42307,
              0.66626,
              1.15218
            ],
            [
              0.1691,
              0.19233,
              0.21092,
              0.24422,
              0.30671,
              0.42882,
              0.67194,
              1.15791
            ],
            [
              0.1783,
              0.20152,
              0.22012,
              0.25342,
              0.3159,
              0.43801,
              0.68114,
              1.16702
            ],
            [
              0.19241,
              0.21563,
              0.23422,
              0.26752,
              0.32997,
              0.45208,
              0.69525,
              1.18123
            ],
            [
              0.21273,
              0.23595,
              0.25454,
              0.28781,
              0.35027,
              0.47236,
              0.71547,
              1.20146
            ],
            [
              0.23947,
              0.26274,
              0.28139,
              0.31467,
              0.37711,
              0.49922,
              0.74226,
              1.22835
            ],
            [
              0.27522,
              0.29854,
              0.31716,
              0.35041,
              0.41283,
              0.53493,
              0.77799,
              1.26399
            ],
            [
              0.32371,
              0.34708,
              0.36573,
              0.39897,
              0.46132,
              0.58332,
              0.82652,
              1.31262
            ],
            [
              0.39047,
              0.41397,
              0.43267,
              0.46597,
              0.52827,
              0.65037,
              0.89327,
              1.37917
            ],
            [
              0.4843,
              0.5082,
              0.5271,
              0.5606,
              0.6228,
              0.7449,
              0.9879,
              1.4737
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02228,
              0.03954,
              0.0521,
              0.07397,
              0.11367,
              0.19168,
              0.35337,
              0.68902
            ],
            [
              0.02228,
              0.03954,
              0.05209,
              0.07396,
              0.11366,
              0.19166,
              0.35335,
              0.68898
            ],
            [
              0.02226,
              0.03952,
              0.05207,
              0.07393,
              0.11359,
              0.19159,
              0.35354,
              0.68953
            ],
            [
              0.02225,
              0.0395,
              0.05206,
              0.07387,
              0.1136,
              0.19146,
              0.35366,
              0.68888
            ],
            [
              0.02226,
              0.03947,
              0.05203,
              0.07386,
              0.11355,
              0.19142,
              0.35359,
              0.68902
            ],
            [
              0.02225,
              0.03944,
              0.05199,
              0.07387,
              0.11359,
              0.19164,
              0.35333,
              0.68846
            ],
            [
              0.02211,
              0.03935,
              0.05193,
              0.07383,
              0.11354,
              0.19161,
              0.35332,
              0.68875
            ],
            [
              0.02185,
              0.03916,
              0.05187,
              0.07384,
              0.11359,
              0.19155,
              0.35329,
              0.68945
            ],
            [
              0.02189,
              0.03876,
              0.05145,
              0.07346,
              0.11344,
              0.19139,
              0.35312,
              0.6893
            ],
            [
              0.02199,
              0.03847,
              0.05113,
              0.07333,
              0.11334,
              0.19111,
              0.35343,
              0.68959
            ],
            [
              0.02203,
              0.03824,
              0.05079,
              0.07309,
              0.11324,
              0.19114,
              0.35249,
              0.68874
            ],
            [
              0.02237,
              0.03835,
              0.05063,
              0.07275,
              0.11308,
              0.1911,
              0.3532,
              0.688
            ],
            [
              0.0235,
              0.0393,
              0.0511,
              0.0728,
              0.113,
              0.1912,
              0.3532,
              0.6895
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01747,
              0.0427,
              0.06496,
              0.10877,
              0.19832,
              0.38217,
              0.75289,
              1.49657
            ],
            [
              0.01745,
              0.04269,
              0.06496,
              0.10872,
              0.1984,
              0.38201,
              0.75297,
              1.49536
            ],
            [
              0.01744,
              0.04267,
              0.06491,
              0.10869,
              0.19847,
              0.38184,
              0.75287,
              1.49636
            ],
            [
              0.01741,
              0.04266,
              0.06494,
              0.10869,
              0.19835,
              0.38204,
              0.75307,
              1.49697
            ],
            [
              0.01739,
              0.04263,
              0.0649,
              0.10868,
              0.19849,
              0.38195,
              0.75299,
              1.4959
            ],
            [
              0.01737,
              0.04262,
              0.06491,
              0.10863,
              0.19851,
              0.38222,
              0.7529,
              1.49608
            ],
            [
              0.0174,
              0.04266,
              0.06489,
              0.10874,
              0.19839,
              0.38221,
              0.75321,
              1.49991
            ],
            [
              0.01758,
              0.04284,
              0.06503,
              0.10881,
              0.19835,
              0.38218,
              0.75289,
              1.4999
            ],
            [
              0.01801,
              0.04321,
              0.06541,
              0.10914,
              0.19881,
              0.38229,
              0.75268,
              1.49734
            ],
            [
              0.01837,
              0.04351,
              0.06567,
              0.10928,
              0.19881,
              0.38216,
              0.75293,
              1.4974
            ],
            [
              0.0189,
              0.04398,
              0.06613,
              0.10953,
              0.19895,
              0.38219,
              0.7531,
              1.4992
            ],
            [
              0.0198,
              0.0448,
              0.0669,
              0.1101,
              0.1992,
              0.3824,
              0.7544,
              1.4977
            ],
            [
              0.0217,
              0.0464,
              0.0684,
              0.1114,
              0.1999,
              0.3832,
              0.7536,
              1.4974
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "negative_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.13765,
              0.16111,
              0.17766,
              0.20433,
              0.24768,
              0.32076,
              0.45229,
              0.70543
            ],
            [
              0.13922,
              0.16267,
              0.17921,
              0.20589,
              0.24922,
              0.32229,
              0.4539,
              0.70711
            ],
            [
              0.1411,
              0.16452,
              0.18106,
              0.20773,
              0.25106,
              0.32414,
              0.45571,
              0.70875
            ],
            [
              0.14383,
              0.16725,
              0.18377,
              0.21043,
              0.25377,
              0.32682,
              0.45828,
              0.71147
            ],
            [
              0.14775,
              0.17114,
              0.18766,
              0.21431,
              0.25763,
              0.33069,
              0.46228,
              0.71545
            ],
            [
              0.15325,
              0.1766,
              0.19311,
              0.21973,
              0.26304,
              0.33608,
              0.46766,
              0.72084
            ],
            [
              0.16107,
              0.18426,
              0.20069,
              0.22726,
              0.27053,
              0.34353,
              0.47507,
              0.72789
            ],
            [
              0.16756,
              0.19035,
              0.2067,
              0.23322,
              0.2764,
              0.34938,
              0.4809,
              0.73394
            ],
            [
              0.16761,
              0.18996,
              0.20616,
              0.23258,
              0.27572,
              0.34871,
              0.48017,
              0.73306
            ],
            [
              0.15983,
              0.18201,
              0.19811,
              0.22448,
              0.26765,
              0.34053,
              0.47178,
              0.72479
            ],
            [
              0.14246,
              0.16458,
              0.18058,
              0.20684,
              0.25005,
              0.32298,
              0.45432,
              0.70712
            ],
            [
              0.11201,
              0.13406,
              0.14992,
              0.17597,
              0.21907,
              0.29217,
              0.42357,
              0.67617
            ],
            [
              0.0598,
              0.0827,
              0.099,
              0.1253,
              0.1684,
              0.2416,
              0.373,
              0.6259
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.16107,
              0.18407,
              0.2022,
              0.23474,
              0.29657,
              0.41852,
              0.66163,
              1.14747
            ],
            [
              0.16237,
              0.18536,
              0.2035,
              0.23604,
              0.29787,
              0.41982,
              0.66293,
              1.14904
            ],
            [
              0.16423,
              0.18722,
              0.20535,
              0.23792,
              0.29973,
              0.42169,
              0.66474,
              1.15062
            ],
            [
              0.16756,
              0.19054,
              0.20864,
              0.24121,
              0.30303,
              0.42495,
              0.66807,
              1.15408
            ],
            [
              0.17338,
              0.19635,
              0.21447,
              0.24705,
              0.30884,
              0.43079,
              0.6739,
              1.15961
            ],
            [
              0.18316,
              0.20612,
              0.22424,
              0.2568,
              0.31859,
              0.44052,
              0.68364,
              1.16942
            ],
            [
              0.1987,
              0.22165,
              0.23976,
              0.27227,
              0.33408,
              0.45597,
              0.69907,
              1.18473
            ],
            [
              0.22143,
              0.2444,
              0.26251,
              0.29498,
              0.35674,
              0.4786,
              0.72159,
              1.20776
            ],
            [
              0.25178,
              0.27482,
              0.29297,
              0.32544,
              0.38712,
              0.50891,
              0.75198,
              1.23755
            ],
            [
              0.29185,
              0.3149,
              0.33303,
              0.36551,
              0.42712,
              0.54888,
              0.79179,
              1.27769
            ],
            [
              0.34609,
              0.36905,
              0.38718,
              0.4196,
              0.48112,
              0.60272,
              0.84572,
              1.33142
            ],
            [
              0.42017,
              0.44297,
              0.46117,
              0.49347,
              0.55487,
              0.67647,
              0.91907,
              1.40467
            ],
            [
              0.5221,
              0.5449,
              0.563,
              0.5953,
              0.6565,
              0.7778,
              1.0203,
              1.5056
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02348,
              0.04131,
              0.05437,
              0.07723,
              0.11855,
              0.19769,
              0.35861,
              0.69184
            ],
            [
              0.02347,
              0.0413,
              0.05435,
              0.07717,
              0.11848,
              0.19777,
              0.35845,
              0.69145
            ],
            [
              0.02349,
              0.04129,
              0.05435,
              0.07721,
              0.1185,
              0.19775,
              0.35852,
              0.69201
            ],
            [
              0.02345,
              0.04128,
              0.05432,
              0.07719,
              0.11853,
              0.19761,
              0.3587,
              0.69189
            ],
            [
              0.02342,
              0.04125,
              0.05431,
              0.07717,
              0.11846,
              0.19774,
              0.35843,
              0.69155
            ],
            [
              0.02333,
              0.04119,
              0.05425,
              0.07713,
              0.1184,
              0.19771,
              0.35842,
              0.69166
            ],
            [
              0.02312,
              0.04103,
              0.05411,
              0.07695,
              0.11828,
              0.19747,
              0.35846,
              0.69154
            ],
            [
              0.02307,
              0.04101,
              0.0541,
              0.07688,
              0.11828,
              0.19731,
              0.35856,
              0.6913
            ],
            [
              0.02342,
              0.04089,
              0.05395,
              0.07675,
              0.11829,
              0.19744,
              0.35866,
              0.69207
            ],
            [
              0.02397,
              0.04101,
              0.05403,
              0.07691,
              0.11824,
              0.19724,
              0.35823,
              0.69192
            ],
            [
              0.02421,
              0.0411,
              0.054,
              0.07697,
              0.11849,
              0.19749,
              0.35756,
              0.69161
            ],
            [
              0.02496,
              0.04162,
              0.05427,
              0.07699,
              0.11861,
              0.1977,
              0.3582,
              0.6901
            ],
            [
              0.0282,
              0.0449,
              0.0572,
              0.0791,
              0.1197,
              0.1984,
              0.3587,
              0.6916
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01688,
              0.04166,
              0.06342,
              0.10699,
              0.19712,
              0.38215,
              0.75336,
              1.49688
            ],
            [
              0.01687,
              0.04165,
              0.06344,
              0.10699,
              0.19744,
              0.38172,
              0.75383,
              1.49623
            ],
            [
              0.01686,
              0.04165,
              0.06337,
              0.107,
              0.19725,
              0.38146,
              0.75277,
              1.49699
            ],
            [
              0.01685,
              0.04163,
              0.06335,
              0.10702,
              0.19724,
              0.38155,
              0.7525,
              1.49661
            ],
            [
              0.01684,
              0.04163,
              0.06342,
              0.10698,
              0.19741,
              0.38172,
              0.75263,
              1.49789
            ],
            [
              0.01681,
              0.0416,
              0.0634,
              0.10692,
              0.19712,
              0.38137,
              0.7539,
              1.49653
            ],
            [
              0.01679,
              0.04154,
              0.06332,
              0.1069,
              0.19754,
              0.38175,
              0.75297,
              1.49994
            ],
            [
              0.01685,
              0.0417,
              0.06337,
              0.10691,
              0.1974,
              0.38143,
              0.75253,
              1.49566
            ],
            [
              0.01731,
              0.04204,
              0.06379,
              0.10719,
              0.19727,
              0.38262,
              0.75326,
              1.49723
            ],
            [
              0.0178,
              0.04236,
              0.06408,
              0.10761,
              0.1974,
              0.38154,
              0.7544,
              1.4954
            ],
            [
              0.01847,
              0.04294,
              0.06447,
              0.10768,
              0.19751,
              0.3817,
              0.7526,
              1.4967
            ],
            [
              0.0193,
              0.0437,
              0.0652,
              0.1083,
              0.1978,
              0.3818,
              0.7532,
              1.4966
            ],
            [
              0.0206,
              0.0449,
              0.0663,
              0.1094,
              0.1985,
              0.3819,
              0.7529,
              1.4969
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "negative_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.17035,
              0.19254,
              0.20827,
              0.23362,
              0.27498,
              0.34537,
              0.47451,
              0.72653
            ],
            [
              0.17184,
              0.19403,
              0.20977,
              0.23513,
              0.2765,
              0.34691,
              0.4759,
              0.72827
            ],
            [
              0.17397,
              0.19617,
              0.21191,
              0.23729,
              0.27866,
              0.34907,
              0.47813,
              0.73038
            ],
            [
              0.17769,
              0.19987,
              0.21563,
              0.24099,
              0.28238,
              0.35279,
              0.48194,
              0.73403
            ],
            [
              0.184,
              0.20619,
              0.22193,
              0.24732,
              0.28871,
              0.35914,
              0.48818,
              0.74053
            ],
            [
              0.19445,
              0.21663,
              0.23238,
              0.25776,
              0.29916,
              0.3696,
              0.4987,
              0.751
            ],
            [
              0.21082,
              0.23299,
              0.24873,
              0.27412,
              0.31554,
              0.38599,
              0.51505,
              0.76732
            ],
            [
              0.23438,
              0.25649,
              0.2722,
              0.29755,
              0.33896,
              0.40942,
              0.53846,
              0.79083
            ],
            [
              0.26543,
              0.28736,
              0.30295,
              0.32818,
              0.36949,
              0.43989,
              0.56898,
              0.82115
            ],
            [
              0.30503,
              0.32686,
              0.34233,
              0.36744,
              0.40862,
              0.47887,
              0.60793,
              0.86029
            ],
            [
              0.35777,
              0.37935,
              0.39465,
              0.41958,
              0.46062,
              0.53092,
              0.65972,
              0.91202
            ],
            [
              0.42897,
              0.45017,
              0.46527,
              0.48997,
              0.53087,
              0.60097,
              0.72987,
              0.98187
            ],
            [
              0.5251,
              0.546,
              0.561,
              0.5855,
              0.6262,
              0.6961,
              0.8249,
              1.0772
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.12522,
              0.14832,
              0.16686,
              0.19992,
              0.26177,
              0.38286,
              0.62355,
              1.10537
            ],
            [
              0.12705,
              0.15013,
              0.16865,
              0.20171,
              0.26353,
              0.38473,
              0.62553,
              1.10634
            ],
            [
              0.12926,
              0.15235,
              0.17089,
              0.20395,
              0.26581,
              0.38684,
              0.62742,
              1.10962
            ],
            [
              0.13254,
              0.15563,
              0.17416,
              0.20722,
              0.26908,
              0.39004,
              0.63072,
              1.11248
            ],
            [
              0.13726,
              0.16035,
              0.1789,
              0.21195,
              0.2738,
              0.39487,
              0.63541,
              1.11761
            ],
            [
              0.14402,
              0.16711,
              0.18565,
              0.2187,
              0.28053,
              0.40165,
              0.64246,
              1.12282
            ],
            [
              0.15386,
              0.17695,
              0.19547,
              0.22848,
              0.29031,
              0.41137,
              0.65203,
              1.13373
            ],
            [
              0.16348,
              0.18647,
              0.20494,
              0.23788,
              0.2996,
              0.4205,
              0.66144,
              1.14216
            ],
            [
              0.16743,
              0.19048,
              0.20896,
              0.24191,
              0.30351,
              0.42442,
              0.66497,
              1.14615
            ],
            [
              0.16501,
              0.18808,
              0.20656,
              0.23949,
              0.30113,
              0.42179,
              0.66279,
              1.14339
            ],
            [
              0.15426,
              0.17735,
              0.19581,
              0.22869,
              0.29034,
              0.41127,
              0.65152,
              1.13272
            ],
            [
              0.13124,
              0.15435,
              0.17277,
              0.20567,
              0.26727,
              0.38787,
              0.62867,
              1.10907
            ],
            [
              0.0895,
              0.1126,
              0.1311,
              0.1639,
              0.2254,
              0.3458,
              0.5865,
              1.0679
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02241,
              0.0392,
              0.05157,
              0.07335,
              0.11338,
              0.19168,
              0.3535,
              0.68937
            ],
            [
              0.02241,
              0.03922,
              0.05156,
              0.07337,
              0.11344,
              0.19185,
              0.35393,
              0.68933
            ],
            [
              0.02241,
              0.03922,
              0.05161,
              0.07338,
              0.11343,
              0.19186,
              0.35386,
              0.68904
            ],
            [
              0.02241,
              0.03924,
              0.05161,
              0.07341,
              0.11342,
              0.19173,
              0.35351,
              0.68965
            ],
            [
              0.02242,
              0.03927,
              0.05161,
              0.07344,
              0.11348,
              0.19185,
              0.354,
              0.68945
            ],
            [
              0.02243,
              0.03927,
              0.05164,
              0.07349,
              0.11348,
              0.19177,
              0.35397,
              0.68959
            ],
            [
              0.02247,
              0.03932,
              0.05169,
              0.07351,
              0.11353,
              0.19192,
              0.35391,
              0.68901
            ],
            [
              0.0225,
              0.03934,
              0.05168,
              0.07354,
              0.11351,
              0.19185,
              0.35399,
              0.68939
            ],
            [
              0.02267,
              0.03934,
              0.05166,
              0.07341,
              0.11341,
              0.19182,
              0.3539,
              0.68961
            ],
            [
              0.02291,
              0.03946,
              0.05172,
              0.07332,
              0.11325,
              0.19152,
              0.35361,
              0.68946
            ],
            [
              0.02308,
              0.03946,
              0.05168,
              0.07334,
              0.11319,
              0.19132,
              0.3536,
              0.6897
            ],
            [
              0.0233,
              0.0395,
              0.0516,
              0.0733,
              0.1132,
              0.1914,
              0.3528,
              0.6884
            ],
            [
              0.0235,
              0.0397,
              0.0518,
              0.0734,
              0.1132,
              0.1913,
              0.3534,
              0.6876
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.0178,
              0.04271,
              0.06479,
              0.10832,
              0.19758,
              0.37907,
              0.74895,
              1.48645
            ],
            [
              0.01783,
              0.04274,
              0.06483,
              0.10831,
              0.19741,
              0.37927,
              0.74766,
              1.48978
            ],
            [
              0.01783,
              0.04272,
              0.06483,
              0.10839,
              0.19719,
              0.37937,
              0.74781,
              1.48625
            ],
            [
              0.01783,
              0.04273,
              0.06483,
              0.10836,
              0.19698,
              0.37941,
              0.74712,
              1.48563
            ],
            [
              0.01778,
              0.0427,
              0.06477,
              0.10833,
              0.19751,
              0.37913,
              0.74955,
              1.48656
            ],
            [
              0.01774,
              0.04267,
              0.0648,
              0.1081,
              0.1975,
              0.37911,
              0.74832,
              1.48921
            ],
            [
              0.01777,
              0.04269,
              0.06481,
              0.1083,
              0.19759,
              0.37929,
              0.74772,
              1.48559
            ],
            [
              0.01787,
              0.04273,
              0.06484,
              0.10815,
              0.19752,
              0.37947,
              0.74821,
              1.48622
            ],
            [
              0.01806,
              0.04287,
              0.06501,
              0.1083,
              0.1971,
              0.37936,
              0.74749,
              1.48897
            ],
            [
              0.01822,
              0.04308,
              0.06516,
              0.10863,
              0.1973,
              0.37882,
              0.74895,
              1.48608
            ],
            [
              0.01842,
              0.04322,
              0.06529,
              0.10865,
              0.19743,
              0.37953,
              0.74686,
              1.4873
            ],
            [
              0.01869,
              0.04346,
              0.0655,
              0.10883,
              0.1977,
              0.3795,
              0.7487,
              1.4863
            ],
            [
              0.0191,
              0.0436,
              0.0658,
              0.1089,
              0.1977,
              0.3799,
              0.7477,
              1.486
            ]
          ]
        },
        "sdf_cond": "(A&CI)",
        "timing_sense": "positive_unate",
        "when": "(A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.10707,
              0.13058,
              0.14762,
              0.17557,
              0.22084,
              0.29553,
              0.42783,
              0.68056
            ],
            [
              0.109,
              0.13251,
              0.14954,
              0.1775,
              0.22277,
              0.29747,
              0.42978,
              0.68263
            ],
            [
              0.11152,
              0.13502,
              0.15206,
              0.18002,
              0.22529,
              0.29999,
              0.43223,
              0.68501
            ],
            [
              0.11554,
              0.13905,
              0.15609,
              0.18404,
              0.22931,
              0.30402,
              0.43635,
              0.68927
            ],
            [
              0.1219,
              0.14538,
              0.16241,
              0.19036,
              0.23565,
              0.31035,
              0.44262,
              0.69546
            ],
            [
              0.13179,
              0.15527,
              0.17229,
              0.20023,
              0.24554,
              0.32025,
              0.45256,
              0.70557
            ],
            [
              0.14701,
              0.17044,
              0.18744,
              0.21537,
              0.2607,
              0.33544,
              0.46779,
              0.72074
            ],
            [
              0.1689,
              0.19258,
              0.20962,
              0.23761,
              0.28303,
              0.35786,
              0.49018,
              0.74317
            ],
            [
              0.19698,
              0.22171,
              0.23926,
              0.26786,
              0.3139,
              0.38916,
              0.52177,
              0.77445
            ],
            [
              0.2337,
              0.25968,
              0.2779,
              0.30733,
              0.35463,
              0.43113,
              0.5642,
              0.81699
            ],
            [
              0.28318,
              0.31067,
              0.32976,
              0.36027,
              0.40901,
              0.48712,
              0.62142,
              0.87482
            ],
            [
              0.35117,
              0.38047,
              0.40077,
              0.43287,
              0.48367,
              0.56417,
              0.70027,
              0.95427
            ],
            [
              0.4451,
              0.4769,
              0.4988,
              0.5332,
              0.5871,
              0.6716,
              0.811,
              1.0666
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.08672,
              0.11027,
              0.12913,
              0.16258,
              0.22508,
              0.34732,
              0.59083,
              1.07737
            ],
            [
              0.08818,
              0.11174,
              0.13058,
              0.16402,
              0.22651,
              0.34878,
              0.59268,
              1.07944
            ],
            [
              0.09,
              0.11355,
              0.13241,
              0.16585,
              0.22831,
              0.35063,
              0.59403,
              1.08042
            ],
            [
              0.0928,
              0.11636,
              0.1352,
              0.16867,
              0.23112,
              0.35346,
              0.59703,
              1.08398
            ],
            [
              0.09706,
              0.12061,
              0.13943,
              0.17286,
              0.23535,
              0.35758,
              0.60078,
              1.08741
            ],
            [
              0.10327,
              0.12678,
              0.14558,
              0.17894,
              0.24132,
              0.36353,
              0.60719,
              1.09472
            ],
            [
              0.11124,
              0.13475,
              0.1535,
              0.18676,
              0.24908,
              0.37113,
              0.61489,
              1.10163
            ],
            [
              0.11913,
              0.14308,
              0.16207,
              0.1955,
              0.25774,
              0.37957,
              0.62301,
              1.10986
            ],
            [
              0.1256,
              0.15023,
              0.16962,
              0.20344,
              0.26574,
              0.38761,
              0.63115,
              1.11775
            ],
            [
              0.12871,
              0.15437,
              0.1744,
              0.20889,
              0.2715,
              0.39318,
              0.63639,
              1.12339
            ],
            [
              0.12523,
              0.15234,
              0.17333,
              0.20902,
              0.27258,
              0.39444,
              0.63722,
              1.12342
            ],
            [
              0.11021,
              0.13925,
              0.16145,
              0.19907,
              0.26427,
              0.38727,
              0.63037,
              1.11587
            ],
            [
              0.0762,
              0.1077,
              0.1313,
              0.1714,
              0.2395,
              0.3648,
              0.6096,
              1.097
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02375,
              0.04194,
              0.05594,
              0.08025,
              0.12248,
              0.20087,
              0.36008,
              0.69125
            ],
            [
              0.02376,
              0.04191,
              0.05596,
              0.08024,
              0.12246,
              0.20073,
              0.35984,
              0.69128
            ],
            [
              0.02376,
              0.04195,
              0.05595,
              0.08029,
              0.1225,
              0.20087,
              0.36007,
              0.69115
            ],
            [
              0.02376,
              0.04195,
              0.05596,
              0.0803,
              0.12249,
              0.20073,
              0.35992,
              0.69084
            ],
            [
              0.02378,
              0.04197,
              0.05596,
              0.08032,
              0.12243,
              0.20088,
              0.36007,
              0.69137
            ],
            [
              0.02383,
              0.04202,
              0.05611,
              0.08039,
              0.1225,
              0.20091,
              0.36009,
              0.69125
            ],
            [
              0.02413,
              0.04236,
              0.05639,
              0.08063,
              0.12265,
              0.20101,
              0.3601,
              0.69098
            ],
            [
              0.02616,
              0.04396,
              0.05762,
              0.08161,
              0.12334,
              0.20143,
              0.36026,
              0.6908
            ],
            [
              0.02959,
              0.04758,
              0.06107,
              0.0846,
              0.12568,
              0.2027,
              0.3608,
              0.69096
            ],
            [
              0.03382,
              0.05207,
              0.06553,
              0.089,
              0.12983,
              0.20606,
              0.36208,
              0.69219
            ],
            [
              0.03909,
              0.05792,
              0.07142,
              0.09468,
              0.13533,
              0.21049,
              0.3652,
              0.6928
            ],
            [
              0.0462,
              0.0659,
              0.0795,
              0.1028,
              0.1432,
              0.2176,
              0.3694,
              0.6947
            ],
            [
              0.0561,
              0.0771,
              0.0914,
              0.1149,
              0.1555,
              0.229,
              0.3782,
              0.6978
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01659,
              0.04213,
              0.06431,
              0.10809,
              0.19792,
              0.38263,
              0.75441,
              1.50108
            ],
            [
              0.01659,
              0.04213,
              0.06439,
              0.1082,
              0.19814,
              0.38233,
              0.75384,
              1.50121
            ],
            [
              0.01658,
              0.04213,
              0.06431,
              0.10813,
              0.19844,
              0.38241,
              0.75422,
              1.50157
            ],
            [
              0.0166,
              0.04214,
              0.06437,
              0.10821,
              0.19799,
              0.38298,
              0.75432,
              1.498
            ],
            [
              0.01661,
              0.0421,
              0.06439,
              0.10817,
              0.19801,
              0.38235,
              0.75443,
              1.49996
            ],
            [
              0.01669,
              0.04229,
              0.0645,
              0.10842,
              0.19845,
              0.38223,
              0.7537,
              1.49764
            ],
            [
              0.01752,
              0.04286,
              0.06497,
              0.10858,
              0.19843,
              0.38307,
              0.75447,
              1.49932
            ],
            [
              0.01913,
              0.04437,
              0.06654,
              0.10957,
              0.19851,
              0.38245,
              0.75456,
              1.50256
            ],
            [
              0.0215,
              0.04674,
              0.06875,
              0.1116,
              0.19948,
              0.38254,
              0.75447,
              1.50032
            ],
            [
              0.0249,
              0.05003,
              0.0724,
              0.11457,
              0.20154,
              0.38338,
              0.75387,
              1.49711
            ],
            [
              0.02961,
              0.05462,
              0.07746,
              0.1195,
              0.20526,
              0.38509,
              0.7543,
              1.5011
            ],
            [
              0.03602,
              0.06122,
              0.08436,
              0.12715,
              0.2117,
              0.3897,
              0.7578,
              1.4977
            ],
            [
              0.0447,
              0.0702,
              0.0939,
              0.1375,
              0.2217,
              0.3976,
              0.7617,
              1.5003
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.13883,
              0.15946,
              0.17504,
              0.20082,
              0.24277,
              0.31355,
              0.44288,
              0.69517
            ],
            [
              0.1404,
              0.16102,
              0.1766,
              0.20238,
              0.24432,
              0.3151,
              0.44441,
              0.69685
            ],
            [
              0.14239,
              0.163,
              0.17857,
              0.20435,
              0.24629,
              0.31709,
              0.44633,
              0.69869
            ],
            [
              0.14553,
              0.16612,
              0.18169,
              0.20746,
              0.2494,
              0.32018,
              0.44945,
              0.70163
            ],
            [
              0.15047,
              0.17103,
              0.18657,
              0.21232,
              0.25425,
              0.32504,
              0.45428,
              0.70659
            ],
            [
              0.15774,
              0.17824,
              0.19374,
              0.21946,
              0.26139,
              0.33217,
              0.46142,
              0.71382
            ],
            [
              0.16704,
              0.18748,
              0.20293,
              0.22862,
              0.27053,
              0.3413,
              0.47059,
              0.72285
            ],
            [
              0.1772,
              0.19754,
              0.21293,
              0.23859,
              0.28049,
              0.35125,
              0.48047,
              0.73282
            ],
            [
              0.18671,
              0.20687,
              0.2222,
              0.24781,
              0.28968,
              0.36045,
              0.48969,
              0.74207
            ],
            [
              0.19375,
              0.2137,
              0.22896,
              0.25453,
              0.2964,
              0.36713,
              0.49628,
              0.74819
            ],
            [
              0.19535,
              0.21506,
              0.23023,
              0.25582,
              0.29776,
              0.36857,
              0.49782,
              0.74972
            ],
            [
              0.18667,
              0.20607,
              0.22117,
              0.24677,
              0.28897,
              0.35997,
              0.48947,
              0.74147
            ],
            [
              0.1602,
              0.1794,
              0.1944,
              0.2201,
              0.2624,
              0.3339,
              0.4638,
              0.7167
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.1623,
              0.18338,
              0.2008,
              0.23261,
              0.29378,
              0.41526,
              0.65797,
              1.14377
            ],
            [
              0.16428,
              0.18536,
              0.20277,
              0.23459,
              0.29576,
              0.41724,
              0.65998,
              1.14554
            ],
            [
              0.16683,
              0.18791,
              0.20532,
              0.23713,
              0.29832,
              0.41979,
              0.66248,
              1.14862
            ],
            [
              0.17086,
              0.19195,
              0.20935,
              0.24116,
              0.30234,
              0.4238,
              0.66666,
              1.15228
            ],
            [
              0.17724,
              0.19833,
              0.21573,
              0.24755,
              0.30871,
              0.43019,
              0.67294,
              1.15851
            ],
            [
              0.18727,
              0.20835,
              0.22575,
              0.25756,
              0.31873,
              0.4402,
              0.68306,
              1.16862
            ],
            [
              0.20279,
              0.22387,
              0.24125,
              0.27304,
              0.33415,
              0.45561,
              0.69837,
              1.18403
            ],
            [
              0.22569,
              0.2467,
              0.26403,
              0.29577,
              0.35683,
              0.47823,
              0.72101,
              1.20656
            ],
            [
              0.25694,
              0.27771,
              0.29487,
              0.32648,
              0.38731,
              0.50859,
              0.7513,
              1.23675
            ],
            [
              0.29746,
              0.31797,
              0.33503,
              0.3664,
              0.42708,
              0.5481,
              0.79059,
              1.27599
            ],
            [
              0.35139,
              0.37164,
              0.38856,
              0.41972,
              0.48012,
              0.60092,
              0.84322,
              1.32872
            ],
            [
              0.42467,
              0.44477,
              0.46147,
              0.49247,
              0.55257,
              0.67297,
              0.91497,
              1.40047
            ],
            [
              0.5253,
              0.5453,
              0.562,
              0.5927,
              0.6524,
              0.7724,
              1.014,
              1.4988
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02076,
              0.03788,
              0.05083,
              0.07354,
              0.11395,
              0.19205,
              0.35375,
              0.68961
            ],
            [
              0.02075,
              0.03788,
              0.05083,
              0.07354,
              0.11394,
              0.19203,
              0.35392,
              0.689
            ],
            [
              0.02075,
              0.03788,
              0.0508,
              0.07355,
              0.11395,
              0.19223,
              0.35396,
              0.6889
            ],
            [
              0.02072,
              0.03785,
              0.05081,
              0.07354,
              0.11397,
              0.19219,
              0.35389,
              0.68847
            ],
            [
              0.02067,
              0.03782,
              0.05081,
              0.07352,
              0.11394,
              0.19222,
              0.35395,
              0.68915
            ],
            [
              0.02061,
              0.03778,
              0.05078,
              0.07351,
              0.1139,
              0.1922,
              0.35392,
              0.68872
            ],
            [
              0.02058,
              0.03776,
              0.05074,
              0.07351,
              0.11393,
              0.1922,
              0.35382,
              0.68956
            ],
            [
              0.02073,
              0.03796,
              0.05092,
              0.07365,
              0.11409,
              0.19218,
              0.35394,
              0.68894
            ],
            [
              0.02096,
              0.03815,
              0.05113,
              0.07379,
              0.11423,
              0.19245,
              0.3541,
              0.68887
            ],
            [
              0.02139,
              0.03857,
              0.05154,
              0.0742,
              0.11454,
              0.19239,
              0.35368,
              0.68958
            ],
            [
              0.02216,
              0.03932,
              0.05223,
              0.07488,
              0.11515,
              0.19303,
              0.35368,
              0.6886
            ],
            [
              0.0234,
              0.0405,
              0.0533,
              0.076,
              0.1163,
              0.194,
              0.3547,
              0.6885
            ],
            [
              0.025,
              0.0422,
              0.055,
              0.0775,
              0.118,
              0.1956,
              0.3566,
              0.6906
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01637,
              0.04097,
              0.06258,
              0.10624,
              0.19688,
              0.38139,
              0.75281,
              1.49595
            ],
            [
              0.01635,
              0.04102,
              0.06258,
              0.10628,
              0.19648,
              0.38098,
              0.75261,
              1.49958
            ],
            [
              0.01635,
              0.04102,
              0.06256,
              0.10623,
              0.1965,
              0.38098,
              0.75263,
              1.49791
            ],
            [
              0.01635,
              0.04092,
              0.06258,
              0.10644,
              0.19649,
              0.38158,
              0.75238,
              1.49639
            ],
            [
              0.01635,
              0.04101,
              0.06258,
              0.10638,
              0.19646,
              0.38112,
              0.75263,
              1.4955
            ],
            [
              0.01635,
              0.04099,
              0.06257,
              0.10624,
              0.19651,
              0.38128,
              0.75254,
              1.49665
            ],
            [
              0.01633,
              0.041,
              0.06257,
              0.1061,
              0.19646,
              0.38214,
              0.75313,
              1.50009
            ],
            [
              0.01637,
              0.04103,
              0.0626,
              0.1064,
              0.19696,
              0.38164,
              0.7527,
              1.49603
            ],
            [
              0.01664,
              0.04122,
              0.06281,
              0.1063,
              0.19692,
              0.38141,
              0.75301,
              1.49598
            ],
            [
              0.01704,
              0.0417,
              0.06313,
              0.10651,
              0.1968,
              0.38122,
              0.75259,
              1.4955
            ],
            [
              0.01763,
              0.04226,
              0.06365,
              0.10695,
              0.19698,
              0.3814,
              0.7542,
              1.4963
            ],
            [
              0.0184,
              0.0431,
              0.0646,
              0.1075,
              0.1977,
              0.3815,
              0.7527,
              1.4961
            ],
            [
              0.0197,
              0.0445,
              0.0657,
              0.1086,
              0.1981,
              0.382,
              0.7536,
              1.4967
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.13884,
              0.15947,
              0.17506,
              0.20084,
              0.24279,
              0.31358,
              0.44291,
              0.69535
            ],
            [
              0.1404,
              0.16103,
              0.17661,
              0.2024,
              0.24434,
              0.31513,
              0.44444,
              0.69691
            ],
            [
              0.14239,
              0.16301,
              0.17859,
              0.20437,
              0.24631,
              0.31711,
              0.44636,
              0.69874
            ],
            [
              0.14553,
              0.16614,
              0.18171,
              0.20747,
              0.24941,
              0.32021,
              0.44944,
              0.70173
            ],
            [
              0.15046,
              0.17103,
              0.18658,
              0.21233,
              0.25426,
              0.32505,
              0.4543,
              0.70664
            ],
            [
              0.15773,
              0.17824,
              0.19375,
              0.21947,
              0.26139,
              0.33218,
              0.46144,
              0.71384
            ],
            [
              0.16701,
              0.18746,
              0.20291,
              0.22861,
              0.27052,
              0.34129,
              0.47057,
              0.72284
            ],
            [
              0.17714,
              0.19749,
              0.21289,
              0.23855,
              0.28045,
              0.35122,
              0.48045,
              0.73279
            ],
            [
              0.18663,
              0.2068,
              0.22214,
              0.24775,
              0.28963,
              0.3604,
              0.48964,
              0.74202
            ],
            [
              0.19366,
              0.21361,
              0.22888,
              0.25445,
              0.29633,
              0.36706,
              0.49618,
              0.74809
            ],
            [
              0.19525,
              0.21496,
              0.23015,
              0.25573,
              0.29768,
              0.3685,
              0.49772,
              0.74962
            ],
            [
              0.18657,
              0.20597,
              0.22107,
              0.24667,
              0.28887,
              0.35987,
              0.48937,
              0.74147
            ],
            [
              0.1601,
              0.1793,
              0.1943,
              0.22,
              0.2624,
              0.3338,
              0.4637,
              0.7165
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.16231,
              0.18338,
              0.20079,
              0.23259,
              0.29378,
              0.41526,
              0.65798,
              1.14397
            ],
            [
              0.16428,
              0.18536,
              0.20277,
              0.23457,
              0.29575,
              0.41723,
              0.66,
              1.14594
            ],
            [
              0.16683,
              0.18791,
              0.20531,
              0.23713,
              0.29831,
              0.41978,
              0.66254,
              1.14822
            ],
            [
              0.17086,
              0.19193,
              0.20935,
              0.24116,
              0.30233,
              0.42379,
              0.66668,
              1.15228
            ],
            [
              0.17725,
              0.19833,
              0.21573,
              0.24755,
              0.3087,
              0.43018,
              0.67294,
              1.15851
            ],
            [
              0.18728,
              0.20835,
              0.22574,
              0.25755,
              0.31872,
              0.44019,
              0.68294,
              1.16862
            ],
            [
              0.20279,
              0.22387,
              0.24125,
              0.27304,
              0.33415,
              0.45561,
              0.69834,
              1.18403
            ],
            [
              0.2257,
              0.2467,
              0.26404,
              0.29576,
              0.35683,
              0.47822,
              0.72104,
              1.20696
            ],
            [
              0.25692,
              0.27773,
              0.29488,
              0.32648,
              0.38732,
              0.5086,
              0.75131,
              1.23675
            ],
            [
              0.29748,
              0.31799,
              0.33505,
              0.36642,
              0.4271,
              0.54811,
              0.79059,
              1.27609
            ],
            [
              0.35142,
              0.37167,
              0.38858,
              0.41975,
              0.48012,
              0.60092,
              0.84322,
              1.32882
            ],
            [
              0.42467,
              0.44477,
              0.46157,
              0.49247,
              0.55257,
              0.67297,
              0.91497,
              1.40047
            ],
            [
              0.5254,
              0.5453,
              0.562,
              0.5928,
              0.6524,
              0.7724,
              1.014,
              1.4988
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02077,
              0.03789,
              0.05084,
              0.07354,
              0.11394,
              0.19208,
              0.35359,
              0.68898
            ],
            [
              0.02076,
              0.03789,
              0.05084,
              0.07355,
              0.11394,
              0.19205,
              0.35389,
              0.68919
            ],
            [
              0.02075,
              0.03789,
              0.05081,
              0.07355,
              0.11396,
              0.19224,
              0.35396,
              0.68868
            ],
            [
              0.02074,
              0.03787,
              0.05082,
              0.07353,
              0.11395,
              0.19203,
              0.35409,
              0.68855
            ],
            [
              0.02068,
              0.03783,
              0.05082,
              0.07352,
              0.11395,
              0.19224,
              0.35397,
              0.68903
            ],
            [
              0.02062,
              0.0378,
              0.05079,
              0.07351,
              0.11391,
              0.1922,
              0.35391,
              0.68881
            ],
            [
              0.02059,
              0.03778,
              0.05075,
              0.07352,
              0.11396,
              0.19222,
              0.35387,
              0.68958
            ],
            [
              0.02075,
              0.03798,
              0.05093,
              0.07365,
              0.11409,
              0.19217,
              0.35394,
              0.68887
            ],
            [
              0.02097,
              0.03817,
              0.05115,
              0.07381,
              0.11423,
              0.19246,
              0.35411,
              0.68892
            ],
            [
              0.0214,
              0.03858,
              0.05156,
              0.07421,
              0.11455,
              0.19241,
              0.35385,
              0.68955
            ],
            [
              0.02216,
              0.03932,
              0.05223,
              0.07489,
              0.11517,
              0.19301,
              0.35365,
              0.68847
            ],
            [
              0.0234,
              0.0405,
              0.0533,
              0.0761,
              0.1163,
              0.1941,
              0.3546,
              0.6885
            ],
            [
              0.025,
              0.0422,
              0.0549,
              0.0776,
              0.1179,
              0.1956,
              0.3567,
              0.6905
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01635,
              0.04098,
              0.06258,
              0.10624,
              0.19672,
              0.38103,
              0.75262,
              1.49972
            ],
            [
              0.01636,
              0.04101,
              0.06258,
              0.10624,
              0.19652,
              0.38114,
              0.75312,
              1.49681
            ],
            [
              0.01636,
              0.04102,
              0.06254,
              0.10621,
              0.19651,
              0.38121,
              0.75264,
              1.49561
            ],
            [
              0.01636,
              0.04094,
              0.06258,
              0.10644,
              0.19692,
              0.38186,
              0.75259,
              1.49774
            ],
            [
              0.01635,
              0.04102,
              0.06258,
              0.10636,
              0.19647,
              0.3812,
              0.75264,
              1.49573
            ],
            [
              0.01637,
              0.04099,
              0.06256,
              0.10624,
              0.19651,
              0.38124,
              0.75264,
              1.49569
            ],
            [
              0.01634,
              0.041,
              0.06255,
              0.1061,
              0.19675,
              0.38215,
              0.75252,
              1.49648
            ],
            [
              0.01635,
              0.04104,
              0.0626,
              0.10647,
              0.19695,
              0.38136,
              0.7529,
              1.50018
            ],
            [
              0.01666,
              0.04122,
              0.06281,
              0.10631,
              0.19692,
              0.38166,
              0.75291,
              1.4975
            ],
            [
              0.01705,
              0.04169,
              0.06313,
              0.10651,
              0.19681,
              0.38121,
              0.75277,
              1.4956
            ],
            [
              0.01764,
              0.04227,
              0.06365,
              0.10693,
              0.19696,
              0.3814,
              0.7541,
              1.4959
            ],
            [
              0.0185,
              0.0431,
              0.0646,
              0.1076,
              0.1976,
              0.3816,
              0.7526,
              1.496
            ],
            [
              0.0197,
              0.0445,
              0.0657,
              0.1086,
              0.1981,
              0.3819,
              0.7537,
              1.4958
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.10722,
              0.13074,
              0.14781,
              0.1758,
              0.22111,
              0.29589,
              0.42844,
              0.68181
            ],
            [
              0.10915,
              0.13267,
              0.14973,
              0.17773,
              0.22304,
              0.29782,
              0.43036,
              0.6837
            ],
            [
              0.11168,
              0.1352,
              0.15226,
              0.18025,
              0.22558,
              0.30035,
              0.43286,
              0.68626
            ],
            [
              0.11571,
              0.13922,
              0.15627,
              0.18427,
              0.22959,
              0.30438,
              0.43693,
              0.6903
            ],
            [
              0.12205,
              0.14555,
              0.16261,
              0.1906,
              0.23593,
              0.31071,
              0.44319,
              0.69687
            ],
            [
              0.13194,
              0.15543,
              0.17248,
              0.20046,
              0.24581,
              0.3206,
              0.4531,
              0.70643
            ],
            [
              0.14715,
              0.17061,
              0.18762,
              0.2156,
              0.26097,
              0.33579,
              0.46832,
              0.72172
            ],
            [
              0.16905,
              0.19274,
              0.2098,
              0.23783,
              0.2833,
              0.35821,
              0.49075,
              0.7442
            ],
            [
              0.19713,
              0.22186,
              0.23944,
              0.26807,
              0.31416,
              0.38951,
              0.52232,
              0.77555
            ],
            [
              0.23386,
              0.25984,
              0.27808,
              0.30755,
              0.3549,
              0.43147,
              0.56475,
              0.81809
            ],
            [
              0.28336,
              0.31084,
              0.32994,
              0.3605,
              0.40929,
              0.48752,
              0.62202,
              0.87582
            ],
            [
              0.35137,
              0.38067,
              0.40097,
              0.43307,
              0.48397,
              0.56447,
              0.70077,
              0.95527
            ],
            [
              0.4454,
              0.4771,
              0.499,
              0.5334,
              0.5874,
              0.672,
              0.8116,
              1.0676
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.08672,
              0.11009,
              0.12879,
              0.16192,
              0.22366,
              0.34444,
              0.58564,
              1.06647
            ],
            [
              0.08819,
              0.11156,
              0.13024,
              0.16336,
              0.22518,
              0.34604,
              0.58742,
              1.06934
            ],
            [
              0.09001,
              0.11338,
              0.13207,
              0.16518,
              0.227,
              0.34793,
              0.58874,
              1.07152
            ],
            [
              0.0928,
              0.11618,
              0.13486,
              0.16795,
              0.22973,
              0.35069,
              0.59174,
              1.07328
            ],
            [
              0.09707,
              0.12044,
              0.13908,
              0.1722,
              0.23395,
              0.35486,
              0.59579,
              1.07791
            ],
            [
              0.10327,
              0.1266,
              0.14524,
              0.17827,
              0.23999,
              0.36081,
              0.6023,
              1.08382
            ],
            [
              0.11124,
              0.13457,
              0.15317,
              0.18609,
              0.24774,
              0.36847,
              0.6094,
              1.09133
            ],
            [
              0.11912,
              0.14291,
              0.16173,
              0.19484,
              0.25644,
              0.37698,
              0.61793,
              1.09906
            ],
            [
              0.12558,
              0.15004,
              0.16928,
              0.2028,
              0.26442,
              0.385,
              0.62592,
              1.10785
            ],
            [
              0.12867,
              0.15417,
              0.17406,
              0.20824,
              0.27026,
              0.39058,
              0.63089,
              1.11279
            ],
            [
              0.12516,
              0.15213,
              0.17297,
              0.20838,
              0.27131,
              0.39188,
              0.63182,
              1.11332
            ],
            [
              0.11009,
              0.13899,
              0.16105,
              0.19837,
              0.26307,
              0.38467,
              0.62557,
              1.10537
            ],
            [
              0.076,
              0.1073,
              0.1309,
              0.1707,
              0.2382,
              0.3623,
              0.6046,
              1.0867
            ]
          ]
        },
        "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.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.02379,
              0.04201,
              0.05604,
              0.08043,
              0.12262,
              0.20111,
              0.36033,
              0.692
            ],
            [
              0.02379,
              0.04202,
              0.05606,
              0.08036,
              0.1226,
              0.20094,
              0.36033,
              0.69245
            ],
            [
              0.02379,
              0.042,
              0.05607,
              0.08037,
              0.12255,
              0.20107,
              0.36045,
              0.69249
            ],
            [
              0.02379,
              0.04202,
              0.05606,
              0.08039,
              0.12263,
              0.20112,
              0.36035,
              0.69202
            ],
            [
              0.02382,
              0.04205,
              0.05607,
              0.08041,
              0.1226,
              0.2011,
              0.36052,
              0.69254
            ],
            [
              0.02387,
              0.04211,
              0.05615,
              0.08052,
              0.12262,
              0.20114,
              0.36061,
              0.69165
            ],
            [
              0.02415,
              0.04241,
              0.05649,
              0.08075,
              0.12278,
              0.20118,
              0.36065,
              0.69245
            ],
            [
              0.02619,
              0.04402,
              0.05771,
              0.08174,
              0.12347,
              0.20165,
              0.36077,
              0.69188
            ],
            [
              0.02961,
              0.04763,
              0.06117,
              0.08473,
              0.12585,
              0.2029,
              0.36134,
              0.69205
            ],
            [
              0.03384,
              0.05212,
              0.06562,
              0.08911,
              0.12998,
              0.20629,
              0.36254,
              0.69328
            ],
            [
              0.03912,
              0.05794,
              0.07147,
              0.09475,
              0.13545,
              0.21074,
              0.3657,
              0.6939
            ],
            [
              0.0461,
              0.0659,
              0.0796,
              0.1029,
              0.1433,
              0.2178,
              0.3699,
              0.6959
            ],
            [
              0.0561,
              0.0771,
              0.0913,
              0.115,
              0.1556,
              0.2292,
              0.3788,
              0.6988
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00698,
            0.01397,
            0.02794,
            0.05587,
            0.11174,
            0.22349,
            0.44699
          ],
          "values": [
            [
              0.01651,
              0.04186,
              0.06386,
              0.10723,
              0.19676,
              0.37911,
              0.74783,
              1.48792
            ],
            [
              0.01652,
              0.04186,
              0.06392,
              0.10733,
              0.19642,
              0.37878,
              0.74742,
              1.48568
            ],
            [
              0.01652,
              0.04186,
              0.06386,
              0.10729,
              0.19688,
              0.37988,
              0.74971,
              1.48569
            ],
            [
              0.01653,
              0.04185,
              0.06397,
              0.10735,
              0.19662,
              0.37967,
              0.74755,
              1.48594
            ],
            [
              0.01654,
              0.04186,
              0.06392,
              0.10729,
              0.19657,
              0.37983,
              0.74913,
              1.48574
            ],
            [
              0.01664,
              0.04202,
              0.06405,
              0.10757,
              0.19692,
              0.37996,
              0.74803,
              1.48486
            ],
            [
              0.01745,
              0.04259,
              0.06452,
              0.10776,
              0.19707,
              0.37869,
              0.74782,
              1.48843
            ],
            [
              0.01907,
              0.04411,
              0.06606,
              0.1087,
              0.19684,
              0.37975,
              0.74852,
              1.48551
            ],
            [
              0.02145,
              0.04646,
              0.06836,
              0.11078,
              0.19783,
              0.37934,
              0.74774,
              1.48638
            ],
            [
              0.02485,
              0.04977,
              0.07197,
              0.11374,
              0.19993,
              0.38021,
              0.74835,
              1.48518
            ],
            [
              0.02956,
              0.05442,
              0.07702,
              0.11873,
              0.20368,
              0.38196,
              0.74756,
              1.4844
            ],
            [
              0.03599,
              0.06099,
              0.0839,
              0.1265,
              0.2102,
              0.3867,
              0.7515,
              1.485
            ],
            [
              0.0446,
              0.0699,
              0.0936,
              0.137,
              0.2202,
              0.3941,
              0.7567,
              1.4887
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}