{
  "area": 47.952,
  "cell_footprint": "sky130_fd_sc_hs__fah",
  "cell_leakage_power": 55.03614,
  "leakage_power": [
    {
      "value": 64.88271,
      "when": "!A&!B&!CI"
    },
    {
      "value": 57.9273,
      "when": "!A&!B&CI"
    },
    {
      "value": 70.25905,
      "when": "!A&B&!CI"
    },
    {
      "value": 69.98408,
      "when": "!A&B&CI"
    },
    {
      "value": 37.15032,
      "when": "A&!B&!CI"
    },
    {
      "value": 43.33565,
      "when": "A&!B&CI"
    },
    {
      "value": 54.19185,
      "when": "A&B&!CI"
    },
    {
      "value": 42.55817,
      "when": "A&B&CI"
    }
  ],
  "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.00526,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00796,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00278,
    "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.11398,
              0.12239,
              0.133,
              0.1557,
              0.20236,
              0.2956,
              0.48131,
              0.85483
            ],
            [
              0.11373,
              0.1221,
              0.13277,
              0.15552,
              0.20202,
              0.29524,
              0.48063,
              0.85586
            ],
            [
              0.11356,
              0.12195,
              0.13263,
              0.15535,
              0.20182,
              0.29505,
              0.48092,
              0.85502
            ],
            [
              0.11348,
              0.12187,
              0.13254,
              0.15523,
              0.20177,
              0.295,
              0.48064,
              0.85408
            ],
            [
              0.11356,
              0.12195,
              0.13259,
              0.15529,
              0.20177,
              0.29487,
              0.48076,
              0.85528
            ],
            [
              0.11386,
              0.12225,
              0.1329,
              0.15565,
              0.20221,
              0.29531,
              0.48125,
              0.85496
            ],
            [
              0.11459,
              0.12298,
              0.13366,
              0.15635,
              0.20294,
              0.29612,
              0.48155,
              0.85638
            ],
            [
              0.11615,
              0.12458,
              0.13518,
              0.15805,
              0.20436,
              0.29771,
              0.48369,
              0.85767
            ],
            [
              0.1192,
              0.12764,
              0.13828,
              0.16103,
              0.20751,
              0.3009,
              0.48629,
              0.86013
            ],
            [
              0.12477,
              0.13315,
              0.14375,
              0.16648,
              0.213,
              0.30604,
              0.49172,
              0.86563
            ],
            [
              0.13353,
              0.14186,
              0.1525,
              0.17507,
              0.22133,
              0.3145,
              0.50068,
              0.87439
            ],
            [
              0.1476,
              0.15581,
              0.16637,
              0.18894,
              0.23535,
              0.32797,
              0.51444,
              0.88736
            ],
            [
              0.1694,
              0.17732,
              0.18778,
              0.21006,
              0.2565,
              0.34958,
              0.53475,
              0.90789
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.09481,
              0.1005,
              0.10856,
              0.12599,
              0.16197,
              0.23386,
              0.37746,
              0.66664
            ],
            [
              0.09451,
              0.10021,
              0.10823,
              0.12568,
              0.16165,
              0.23353,
              0.37734,
              0.66644
            ],
            [
              0.09443,
              0.10013,
              0.10818,
              0.12563,
              0.16149,
              0.23337,
              0.37726,
              0.66656
            ],
            [
              0.09425,
              0.09995,
              0.10798,
              0.12548,
              0.16136,
              0.23333,
              0.37723,
              0.66556
            ],
            [
              0.09415,
              0.09985,
              0.10788,
              0.12534,
              0.16126,
              0.23328,
              0.37704,
              0.66666
            ],
            [
              0.09425,
              0.09994,
              0.10797,
              0.12543,
              0.16121,
              0.23339,
              0.3772,
              0.66718
            ],
            [
              0.09476,
              0.10044,
              0.10848,
              0.12596,
              0.16193,
              0.2339,
              0.37777,
              0.66771
            ],
            [
              0.09607,
              0.10169,
              0.10973,
              0.12715,
              0.16315,
              0.235,
              0.37851,
              0.66868
            ],
            [
              0.09868,
              0.10428,
              0.11226,
              0.12973,
              0.16564,
              0.23754,
              0.38155,
              0.67008
            ],
            [
              0.10373,
              0.10926,
              0.11719,
              0.13462,
              0.17047,
              0.24243,
              0.38611,
              0.67538
            ],
            [
              0.11204,
              0.11748,
              0.12535,
              0.14278,
              0.17853,
              0.25067,
              0.39421,
              0.68365
            ],
            [
              0.12571,
              0.13099,
              0.13874,
              0.15605,
              0.19197,
              0.26371,
              0.40729,
              0.69713
            ],
            [
              0.14733,
              0.15239,
              0.15998,
              0.1771,
              0.21293,
              0.28493,
              0.42829,
              0.71713
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.10498,
              0.11347,
              0.12422,
              0.14709,
              0.1936,
              0.28685,
              0.47225,
              0.84616
            ],
            [
              0.10468,
              0.11323,
              0.12396,
              0.14677,
              0.19348,
              0.28666,
              0.47243,
              0.84727
            ],
            [
              0.10449,
              0.11302,
              0.12377,
              0.14661,
              0.19328,
              0.28654,
              0.47197,
              0.84629
            ],
            [
              0.10436,
              0.11286,
              0.12363,
              0.14638,
              0.19315,
              0.28623,
              0.47185,
              0.84646
            ],
            [
              0.10444,
              0.11294,
              0.1237,
              0.14643,
              0.19318,
              0.28615,
              0.47184,
              0.84673
            ],
            [
              0.10482,
              0.11331,
              0.12407,
              0.14686,
              0.19353,
              0.28659,
              0.47299,
              0.84764
            ],
            [
              0.10586,
              0.11435,
              0.12505,
              0.14782,
              0.19432,
              0.28783,
              0.47378,
              0.84844
            ],
            [
              0.10787,
              0.11634,
              0.12694,
              0.14975,
              0.19635,
              0.2895,
              0.47576,
              0.85052
            ],
            [
              0.11147,
              0.11989,
              0.13044,
              0.15311,
              0.19961,
              0.29277,
              0.4782,
              0.8531
            ],
            [
              0.11771,
              0.12594,
              0.1364,
              0.15879,
              0.20514,
              0.29847,
              0.48428,
              0.85869
            ],
            [
              0.12725,
              0.13516,
              0.14546,
              0.1677,
              0.21381,
              0.30669,
              0.49299,
              0.86584
            ],
            [
              0.14201,
              0.14961,
              0.15962,
              0.18174,
              0.22768,
              0.32002,
              0.50567,
              0.88054
            ],
            [
              0.16466,
              0.17182,
              0.1816,
              0.20319,
              0.24889,
              0.34165,
              0.52636,
              0.90044
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.07595,
              0.08151,
              0.08951,
              0.10697,
              0.14287,
              0.21458,
              0.35857,
              0.64774
            ],
            [
              0.07584,
              0.08142,
              0.08942,
              0.10684,
              0.14276,
              0.2147,
              0.35868,
              0.6476
            ],
            [
              0.0758,
              0.0814,
              0.08937,
              0.10676,
              0.14271,
              0.21449,
              0.35819,
              0.64792
            ],
            [
              0.07582,
              0.08139,
              0.08938,
              0.10685,
              0.1426,
              0.21459,
              0.35837,
              0.6481
            ],
            [
              0.0759,
              0.08147,
              0.08946,
              0.10689,
              0.14273,
              0.21466,
              0.35839,
              0.64782
            ],
            [
              0.07611,
              0.08169,
              0.08968,
              0.10712,
              0.14293,
              0.21495,
              0.35848,
              0.64805
            ],
            [
              0.07673,
              0.0823,
              0.09028,
              0.10763,
              0.14344,
              0.2155,
              0.35928,
              0.6481
            ],
            [
              0.07809,
              0.08372,
              0.09172,
              0.10909,
              0.14486,
              0.21648,
              0.36043,
              0.6491
            ],
            [
              0.08074,
              0.08637,
              0.09433,
              0.11159,
              0.14728,
              0.21888,
              0.36255,
              0.65187
            ],
            [
              0.08551,
              0.09113,
              0.09903,
              0.11619,
              0.15178,
              0.22349,
              0.3669,
              0.65623
            ],
            [
              0.09314,
              0.09871,
              0.10654,
              0.12375,
              0.15907,
              0.23043,
              0.37411,
              0.66355
            ],
            [
              0.10664,
              0.11205,
              0.11975,
              0.13686,
              0.17211,
              0.2432,
              0.38626,
              0.67615
            ],
            [
              0.12959,
              0.13468,
              0.14215,
              0.15882,
              0.19397,
              0.26493,
              0.40771,
              0.69644
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.07653,
              0.08499,
              0.09554,
              0.1181,
              0.1644,
              0.25715,
              0.44252,
              0.81707
            ],
            [
              0.07644,
              0.08501,
              0.09558,
              0.11808,
              0.16426,
              0.2569,
              0.44348,
              0.81714
            ],
            [
              0.07636,
              0.08496,
              0.09552,
              0.11796,
              0.16406,
              0.25681,
              0.44341,
              0.81779
            ],
            [
              0.07635,
              0.0849,
              0.09552,
              0.11797,
              0.16408,
              0.25674,
              0.44337,
              0.817
            ],
            [
              0.07636,
              0.08491,
              0.09539,
              0.11801,
              0.16414,
              0.25728,
              0.44257,
              0.81765
            ],
            [
              0.07648,
              0.08499,
              0.09555,
              0.11806,
              0.16431,
              0.25697,
              0.44251,
              0.81714
            ],
            [
              0.0768,
              0.08527,
              0.09581,
              0.11824,
              0.16452,
              0.25734,
              0.44319,
              0.81715
            ],
            [
              0.07783,
              0.08619,
              0.09659,
              0.11902,
              0.16512,
              0.25793,
              0.44349,
              0.81747
            ],
            [
              0.08031,
              0.08838,
              0.09857,
              0.1208,
              0.16663,
              0.2594,
              0.44517,
              0.81915
            ],
            [
              0.08471,
              0.09239,
              0.10223,
              0.12399,
              0.1697,
              0.26233,
              0.4477,
              0.8202
            ],
            [
              0.09095,
              0.09813,
              0.10768,
              0.12901,
              0.17405,
              0.26638,
              0.4524,
              0.82632
            ],
            [
              0.10028,
              0.10691,
              0.11604,
              0.13687,
              0.18168,
              0.27301,
              0.45906,
              0.83171
            ],
            [
              0.1137,
              0.11974,
              0.12847,
              0.14846,
              0.19281,
              0.28425,
              0.4682,
              0.84125
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.05958,
              0.06541,
              0.07327,
              0.09071,
              0.12647,
              0.19842,
              0.34197,
              0.63084
            ],
            [
              0.05951,
              0.06534,
              0.07321,
              0.09065,
              0.12634,
              0.19837,
              0.34207,
              0.63071
            ],
            [
              0.05944,
              0.06528,
              0.07314,
              0.09059,
              0.12634,
              0.19814,
              0.34173,
              0.63116
            ],
            [
              0.05941,
              0.06523,
              0.07308,
              0.09053,
              0.12632,
              0.19794,
              0.34176,
              0.6311
            ],
            [
              0.05938,
              0.06521,
              0.07307,
              0.09045,
              0.12617,
              0.19804,
              0.34198,
              0.62995
            ],
            [
              0.05945,
              0.06529,
              0.07313,
              0.09051,
              0.12622,
              0.19802,
              0.34161,
              0.63046
            ],
            [
              0.05985,
              0.06566,
              0.07344,
              0.09077,
              0.12637,
              0.19824,
              0.34189,
              0.63197
            ],
            [
              0.06084,
              0.06647,
              0.07416,
              0.09137,
              0.12683,
              0.19866,
              0.34223,
              0.6307
            ],
            [
              0.06261,
              0.06802,
              0.07558,
              0.09258,
              0.12792,
              0.19958,
              0.34321,
              0.63304
            ],
            [
              0.06578,
              0.07083,
              0.07818,
              0.095,
              0.13018,
              0.20157,
              0.34487,
              0.63289
            ],
            [
              0.07061,
              0.0752,
              0.08232,
              0.09885,
              0.13368,
              0.20501,
              0.34813,
              0.63648
            ],
            [
              0.07875,
              0.08272,
              0.08952,
              0.10567,
              0.14029,
              0.21101,
              0.35389,
              0.64346
            ],
            [
              0.09156,
              0.09479,
              0.1012,
              0.11683,
              0.15098,
              0.22138,
              0.36369,
              0.65205
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.23922,
    "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.23782,
              0.26105,
              0.27748,
              0.30376,
              0.34602,
              0.41704,
              0.54546,
              0.79358
            ],
            [
              0.23988,
              0.26311,
              0.27956,
              0.30582,
              0.34809,
              0.4191,
              0.54754,
              0.79579
            ],
            [
              0.24258,
              0.2658,
              0.28225,
              0.30851,
              0.35078,
              0.4218,
              0.55022,
              0.7985
            ],
            [
              0.24685,
              0.27009,
              0.28652,
              0.3128,
              0.35507,
              0.4261,
              0.55451,
              0.80258
            ],
            [
              0.25343,
              0.27666,
              0.2931,
              0.31937,
              0.36164,
              0.43266,
              0.56116,
              0.8091
            ],
            [
              0.26289,
              0.2861,
              0.30254,
              0.3288,
              0.37107,
              0.44208,
              0.57047,
              0.81877
            ],
            [
              0.27561,
              0.2988,
              0.31522,
              0.34148,
              0.38372,
              0.45472,
              0.58317,
              0.83136
            ],
            [
              0.29231,
              0.31542,
              0.33181,
              0.35804,
              0.40024,
              0.47118,
              0.59964,
              0.84766
            ],
            [
              0.3133,
              0.33627,
              0.35261,
              0.37878,
              0.42092,
              0.49183,
              0.62015,
              0.86835
            ],
            [
              0.33823,
              0.36105,
              0.37731,
              0.40344,
              0.44553,
              0.51631,
              0.64439,
              0.89259
            ],
            [
              0.36856,
              0.39125,
              0.40748,
              0.43357,
              0.47562,
              0.54632,
              0.67422,
              0.92202
            ],
            [
              0.40717,
              0.42987,
              0.44597,
              0.47207,
              0.51407,
              0.58467,
              0.71247,
              0.96007
            ],
            [
              0.4576,
              0.4803,
              0.4964,
              0.5224,
              0.5644,
              0.6351,
              0.7626,
              1.01
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.2109,
              0.23739,
              0.25693,
              0.29048,
              0.35149,
              0.46833,
              0.69988,
              1.16177
            ],
            [
              0.21289,
              0.23938,
              0.25892,
              0.29248,
              0.35348,
              0.47029,
              0.70187,
              1.16374
            ],
            [
              0.21537,
              0.24187,
              0.26141,
              0.29495,
              0.35596,
              0.47284,
              0.70425,
              1.16632
            ],
            [
              0.21907,
              0.24555,
              0.2651,
              0.29866,
              0.35956,
              0.47654,
              0.70798,
              1.17007
            ],
            [
              0.22423,
              0.25072,
              0.27026,
              0.30382,
              0.36474,
              0.48173,
              0.7131,
              1.17521
            ],
            [
              0.23073,
              0.25722,
              0.27675,
              0.3103,
              0.37127,
              0.48824,
              0.71963,
              1.18172
            ],
            [
              0.23852,
              0.26499,
              0.28452,
              0.31808,
              0.379,
              0.49605,
              0.72745,
              1.18943
            ],
            [
              0.24764,
              0.27409,
              0.29361,
              0.32717,
              0.38816,
              0.50512,
              0.73657,
              1.19866
            ],
            [
              0.2579,
              0.28427,
              0.30373,
              0.33727,
              0.39826,
              0.51518,
              0.74682,
              1.20865
            ],
            [
              0.26859,
              0.29485,
              0.3143,
              0.34779,
              0.40876,
              0.52576,
              0.75729,
              1.21929
            ],
            [
              0.2785,
              0.30461,
              0.32399,
              0.35741,
              0.41834,
              0.53552,
              0.76672,
              1.22882
            ],
            [
              0.28557,
              0.31157,
              0.33087,
              0.36417,
              0.42507,
              0.54207,
              0.77367,
              1.23557
            ],
            [
              0.2874,
              0.3132,
              0.3325,
              0.3657,
              0.4264,
              0.5435,
              0.7748,
              1.2369
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.02325,
              0.04006,
              0.05293,
              0.07524,
              0.1156,
              0.19327,
              0.35222,
              0.68027
            ],
            [
              0.02324,
              0.04007,
              0.05292,
              0.07529,
              0.11552,
              0.19332,
              0.35229,
              0.68138
            ],
            [
              0.02324,
              0.04007,
              0.05292,
              0.07528,
              0.11553,
              0.19332,
              0.35231,
              0.68137
            ],
            [
              0.02325,
              0.04009,
              0.05293,
              0.07524,
              0.1156,
              0.19324,
              0.35221,
              0.68044
            ],
            [
              0.02324,
              0.0401,
              0.05291,
              0.07527,
              0.11559,
              0.19331,
              0.35181,
              0.68061
            ],
            [
              0.0232,
              0.04006,
              0.05289,
              0.07527,
              0.1155,
              0.1933,
              0.3523,
              0.68109
            ],
            [
              0.02308,
              0.03996,
              0.05281,
              0.07513,
              0.11551,
              0.19321,
              0.35207,
              0.68108
            ],
            [
              0.02281,
              0.03976,
              0.0526,
              0.07498,
              0.11536,
              0.19309,
              0.35176,
              0.68095
            ],
            [
              0.02245,
              0.03947,
              0.05234,
              0.07475,
              0.11511,
              0.19285,
              0.35203,
              0.68135
            ],
            [
              0.02221,
              0.03918,
              0.05209,
              0.07452,
              0.11488,
              0.19252,
              0.35182,
              0.68091
            ],
            [
              0.02213,
              0.03899,
              0.0519,
              0.07426,
              0.11463,
              0.1921,
              0.3514,
              0.681
            ],
            [
              0.0222,
              0.0388,
              0.0517,
              0.0742,
              0.1146,
              0.192,
              0.3501,
              0.679
            ],
            [
              0.0223,
              0.0389,
              0.0517,
              0.0742,
              0.1146,
              0.1919,
              0.3505,
              0.6785
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.02259,
              0.04921,
              0.07112,
              0.11395,
              0.20199,
              0.3835,
              0.75193,
              1.49402
            ],
            [
              0.02259,
              0.04921,
              0.07112,
              0.11395,
              0.20205,
              0.38352,
              0.75231,
              1.49691
            ],
            [
              0.02259,
              0.0492,
              0.07111,
              0.11394,
              0.20211,
              0.38338,
              0.7519,
              1.49212
            ],
            [
              0.02259,
              0.04921,
              0.0711,
              0.11398,
              0.20208,
              0.38336,
              0.75277,
              1.49361
            ],
            [
              0.02258,
              0.04918,
              0.07107,
              0.11395,
              0.20211,
              0.38374,
              0.75243,
              1.49453
            ],
            [
              0.02255,
              0.04915,
              0.07107,
              0.1139,
              0.20212,
              0.38327,
              0.75203,
              1.49363
            ],
            [
              0.02244,
              0.04907,
              0.07102,
              0.1139,
              0.20195,
              0.38373,
              0.75214,
              1.49278
            ],
            [
              0.0223,
              0.0489,
              0.07081,
              0.11381,
              0.20198,
              0.38354,
              0.75264,
              1.49421
            ],
            [
              0.02206,
              0.04865,
              0.07066,
              0.11362,
              0.20189,
              0.38348,
              0.75191,
              1.49311
            ],
            [
              0.02178,
              0.04842,
              0.07045,
              0.11348,
              0.20181,
              0.38339,
              0.75262,
              1.4946
            ],
            [
              0.02148,
              0.04809,
              0.07009,
              0.11324,
              0.20172,
              0.3835,
              0.7534,
              1.4928
            ],
            [
              0.0213,
              0.0478,
              0.0698,
              0.113,
              0.2015,
              0.3835,
              0.7524,
              1.4927
            ],
            [
              0.0211,
              0.0476,
              0.0696,
              0.1127,
              0.2014,
              0.3838,
              0.7523,
              1.493
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.23894,
              0.26388,
              0.28157,
              0.30982,
              0.35496,
              0.42951,
              0.56107,
              0.81091
            ],
            [
              0.24101,
              0.26595,
              0.28364,
              0.31189,
              0.35703,
              0.43157,
              0.56318,
              0.81263
            ],
            [
              0.2437,
              0.26863,
              0.28632,
              0.31458,
              0.35973,
              0.43426,
              0.56589,
              0.81539
            ],
            [
              0.24796,
              0.27291,
              0.29059,
              0.31885,
              0.364,
              0.43852,
              0.57015,
              0.81968
            ],
            [
              0.25453,
              0.27945,
              0.29715,
              0.32541,
              0.37054,
              0.44507,
              0.57673,
              0.82626
            ],
            [
              0.26396,
              0.28888,
              0.30657,
              0.33482,
              0.37995,
              0.45448,
              0.58611,
              0.83579
            ],
            [
              0.27671,
              0.3016,
              0.31927,
              0.3475,
              0.39262,
              0.46714,
              0.59868,
              0.84838
            ],
            [
              0.29357,
              0.31837,
              0.33601,
              0.36421,
              0.40929,
              0.48376,
              0.6153,
              0.86486
            ],
            [
              0.3152,
              0.33983,
              0.35739,
              0.38552,
              0.43053,
              0.50495,
              0.63645,
              0.88625
            ],
            [
              0.34106,
              0.3655,
              0.38298,
              0.41101,
              0.45589,
              0.53014,
              0.66159,
              0.91109
            ],
            [
              0.37251,
              0.39679,
              0.41419,
              0.44216,
              0.48692,
              0.56102,
              0.69212,
              0.94142
            ],
            [
              0.41237,
              0.43647,
              0.45387,
              0.48177,
              0.52647,
              0.60047,
              0.73137,
              0.98047
            ],
            [
              0.4639,
              0.4881,
              0.5054,
              0.5333,
              0.578,
              0.6519,
              0.7824,
              1.0315
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.19814,
              0.22422,
              0.24322,
              0.27596,
              0.33611,
              0.4528,
              0.68405,
              1.14607
            ],
            [
              0.20014,
              0.22622,
              0.24522,
              0.27796,
              0.33811,
              0.45474,
              0.68608,
              1.14804
            ],
            [
              0.20263,
              0.22872,
              0.24771,
              0.28046,
              0.34062,
              0.4572,
              0.68845,
              1.15052
            ],
            [
              0.20636,
              0.23244,
              0.25144,
              0.28418,
              0.34434,
              0.46102,
              0.69224,
              1.15428
            ],
            [
              0.2116,
              0.23768,
              0.25667,
              0.2894,
              0.34955,
              0.46625,
              0.69754,
              1.15951
            ],
            [
              0.21829,
              0.24435,
              0.26334,
              0.29609,
              0.35626,
              0.47275,
              0.70411,
              1.16622
            ],
            [
              0.2264,
              0.25241,
              0.27139,
              0.30414,
              0.36432,
              0.48101,
              0.71216,
              1.17423
            ],
            [
              0.23588,
              0.26182,
              0.28079,
              0.31353,
              0.37371,
              0.49034,
              0.72172,
              1.18366
            ],
            [
              0.24644,
              0.27223,
              0.29113,
              0.32384,
              0.38405,
              0.50058,
              0.73207,
              1.19415
            ],
            [
              0.25726,
              0.28289,
              0.30174,
              0.33441,
              0.39458,
              0.51133,
              0.74249,
              1.20469
            ],
            [
              0.26709,
              0.29251,
              0.31126,
              0.34382,
              0.40394,
              0.52062,
              0.75172,
              1.21412
            ],
            [
              0.27387,
              0.29917,
              0.31777,
              0.35027,
              0.41017,
              0.52677,
              0.75827,
              1.22007
            ],
            [
              0.2751,
              0.3003,
              0.3188,
              0.3512,
              0.411,
              0.5275,
              0.759,
              1.2207
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.02629,
              0.04432,
              0.05795,
              0.08154,
              0.12324,
              0.20155,
              0.3591,
              0.6851
            ],
            [
              0.0263,
              0.04434,
              0.05796,
              0.0815,
              0.12331,
              0.20144,
              0.359,
              0.68496
            ],
            [
              0.0263,
              0.04434,
              0.05797,
              0.08148,
              0.12329,
              0.20149,
              0.35891,
              0.68504
            ],
            [
              0.0263,
              0.04434,
              0.05797,
              0.08148,
              0.12329,
              0.20151,
              0.35889,
              0.68513
            ],
            [
              0.0263,
              0.04435,
              0.05797,
              0.08148,
              0.12325,
              0.2016,
              0.3586,
              0.68522
            ],
            [
              0.02628,
              0.0443,
              0.05795,
              0.0815,
              0.12315,
              0.20162,
              0.35907,
              0.68535
            ],
            [
              0.02617,
              0.04424,
              0.05787,
              0.08146,
              0.12316,
              0.20151,
              0.35908,
              0.68432
            ],
            [
              0.02592,
              0.04406,
              0.05771,
              0.08126,
              0.1231,
              0.20146,
              0.35899,
              0.68472
            ],
            [
              0.02557,
              0.04371,
              0.0574,
              0.08098,
              0.12287,
              0.20108,
              0.35876,
              0.68478
            ],
            [
              0.02525,
              0.04337,
              0.05705,
              0.08068,
              0.12251,
              0.2008,
              0.3584,
              0.68521
            ],
            [
              0.02509,
              0.04318,
              0.05686,
              0.08049,
              0.12215,
              0.2003,
              0.358,
              0.6845
            ],
            [
              0.0252,
              0.0431,
              0.0567,
              0.0803,
              0.1218,
              0.1998,
              0.357,
              0.6836
            ],
            [
              0.0254,
              0.0431,
              0.0567,
              0.0803,
              0.122,
              0.1996,
              0.357,
              0.6821
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.02223,
              0.04814,
              0.06952,
              0.11202,
              0.20045,
              0.3826,
              0.75175,
              1.49222
            ],
            [
              0.02222,
              0.04817,
              0.06956,
              0.112,
              0.20039,
              0.38245,
              0.75251,
              1.49335
            ],
            [
              0.02223,
              0.04814,
              0.06948,
              0.11201,
              0.20031,
              0.38238,
              0.75191,
              1.49446
            ],
            [
              0.02222,
              0.04811,
              0.06949,
              0.11202,
              0.20042,
              0.38264,
              0.75184,
              1.49512
            ],
            [
              0.02219,
              0.04814,
              0.06953,
              0.11195,
              0.20043,
              0.38246,
              0.75172,
              1.4926
            ],
            [
              0.02212,
              0.04803,
              0.06945,
              0.11198,
              0.20027,
              0.38254,
              0.75185,
              1.49328
            ],
            [
              0.02197,
              0.04791,
              0.0693,
              0.11185,
              0.20031,
              0.38264,
              0.75287,
              1.49273
            ],
            [
              0.02175,
              0.04769,
              0.06913,
              0.11171,
              0.20019,
              0.38266,
              0.75187,
              1.492
            ],
            [
              0.02144,
              0.04734,
              0.06881,
              0.11153,
              0.20007,
              0.38235,
              0.75185,
              1.49206
            ],
            [
              0.0211,
              0.04696,
              0.06846,
              0.11138,
              0.20007,
              0.38266,
              0.7514,
              1.49254
            ],
            [
              0.02073,
              0.04655,
              0.06809,
              0.11118,
              0.19981,
              0.38249,
              0.7523,
              1.4942
            ],
            [
              0.0205,
              0.0462,
              0.0677,
              0.1107,
              0.1996,
              0.3823,
              0.7521,
              1.4925
            ],
            [
              0.0204,
              0.0461,
              0.0676,
              0.1105,
              0.1993,
              0.3822,
              0.7523,
              1.4924
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.21313,
              0.23637,
              0.25281,
              0.27908,
              0.32134,
              0.39234,
              0.5208,
              0.76905
            ],
            [
              0.21472,
              0.23797,
              0.25442,
              0.2807,
              0.32296,
              0.39398,
              0.52242,
              0.77038
            ],
            [
              0.21694,
              0.2402,
              0.25665,
              0.28293,
              0.3252,
              0.39621,
              0.52467,
              0.77293
            ],
            [
              0.22065,
              0.24394,
              0.26038,
              0.28668,
              0.32897,
              0.39998,
              0.52846,
              0.77641
            ],
            [
              0.22672,
              0.25001,
              0.26648,
              0.29278,
              0.33507,
              0.40609,
              0.53458,
              0.78256
            ],
            [
              0.23617,
              0.25948,
              0.27595,
              0.30227,
              0.34457,
              0.41562,
              0.54397,
              0.79231
            ],
            [
              0.25007,
              0.27338,
              0.28986,
              0.31619,
              0.35849,
              0.42953,
              0.55804,
              0.806
            ],
            [
              0.26967,
              0.29297,
              0.30944,
              0.33575,
              0.37804,
              0.4491,
              0.57745,
              0.82579
            ],
            [
              0.29629,
              0.3195,
              0.33594,
              0.36222,
              0.40449,
              0.47552,
              0.60392,
              0.85225
            ],
            [
              0.33051,
              0.35422,
              0.37101,
              0.39775,
              0.4404,
              0.5116,
              0.63999,
              0.88829
            ],
            [
              0.37307,
              0.39744,
              0.41478,
              0.44242,
              0.48642,
              0.55922,
              0.68852,
              0.93692
            ],
            [
              0.42817,
              0.45337,
              0.47127,
              0.49997,
              0.54547,
              0.62007,
              0.75117,
              1.00027
            ],
            [
              0.5025,
              0.5285,
              0.5472,
              0.5771,
              0.6244,
              0.7011,
              0.8339,
              1.0842
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.16389,
              0.19049,
              0.21002,
              0.24353,
              0.30441,
              0.42148,
              0.65281,
              1.11497
            ],
            [
              0.16606,
              0.19266,
              0.2122,
              0.24571,
              0.3066,
              0.4236,
              0.655,
              1.11714
            ],
            [
              0.16864,
              0.19525,
              0.21479,
              0.24829,
              0.3092,
              0.42622,
              0.65772,
              1.11952
            ],
            [
              0.17247,
              0.19909,
              0.21863,
              0.25215,
              0.313,
              0.43006,
              0.66153,
              1.12348
            ],
            [
              0.17807,
              0.20472,
              0.22426,
              0.25776,
              0.31862,
              0.43565,
              0.66714,
              1.12891
            ],
            [
              0.18614,
              0.21282,
              0.23237,
              0.26585,
              0.32667,
              0.44369,
              0.67517,
              1.13702
            ],
            [
              0.1977,
              0.22442,
              0.24397,
              0.27742,
              0.33821,
              0.45516,
              0.68662,
              1.14833
            ],
            [
              0.21475,
              0.24149,
              0.26102,
              0.29439,
              0.35508,
              0.47185,
              0.70322,
              1.16516
            ],
            [
              0.23372,
              0.26038,
              0.27981,
              0.31304,
              0.3735,
              0.48989,
              0.72106,
              1.18295
            ],
            [
              0.25165,
              0.2784,
              0.29786,
              0.33105,
              0.3913,
              0.50749,
              0.73829,
              1.20029
            ],
            [
              0.269,
              0.29583,
              0.31531,
              0.34841,
              0.40847,
              0.52432,
              0.75492,
              1.21642
            ],
            [
              0.28507,
              0.31197,
              0.33147,
              0.36447,
              0.42427,
              0.53967,
              0.76997,
              1.23107
            ],
            [
              0.298,
              0.3249,
              0.3444,
              0.3772,
              0.4367,
              0.5515,
              0.7812,
              1.2421
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.02306,
              0.04,
              0.05282,
              0.07521,
              0.11548,
              0.19327,
              0.35209,
              0.68119
            ],
            [
              0.02311,
              0.04001,
              0.05286,
              0.07518,
              0.11556,
              0.1932,
              0.35206,
              0.68066
            ],
            [
              0.02314,
              0.04005,
              0.05287,
              0.07526,
              0.11553,
              0.1933,
              0.35219,
              0.68097
            ],
            [
              0.02318,
              0.04009,
              0.05291,
              0.07527,
              0.11558,
              0.19332,
              0.35182,
              0.68067
            ],
            [
              0.02326,
              0.04013,
              0.05296,
              0.07532,
              0.11557,
              0.19335,
              0.35211,
              0.68097
            ],
            [
              0.02335,
              0.04021,
              0.05302,
              0.07533,
              0.11568,
              0.1933,
              0.35233,
              0.68106
            ],
            [
              0.02338,
              0.04023,
              0.05305,
              0.07535,
              0.11568,
              0.19337,
              0.35209,
              0.68065
            ],
            [
              0.02334,
              0.04018,
              0.053,
              0.0753,
              0.11567,
              0.19329,
              0.35232,
              0.68102
            ],
            [
              0.02329,
              0.04007,
              0.05293,
              0.0753,
              0.11557,
              0.19331,
              0.35233,
              0.68096
            ],
            [
              0.02468,
              0.04165,
              0.05449,
              0.07673,
              0.1166,
              0.19382,
              0.35253,
              0.68097
            ],
            [
              0.02647,
              0.04387,
              0.057,
              0.07974,
              0.12014,
              0.197,
              0.354,
              0.6816
            ],
            [
              0.0289,
              0.0467,
              0.0602,
              0.0833,
              0.1243,
              0.2014,
              0.3575,
              0.6829
            ],
            [
              0.0321,
              0.0507,
              0.0644,
              0.088,
              0.1296,
              0.2065,
              0.3619,
              0.6844
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.02284,
              0.0495,
              0.07136,
              0.11411,
              0.20205,
              0.38337,
              0.75318,
              1.49392
            ],
            [
              0.02286,
              0.04953,
              0.07136,
              0.11412,
              0.20213,
              0.38379,
              0.75189,
              1.49368
            ],
            [
              0.02288,
              0.04955,
              0.07146,
              0.11414,
              0.20211,
              0.38348,
              0.75227,
              1.49435
            ],
            [
              0.02295,
              0.04959,
              0.07145,
              0.11419,
              0.2021,
              0.38371,
              0.7523,
              1.49256
            ],
            [
              0.02303,
              0.04969,
              0.07152,
              0.11425,
              0.20239,
              0.38385,
              0.75225,
              1.49283
            ],
            [
              0.02315,
              0.04983,
              0.0716,
              0.11433,
              0.20218,
              0.38393,
              0.75213,
              1.49371
            ],
            [
              0.02334,
              0.04999,
              0.07183,
              0.11443,
              0.20233,
              0.3837,
              0.75229,
              1.49286
            ],
            [
              0.02358,
              0.05023,
              0.07197,
              0.11462,
              0.20246,
              0.3834,
              0.75221,
              1.49331
            ],
            [
              0.02387,
              0.05042,
              0.07215,
              0.11474,
              0.20246,
              0.38366,
              0.75247,
              1.49344
            ],
            [
              0.02431,
              0.05094,
              0.07266,
              0.11523,
              0.20258,
              0.3835,
              0.75291,
              1.49335
            ],
            [
              0.02476,
              0.05148,
              0.07324,
              0.11559,
              0.20315,
              0.38462,
              0.7524,
              1.493
            ],
            [
              0.0253,
              0.052,
              0.0737,
              0.1159,
              0.2033,
              0.3846,
              0.7532,
              1.4925
            ],
            [
              0.0259,
              0.0527,
              0.0744,
              0.1164,
              0.2036,
              0.3848,
              0.7524,
              1.4946
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.19374,
              0.2179,
              0.23519,
              0.26311,
              0.30807,
              0.3824,
              0.51382,
              0.7632
            ],
            [
              0.19561,
              0.21979,
              0.23708,
              0.26502,
              0.30997,
              0.38432,
              0.51572,
              0.76495
            ],
            [
              0.19808,
              0.22227,
              0.23957,
              0.26751,
              0.31247,
              0.38682,
              0.51822,
              0.76748
            ],
            [
              0.202,
              0.2262,
              0.2435,
              0.27144,
              0.3164,
              0.39076,
              0.52221,
              0.77163
            ],
            [
              0.20811,
              0.23232,
              0.24963,
              0.27757,
              0.32254,
              0.39691,
              0.52835,
              0.77758
            ],
            [
              0.21733,
              0.24153,
              0.25884,
              0.28678,
              0.33175,
              0.40614,
              0.53759,
              0.7872
            ],
            [
              0.23079,
              0.25494,
              0.27221,
              0.30014,
              0.34513,
              0.41953,
              0.55095,
              0.80022
            ],
            [
              0.24965,
              0.27373,
              0.29094,
              0.3188,
              0.36374,
              0.43815,
              0.56956,
              0.81917
            ],
            [
              0.27391,
              0.29779,
              0.31486,
              0.34257,
              0.38742,
              0.46174,
              0.59312,
              0.84245
            ],
            [
              0.30302,
              0.32677,
              0.3437,
              0.37125,
              0.4159,
              0.49002,
              0.62124,
              0.87029
            ],
            [
              0.33814,
              0.36178,
              0.37856,
              0.4059,
              0.45042,
              0.52452,
              0.65532,
              0.90442
            ],
            [
              0.38217,
              0.40577,
              0.42247,
              0.44957,
              0.49397,
              0.56787,
              0.69857,
              0.94727
            ],
            [
              0.4389,
              0.4625,
              0.479,
              0.506,
              0.5502,
              0.624,
              0.7544,
              1.0035
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.16093,
              0.18683,
              0.2058,
              0.23855,
              0.29875,
              0.41538,
              0.6468,
              1.10867
            ],
            [
              0.16315,
              0.18906,
              0.20803,
              0.24079,
              0.30099,
              0.41775,
              0.64893,
              1.11104
            ],
            [
              0.16584,
              0.19176,
              0.21072,
              0.24347,
              0.30366,
              0.42025,
              0.6517,
              1.11362
            ],
            [
              0.16989,
              0.19581,
              0.21479,
              0.24754,
              0.30776,
              0.42449,
              0.65573,
              1.11778
            ],
            [
              0.17593,
              0.20186,
              0.22083,
              0.25359,
              0.31379,
              0.43051,
              0.66177,
              1.12381
            ],
            [
              0.18467,
              0.2106,
              0.22957,
              0.26232,
              0.3225,
              0.43922,
              0.67042,
              1.13252
            ],
            [
              0.1976,
              0.22354,
              0.24251,
              0.27526,
              0.33545,
              0.45217,
              0.68334,
              1.14543
            ],
            [
              0.21625,
              0.2422,
              0.26114,
              0.29385,
              0.35401,
              0.47052,
              0.70183,
              1.16396
            ],
            [
              0.2363,
              0.26232,
              0.28125,
              0.3139,
              0.37394,
              0.49052,
              0.72171,
              1.18385
            ],
            [
              0.25598,
              0.28254,
              0.302,
              0.33526,
              0.39572,
              0.51234,
              0.74359,
              1.20539
            ],
            [
              0.27716,
              0.30446,
              0.32461,
              0.35875,
              0.41997,
              0.53692,
              0.76822,
              1.23012
            ],
            [
              0.30157,
              0.32987,
              0.35097,
              0.38647,
              0.44887,
              0.56637,
              0.79807,
              1.25987
            ],
            [
              0.3321,
              0.3615,
              0.3838,
              0.4211,
              0.4853,
              0.6042,
              0.8368,
              1.2991
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.02551,
              0.04362,
              0.05736,
              0.08104,
              0.12277,
              0.20097,
              0.35813,
              0.68441
            ],
            [
              0.02553,
              0.04362,
              0.05737,
              0.081,
              0.12272,
              0.20077,
              0.3584,
              0.68475
            ],
            [
              0.02553,
              0.04365,
              0.0574,
              0.08099,
              0.12272,
              0.20076,
              0.35845,
              0.68472
            ],
            [
              0.0256,
              0.04371,
              0.05745,
              0.0811,
              0.12279,
              0.20102,
              0.35805,
              0.6849
            ],
            [
              0.02567,
              0.04375,
              0.0575,
              0.08114,
              0.12275,
              0.20104,
              0.35822,
              0.68456
            ],
            [
              0.02573,
              0.04384,
              0.05759,
              0.08122,
              0.12291,
              0.20106,
              0.35828,
              0.6851
            ],
            [
              0.0259,
              0.04397,
              0.05772,
              0.08135,
              0.12301,
              0.20095,
              0.35844,
              0.68466
            ],
            [
              0.02615,
              0.04417,
              0.0579,
              0.08146,
              0.12304,
              0.20111,
              0.35848,
              0.68514
            ],
            [
              0.02615,
              0.04412,
              0.05785,
              0.08152,
              0.12314,
              0.20115,
              0.35831,
              0.68415
            ],
            [
              0.02651,
              0.04428,
              0.05796,
              0.08157,
              0.12305,
              0.20089,
              0.35774,
              0.68446
            ],
            [
              0.02691,
              0.0445,
              0.05815,
              0.08183,
              0.12337,
              0.20058,
              0.3574,
              0.6846
            ],
            [
              0.0275,
              0.0449,
              0.0585,
              0.082,
              0.1234,
              0.201,
              0.3572,
              0.6835
            ],
            [
              0.0283,
              0.0457,
              0.0592,
              0.0825,
              0.1239,
              0.2012,
              0.3574,
              0.6821
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.02167,
              0.04759,
              0.06901,
              0.11164,
              0.20015,
              0.38248,
              0.75202,
              1.49195
            ],
            [
              0.02168,
              0.04761,
              0.06904,
              0.11164,
              0.20017,
              0.38247,
              0.75185,
              1.49255
            ],
            [
              0.02169,
              0.04763,
              0.06906,
              0.11167,
              0.20017,
              0.38239,
              0.75195,
              1.49228
            ],
            [
              0.02171,
              0.04764,
              0.06904,
              0.11166,
              0.20018,
              0.38257,
              0.75273,
              1.49342
            ],
            [
              0.02173,
              0.04766,
              0.06903,
              0.11167,
              0.20017,
              0.38259,
              0.75273,
              1.49482
            ],
            [
              0.02173,
              0.04767,
              0.06911,
              0.11171,
              0.2002,
              0.38311,
              0.75172,
              1.49167
            ],
            [
              0.02175,
              0.04768,
              0.06907,
              0.11168,
              0.20022,
              0.38258,
              0.75281,
              1.49308
            ],
            [
              0.02182,
              0.04773,
              0.06913,
              0.11174,
              0.20024,
              0.38257,
              0.75291,
              1.49353
            ],
            [
              0.02221,
              0.04811,
              0.06941,
              0.11192,
              0.20049,
              0.38257,
              0.75259,
              1.4958
            ],
            [
              0.02301,
              0.04953,
              0.07121,
              0.11372,
              0.20153,
              0.38344,
              0.75162,
              1.4923
            ],
            [
              0.02399,
              0.0515,
              0.07359,
              0.11622,
              0.20336,
              0.38366,
              0.7519,
              1.4931
            ],
            [
              0.0257,
              0.0543,
              0.0773,
              0.1201,
              0.2065,
              0.3856,
              0.7528,
              1.4927
            ],
            [
              0.0283,
              0.0582,
              0.0827,
              0.1261,
              0.2124,
              0.3899,
              0.755,
              1.4936
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.1339,
              0.16297,
              0.1834,
              0.21485,
              0.26306,
              0.33977,
              0.47238,
              0.72231
            ],
            [
              0.13597,
              0.16507,
              0.1855,
              0.21695,
              0.26515,
              0.34188,
              0.47456,
              0.72441
            ],
            [
              0.13856,
              0.16765,
              0.18809,
              0.21954,
              0.26775,
              0.34447,
              0.47715,
              0.72692
            ],
            [
              0.14264,
              0.17172,
              0.19215,
              0.2236,
              0.27181,
              0.34852,
              0.4812,
              0.73101
            ],
            [
              0.14896,
              0.17804,
              0.19846,
              0.22991,
              0.27813,
              0.35485,
              0.48751,
              0.73745
            ],
            [
              0.15881,
              0.18787,
              0.20827,
              0.23971,
              0.28793,
              0.36468,
              0.49736,
              0.74703
            ],
            [
              0.17383,
              0.20286,
              0.22323,
              0.25466,
              0.30291,
              0.37967,
              0.51237,
              0.76228
            ],
            [
              0.19584,
              0.22491,
              0.2453,
              0.27676,
              0.32507,
              0.40192,
              0.53464,
              0.78457
            ],
            [
              0.22389,
              0.25405,
              0.27499,
              0.307,
              0.35573,
              0.43285,
              0.56567,
              0.81575
            ],
            [
              0.25704,
              0.28872,
              0.31078,
              0.34433,
              0.39475,
              0.47299,
              0.60626,
              0.85639
            ],
            [
              0.29665,
              0.33014,
              0.35353,
              0.38895,
              0.44162,
              0.52232,
              0.65722,
              0.90772
            ],
            [
              0.34517,
              0.38067,
              0.40567,
              0.44337,
              0.49887,
              0.58247,
              0.71987,
              0.97157
            ],
            [
              0.4066,
              0.4443,
              0.471,
              0.5115,
              0.5706,
              0.6579,
              0.7985,
              1.0521
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.10523,
              0.13094,
              0.15028,
              0.18377,
              0.24466,
              0.36166,
              0.59332,
              1.05537
            ],
            [
              0.10737,
              0.13308,
              0.15242,
              0.1859,
              0.24681,
              0.36383,
              0.59536,
              1.05754
            ],
            [
              0.10994,
              0.13563,
              0.15497,
              0.18846,
              0.24936,
              0.36634,
              0.59786,
              1.06012
            ],
            [
              0.11379,
              0.1395,
              0.15882,
              0.19231,
              0.25321,
              0.37018,
              0.60171,
              1.06398
            ],
            [
              0.1197,
              0.1454,
              0.16472,
              0.19819,
              0.25908,
              0.37608,
              0.60776,
              1.06961
            ],
            [
              0.12852,
              0.1542,
              0.1735,
              0.20693,
              0.2678,
              0.38485,
              0.61623,
              1.07862
            ],
            [
              0.14126,
              0.16688,
              0.18613,
              0.21948,
              0.28031,
              0.39731,
              0.62894,
              1.09113
            ],
            [
              0.15761,
              0.18355,
              0.20288,
              0.23623,
              0.29697,
              0.41384,
              0.64539,
              1.10776
            ],
            [
              0.17617,
              0.20306,
              0.223,
              0.25691,
              0.31788,
              0.43471,
              0.66626,
              1.12835
            ],
            [
              0.19649,
              0.22465,
              0.24547,
              0.28031,
              0.34199,
              0.45912,
              0.69039,
              1.15259
            ],
            [
              0.21777,
              0.24754,
              0.26959,
              0.30586,
              0.36859,
              0.48602,
              0.71742,
              1.17972
            ],
            [
              0.23827,
              0.26997,
              0.29377,
              0.33217,
              0.39667,
              0.51517,
              0.74697,
              1.20837
            ],
            [
              0.2554,
              0.2894,
              0.3151,
              0.3566,
              0.4242,
              0.5448,
              0.7776,
              1.2401
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.03017,
              0.0516,
              0.06616,
              0.08981,
              0.13026,
              0.20636,
              0.36134,
              0.68509
            ],
            [
              0.03018,
              0.05161,
              0.06616,
              0.08979,
              0.13039,
              0.20629,
              0.36118,
              0.68545
            ],
            [
              0.03017,
              0.0516,
              0.06617,
              0.08979,
              0.13039,
              0.20632,
              0.36112,
              0.68555
            ],
            [
              0.03018,
              0.05162,
              0.06617,
              0.08979,
              0.13039,
              0.20634,
              0.36108,
              0.68534
            ],
            [
              0.0302,
              0.05162,
              0.06619,
              0.08982,
              0.13033,
              0.20638,
              0.36116,
              0.68472
            ],
            [
              0.03024,
              0.05167,
              0.06622,
              0.08981,
              0.13041,
              0.20622,
              0.36132,
              0.68612
            ],
            [
              0.03037,
              0.0518,
              0.06634,
              0.08992,
              0.13046,
              0.20639,
              0.36099,
              0.68489
            ],
            [
              0.03121,
              0.05254,
              0.06701,
              0.09044,
              0.13079,
              0.2064,
              0.36151,
              0.68642
            ],
            [
              0.03458,
              0.05604,
              0.07015,
              0.09287,
              0.13244,
              0.2073,
              0.36189,
              0.68667
            ],
            [
              0.03901,
              0.06132,
              0.07586,
              0.09861,
              0.13713,
              0.21038,
              0.36322,
              0.68529
            ],
            [
              0.04462,
              0.06791,
              0.08296,
              0.10601,
              0.14428,
              0.21644,
              0.3669,
              0.6865
            ],
            [
              0.0514,
              0.0759,
              0.0916,
              0.1153,
              0.1533,
              0.2241,
              0.3723,
              0.6899
            ],
            [
              0.0595,
              0.0856,
              0.1024,
              0.1269,
              0.1648,
              0.2345,
              0.3801,
              0.6934
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.01941,
              0.0461,
              0.06843,
              0.11195,
              0.20078,
              0.38293,
              0.75236,
              1.493
            ],
            [
              0.01941,
              0.04609,
              0.06844,
              0.11196,
              0.20076,
              0.38288,
              0.75289,
              1.49348
            ],
            [
              0.01943,
              0.0461,
              0.06845,
              0.11198,
              0.20083,
              0.38313,
              0.75221,
              1.49347
            ],
            [
              0.01942,
              0.04611,
              0.06846,
              0.11198,
              0.20083,
              0.38313,
              0.75222,
              1.49357
            ],
            [
              0.0194,
              0.04607,
              0.06845,
              0.11196,
              0.20077,
              0.38297,
              0.75246,
              1.49303
            ],
            [
              0.01943,
              0.0461,
              0.06846,
              0.112,
              0.20086,
              0.38303,
              0.75194,
              1.49407
            ],
            [
              0.01952,
              0.04619,
              0.06855,
              0.11209,
              0.20082,
              0.38299,
              0.75234,
              1.49365
            ],
            [
              0.02044,
              0.04713,
              0.06933,
              0.11254,
              0.20106,
              0.38318,
              0.75219,
              1.49266
            ],
            [
              0.02209,
              0.0495,
              0.07179,
              0.11447,
              0.20208,
              0.38341,
              0.7523,
              1.49355
            ],
            [
              0.02458,
              0.05279,
              0.07531,
              0.11769,
              0.20429,
              0.38417,
              0.75313,
              1.49288
            ],
            [
              0.02803,
              0.05727,
              0.08034,
              0.12246,
              0.20766,
              0.38589,
              0.75293,
              1.4935
            ],
            [
              0.0329,
              0.0632,
              0.0873,
              0.1297,
              0.2133,
              0.3892,
              0.755,
              1.494
            ],
            [
              0.0395,
              0.0709,
              0.0965,
              0.14,
              0.2225,
              0.3955,
              0.7579,
              1.4947
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.1337,
              0.16276,
              0.1832,
              0.21467,
              0.26288,
              0.33957,
              0.47209,
              0.722
            ],
            [
              0.13577,
              0.16485,
              0.1853,
              0.21677,
              0.26498,
              0.34167,
              0.47428,
              0.72399
            ],
            [
              0.13836,
              0.16744,
              0.18789,
              0.21936,
              0.26757,
              0.34427,
              0.47688,
              0.7266
            ],
            [
              0.14244,
              0.17152,
              0.19195,
              0.22342,
              0.27164,
              0.34834,
              0.48094,
              0.73059
            ],
            [
              0.14876,
              0.17783,
              0.19826,
              0.22973,
              0.27796,
              0.35464,
              0.48724,
              0.73712
            ],
            [
              0.15862,
              0.18766,
              0.20808,
              0.23953,
              0.28776,
              0.36448,
              0.49709,
              0.74663
            ],
            [
              0.17364,
              0.20265,
              0.22304,
              0.25448,
              0.30273,
              0.37947,
              0.5121,
              0.76189
            ],
            [
              0.19565,
              0.22471,
              0.24511,
              0.27659,
              0.32492,
              0.40172,
              0.53439,
              0.78421
            ],
            [
              0.2237,
              0.25386,
              0.27481,
              0.30684,
              0.35557,
              0.43267,
              0.56541,
              0.81535
            ],
            [
              0.25686,
              0.28853,
              0.31061,
              0.34418,
              0.3946,
              0.47281,
              0.60602,
              0.85609
            ],
            [
              0.29647,
              0.32996,
              0.35336,
              0.3888,
              0.44148,
              0.52212,
              0.65702,
              0.90742
            ],
            [
              0.34497,
              0.38057,
              0.40547,
              0.44327,
              0.49877,
              0.58227,
              0.71967,
              0.97127
            ],
            [
              0.4064,
              0.4441,
              0.4708,
              0.5114,
              0.5704,
              0.6577,
              0.7983,
              1.0518
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.10508,
              0.13079,
              0.15014,
              0.18364,
              0.24455,
              0.36156,
              0.59322,
              1.05517
            ],
            [
              0.10722,
              0.13293,
              0.15228,
              0.18578,
              0.24669,
              0.36373,
              0.59532,
              1.05734
            ],
            [
              0.10979,
              0.13549,
              0.15483,
              0.18833,
              0.24925,
              0.36624,
              0.59777,
              1.06002
            ],
            [
              0.11364,
              0.13934,
              0.15868,
              0.19218,
              0.2531,
              0.37007,
              0.60162,
              1.06388
            ],
            [
              0.11956,
              0.14526,
              0.16459,
              0.19806,
              0.25897,
              0.37599,
              0.60767,
              1.06971
            ],
            [
              0.12838,
              0.15406,
              0.17337,
              0.20681,
              0.26769,
              0.38475,
              0.61617,
              1.07862
            ],
            [
              0.14112,
              0.16675,
              0.186,
              0.21936,
              0.28021,
              0.39721,
              0.62884,
              1.09113
            ],
            [
              0.15747,
              0.18341,
              0.20275,
              0.23611,
              0.29686,
              0.41375,
              0.6453,
              1.10766
            ],
            [
              0.17602,
              0.20291,
              0.22286,
              0.25678,
              0.31776,
              0.43461,
              0.66618,
              1.12815
            ],
            [
              0.19633,
              0.22449,
              0.24531,
              0.28017,
              0.34185,
              0.459,
              0.69029,
              1.15249
            ],
            [
              0.21759,
              0.24737,
              0.26943,
              0.3057,
              0.36844,
              0.48592,
              0.71742,
              1.17962
            ],
            [
              0.23817,
              0.26987,
              0.29357,
              0.33197,
              0.39657,
              0.51497,
              0.74677,
              1.20837
            ],
            [
              0.2553,
              0.2892,
              0.3149,
              0.3564,
              0.424,
              0.5446,
              0.7775,
              1.2399
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.0301,
              0.05158,
              0.06617,
              0.08981,
              0.13026,
              0.20626,
              0.36122,
              0.68462
            ],
            [
              0.0301,
              0.05158,
              0.06616,
              0.08981,
              0.13038,
              0.20626,
              0.36095,
              0.6854
            ],
            [
              0.03011,
              0.05157,
              0.06617,
              0.08981,
              0.13039,
              0.20626,
              0.36098,
              0.68539
            ],
            [
              0.03011,
              0.05159,
              0.06618,
              0.08981,
              0.13039,
              0.20627,
              0.3609,
              0.68539
            ],
            [
              0.03013,
              0.0516,
              0.06619,
              0.08984,
              0.1303,
              0.2063,
              0.36101,
              0.68456
            ],
            [
              0.03017,
              0.05163,
              0.06622,
              0.08984,
              0.1304,
              0.20619,
              0.36112,
              0.68587
            ],
            [
              0.0303,
              0.05178,
              0.06635,
              0.08994,
              0.13045,
              0.20633,
              0.36083,
              0.68504
            ],
            [
              0.03115,
              0.05253,
              0.06701,
              0.09045,
              0.1308,
              0.2063,
              0.36132,
              0.68607
            ],
            [
              0.03453,
              0.05603,
              0.07016,
              0.09292,
              0.13243,
              0.20723,
              0.36176,
              0.68659
            ],
            [
              0.03896,
              0.06131,
              0.07588,
              0.09864,
              0.1372,
              0.21031,
              0.36308,
              0.68521
            ],
            [
              0.04459,
              0.06792,
              0.08299,
              0.10605,
              0.14434,
              0.21638,
              0.3667,
              0.6864
            ],
            [
              0.0513,
              0.0759,
              0.0917,
              0.1153,
              0.1534,
              0.2242,
              0.3722,
              0.6897
            ],
            [
              0.0596,
              0.0855,
              0.1025,
              0.127,
              0.1649,
              0.2344,
              0.3801,
              0.6931
            ]
          ]
        },
        "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.00561,
            0.01122,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35886
          ],
          "values": [
            [
              0.01943,
              0.04611,
              0.06846,
              0.11197,
              0.20081,
              0.38297,
              0.75246,
              1.49234
            ],
            [
              0.01942,
              0.0461,
              0.06844,
              0.11199,
              0.20078,
              0.38288,
              0.75179,
              1.49307
            ],
            [
              0.01945,
              0.04612,
              0.06847,
              0.11201,
              0.20086,
              0.38315,
              0.75232,
              1.49327
            ],
            [
              0.01943,
              0.04613,
              0.06847,
              0.112,
              0.20086,
              0.38316,
              0.75232,
              1.49327
            ],
            [
              0.01942,
              0.04608,
              0.06846,
              0.112,
              0.20079,
              0.38296,
              0.75246,
              1.49202
            ],
            [
              0.01943,
              0.04611,
              0.06847,
              0.11203,
              0.2009,
              0.38306,
              0.75224,
              1.49415
            ],
            [
              0.01953,
              0.0462,
              0.06857,
              0.11212,
              0.20084,
              0.38303,
              0.75233,
              1.49374
            ],
            [
              0.02046,
              0.04714,
              0.06936,
              0.11258,
              0.2011,
              0.3832,
              0.75229,
              1.49335
            ],
            [
              0.02211,
              0.04951,
              0.07182,
              0.11451,
              0.20211,
              0.38343,
              0.75231,
              1.49358
            ],
            [
              0.02461,
              0.0528,
              0.07533,
              0.11772,
              0.20433,
              0.38422,
              0.75306,
              1.4929
            ],
            [
              0.02804,
              0.05728,
              0.08037,
              0.12249,
              0.20773,
              0.38584,
              0.75307,
              1.4943
            ],
            [
              0.0329,
              0.0633,
              0.0873,
              0.1297,
              0.2133,
              0.3892,
              0.7551,
              1.4935
            ],
            [
              0.0395,
              0.071,
              0.0966,
              0.14,
              0.2226,
              0.3955,
              0.7578,
              1.4947
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.09484,
              0.08217,
              0.07102,
              0.04983,
              0.00816,
              -0.07506,
              -0.24167,
              -0.57495
            ],
            [
              0.0946,
              0.08193,
              0.07078,
              0.0496,
              0.00792,
              -0.07531,
              -0.24192,
              -0.5752
            ],
            [
              0.09443,
              0.08177,
              0.07063,
              0.04945,
              0.00777,
              -0.07547,
              -0.24208,
              -0.57536
            ],
            [
              0.09434,
              0.08166,
              0.07054,
              0.04934,
              0.00767,
              -0.07555,
              -0.24216,
              -0.57545
            ],
            [
              0.09441,
              0.08173,
              0.07061,
              0.04943,
              0.00774,
              -0.07548,
              -0.24208,
              -0.57537
            ],
            [
              0.09471,
              0.08205,
              0.0709,
              0.04972,
              0.00804,
              -0.07518,
              -0.24179,
              -0.57508
            ],
            [
              0.09536,
              0.08271,
              0.07158,
              0.0504,
              0.00874,
              -0.0745,
              -0.24111,
              -0.57439
            ],
            [
              0.09673,
              0.08407,
              0.07296,
              0.0518,
              0.01012,
              -0.0731,
              -0.23971,
              -0.57299
            ],
            [
              0.09938,
              0.08674,
              0.07564,
              0.05449,
              0.01284,
              -0.07038,
              -0.23699,
              -0.57028
            ],
            [
              0.10439,
              0.09182,
              0.08069,
              0.05959,
              0.01792,
              -0.0653,
              -0.2319,
              -0.56519
            ],
            [
              0.11245,
              0.09985,
              0.08876,
              0.06763,
              0.026,
              -0.05717,
              -0.22377,
              -0.55703
            ],
            [
              0.12552,
              0.11293,
              0.10185,
              0.08074,
              0.03911,
              -0.04409,
              -0.2107,
              -0.54395
            ],
            [
              0.14589,
              0.1333,
              0.12221,
              0.10114,
              0.05954,
              -0.02362,
              -0.19024,
              -0.52355
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.07143,
              0.08079,
              0.09088,
              0.11137,
              0.15264,
              0.23525,
              0.40036,
              0.73277
            ],
            [
              0.07111,
              0.08048,
              0.09057,
              0.11105,
              0.15241,
              0.23514,
              0.40041,
              0.73161
            ],
            [
              0.07101,
              0.08041,
              0.09048,
              0.111,
              0.15232,
              0.23477,
              0.39991,
              0.73219
            ],
            [
              0.07085,
              0.08022,
              0.09031,
              0.11081,
              0.15206,
              0.23471,
              0.39992,
              0.7318
            ],
            [
              0.07073,
              0.08012,
              0.09019,
              0.1107,
              0.15193,
              0.23461,
              0.39932,
              0.73206
            ],
            [
              0.07076,
              0.08018,
              0.09024,
              0.11082,
              0.15209,
              0.23479,
              0.3993,
              0.73199
            ],
            [
              0.07114,
              0.08055,
              0.09066,
              0.11121,
              0.15238,
              0.23523,
              0.40009,
              0.73245
            ],
            [
              0.07222,
              0.08165,
              0.09176,
              0.11228,
              0.1537,
              0.23638,
              0.40141,
              0.73329
            ],
            [
              0.07455,
              0.08399,
              0.09413,
              0.11474,
              0.15609,
              0.23882,
              0.40382,
              0.73549
            ],
            [
              0.07917,
              0.08868,
              0.09882,
              0.11942,
              0.16069,
              0.24306,
              0.40862,
              0.7401
            ],
            [
              0.08693,
              0.09648,
              0.10672,
              0.12734,
              0.16861,
              0.25116,
              0.41649,
              0.74801
            ],
            [
              0.09982,
              0.10937,
              0.11954,
              0.14031,
              0.18172,
              0.26425,
              0.42842,
              0.75931
            ],
            [
              0.12045,
              0.13001,
              0.14017,
              0.16075,
              0.20231,
              0.28546,
              0.44957,
              0.78038
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.09481,
              0.09917,
              0.10591,
              0.12068,
              0.15134,
              0.21261,
              0.33497,
              0.58164
            ],
            [
              0.09451,
              0.09889,
              0.10558,
              0.12037,
              0.15103,
              0.21227,
              0.33484,
              0.58144
            ],
            [
              0.09443,
              0.0988,
              0.10552,
              0.12031,
              0.15087,
              0.21211,
              0.33477,
              0.58156
            ],
            [
              0.09425,
              0.09862,
              0.10533,
              0.12016,
              0.15074,
              0.21207,
              0.33474,
              0.58056
            ],
            [
              0.09415,
              0.09852,
              0.10522,
              0.12002,
              0.15063,
              0.21202,
              0.33455,
              0.58166
            ],
            [
              0.09425,
              0.09861,
              0.10532,
              0.12011,
              0.15058,
              0.21214,
              0.33471,
              0.58218
            ],
            [
              0.09476,
              0.09911,
              0.10582,
              0.12065,
              0.1513,
              0.21265,
              0.33527,
              0.58271
            ],
            [
              0.09607,
              0.10036,
              0.10707,
              0.12183,
              0.15252,
              0.21374,
              0.33601,
              0.58368
            ],
            [
              0.09868,
              0.10295,
              0.1096,
              0.12442,
              0.15501,
              0.21629,
              0.33905,
              0.58508
            ],
            [
              0.10373,
              0.10793,
              0.11454,
              0.1293,
              0.15984,
              0.22118,
              0.34362,
              0.59038
            ],
            [
              0.11204,
              0.11615,
              0.1227,
              0.13747,
              0.16791,
              0.22941,
              0.35172,
              0.59865
            ],
            [
              0.12571,
              0.12966,
              0.13608,
              0.15073,
              0.18134,
              0.24246,
              0.36479,
              0.61212
            ],
            [
              0.14733,
              0.15106,
              0.15732,
              0.17179,
              0.2023,
              0.26368,
              0.3858,
              0.63212
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.11398,
              0.12106,
              0.13034,
              0.15038,
              0.19174,
              0.27435,
              0.43882,
              0.76982
            ],
            [
              0.11373,
              0.12077,
              0.13011,
              0.15021,
              0.1914,
              0.27399,
              0.43814,
              0.77086
            ],
            [
              0.11356,
              0.12062,
              0.12998,
              0.15003,
              0.19119,
              0.27379,
              0.43842,
              0.77002
            ],
            [
              0.11348,
              0.12054,
              0.12989,
              0.14991,
              0.19114,
              0.27374,
              0.43815,
              0.76908
            ],
            [
              0.11356,
              0.12062,
              0.12993,
              0.14998,
              0.19114,
              0.27362,
              0.43826,
              0.77027
            ],
            [
              0.11386,
              0.12092,
              0.13024,
              0.15033,
              0.19158,
              0.27405,
              0.43876,
              0.76996
            ],
            [
              0.11459,
              0.12165,
              0.13101,
              0.15104,
              0.19231,
              0.27487,
              0.43906,
              0.77138
            ],
            [
              0.11615,
              0.12325,
              0.13252,
              0.15274,
              0.19373,
              0.27646,
              0.4412,
              0.77267
            ],
            [
              0.1192,
              0.12631,
              0.13562,
              0.15572,
              0.19688,
              0.27964,
              0.4438,
              0.77513
            ],
            [
              0.12477,
              0.13183,
              0.14109,
              0.16116,
              0.20237,
              0.28479,
              0.44923,
              0.78063
            ],
            [
              0.13353,
              0.14053,
              0.14985,
              0.16976,
              0.21071,
              0.29325,
              0.45819,
              0.78939
            ],
            [
              0.1476,
              0.15448,
              0.16372,
              0.18363,
              0.22472,
              0.30672,
              0.47194,
              0.80235
            ],
            [
              0.1694,
              0.17599,
              0.18513,
              0.20475,
              0.24587,
              0.32832,
              0.49226,
              0.82289
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.08927,
              0.07658,
              0.06544,
              0.04427,
              0.00261,
              -0.0806,
              -0.24721,
              -0.5805
            ],
            [
              0.08901,
              0.0763,
              0.06516,
              0.04398,
              0.00233,
              -0.08088,
              -0.24748,
              -0.58077
            ],
            [
              0.08889,
              0.0762,
              0.06505,
              0.04387,
              0.0022,
              -0.081,
              -0.24761,
              -0.5809
            ],
            [
              0.08886,
              0.07615,
              0.06502,
              0.04383,
              0.00217,
              -0.08105,
              -0.24765,
              -0.58094
            ],
            [
              0.08908,
              0.07638,
              0.06522,
              0.04402,
              0.00237,
              -0.08084,
              -0.24745,
              -0.58073
            ],
            [
              0.08974,
              0.07702,
              0.06585,
              0.04465,
              0.00299,
              -0.08022,
              -0.24683,
              -0.58011
            ],
            [
              0.09111,
              0.07837,
              0.06721,
              0.04603,
              0.00435,
              -0.07886,
              -0.24547,
              -0.57874
            ],
            [
              0.09347,
              0.08077,
              0.06959,
              0.0484,
              0.00674,
              -0.07649,
              -0.24308,
              -0.57636
            ],
            [
              0.09723,
              0.08453,
              0.07336,
              0.05218,
              0.0105,
              -0.07271,
              -0.2393,
              -0.57257
            ],
            [
              0.10318,
              0.09051,
              0.07933,
              0.05815,
              0.01649,
              -0.06671,
              -0.2333,
              -0.56656
            ],
            [
              0.11203,
              0.09932,
              0.08815,
              0.06693,
              0.02531,
              -0.05786,
              -0.22443,
              -0.55767
            ],
            [
              0.12575,
              0.1131,
              0.10194,
              0.08075,
              0.03907,
              -0.0441,
              -0.21063,
              -0.54387
            ],
            [
              0.14693,
              0.13424,
              0.1231,
              0.10191,
              0.06028,
              -0.02289,
              -0.18945,
              -0.52271
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.05422,
              0.06363,
              0.07376,
              0.09426,
              0.13559,
              0.21816,
              0.38314,
              0.71563
            ],
            [
              0.05418,
              0.06359,
              0.07368,
              0.09429,
              0.13551,
              0.21827,
              0.38287,
              0.7153
            ],
            [
              0.05419,
              0.0636,
              0.0737,
              0.09424,
              0.13559,
              0.21833,
              0.38305,
              0.71556
            ],
            [
              0.05431,
              0.06374,
              0.07383,
              0.09437,
              0.13573,
              0.21869,
              0.38345,
              0.71542
            ],
            [
              0.05459,
              0.06403,
              0.07411,
              0.09464,
              0.13598,
              0.21871,
              0.3837,
              0.7158
            ],
            [
              0.05521,
              0.06461,
              0.07476,
              0.09536,
              0.13659,
              0.21918,
              0.38414,
              0.71569
            ],
            [
              0.05638,
              0.06577,
              0.07591,
              0.09638,
              0.1377,
              0.22062,
              0.38547,
              0.71762
            ],
            [
              0.05858,
              0.06798,
              0.07809,
              0.09854,
              0.13982,
              0.22278,
              0.38709,
              0.7201
            ],
            [
              0.06206,
              0.07143,
              0.08151,
              0.10192,
              0.14305,
              0.2258,
              0.39056,
              0.72245
            ],
            [
              0.06759,
              0.07694,
              0.08696,
              0.10728,
              0.14843,
              0.23092,
              0.39555,
              0.72703
            ],
            [
              0.07593,
              0.08522,
              0.09527,
              0.11573,
              0.15682,
              0.239,
              0.40411,
              0.73716
            ],
            [
              0.09,
              0.09925,
              0.10922,
              0.12969,
              0.17086,
              0.2532,
              0.41743,
              0.74958
            ],
            [
              0.11349,
              0.12266,
              0.13257,
              0.15283,
              0.1941,
              0.27661,
              0.44099,
              0.77178
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.07595,
              0.08019,
              0.08685,
              0.10165,
              0.13224,
              0.19333,
              0.31608,
              0.56274
            ],
            [
              0.07584,
              0.08009,
              0.08676,
              0.10153,
              0.13214,
              0.19345,
              0.31619,
              0.5626
            ],
            [
              0.0758,
              0.08007,
              0.08671,
              0.10145,
              0.13208,
              0.19323,
              0.3157,
              0.56292
            ],
            [
              0.07582,
              0.08006,
              0.08672,
              0.10154,
              0.13198,
              0.19334,
              0.31588,
              0.5631
            ],
            [
              0.0759,
              0.08015,
              0.08681,
              0.10157,
              0.13211,
              0.19341,
              0.3159,
              0.56282
            ],
            [
              0.07611,
              0.08036,
              0.08702,
              0.1018,
              0.1323,
              0.19369,
              0.31598,
              0.56305
            ],
            [
              0.07673,
              0.08097,
              0.08763,
              0.10232,
              0.13281,
              0.19424,
              0.31679,
              0.5631
            ],
            [
              0.07809,
              0.08239,
              0.08906,
              0.10377,
              0.13423,
              0.19523,
              0.31794,
              0.5641
            ],
            [
              0.08074,
              0.08504,
              0.09167,
              0.10627,
              0.13665,
              0.19763,
              0.32006,
              0.56687
            ],
            [
              0.08551,
              0.08981,
              0.09637,
              0.11088,
              0.14115,
              0.20224,
              0.32441,
              0.57123
            ],
            [
              0.09314,
              0.09738,
              0.10389,
              0.11843,
              0.14844,
              0.20918,
              0.33162,
              0.57855
            ],
            [
              0.10664,
              0.11072,
              0.11709,
              0.13155,
              0.16148,
              0.22195,
              0.34377,
              0.59115
            ],
            [
              0.12959,
              0.13335,
              0.13949,
              0.15351,
              0.18335,
              0.24368,
              0.36522,
              0.61144
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.10498,
              0.11214,
              0.12157,
              0.14177,
              0.18297,
              0.2656,
              0.42976,
              0.76115
            ],
            [
              0.10468,
              0.1119,
              0.1213,
              0.14145,
              0.18285,
              0.2654,
              0.42993,
              0.76226
            ],
            [
              0.10449,
              0.11169,
              0.12111,
              0.14129,
              0.18265,
              0.26528,
              0.42948,
              0.76129
            ],
            [
              0.10436,
              0.11153,
              0.12097,
              0.14106,
              0.18253,
              0.26497,
              0.42936,
              0.76145
            ],
            [
              0.10444,
              0.11162,
              0.12104,
              0.14112,
              0.18255,
              0.2649,
              0.42935,
              0.76172
            ],
            [
              0.10482,
              0.11198,
              0.12141,
              0.14154,
              0.18291,
              0.26534,
              0.4305,
              0.76264
            ],
            [
              0.10586,
              0.11303,
              0.12239,
              0.1425,
              0.18369,
              0.26658,
              0.43129,
              0.76344
            ],
            [
              0.10787,
              0.11502,
              0.12428,
              0.14443,
              0.18572,
              0.26824,
              0.43326,
              0.76552
            ],
            [
              0.11147,
              0.11857,
              0.12778,
              0.14779,
              0.18898,
              0.27151,
              0.43571,
              0.7681
            ],
            [
              0.11771,
              0.12461,
              0.13374,
              0.15347,
              0.19451,
              0.27722,
              0.44178,
              0.77369
            ],
            [
              0.12725,
              0.13383,
              0.1428,
              0.16238,
              0.20318,
              0.28544,
              0.4505,
              0.78084
            ],
            [
              0.14201,
              0.14828,
              0.15696,
              0.17643,
              0.21705,
              0.29877,
              0.46318,
              0.79554
            ],
            [
              0.16466,
              0.17049,
              0.17894,
              0.19787,
              0.23826,
              0.32039,
              0.48387,
              0.81544
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.05767,
              0.04478,
              0.03332,
              0.01183,
              -0.03011,
              -0.11349,
              -0.28021,
              -0.61358
            ],
            [
              0.05755,
              0.04466,
              0.03323,
              0.01171,
              -0.03021,
              -0.11361,
              -0.28033,
              -0.61369
            ],
            [
              0.05749,
              0.04459,
              0.03316,
              0.01165,
              -0.03029,
              -0.11369,
              -0.2804,
              -0.61376
            ],
            [
              0.05748,
              0.04458,
              0.03314,
              0.01162,
              -0.03031,
              -0.11371,
              -0.28041,
              -0.61378
            ],
            [
              0.05748,
              0.04457,
              0.0331,
              0.0116,
              -0.03032,
              -0.11371,
              -0.28042,
              -0.61378
            ],
            [
              0.05759,
              0.04468,
              0.03321,
              0.01167,
              -0.03026,
              -0.11364,
              -0.28034,
              -0.61369
            ],
            [
              0.05794,
              0.04499,
              0.03347,
              0.01191,
              -0.03001,
              -0.11339,
              -0.28007,
              -0.6134
            ],
            [
              0.05908,
              0.04599,
              0.0344,
              0.01274,
              -0.02924,
              -0.11264,
              -0.2793,
              -0.61263
            ],
            [
              0.06163,
              0.04827,
              0.03649,
              0.01462,
              -0.02754,
              -0.11099,
              -0.2777,
              -0.61105
            ],
            [
              0.06611,
              0.05236,
              0.04033,
              0.0181,
              -0.02433,
              -0.10796,
              -0.27475,
              -0.60814
            ],
            [
              0.07249,
              0.05833,
              0.04593,
              0.02325,
              -0.01957,
              -0.10343,
              -0.27034,
              -0.60376
            ],
            [
              0.08194,
              0.06735,
              0.0546,
              0.03141,
              -0.01191,
              -0.09617,
              -0.26326,
              -0.59678
            ],
            [
              0.09558,
              0.08051,
              0.06737,
              0.04355,
              -0.00041,
              -0.08509,
              -0.25253,
              -0.58626
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.0343,
              0.04415,
              0.05449,
              0.07533,
              0.11686,
              0.19937,
              0.36432,
              0.69605
            ],
            [
              0.03423,
              0.04405,
              0.05441,
              0.07534,
              0.11679,
              0.19926,
              0.3643,
              0.69598
            ],
            [
              0.03416,
              0.04401,
              0.05436,
              0.07519,
              0.11674,
              0.19925,
              0.36452,
              0.69637
            ],
            [
              0.0341,
              0.04395,
              0.05427,
              0.07508,
              0.11659,
              0.19912,
              0.36418,
              0.69577
            ],
            [
              0.03413,
              0.04396,
              0.05428,
              0.07509,
              0.11661,
              0.19901,
              0.36427,
              0.69682
            ],
            [
              0.03431,
              0.04412,
              0.05443,
              0.07521,
              0.11668,
              0.19922,
              0.36434,
              0.69605
            ],
            [
              0.03483,
              0.04456,
              0.05484,
              0.07553,
              0.11703,
              0.19991,
              0.36437,
              0.69638
            ],
            [
              0.03597,
              0.04555,
              0.05573,
              0.07634,
              0.11766,
              0.20028,
              0.36553,
              0.69688
            ],
            [
              0.03789,
              0.04722,
              0.0572,
              0.0777,
              0.11877,
              0.20149,
              0.3661,
              0.69825
            ],
            [
              0.04126,
              0.05024,
              0.06015,
              0.08037,
              0.12136,
              0.20341,
              0.3684,
              0.6995
            ],
            [
              0.04644,
              0.05499,
              0.06468,
              0.08478,
              0.12548,
              0.20746,
              0.37266,
              0.70453
            ],
            [
              0.05509,
              0.06307,
              0.07247,
              0.09232,
              0.13269,
              0.21453,
              0.37841,
              0.70958
            ],
            [
              0.06847,
              0.07572,
              0.08478,
              0.10412,
              0.1442,
              0.22582,
              0.38967,
              0.72015
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.05958,
              0.06408,
              0.07062,
              0.0854,
              0.11585,
              0.17717,
              0.29947,
              0.54584
            ],
            [
              0.05951,
              0.06401,
              0.07055,
              0.08534,
              0.11572,
              0.17712,
              0.29957,
              0.54571
            ],
            [
              0.05944,
              0.06396,
              0.07048,
              0.08527,
              0.11571,
              0.17688,
              0.29924,
              0.54616
            ],
            [
              0.05941,
              0.0639,
              0.07042,
              0.08521,
              0.1157,
              0.17669,
              0.29926,
              0.54609
            ],
            [
              0.05938,
              0.06388,
              0.07041,
              0.08514,
              0.11554,
              0.17678,
              0.29949,
              0.54495
            ],
            [
              0.05945,
              0.06396,
              0.07047,
              0.0852,
              0.1156,
              0.17676,
              0.29911,
              0.54545
            ],
            [
              0.05985,
              0.06433,
              0.07079,
              0.08546,
              0.11575,
              0.17699,
              0.29939,
              0.54697
            ],
            [
              0.06084,
              0.06515,
              0.0715,
              0.08606,
              0.11621,
              0.1774,
              0.29974,
              0.54569
            ],
            [
              0.06261,
              0.06669,
              0.07292,
              0.08727,
              0.11729,
              0.17833,
              0.30072,
              0.54804
            ],
            [
              0.06578,
              0.0695,
              0.07552,
              0.08969,
              0.11956,
              0.18031,
              0.30237,
              0.54789
            ],
            [
              0.07061,
              0.07387,
              0.07966,
              0.09354,
              0.12305,
              0.18376,
              0.30563,
              0.55147
            ],
            [
              0.07875,
              0.0814,
              0.08687,
              0.10036,
              0.12966,
              0.18975,
              0.3114,
              0.55846
            ],
            [
              0.09156,
              0.09347,
              0.09854,
              0.11152,
              0.14035,
              0.20012,
              0.3212,
              0.56705
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.07653,
              0.08366,
              0.09288,
              0.11279,
              0.15377,
              0.23589,
              0.40003,
              0.73207
            ],
            [
              0.07644,
              0.08368,
              0.09293,
              0.11276,
              0.15363,
              0.23564,
              0.40099,
              0.73214
            ],
            [
              0.07636,
              0.08363,
              0.09286,
              0.11265,
              0.15344,
              0.23556,
              0.40092,
              0.73279
            ],
            [
              0.07635,
              0.08357,
              0.09286,
              0.11265,
              0.15345,
              0.23549,
              0.40088,
              0.732
            ],
            [
              0.07636,
              0.08358,
              0.09274,
              0.1127,
              0.15352,
              0.23602,
              0.40008,
              0.73265
            ],
            [
              0.07648,
              0.08366,
              0.0929,
              0.11274,
              0.15368,
              0.23572,
              0.40002,
              0.73213
            ],
            [
              0.0768,
              0.08394,
              0.09315,
              0.11292,
              0.15389,
              0.23608,
              0.40069,
              0.73214
            ],
            [
              0.07783,
              0.08486,
              0.09393,
              0.11371,
              0.15449,
              0.23667,
              0.401,
              0.73247
            ],
            [
              0.08031,
              0.08706,
              0.09591,
              0.11548,
              0.156,
              0.23814,
              0.40268,
              0.73415
            ],
            [
              0.08471,
              0.09106,
              0.09957,
              0.11867,
              0.15907,
              0.24108,
              0.40521,
              0.7352
            ],
            [
              0.09095,
              0.0968,
              0.10502,
              0.12369,
              0.16343,
              0.24512,
              0.4099,
              0.74132
            ],
            [
              0.10028,
              0.10558,
              0.11338,
              0.13156,
              0.17105,
              0.25176,
              0.41656,
              0.74671
            ],
            [
              0.1137,
              0.11842,
              0.12582,
              0.14314,
              0.18218,
              0.263,
              0.4257,
              0.75625
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.2733,
    "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.24713,
              0.27354,
              0.29231,
              0.32258,
              0.37166,
              0.45414,
              0.60256,
              0.88775
            ],
            [
              0.2492,
              0.27562,
              0.29439,
              0.32465,
              0.37374,
              0.45623,
              0.60461,
              0.88983
            ],
            [
              0.2519,
              0.27831,
              0.29709,
              0.32734,
              0.37643,
              0.45892,
              0.60731,
              0.89247
            ],
            [
              0.25617,
              0.28258,
              0.30135,
              0.33161,
              0.3807,
              0.46319,
              0.61159,
              0.89685
            ],
            [
              0.26275,
              0.28916,
              0.30794,
              0.3382,
              0.38727,
              0.46976,
              0.61806,
              0.90363
            ],
            [
              0.27224,
              0.29864,
              0.31741,
              0.34767,
              0.39673,
              0.47923,
              0.62757,
              0.9129
            ],
            [
              0.28509,
              0.31143,
              0.33018,
              0.36041,
              0.40946,
              0.49194,
              0.64033,
              0.92553
            ],
            [
              0.30206,
              0.32829,
              0.34701,
              0.3772,
              0.42619,
              0.50862,
              0.657,
              0.94236
            ],
            [
              0.32367,
              0.34974,
              0.36839,
              0.39852,
              0.44746,
              0.52985,
              0.67819,
              0.96315
            ],
            [
              0.34912,
              0.37501,
              0.39357,
              0.42359,
              0.47244,
              0.55474,
              0.70289,
              0.98809
            ],
            [
              0.37946,
              0.40528,
              0.42379,
              0.45372,
              0.50242,
              0.58452,
              0.73272,
              1.01802
            ],
            [
              0.41767,
              0.44347,
              0.46187,
              0.49177,
              0.54037,
              0.62237,
              0.77027,
              1.05547
            ],
            [
              0.4674,
              0.4931,
              0.5115,
              0.5413,
              0.5898,
              0.6716,
              0.8193,
              1.1043
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.21098,
              0.238,
              0.25756,
              0.29118,
              0.35328,
              0.47431,
              0.71592,
              1.19777
            ],
            [
              0.21298,
              0.24,
              0.25956,
              0.29318,
              0.35523,
              0.47641,
              0.71787,
              1.19964
            ],
            [
              0.21547,
              0.24248,
              0.26205,
              0.29567,
              0.35773,
              0.47884,
              0.7203,
              1.20222
            ],
            [
              0.21916,
              0.24618,
              0.26572,
              0.29933,
              0.36141,
              0.48283,
              0.72354,
              1.20618
            ],
            [
              0.22436,
              0.25137,
              0.27093,
              0.30455,
              0.36665,
              0.48779,
              0.72891,
              1.21111
            ],
            [
              0.23099,
              0.25798,
              0.27753,
              0.31115,
              0.37326,
              0.49437,
              0.73563,
              1.21702
            ],
            [
              0.239,
              0.26596,
              0.28551,
              0.31913,
              0.38116,
              0.50257,
              0.74331,
              1.22593
            ],
            [
              0.24839,
              0.27531,
              0.29483,
              0.32845,
              0.39057,
              0.51174,
              0.75326,
              1.23476
            ],
            [
              0.25872,
              0.28554,
              0.305,
              0.33862,
              0.40068,
              0.52203,
              0.76325,
              1.24455
            ],
            [
              0.26927,
              0.29599,
              0.31544,
              0.34904,
              0.41103,
              0.53224,
              0.77369,
              1.25639
            ],
            [
              0.27874,
              0.30533,
              0.32475,
              0.35829,
              0.42038,
              0.54162,
              0.78272,
              1.26492
            ],
            [
              0.28507,
              0.31157,
              0.33097,
              0.36447,
              0.42647,
              0.54787,
              0.78887,
              1.27027
            ],
            [
              0.286,
              0.3124,
              0.3317,
              0.3652,
              0.4272,
              0.5486,
              0.7896,
              1.2708
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02751,
              0.0467,
              0.0615,
              0.08746,
              0.13447,
              0.22387,
              0.40494,
              0.78103
            ],
            [
              0.02751,
              0.0467,
              0.06154,
              0.08747,
              0.13455,
              0.2238,
              0.40544,
              0.77981
            ],
            [
              0.0275,
              0.0467,
              0.06153,
              0.08747,
              0.13454,
              0.22377,
              0.40541,
              0.77999
            ],
            [
              0.02749,
              0.04674,
              0.06148,
              0.08745,
              0.13446,
              0.22389,
              0.40504,
              0.7811
            ],
            [
              0.02752,
              0.04673,
              0.06148,
              0.0876,
              0.13443,
              0.22397,
              0.40551,
              0.78137
            ],
            [
              0.02749,
              0.04667,
              0.06152,
              0.08744,
              0.1345,
              0.22389,
              0.40549,
              0.78
            ],
            [
              0.0274,
              0.04658,
              0.06142,
              0.08737,
              0.13447,
              0.22373,
              0.40538,
              0.78102
            ],
            [
              0.02722,
              0.04642,
              0.06127,
              0.08734,
              0.13424,
              0.22373,
              0.40526,
              0.7808
            ],
            [
              0.02694,
              0.04613,
              0.06089,
              0.08704,
              0.13404,
              0.22349,
              0.40526,
              0.78036
            ],
            [
              0.0267,
              0.04578,
              0.06057,
              0.08659,
              0.1337,
              0.22347,
              0.40516,
              0.7809
            ],
            [
              0.02653,
              0.04555,
              0.06037,
              0.08633,
              0.13334,
              0.223,
              0.4046,
              0.7804
            ],
            [
              0.0264,
              0.0454,
              0.0601,
              0.0861,
              0.133,
              0.2227,
              0.404,
              0.7801
            ],
            [
              0.0262,
              0.0452,
              0.0599,
              0.0858,
              0.1326,
              0.2222,
              0.4042,
              0.7791
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02294,
              0.04854,
              0.06953,
              0.11174,
              0.20056,
              0.38394,
              0.75388,
              1.49717
            ],
            [
              0.023,
              0.04855,
              0.06961,
              0.11162,
              0.20059,
              0.38311,
              0.75366,
              1.49703
            ],
            [
              0.02297,
              0.04856,
              0.0696,
              0.11166,
              0.20061,
              0.38331,
              0.75366,
              1.49724
            ],
            [
              0.02296,
              0.04848,
              0.06957,
              0.11177,
              0.20016,
              0.38338,
              0.7541,
              1.49766
            ],
            [
              0.02294,
              0.04845,
              0.06937,
              0.11176,
              0.20044,
              0.38437,
              0.75692,
              1.49713
            ],
            [
              0.0229,
              0.04843,
              0.06937,
              0.11174,
              0.2004,
              0.38428,
              0.75551,
              1.50003
            ],
            [
              0.02284,
              0.04839,
              0.06946,
              0.11151,
              0.20045,
              0.38303,
              0.75447,
              1.49773
            ],
            [
              0.02266,
              0.04815,
              0.06916,
              0.1116,
              0.20045,
              0.38327,
              0.75329,
              1.49677
            ],
            [
              0.02244,
              0.04804,
              0.06909,
              0.11129,
              0.20008,
              0.38343,
              0.75391,
              1.4968
            ],
            [
              0.02225,
              0.04774,
              0.069,
              0.11116,
              0.19986,
              0.38374,
              0.75465,
              1.4989
            ],
            [
              0.02203,
              0.04755,
              0.06862,
              0.11128,
              0.19999,
              0.38397,
              0.7542,
              1.4972
            ],
            [
              0.0218,
              0.0474,
              0.0685,
              0.1112,
              0.2001,
              0.3833,
              0.7547,
              1.4994
            ],
            [
              0.0217,
              0.0472,
              0.0686,
              0.111,
              0.1997,
              0.3833,
              0.7539,
              1.4994
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.21453,
              0.24048,
              0.25903,
              0.28866,
              0.33603,
              0.4156,
              0.56132,
              0.84574
            ],
            [
              0.21655,
              0.2425,
              0.26104,
              0.29068,
              0.33805,
              0.41762,
              0.56334,
              0.84789
            ],
            [
              0.21904,
              0.24499,
              0.26354,
              0.29317,
              0.34054,
              0.4201,
              0.56574,
              0.85004
            ],
            [
              0.22278,
              0.24873,
              0.26727,
              0.29691,
              0.34426,
              0.42386,
              0.56949,
              0.85411
            ],
            [
              0.22834,
              0.25431,
              0.27286,
              0.3025,
              0.34985,
              0.42945,
              0.57502,
              0.8597
            ],
            [
              0.23626,
              0.26229,
              0.28085,
              0.31048,
              0.35782,
              0.43741,
              0.58301,
              0.86744
            ],
            [
              0.24674,
              0.27289,
              0.29147,
              0.32109,
              0.36842,
              0.44799,
              0.59357,
              0.87817
            ],
            [
              0.25967,
              0.28598,
              0.30458,
              0.33419,
              0.3815,
              0.46104,
              0.60675,
              0.89096
            ],
            [
              0.2744,
              0.30091,
              0.31952,
              0.34913,
              0.39642,
              0.47599,
              0.62169,
              0.90615
            ],
            [
              0.28997,
              0.31664,
              0.33531,
              0.36493,
              0.41223,
              0.49183,
              0.63759,
              0.92209
            ],
            [
              0.30574,
              0.33254,
              0.35126,
              0.38093,
              0.42828,
              0.50792,
              0.65352,
              0.93792
            ],
            [
              0.32007,
              0.34697,
              0.36577,
              0.39557,
              0.44307,
              0.52287,
              0.66867,
              0.95297
            ],
            [
              0.3303,
              0.3573,
              0.3763,
              0.4063,
              0.4541,
              0.5341,
              0.68,
              0.965
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.21313,
              0.24027,
              0.26037,
              0.29502,
              0.35816,
              0.47967,
              0.72065,
              1.20207
            ],
            [
              0.21525,
              0.24239,
              0.2625,
              0.29715,
              0.36031,
              0.48177,
              0.7227,
              1.20414
            ],
            [
              0.21796,
              0.2451,
              0.26521,
              0.29986,
              0.36302,
              0.48448,
              0.7254,
              1.20682
            ],
            [
              0.22221,
              0.24935,
              0.26946,
              0.3041,
              0.36723,
              0.48877,
              0.72974,
              1.21107
            ],
            [
              0.22878,
              0.25592,
              0.27602,
              0.31068,
              0.37385,
              0.49533,
              0.73632,
              1.21771
            ],
            [
              0.23872,
              0.26587,
              0.28598,
              0.32063,
              0.38379,
              0.50524,
              0.74619,
              1.22762
            ],
            [
              0.25332,
              0.2805,
              0.30062,
              0.33528,
              0.39845,
              0.5199,
              0.76085,
              1.24233
            ],
            [
              0.27402,
              0.30128,
              0.32141,
              0.35608,
              0.41921,
              0.54071,
              0.78164,
              1.26306
            ],
            [
              0.30147,
              0.32886,
              0.34903,
              0.3837,
              0.44688,
              0.56827,
              0.80925,
              1.29065
            ],
            [
              0.33531,
              0.363,
              0.38326,
              0.41802,
              0.48111,
              0.60252,
              0.84349,
              1.32499
            ],
            [
              0.37685,
              0.40502,
              0.42545,
              0.46022,
              0.52332,
              0.64472,
              0.88572,
              1.36722
            ],
            [
              0.42897,
              0.45787,
              0.47857,
              0.51357,
              0.57667,
              0.69807,
              0.93897,
              1.42037
            ],
            [
              0.4966,
              0.526,
              0.5471,
              0.5822,
              0.6454,
              0.7667,
              1.0077,
              1.4888
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02503,
              0.04451,
              0.05913,
              0.08423,
              0.1292,
              0.21714,
              0.39946,
              0.77837
            ],
            [
              0.02502,
              0.04451,
              0.05913,
              0.08422,
              0.12921,
              0.21714,
              0.39962,
              0.77911
            ],
            [
              0.02502,
              0.04451,
              0.05914,
              0.08422,
              0.12914,
              0.21711,
              0.3999,
              0.77791
            ],
            [
              0.025,
              0.04451,
              0.05915,
              0.0842,
              0.12913,
              0.21706,
              0.4001,
              0.77855
            ],
            [
              0.02501,
              0.04451,
              0.05916,
              0.08419,
              0.12911,
              0.21701,
              0.40014,
              0.7787
            ],
            [
              0.02502,
              0.04455,
              0.05916,
              0.08419,
              0.12908,
              0.21694,
              0.39998,
              0.77792
            ],
            [
              0.02506,
              0.0446,
              0.05922,
              0.08421,
              0.12916,
              0.21694,
              0.40003,
              0.77843
            ],
            [
              0.0252,
              0.04468,
              0.05923,
              0.08416,
              0.12912,
              0.21702,
              0.39999,
              0.7783
            ],
            [
              0.02556,
              0.04489,
              0.05939,
              0.0843,
              0.12905,
              0.21698,
              0.3996,
              0.77822
            ],
            [
              0.02611,
              0.04518,
              0.05958,
              0.08429,
              0.12921,
              0.21716,
              0.39968,
              0.78012
            ],
            [
              0.02706,
              0.04564,
              0.0599,
              0.0846,
              0.12936,
              0.21706,
              0.3994,
              0.7783
            ],
            [
              0.0285,
              0.0465,
              0.0607,
              0.0852,
              0.1298,
              0.2176,
              0.3995,
              0.7783
            ],
            [
              0.0306,
              0.0481,
              0.0619,
              0.0862,
              0.1309,
              0.2184,
              0.4009,
              0.7775
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02229,
              0.04871,
              0.07058,
              0.11357,
              0.20186,
              0.3837,
              0.75395,
              1.49758
            ],
            [
              0.02228,
              0.04872,
              0.07058,
              0.11351,
              0.20182,
              0.38358,
              0.75428,
              1.49507
            ],
            [
              0.02229,
              0.04872,
              0.07059,
              0.11351,
              0.20183,
              0.38358,
              0.75425,
              1.49446
            ],
            [
              0.0223,
              0.04871,
              0.07058,
              0.11352,
              0.20186,
              0.38407,
              0.75398,
              1.49491
            ],
            [
              0.02229,
              0.04872,
              0.0706,
              0.11356,
              0.20172,
              0.3837,
              0.75352,
              1.49828
            ],
            [
              0.02232,
              0.04874,
              0.07058,
              0.11352,
              0.20185,
              0.38361,
              0.75409,
              1.49575
            ],
            [
              0.0224,
              0.04883,
              0.07067,
              0.11355,
              0.20189,
              0.38384,
              0.75365,
              1.49716
            ],
            [
              0.02262,
              0.04902,
              0.07084,
              0.11369,
              0.20182,
              0.38423,
              0.7528,
              1.49599
            ],
            [
              0.0231,
              0.04943,
              0.0712,
              0.11393,
              0.20192,
              0.38396,
              0.75389,
              1.49441
            ],
            [
              0.02387,
              0.05018,
              0.07184,
              0.11445,
              0.20224,
              0.38392,
              0.75372,
              1.4952
            ],
            [
              0.02461,
              0.05113,
              0.07271,
              0.11515,
              0.20273,
              0.3843,
              0.7539,
              1.4956
            ],
            [
              0.026,
              0.0525,
              0.0739,
              0.1159,
              0.203,
              0.3845,
              0.7543,
              1.495
            ],
            [
              0.0285,
              0.0548,
              0.076,
              0.1173,
              0.2043,
              0.3848,
              0.7542,
              1.4948
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.21588,
              0.24276,
              0.26181,
              0.29234,
              0.34145,
              0.42384,
              0.57214,
              0.85802
            ],
            [
              0.21792,
              0.2448,
              0.26384,
              0.29436,
              0.34348,
              0.42586,
              0.57425,
              0.85994
            ],
            [
              0.22042,
              0.2473,
              0.26635,
              0.29687,
              0.346,
              0.42839,
              0.57675,
              0.86245
            ],
            [
              0.2242,
              0.25107,
              0.27013,
              0.30064,
              0.34976,
              0.43216,
              0.58049,
              0.86631
            ],
            [
              0.22982,
              0.25671,
              0.27575,
              0.30628,
              0.3554,
              0.43779,
              0.58605,
              0.87197
            ],
            [
              0.23782,
              0.26474,
              0.28379,
              0.31432,
              0.36345,
              0.44584,
              0.59426,
              0.87993
            ],
            [
              0.24849,
              0.27544,
              0.2945,
              0.32504,
              0.37417,
              0.45659,
              0.605,
              0.89073
            ],
            [
              0.26174,
              0.28871,
              0.30779,
              0.33834,
              0.3875,
              0.46995,
              0.6183,
              0.90396
            ],
            [
              0.27701,
              0.30395,
              0.32305,
              0.35364,
              0.40285,
              0.48534,
              0.63383,
              0.91965
            ],
            [
              0.29329,
              0.32017,
              0.33931,
              0.36995,
              0.41922,
              0.5018,
              0.65029,
              0.93609
            ],
            [
              0.30994,
              0.33672,
              0.35588,
              0.3866,
              0.436,
              0.51862,
              0.66712,
              0.95282
            ],
            [
              0.32527,
              0.35197,
              0.37117,
              0.40207,
              0.45167,
              0.53447,
              0.68317,
              0.96877
            ],
            [
              0.3364,
              0.3632,
              0.3825,
              0.4135,
              0.4634,
              0.5466,
              0.6956,
              0.9816
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.21068,
              0.23788,
              0.25776,
              0.29182,
              0.35427,
              0.47551,
              0.71647,
              1.19777
            ],
            [
              0.21279,
              0.23999,
              0.25987,
              0.29392,
              0.35637,
              0.47767,
              0.71858,
              1.19994
            ],
            [
              0.21548,
              0.24268,
              0.26256,
              0.29661,
              0.35905,
              0.48039,
              0.72127,
              1.20272
            ],
            [
              0.2197,
              0.24688,
              0.26676,
              0.30083,
              0.36327,
              0.48461,
              0.72547,
              1.20688
            ],
            [
              0.22621,
              0.2534,
              0.27328,
              0.30734,
              0.36977,
              0.49112,
              0.73197,
              1.21341
            ],
            [
              0.23596,
              0.26315,
              0.28304,
              0.3171,
              0.37955,
              0.50086,
              0.74171,
              1.22312
            ],
            [
              0.24999,
              0.2772,
              0.29708,
              0.33114,
              0.39358,
              0.51484,
              0.75578,
              1.23713
            ],
            [
              0.26943,
              0.2967,
              0.31659,
              0.35063,
              0.41308,
              0.53432,
              0.77525,
              1.25666
            ],
            [
              0.29512,
              0.32254,
              0.34247,
              0.37653,
              0.43893,
              0.56019,
              0.80105,
              1.28235
            ],
            [
              0.32686,
              0.35464,
              0.37469,
              0.40883,
              0.47126,
              0.59243,
              0.83329,
              1.31449
            ],
            [
              0.36591,
              0.39417,
              0.41442,
              0.44862,
              0.51112,
              0.63222,
              0.87302,
              1.35432
            ],
            [
              0.41467,
              0.44377,
              0.46427,
              0.49877,
              0.56117,
              0.68227,
              0.92307,
              1.40437
            ],
            [
              0.4768,
              0.5069,
              0.5281,
              0.5629,
              0.6253,
              0.7464,
              0.9871,
              1.4683
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02583,
              0.04556,
              0.06062,
              0.08672,
              0.1335,
              0.22294,
              0.40514,
              0.78127
            ],
            [
              0.02586,
              0.04556,
              0.06059,
              0.08673,
              0.13354,
              0.22308,
              0.40511,
              0.7814
            ],
            [
              0.02587,
              0.04558,
              0.0606,
              0.08677,
              0.13363,
              0.2231,
              0.40495,
              0.7811
            ],
            [
              0.02585,
              0.04556,
              0.06062,
              0.08674,
              0.13354,
              0.2229,
              0.40509,
              0.78127
            ],
            [
              0.02588,
              0.04556,
              0.0606,
              0.08671,
              0.13346,
              0.22302,
              0.40516,
              0.78125
            ],
            [
              0.02595,
              0.04558,
              0.06063,
              0.08673,
              0.13361,
              0.22317,
              0.40458,
              0.7814
            ],
            [
              0.02613,
              0.04564,
              0.06066,
              0.08681,
              0.13353,
              0.22297,
              0.40488,
              0.78063
            ],
            [
              0.02642,
              0.04571,
              0.0607,
              0.08684,
              0.13357,
              0.22322,
              0.40525,
              0.78056
            ],
            [
              0.0269,
              0.04593,
              0.06088,
              0.0869,
              0.13368,
              0.22314,
              0.40505,
              0.78125
            ],
            [
              0.02746,
              0.04623,
              0.06114,
              0.08707,
              0.13391,
              0.22348,
              0.40536,
              0.7812
            ],
            [
              0.02825,
              0.0468,
              0.06153,
              0.08757,
              0.13435,
              0.22361,
              0.4052,
              0.7806
            ],
            [
              0.0293,
              0.0479,
              0.0625,
              0.0883,
              0.1348,
              0.2241,
              0.4051,
              0.7807
            ],
            [
              0.0309,
              0.0495,
              0.0638,
              0.0895,
              0.1359,
              0.2251,
              0.4064,
              0.7802
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02249,
              0.04865,
              0.06997,
              0.11226,
              0.20051,
              0.38342,
              0.75307,
              1.49613
            ],
            [
              0.02248,
              0.04865,
              0.06997,
              0.11221,
              0.20048,
              0.38338,
              0.75283,
              1.49525
            ],
            [
              0.02247,
              0.04865,
              0.06994,
              0.11223,
              0.20056,
              0.38344,
              0.75272,
              1.49522
            ],
            [
              0.02248,
              0.04865,
              0.06993,
              0.11223,
              0.20056,
              0.38345,
              0.75266,
              1.49526
            ],
            [
              0.02248,
              0.04864,
              0.06992,
              0.11224,
              0.20058,
              0.38346,
              0.75319,
              1.49497
            ],
            [
              0.02251,
              0.04865,
              0.06998,
              0.11226,
              0.20055,
              0.38305,
              0.75294,
              1.49881
            ],
            [
              0.02256,
              0.04873,
              0.07007,
              0.11227,
              0.20058,
              0.38348,
              0.75311,
              1.49551
            ],
            [
              0.02273,
              0.04888,
              0.0701,
              0.11233,
              0.20061,
              0.38336,
              0.75297,
              1.49538
            ],
            [
              0.02326,
              0.04937,
              0.0705,
              0.1126,
              0.20068,
              0.38311,
              0.75271,
              1.49597
            ],
            [
              0.02424,
              0.05038,
              0.07136,
              0.11332,
              0.20113,
              0.38329,
              0.75355,
              1.4961
            ],
            [
              0.02548,
              0.05169,
              0.07247,
              0.1139,
              0.20151,
              0.3838,
              0.7532,
              1.4943
            ],
            [
              0.0271,
              0.0535,
              0.0742,
              0.1151,
              0.202,
              0.3835,
              0.7533,
              1.4986
            ],
            [
              0.0293,
              0.0561,
              0.0766,
              0.1169,
              0.2032,
              0.3844,
              0.7531,
              1.494
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.23331,
              0.25844,
              0.27628,
              0.305,
              0.35162,
              0.43089,
              0.57662,
              0.86135
            ],
            [
              0.23538,
              0.26051,
              0.27835,
              0.30707,
              0.35368,
              0.43296,
              0.57865,
              0.86343
            ],
            [
              0.23807,
              0.26319,
              0.28103,
              0.30975,
              0.35637,
              0.43565,
              0.58132,
              0.86611
            ],
            [
              0.24233,
              0.26745,
              0.2853,
              0.31401,
              0.36062,
              0.43992,
              0.58559,
              0.87038
            ],
            [
              0.24888,
              0.27401,
              0.29185,
              0.32057,
              0.36718,
              0.44648,
              0.59205,
              0.87679
            ],
            [
              0.25837,
              0.28348,
              0.30132,
              0.33003,
              0.37665,
              0.45594,
              0.60152,
              0.88605
            ],
            [
              0.27125,
              0.29634,
              0.31417,
              0.34287,
              0.38947,
              0.46875,
              0.61429,
              0.89893
            ],
            [
              0.28821,
              0.31323,
              0.33103,
              0.3597,
              0.40628,
              0.48554,
              0.63112,
              0.91576
            ],
            [
              0.30962,
              0.33453,
              0.35228,
              0.38091,
              0.42744,
              0.50666,
              0.65215,
              0.93705
            ],
            [
              0.33505,
              0.35984,
              0.37751,
              0.40606,
              0.4525,
              0.5316,
              0.67709,
              0.96179
            ],
            [
              0.3659,
              0.39063,
              0.40829,
              0.43678,
              0.48312,
              0.56202,
              0.70752,
              0.99222
            ],
            [
              0.40497,
              0.42967,
              0.44737,
              0.47577,
              0.52197,
              0.60087,
              0.74627,
              1.03037
            ],
            [
              0.4558,
              0.4805,
              0.4981,
              0.5265,
              0.5727,
              0.6514,
              0.7965,
              1.0806
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.20429,
              0.23168,
              0.25177,
              0.28619,
              0.34863,
              0.46908,
              0.70736,
              1.18437
            ],
            [
              0.20629,
              0.23367,
              0.25378,
              0.28822,
              0.35071,
              0.47101,
              0.70981,
              1.18684
            ],
            [
              0.20878,
              0.23616,
              0.25626,
              0.29069,
              0.35317,
              0.47343,
              0.71226,
              1.18962
            ],
            [
              0.21249,
              0.23988,
              0.25997,
              0.29437,
              0.35681,
              0.47726,
              0.71561,
              1.19368
            ],
            [
              0.21768,
              0.24506,
              0.26515,
              0.29958,
              0.36202,
              0.48246,
              0.72077,
              1.19891
            ],
            [
              0.22419,
              0.25156,
              0.27165,
              0.30609,
              0.36854,
              0.48895,
              0.72731,
              1.20542
            ],
            [
              0.23197,
              0.25931,
              0.27942,
              0.31386,
              0.37635,
              0.49668,
              0.73507,
              1.21303
            ],
            [
              0.24108,
              0.26838,
              0.28848,
              0.32292,
              0.38541,
              0.50567,
              0.74402,
              1.22116
            ],
            [
              0.25127,
              0.27849,
              0.29857,
              0.33296,
              0.39539,
              0.51572,
              0.75445,
              1.23185
            ],
            [
              0.26186,
              0.28895,
              0.30895,
              0.34335,
              0.4057,
              0.5261,
              0.76469,
              1.24189
            ],
            [
              0.27149,
              0.29841,
              0.31833,
              0.35261,
              0.41506,
              0.53532,
              0.77402,
              1.25092
            ],
            [
              0.27817,
              0.30487,
              0.32477,
              0.35897,
              0.42127,
              0.54167,
              0.78037,
              1.25687
            ],
            [
              0.2794,
              0.306,
              0.3258,
              0.3598,
              0.4221,
              0.5421,
              0.7808,
              1.2573
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02505,
              0.04341,
              0.05759,
              0.08252,
              0.12797,
              0.21682,
              0.39997,
              0.77916
            ],
            [
              0.02505,
              0.04337,
              0.05752,
              0.08241,
              0.12801,
              0.21667,
              0.39999,
              0.77913
            ],
            [
              0.02506,
              0.04337,
              0.05753,
              0.08241,
              0.12803,
              0.21663,
              0.40009,
              0.77912
            ],
            [
              0.02505,
              0.04337,
              0.05753,
              0.08241,
              0.12802,
              0.21666,
              0.40002,
              0.77911
            ],
            [
              0.02504,
              0.04336,
              0.05754,
              0.08243,
              0.12799,
              0.21654,
              0.40031,
              0.77851
            ],
            [
              0.02506,
              0.04342,
              0.05755,
              0.08244,
              0.12788,
              0.21665,
              0.4004,
              0.77868
            ],
            [
              0.02499,
              0.04332,
              0.05749,
              0.08239,
              0.12781,
              0.21655,
              0.40038,
              0.77838
            ],
            [
              0.02489,
              0.04319,
              0.05736,
              0.08224,
              0.12789,
              0.21645,
              0.4002,
              0.77873
            ],
            [
              0.02471,
              0.04298,
              0.05716,
              0.08205,
              0.12773,
              0.21635,
              0.40023,
              0.77918
            ],
            [
              0.02455,
              0.04275,
              0.05699,
              0.08182,
              0.12733,
              0.21621,
              0.39999,
              0.78013
            ],
            [
              0.02444,
              0.04262,
              0.05681,
              0.08171,
              0.12714,
              0.2159,
              0.3995,
              0.7791
            ],
            [
              0.0244,
              0.0426,
              0.0567,
              0.0815,
              0.1268,
              0.2157,
              0.3989,
              0.7791
            ],
            [
              0.0245,
              0.0426,
              0.0568,
              0.0815,
              0.1266,
              0.2152,
              0.3986,
              0.7769
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02325,
              0.04954,
              0.07128,
              0.11352,
              0.20114,
              0.38143,
              0.74781,
              1.48608
            ],
            [
              0.02326,
              0.04961,
              0.07126,
              0.11342,
              0.20101,
              0.38157,
              0.74872,
              1.48586
            ],
            [
              0.02329,
              0.04953,
              0.07116,
              0.11352,
              0.20071,
              0.38117,
              0.75067,
              1.48611
            ],
            [
              0.02325,
              0.04954,
              0.07124,
              0.11352,
              0.20106,
              0.38156,
              0.74793,
              1.48625
            ],
            [
              0.02323,
              0.04951,
              0.07127,
              0.11351,
              0.20112,
              0.3815,
              0.74787,
              1.48617
            ],
            [
              0.0232,
              0.04949,
              0.07111,
              0.11347,
              0.20112,
              0.38156,
              0.74788,
              1.48631
            ],
            [
              0.02309,
              0.04938,
              0.07108,
              0.11333,
              0.20104,
              0.38151,
              0.74773,
              1.48651
            ],
            [
              0.02293,
              0.04929,
              0.07098,
              0.11327,
              0.20103,
              0.38158,
              0.74764,
              1.48605
            ],
            [
              0.02266,
              0.04898,
              0.07075,
              0.11317,
              0.20096,
              0.38155,
              0.74855,
              1.48534
            ],
            [
              0.02243,
              0.04869,
              0.07043,
              0.11305,
              0.20047,
              0.38146,
              0.7493,
              1.4863
            ],
            [
              0.02206,
              0.04827,
              0.0701,
              0.11274,
              0.20073,
              0.38169,
              0.7485,
              1.4899
            ],
            [
              0.0218,
              0.048,
              0.0699,
              0.1126,
              0.2006,
              0.3814,
              0.7493,
              1.4891
            ],
            [
              0.0217,
              0.0479,
              0.0696,
              0.1122,
              0.2001,
              0.3812,
              0.749,
              1.4883
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.21927,
              0.24558,
              0.26433,
              0.29454,
              0.34356,
              0.426,
              0.57439,
              0.85958
            ],
            [
              0.22085,
              0.24717,
              0.26591,
              0.29614,
              0.34518,
              0.42763,
              0.57591,
              0.8614
            ],
            [
              0.22305,
              0.24939,
              0.26814,
              0.29837,
              0.3474,
              0.42984,
              0.57824,
              0.86354
            ],
            [
              0.22673,
              0.25307,
              0.27183,
              0.30207,
              0.35112,
              0.43358,
              0.58198,
              0.8674
            ],
            [
              0.23273,
              0.25912,
              0.27789,
              0.30814,
              0.35718,
              0.43964,
              0.588,
              0.87336
            ],
            [
              0.24208,
              0.26849,
              0.28728,
              0.31754,
              0.3666,
              0.44907,
              0.59742,
              0.88288
            ],
            [
              0.25569,
              0.28212,
              0.30091,
              0.33117,
              0.38024,
              0.46272,
              0.61107,
              0.89653
            ],
            [
              0.27417,
              0.30055,
              0.31931,
              0.34956,
              0.39861,
              0.48109,
              0.62949,
              0.91486
            ],
            [
              0.29663,
              0.32283,
              0.34152,
              0.37171,
              0.42072,
              0.50316,
              0.65154,
              0.93665
            ],
            [
              0.32283,
              0.34889,
              0.36752,
              0.39758,
              0.44646,
              0.52876,
              0.67699,
              0.96229
            ],
            [
              0.35431,
              0.38027,
              0.39885,
              0.42889,
              0.47772,
              0.56002,
              0.70802,
              0.99312
            ],
            [
              0.39337,
              0.41927,
              0.43777,
              0.46777,
              0.51657,
              0.59887,
              0.74707,
              1.03207
            ],
            [
              0.443,
              0.4689,
              0.4875,
              0.5175,
              0.5663,
              0.6485,
              0.7966,
              1.0816
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.17347,
              0.20047,
              0.22004,
              0.2537,
              0.31584,
              0.43691,
              0.67845,
              1.16027
            ],
            [
              0.17576,
              0.20276,
              0.22231,
              0.25595,
              0.31808,
              0.43947,
              0.68043,
              1.16204
            ],
            [
              0.17853,
              0.20553,
              0.22509,
              0.25874,
              0.32088,
              0.44224,
              0.68334,
              1.16512
            ],
            [
              0.18274,
              0.20975,
              0.22934,
              0.26299,
              0.32506,
              0.44639,
              0.68786,
              1.16928
            ],
            [
              0.18905,
              0.21607,
              0.23565,
              0.26931,
              0.33142,
              0.45253,
              0.6941,
              1.17581
            ],
            [
              0.19824,
              0.22526,
              0.24483,
              0.27849,
              0.34062,
              0.46198,
              0.70263,
              1.18462
            ],
            [
              0.21117,
              0.2382,
              0.25777,
              0.29141,
              0.35351,
              0.47488,
              0.71631,
              1.19743
            ],
            [
              0.22959,
              0.25664,
              0.27622,
              0.30985,
              0.37192,
              0.49324,
              0.73443,
              1.21586
            ],
            [
              0.25079,
              0.27775,
              0.29729,
              0.3308,
              0.39283,
              0.51411,
              0.75565,
              1.23745
            ],
            [
              0.27113,
              0.29822,
              0.31777,
              0.3513,
              0.41311,
              0.53427,
              0.77509,
              1.25809
            ],
            [
              0.29125,
              0.31845,
              0.33802,
              0.37155,
              0.43337,
              0.55422,
              0.79542,
              1.27842
            ],
            [
              0.31157,
              0.33897,
              0.35857,
              0.39207,
              0.45387,
              0.57467,
              0.81567,
              1.29757
            ],
            [
              0.3322,
              0.3597,
              0.3794,
              0.4129,
              0.4746,
              0.5953,
              0.8365,
              1.3174
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02733,
              0.04651,
              0.06134,
              0.08741,
              0.13429,
              0.22382,
              0.40496,
              0.7797
            ],
            [
              0.02733,
              0.04656,
              0.0613,
              0.0873,
              0.13442,
              0.22383,
              0.40548,
              0.78148
            ],
            [
              0.02738,
              0.04656,
              0.06139,
              0.08746,
              0.13432,
              0.22382,
              0.40493,
              0.78021
            ],
            [
              0.0274,
              0.04662,
              0.06137,
              0.08748,
              0.13441,
              0.22374,
              0.40515,
              0.78114
            ],
            [
              0.02744,
              0.04664,
              0.06147,
              0.08752,
              0.13435,
              0.22389,
              0.40538,
              0.78018
            ],
            [
              0.0275,
              0.0467,
              0.06152,
              0.08757,
              0.13439,
              0.22393,
              0.40543,
              0.78076
            ],
            [
              0.02751,
              0.04673,
              0.06155,
              0.08759,
              0.13442,
              0.22395,
              0.40545,
              0.78113
            ],
            [
              0.02742,
              0.04661,
              0.06141,
              0.08738,
              0.13448,
              0.22371,
              0.40531,
              0.78142
            ],
            [
              0.02717,
              0.04634,
              0.06113,
              0.08712,
              0.1342,
              0.22361,
              0.40487,
              0.77999
            ],
            [
              0.02704,
              0.04611,
              0.06093,
              0.08685,
              0.13397,
              0.22343,
              0.40469,
              0.78143
            ],
            [
              0.0269,
              0.046,
              0.06074,
              0.08676,
              0.13393,
              0.2232,
              0.405,
              0.78
            ],
            [
              0.0269,
              0.0459,
              0.0606,
              0.0866,
              0.1337,
              0.2233,
              0.4042,
              0.7793
            ],
            [
              0.027,
              0.0459,
              0.0606,
              0.0866,
              0.1337,
              0.223,
              0.4049,
              0.7791
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02286,
              0.04847,
              0.0694,
              0.11175,
              0.20055,
              0.38317,
              0.7535,
              1.4971
            ],
            [
              0.02291,
              0.04842,
              0.06961,
              0.11176,
              0.20016,
              0.38432,
              0.75397,
              1.49583
            ],
            [
              0.02288,
              0.04846,
              0.06961,
              0.1118,
              0.20025,
              0.38334,
              0.75547,
              1.49721
            ],
            [
              0.02291,
              0.04856,
              0.06962,
              0.11161,
              0.20057,
              0.38343,
              0.75331,
              1.4965
            ],
            [
              0.02293,
              0.04857,
              0.06961,
              0.11172,
              0.20063,
              0.38313,
              0.75344,
              1.49703
            ],
            [
              0.02296,
              0.04851,
              0.06953,
              0.11184,
              0.2004,
              0.38306,
              0.75403,
              1.49749
            ],
            [
              0.02299,
              0.04855,
              0.06961,
              0.11188,
              0.2002,
              0.38318,
              0.75354,
              1.4958
            ],
            [
              0.0231,
              0.0487,
              0.0698,
              0.11189,
              0.2004,
              0.38331,
              0.75579,
              1.49594
            ],
            [
              0.02318,
              0.04873,
              0.06987,
              0.11195,
              0.20055,
              0.38344,
              0.75365,
              1.49774
            ],
            [
              0.0235,
              0.04907,
              0.07019,
              0.11216,
              0.20048,
              0.38315,
              0.75428,
              1.499
            ],
            [
              0.02382,
              0.04949,
              0.07053,
              0.11244,
              0.20057,
              0.38347,
              0.754,
              1.497
            ],
            [
              0.0242,
              0.0499,
              0.0708,
              0.1126,
              0.2009,
              0.3834,
              0.7541,
              1.4968
            ],
            [
              0.0248,
              0.0505,
              0.0714,
              0.113,
              0.201,
              0.3845,
              0.7537,
              1.4954
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.18415,
              0.21057,
              0.22917,
              0.25869,
              0.30588,
              0.38534,
              0.53106,
              0.81567
            ],
            [
              0.1862,
              0.21261,
              0.2312,
              0.26072,
              0.30792,
              0.38739,
              0.53305,
              0.81791
            ],
            [
              0.18868,
              0.21508,
              0.23367,
              0.2632,
              0.31038,
              0.38988,
              0.53551,
              0.82015
            ],
            [
              0.19243,
              0.21882,
              0.23741,
              0.26693,
              0.31411,
              0.39359,
              0.53929,
              0.82395
            ],
            [
              0.19802,
              0.2244,
              0.24298,
              0.2725,
              0.31968,
              0.39917,
              0.54477,
              0.82932
            ],
            [
              0.20604,
              0.2324,
              0.25098,
              0.28049,
              0.32767,
              0.40715,
              0.55272,
              0.83721
            ],
            [
              0.21646,
              0.24277,
              0.26134,
              0.29085,
              0.33802,
              0.41749,
              0.56315,
              0.84767
            ],
            [
              0.22781,
              0.25393,
              0.27245,
              0.30197,
              0.34918,
              0.42866,
              0.57425,
              0.85886
            ],
            [
              0.23818,
              0.26395,
              0.2824,
              0.31197,
              0.35926,
              0.43878,
              0.58429,
              0.86915
            ],
            [
              0.24778,
              0.27316,
              0.29146,
              0.3209,
              0.36816,
              0.44768,
              0.59332,
              0.87769
            ],
            [
              0.25596,
              0.28109,
              0.29921,
              0.32853,
              0.37577,
              0.45532,
              0.60062,
              0.88542
            ],
            [
              0.26097,
              0.28587,
              0.30387,
              0.33297,
              0.38027,
              0.45977,
              0.60517,
              0.88937
            ],
            [
              0.2594,
              0.2843,
              0.3021,
              0.331,
              0.3781,
              0.4578,
              0.6033,
              0.8877
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.19248,
              0.21964,
              0.23975,
              0.27442,
              0.33753,
              0.45903,
              0.69993,
              1.18137
            ],
            [
              0.19367,
              0.22082,
              0.24093,
              0.27558,
              0.33877,
              0.46019,
              0.70119,
              1.18254
            ],
            [
              0.1954,
              0.22253,
              0.24264,
              0.2773,
              0.34041,
              0.46191,
              0.70281,
              1.18432
            ],
            [
              0.19842,
              0.22554,
              0.24565,
              0.2803,
              0.34347,
              0.46488,
              0.70588,
              1.18728
            ],
            [
              0.20355,
              0.23065,
              0.25075,
              0.28541,
              0.34855,
              0.47,
              0.71097,
              1.19231
            ],
            [
              0.21196,
              0.23904,
              0.25913,
              0.29378,
              0.3569,
              0.47842,
              0.71935,
              1.20082
            ],
            [
              0.22511,
              0.25218,
              0.27227,
              0.30691,
              0.37006,
              0.49153,
              0.73251,
              1.21393
            ],
            [
              0.24436,
              0.27145,
              0.29155,
              0.32619,
              0.38933,
              0.51083,
              0.75176,
              1.23326
            ],
            [
              0.26912,
              0.29643,
              0.31659,
              0.35125,
              0.41443,
              0.53591,
              0.77675,
              1.25825
            ],
            [
              0.29869,
              0.32619,
              0.34644,
              0.38117,
              0.4444,
              0.56598,
              0.80689,
              1.28829
            ],
            [
              0.33518,
              0.36296,
              0.38331,
              0.4181,
              0.48132,
              0.60282,
              0.84392,
              1.32512
            ],
            [
              0.38057,
              0.40877,
              0.42927,
              0.46417,
              0.52747,
              0.64907,
              0.88997,
              1.37147
            ],
            [
              0.4387,
              0.4674,
              0.4883,
              0.5234,
              0.5867,
              0.7084,
              0.9494,
              1.4307
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02519,
              0.04436,
              0.05883,
              0.0838,
              0.12878,
              0.2169,
              0.3997,
              0.77861
            ],
            [
              0.02519,
              0.04434,
              0.05883,
              0.08378,
              0.12875,
              0.21693,
              0.40005,
              0.77924
            ],
            [
              0.02515,
              0.04433,
              0.05884,
              0.08374,
              0.1286,
              0.21663,
              0.39981,
              0.77863
            ],
            [
              0.02514,
              0.04433,
              0.0588,
              0.08378,
              0.12875,
              0.21678,
              0.39949,
              0.77897
            ],
            [
              0.02511,
              0.0443,
              0.05877,
              0.08375,
              0.1287,
              0.21669,
              0.39989,
              0.77821
            ],
            [
              0.02507,
              0.04426,
              0.05873,
              0.08372,
              0.12872,
              0.21666,
              0.39997,
              0.77794
            ],
            [
              0.02497,
              0.0442,
              0.0587,
              0.08368,
              0.12864,
              0.2168,
              0.39968,
              0.77829
            ],
            [
              0.02467,
              0.04408,
              0.05865,
              0.08373,
              0.12872,
              0.21689,
              0.39989,
              0.77872
            ],
            [
              0.0245,
              0.04398,
              0.05871,
              0.08388,
              0.12896,
              0.21699,
              0.40011,
              0.7784
            ],
            [
              0.02452,
              0.04366,
              0.05838,
              0.08367,
              0.12883,
              0.21705,
              0.39951,
              0.77798
            ],
            [
              0.02459,
              0.04343,
              0.05815,
              0.0835,
              0.12878,
              0.21668,
              0.39952,
              0.7791
            ],
            [
              0.0248,
              0.0433,
              0.0579,
              0.0834,
              0.1289,
              0.217,
              0.3997,
              0.7779
            ],
            [
              0.0252,
              0.0434,
              0.0578,
              0.0832,
              0.1289,
              0.2171,
              0.3994,
              0.7778
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02222,
              0.04865,
              0.07049,
              0.11347,
              0.20188,
              0.38417,
              0.75369,
              1.49482
            ],
            [
              0.0222,
              0.04864,
              0.07049,
              0.11346,
              0.20181,
              0.38422,
              0.75388,
              1.49756
            ],
            [
              0.02218,
              0.04859,
              0.07047,
              0.11343,
              0.20185,
              0.38366,
              0.75355,
              1.49596
            ],
            [
              0.02215,
              0.04857,
              0.07044,
              0.1135,
              0.20166,
              0.38354,
              0.7532,
              1.49427
            ],
            [
              0.0221,
              0.04851,
              0.07041,
              0.11337,
              0.20179,
              0.38357,
              0.75362,
              1.4959
            ],
            [
              0.02203,
              0.04848,
              0.07039,
              0.11334,
              0.20179,
              0.38398,
              0.75336,
              1.49562
            ],
            [
              0.02203,
              0.04846,
              0.07036,
              0.11344,
              0.20174,
              0.38387,
              0.75352,
              1.49749
            ],
            [
              0.02214,
              0.04857,
              0.07046,
              0.11344,
              0.20178,
              0.3841,
              0.75338,
              1.49564
            ],
            [
              0.02275,
              0.04914,
              0.07101,
              0.11377,
              0.20189,
              0.38357,
              0.7541,
              1.49565
            ],
            [
              0.02331,
              0.0498,
              0.07161,
              0.11422,
              0.20232,
              0.38446,
              0.75314,
              1.4954
            ],
            [
              0.0241,
              0.05063,
              0.07229,
              0.11473,
              0.20256,
              0.3844,
              0.7532,
              1.4949
            ],
            [
              0.0251,
              0.0518,
              0.0732,
              0.1155,
              0.2029,
              0.3844,
              0.7545,
              1.4951
            ],
            [
              0.0266,
              0.0534,
              0.0748,
              0.1167,
              0.2036,
              0.3849,
              0.7541,
              1.499
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.18764,
              0.21462,
              0.23373,
              0.2643,
              0.31347,
              0.39593,
              0.54435,
              0.82985
            ],
            [
              0.18972,
              0.2167,
              0.23581,
              0.26638,
              0.31556,
              0.39799,
              0.54642,
              0.83218
            ],
            [
              0.19221,
              0.21919,
              0.23829,
              0.26887,
              0.31804,
              0.40049,
              0.54887,
              0.83443
            ],
            [
              0.19592,
              0.2229,
              0.242,
              0.27257,
              0.32175,
              0.40418,
              0.55261,
              0.83842
            ],
            [
              0.20144,
              0.22842,
              0.24751,
              0.27808,
              0.32725,
              0.40968,
              0.55812,
              0.84391
            ],
            [
              0.2094,
              0.23638,
              0.25546,
              0.28602,
              0.33519,
              0.4176,
              0.56596,
              0.85167
            ],
            [
              0.2206,
              0.24757,
              0.26665,
              0.29721,
              0.34635,
              0.42878,
              0.5772,
              0.86295
            ],
            [
              0.23403,
              0.26093,
              0.27998,
              0.31051,
              0.35965,
              0.44205,
              0.59046,
              0.87616
            ],
            [
              0.24593,
              0.27266,
              0.2917,
              0.32226,
              0.37143,
              0.45385,
              0.60224,
              0.88805
            ],
            [
              0.25597,
              0.28233,
              0.30128,
              0.33179,
              0.38095,
              0.46343,
              0.61188,
              0.89749
            ],
            [
              0.26345,
              0.28956,
              0.30843,
              0.33894,
              0.38819,
              0.47062,
              0.61872,
              0.90452
            ],
            [
              0.26667,
              0.29267,
              0.31147,
              0.34187,
              0.39127,
              0.47387,
              0.62217,
              0.90737
            ],
            [
              0.2633,
              0.2892,
              0.3078,
              0.3381,
              0.3874,
              0.4703,
              0.6187,
              0.9044
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.19704,
              0.2241,
              0.24386,
              0.2778,
              0.34021,
              0.46133,
              0.70223,
              1.18347
            ],
            [
              0.19857,
              0.22562,
              0.24537,
              0.27934,
              0.34178,
              0.46288,
              0.70377,
              1.18504
            ],
            [
              0.20054,
              0.22758,
              0.24733,
              0.2813,
              0.34374,
              0.46485,
              0.70574,
              1.18702
            ],
            [
              0.20383,
              0.23084,
              0.2506,
              0.28456,
              0.34693,
              0.46812,
              0.70898,
              1.19037
            ],
            [
              0.20938,
              0.23638,
              0.25612,
              0.29008,
              0.35242,
              0.47366,
              0.71454,
              1.19581
            ],
            [
              0.21856,
              0.24554,
              0.26527,
              0.29923,
              0.36162,
              0.48278,
              0.72362,
              1.20502
            ],
            [
              0.23325,
              0.26022,
              0.27994,
              0.31389,
              0.3763,
              0.49745,
              0.73836,
              1.21963
            ],
            [
              0.25521,
              0.28218,
              0.3019,
              0.33584,
              0.39818,
              0.51936,
              0.76026,
              1.24156
            ],
            [
              0.28447,
              0.31158,
              0.33134,
              0.36529,
              0.42759,
              0.54875,
              0.78965,
              1.27095
            ],
            [
              0.31955,
              0.34704,
              0.36694,
              0.40097,
              0.46331,
              0.58446,
              0.82539,
              1.30669
            ],
            [
              0.36264,
              0.39053,
              0.41057,
              0.44472,
              0.50702,
              0.62812,
              0.86902,
              1.35032
            ],
            [
              0.41647,
              0.44477,
              0.46497,
              0.49917,
              0.56157,
              0.68267,
              0.92337,
              1.40467
            ],
            [
              0.485,
              0.5136,
              0.5341,
              0.5685,
              0.6309,
              0.7519,
              0.9927,
              1.4739
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02652,
              0.04574,
              0.06075,
              0.08683,
              0.13365,
              0.22304,
              0.40522,
              0.78079
            ],
            [
              0.02647,
              0.04575,
              0.06073,
              0.08689,
              0.1337,
              0.22325,
              0.40507,
              0.78083
            ],
            [
              0.02646,
              0.04573,
              0.06073,
              0.08678,
              0.1336,
              0.2231,
              0.40525,
              0.78068
            ],
            [
              0.02646,
              0.04573,
              0.06073,
              0.08686,
              0.13378,
              0.22317,
              0.40487,
              0.7812
            ],
            [
              0.02639,
              0.0457,
              0.06072,
              0.08683,
              0.1337,
              0.22311,
              0.40478,
              0.78124
            ],
            [
              0.02632,
              0.04569,
              0.0607,
              0.08685,
              0.13368,
              0.22324,
              0.40522,
              0.78028
            ],
            [
              0.0262,
              0.04567,
              0.06067,
              0.08678,
              0.1336,
              0.22307,
              0.4049,
              0.78096
            ],
            [
              0.0259,
              0.04561,
              0.06067,
              0.08678,
              0.13362,
              0.22317,
              0.40485,
              0.78123
            ],
            [
              0.02582,
              0.04581,
              0.06091,
              0.08695,
              0.13382,
              0.22306,
              0.40511,
              0.78127
            ],
            [
              0.02598,
              0.0458,
              0.06095,
              0.08702,
              0.13375,
              0.22334,
              0.40485,
              0.78092
            ],
            [
              0.02654,
              0.04598,
              0.06109,
              0.0873,
              0.13408,
              0.22291,
              0.40494,
              0.7807
            ],
            [
              0.027,
              0.0462,
              0.0612,
              0.0875,
              0.1344,
              0.2238,
              0.4046,
              0.7806
            ],
            [
              0.0273,
              0.0464,
              0.0612,
              0.0875,
              0.1347,
              0.2241,
              0.4055,
              0.78
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02208,
              0.04803,
              0.06932,
              0.11175,
              0.20022,
              0.38306,
              0.75401,
              1.49449
            ],
            [
              0.02207,
              0.04797,
              0.06928,
              0.11174,
              0.2003,
              0.38278,
              0.75357,
              1.49404
            ],
            [
              0.02206,
              0.04797,
              0.06928,
              0.11176,
              0.20028,
              0.38279,
              0.75398,
              1.49496
            ],
            [
              0.02204,
              0.04797,
              0.06927,
              0.11173,
              0.20042,
              0.38375,
              0.75456,
              1.495
            ],
            [
              0.02201,
              0.04794,
              0.06923,
              0.11173,
              0.20017,
              0.38284,
              0.75396,
              1.49566
            ],
            [
              0.02197,
              0.04788,
              0.06917,
              0.11171,
              0.2002,
              0.38302,
              0.75382,
              1.49465
            ],
            [
              0.0219,
              0.0478,
              0.06913,
              0.11164,
              0.20028,
              0.38294,
              0.75418,
              1.49559
            ],
            [
              0.02185,
              0.0478,
              0.06911,
              0.11165,
              0.20026,
              0.383,
              0.75429,
              1.49423
            ],
            [
              0.02216,
              0.04809,
              0.06939,
              0.11183,
              0.20032,
              0.38341,
              0.75418,
              1.49508
            ],
            [
              0.0228,
              0.04881,
              0.07,
              0.11249,
              0.20062,
              0.38294,
              0.75305,
              1.4953
            ],
            [
              0.0237,
              0.04973,
              0.07075,
              0.11285,
              0.2009,
              0.3833,
              0.7532,
              1.4976
            ],
            [
              0.025,
              0.0511,
              0.0719,
              0.1136,
              0.2012,
              0.3833,
              0.7535,
              1.494
            ],
            [
              0.0266,
              0.0527,
              0.0735,
              0.1146,
              0.202,
              0.3837,
              0.7533,
              1.4951
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.21918,
              0.24445,
              0.26239,
              0.29124,
              0.33798,
              0.41734,
              0.56307,
              0.84776
            ],
            [
              0.22089,
              0.24617,
              0.26411,
              0.29296,
              0.33971,
              0.41905,
              0.56483,
              0.84958
            ],
            [
              0.22316,
              0.24844,
              0.26639,
              0.29524,
              0.342,
              0.42133,
              0.56711,
              0.85186
            ],
            [
              0.2269,
              0.2522,
              0.27014,
              0.299,
              0.34575,
              0.42512,
              0.57083,
              0.85555
            ],
            [
              0.23309,
              0.25838,
              0.27633,
              0.30519,
              0.35195,
              0.43133,
              0.57692,
              0.86141
            ],
            [
              0.24321,
              0.26851,
              0.28646,
              0.31532,
              0.36209,
              0.44145,
              0.58722,
              0.87196
            ],
            [
              0.25916,
              0.28448,
              0.30243,
              0.3313,
              0.37809,
              0.45746,
              0.60325,
              0.88801
            ],
            [
              0.28223,
              0.30754,
              0.3255,
              0.35438,
              0.40117,
              0.48057,
              0.62635,
              0.91106
            ],
            [
              0.31157,
              0.3368,
              0.35472,
              0.38357,
              0.43034,
              0.50975,
              0.65552,
              0.94035
            ],
            [
              0.346,
              0.37106,
              0.38887,
              0.41759,
              0.46426,
              0.5436,
              0.68919,
              0.97399
            ],
            [
              0.38677,
              0.41172,
              0.42949,
              0.45822,
              0.50482,
              0.58402,
              0.72972,
              1.01452
            ],
            [
              0.43637,
              0.46127,
              0.47897,
              0.50757,
              0.55417,
              0.63347,
              0.77907,
              1.06327
            ],
            [
              0.4985,
              0.5232,
              0.5409,
              0.5695,
              0.616,
              0.6952,
              0.8408,
              1.1255
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.16448,
              0.19178,
              0.21186,
              0.24629,
              0.30882,
              0.42924,
              0.66793,
              1.14507
            ],
            [
              0.16678,
              0.19408,
              0.21417,
              0.24862,
              0.31114,
              0.43127,
              0.66982,
              1.14714
            ],
            [
              0.16955,
              0.19685,
              0.21694,
              0.25137,
              0.31388,
              0.4343,
              0.67259,
              1.15062
            ],
            [
              0.17372,
              0.20103,
              0.22112,
              0.25557,
              0.31806,
              0.43833,
              0.67665,
              1.15397
            ],
            [
              0.17993,
              0.20723,
              0.22733,
              0.26178,
              0.32426,
              0.44455,
              0.68282,
              1.16011
            ],
            [
              0.18886,
              0.21616,
              0.23625,
              0.2707,
              0.33322,
              0.45345,
              0.69217,
              1.16952
            ],
            [
              0.20193,
              0.22924,
              0.24933,
              0.28379,
              0.34628,
              0.46647,
              0.70486,
              1.18213
            ],
            [
              0.2195,
              0.2468,
              0.26688,
              0.30128,
              0.36373,
              0.48402,
              0.72242,
              1.19966
            ],
            [
              0.23605,
              0.26326,
              0.28326,
              0.31759,
              0.38001,
              0.50016,
              0.73911,
              1.21615
            ],
            [
              0.25024,
              0.27752,
              0.29757,
              0.33193,
              0.3942,
              0.51443,
              0.75329,
              1.23109
            ],
            [
              0.26223,
              0.28956,
              0.30963,
              0.34397,
              0.40642,
              0.52662,
              0.76522,
              1.24322
            ],
            [
              0.27117,
              0.29857,
              0.31867,
              0.35297,
              0.41537,
              0.53567,
              0.77457,
              1.25067
            ],
            [
              0.2749,
              0.3024,
              0.3225,
              0.3568,
              0.4192,
              0.5394,
              0.7782,
              1.2545
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02554,
              0.0439,
              0.058,
              0.08292,
              0.1282,
              0.21691,
              0.40024,
              0.77899
            ],
            [
              0.02555,
              0.04392,
              0.05803,
              0.08283,
              0.12825,
              0.21696,
              0.3998,
              0.77922
            ],
            [
              0.02557,
              0.0439,
              0.05806,
              0.08283,
              0.12827,
              0.21695,
              0.39969,
              0.77921
            ],
            [
              0.02559,
              0.04391,
              0.05806,
              0.08283,
              0.12831,
              0.21685,
              0.40003,
              0.77899
            ],
            [
              0.02561,
              0.04393,
              0.05806,
              0.08299,
              0.12823,
              0.21669,
              0.4004,
              0.77854
            ],
            [
              0.02565,
              0.04399,
              0.05813,
              0.08289,
              0.12832,
              0.21694,
              0.39983,
              0.77919
            ],
            [
              0.02569,
              0.04403,
              0.05817,
              0.08295,
              0.12834,
              0.21703,
              0.39989,
              0.7793
            ],
            [
              0.02573,
              0.04408,
              0.05821,
              0.08304,
              0.12834,
              0.21704,
              0.4001,
              0.77912
            ],
            [
              0.02563,
              0.04399,
              0.05812,
              0.08298,
              0.12828,
              0.21696,
              0.4002,
              0.77921
            ],
            [
              0.02548,
              0.04375,
              0.05787,
              0.08265,
              0.12802,
              0.21655,
              0.40036,
              0.77938
            ],
            [
              0.02542,
              0.04367,
              0.05781,
              0.08258,
              0.12784,
              0.2163,
              0.3996,
              0.7796
            ],
            [
              0.0254,
              0.0436,
              0.0577,
              0.0825,
              0.1278,
              0.2163,
              0.3991,
              0.7789
            ],
            [
              0.0254,
              0.0436,
              0.0577,
              0.0825,
              0.1278,
              0.2162,
              0.3993,
              0.7767
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02292,
              0.0492,
              0.071,
              0.11332,
              0.20058,
              0.38131,
              0.75067,
              1.4858
            ],
            [
              0.02292,
              0.04921,
              0.0709,
              0.11335,
              0.20095,
              0.38154,
              0.74767,
              1.48593
            ],
            [
              0.02294,
              0.04919,
              0.07103,
              0.11333,
              0.20062,
              0.38115,
              0.74783,
              1.48643
            ],
            [
              0.02296,
              0.04925,
              0.07097,
              0.11323,
              0.20102,
              0.38157,
              0.74777,
              1.48591
            ],
            [
              0.02296,
              0.04925,
              0.07097,
              0.11326,
              0.20103,
              0.38157,
              0.74751,
              1.48594
            ],
            [
              0.02299,
              0.04923,
              0.07088,
              0.11333,
              0.20085,
              0.3812,
              0.74799,
              1.48557
            ],
            [
              0.02297,
              0.04923,
              0.07086,
              0.1133,
              0.20098,
              0.38157,
              0.74783,
              1.48596
            ],
            [
              0.02295,
              0.04921,
              0.07097,
              0.11335,
              0.20105,
              0.38157,
              0.74783,
              1.48596
            ],
            [
              0.02291,
              0.04922,
              0.07075,
              0.11326,
              0.20096,
              0.38135,
              0.74973,
              1.48604
            ],
            [
              0.02304,
              0.0494,
              0.07105,
              0.11344,
              0.20067,
              0.38102,
              0.74833,
              1.48582
            ],
            [
              0.02319,
              0.04955,
              0.07109,
              0.11352,
              0.20116,
              0.38174,
              0.7486,
              1.4864
            ],
            [
              0.0234,
              0.0497,
              0.0714,
              0.1136,
              0.2012,
              0.3817,
              0.7491,
              1.4845
            ],
            [
              0.0237,
              0.05,
              0.0717,
              0.1139,
              0.2012,
              0.3816,
              0.7483,
              1.4882
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.13893,
              0.16871,
              0.18957,
              0.22198,
              0.2728,
              0.35641,
              0.50531,
              0.79036
            ],
            [
              0.14098,
              0.17075,
              0.19161,
              0.22404,
              0.27485,
              0.35846,
              0.50736,
              0.79285
            ],
            [
              0.14359,
              0.17335,
              0.19421,
              0.22663,
              0.27745,
              0.36105,
              0.50991,
              0.79522
            ],
            [
              0.14766,
              0.17741,
              0.19826,
              0.2307,
              0.28153,
              0.36512,
              0.51397,
              0.79936
            ],
            [
              0.15398,
              0.18374,
              0.20458,
              0.23699,
              0.28784,
              0.37145,
              0.52035,
              0.80579
            ],
            [
              0.1638,
              0.19353,
              0.21435,
              0.24676,
              0.29761,
              0.38123,
              0.53011,
              0.81548
            ],
            [
              0.17873,
              0.20843,
              0.22924,
              0.26165,
              0.31251,
              0.39617,
              0.5451,
              0.83057
            ],
            [
              0.20063,
              0.23038,
              0.25119,
              0.28363,
              0.33457,
              0.41831,
              0.56728,
              0.85256
            ],
            [
              0.22885,
              0.25962,
              0.28092,
              0.31384,
              0.36515,
              0.44915,
              0.59817,
              0.88365
            ],
            [
              0.26234,
              0.29467,
              0.31704,
              0.35137,
              0.40417,
              0.48913,
              0.63849,
              0.92389
            ],
            [
              0.30245,
              0.33666,
              0.36028,
              0.39634,
              0.45122,
              0.53842,
              0.68922,
              0.97502
            ],
            [
              0.35167,
              0.38807,
              0.41317,
              0.45137,
              0.50877,
              0.59867,
              0.75167,
              1.03837
            ],
            [
              0.4139,
              0.4528,
              0.4798,
              0.5207,
              0.5814,
              0.6748,
              0.8306,
              1.1187
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.10581,
              0.13296,
              0.15313,
              0.18772,
              0.25069,
              0.37224,
              0.61353,
              1.09607
            ],
            [
              0.10795,
              0.1351,
              0.15528,
              0.18987,
              0.25284,
              0.37437,
              0.6157,
              1.09794
            ],
            [
              0.11052,
              0.13767,
              0.15783,
              0.19242,
              0.25539,
              0.37692,
              0.61831,
              1.10142
            ],
            [
              0.11438,
              0.14153,
              0.16168,
              0.19631,
              0.25927,
              0.38079,
              0.62269,
              1.10547
            ],
            [
              0.1203,
              0.14746,
              0.16759,
              0.20222,
              0.26508,
              0.38666,
              0.62763,
              1.10981
            ],
            [
              0.12916,
              0.15631,
              0.17645,
              0.21099,
              0.27397,
              0.3953,
              0.63732,
              1.12032
            ],
            [
              0.142,
              0.1691,
              0.18919,
              0.22372,
              0.28659,
              0.40798,
              0.64956,
              1.13303
            ],
            [
              0.15859,
              0.18606,
              0.20621,
              0.24074,
              0.3035,
              0.42506,
              0.66628,
              1.14976
            ],
            [
              0.1774,
              0.20591,
              0.2267,
              0.26169,
              0.32475,
              0.4462,
              0.68727,
              1.16995
            ],
            [
              0.19796,
              0.22786,
              0.24958,
              0.28558,
              0.34926,
              0.47061,
              0.71219,
              1.19439
            ],
            [
              0.21947,
              0.2512,
              0.27427,
              0.31175,
              0.37649,
              0.49842,
              0.73932,
              1.22212
            ],
            [
              0.24027,
              0.27417,
              0.29917,
              0.33887,
              0.40557,
              0.52857,
              0.76997,
              1.25137
            ],
            [
              0.2576,
              0.2941,
              0.3214,
              0.3645,
              0.4345,
              0.5597,
              0.8026,
              1.2841
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.0308,
              0.05212,
              0.06732,
              0.09269,
              0.13842,
              0.22618,
              0.40628,
              0.78112
            ],
            [
              0.0308,
              0.05211,
              0.06727,
              0.09271,
              0.13839,
              0.22631,
              0.40636,
              0.78128
            ],
            [
              0.0308,
              0.05214,
              0.06726,
              0.09271,
              0.1384,
              0.22643,
              0.40656,
              0.78024
            ],
            [
              0.0308,
              0.05213,
              0.06729,
              0.09283,
              0.1385,
              0.22644,
              0.40656,
              0.78013
            ],
            [
              0.03082,
              0.05216,
              0.06735,
              0.09272,
              0.1385,
              0.22619,
              0.40634,
              0.78106
            ],
            [
              0.03085,
              0.05219,
              0.06733,
              0.09288,
              0.13852,
              0.22642,
              0.40649,
              0.78014
            ],
            [
              0.03101,
              0.05234,
              0.06751,
              0.09287,
              0.13847,
              0.22622,
              0.40641,
              0.7817
            ],
            [
              0.03188,
              0.05307,
              0.06815,
              0.09337,
              0.1388,
              0.22654,
              0.40646,
              0.78007
            ],
            [
              0.03527,
              0.05625,
              0.07094,
              0.09568,
              0.14028,
              0.2272,
              0.40705,
              0.78174
            ],
            [
              0.03988,
              0.06141,
              0.07633,
              0.10077,
              0.14467,
              0.22997,
              0.4082,
              0.78048
            ],
            [
              0.04575,
              0.0679,
              0.08306,
              0.10759,
              0.15118,
              0.2354,
              0.4105,
              0.7832
            ],
            [
              0.0528,
              0.0759,
              0.0915,
              0.1162,
              0.1593,
              0.2425,
              0.4156,
              0.7841
            ],
            [
              0.0617,
              0.0859,
              0.1022,
              0.1275,
              0.1704,
              0.252,
              0.4224,
              0.7871
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.0207,
              0.04744,
              0.06931,
              0.11247,
              0.201,
              0.38416,
              0.75413,
              1.50174
            ],
            [
              0.0207,
              0.04731,
              0.06947,
              0.11257,
              0.20145,
              0.38407,
              0.75375,
              1.49729
            ],
            [
              0.02072,
              0.04746,
              0.06931,
              0.11249,
              0.20101,
              0.38434,
              0.75454,
              1.49898
            ],
            [
              0.02071,
              0.04733,
              0.06929,
              0.11237,
              0.20139,
              0.38417,
              0.75427,
              1.49818
            ],
            [
              0.02072,
              0.04746,
              0.06952,
              0.11256,
              0.20134,
              0.38376,
              0.75537,
              1.50148
            ],
            [
              0.02073,
              0.04742,
              0.06961,
              0.11255,
              0.20132,
              0.38434,
              0.75446,
              1.49786
            ],
            [
              0.02087,
              0.04756,
              0.06954,
              0.11266,
              0.20111,
              0.3837,
              0.7543,
              1.4976
            ],
            [
              0.02201,
              0.04875,
              0.07044,
              0.11317,
              0.20163,
              0.38426,
              0.75469,
              1.49905
            ],
            [
              0.02383,
              0.05121,
              0.07301,
              0.11503,
              0.20224,
              0.38427,
              0.7569,
              1.50007
            ],
            [
              0.0266,
              0.05478,
              0.07678,
              0.11823,
              0.2043,
              0.38564,
              0.75605,
              1.49665
            ],
            [
              0.03052,
              0.05988,
              0.08228,
              0.1235,
              0.20781,
              0.38682,
              0.75483,
              1.4978
            ],
            [
              0.0359,
              0.0667,
              0.09,
              0.1311,
              0.2141,
              0.3906,
              0.7571,
              1.5002
            ],
            [
              0.0433,
              0.0754,
              0.1006,
              0.1428,
              0.224,
              0.397,
              0.7597,
              1.501
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.18036,
              0.20559,
              0.2239,
              0.25348,
              0.30087,
              0.38059,
              0.52634,
              0.81115
            ],
            [
              0.18255,
              0.20778,
              0.22609,
              0.25566,
              0.30305,
              0.38278,
              0.52854,
              0.81337
            ],
            [
              0.18523,
              0.21045,
              0.22877,
              0.25833,
              0.30573,
              0.38542,
              0.53131,
              0.81577
            ],
            [
              0.18935,
              0.21457,
              0.23287,
              0.26243,
              0.30984,
              0.38953,
              0.53541,
              0.81986
            ],
            [
              0.19577,
              0.22096,
              0.23924,
              0.2688,
              0.31618,
              0.3959,
              0.54167,
              0.82645
            ],
            [
              0.20535,
              0.23051,
              0.24878,
              0.27831,
              0.32569,
              0.40541,
              0.55125,
              0.83582
            ],
            [
              0.21894,
              0.24409,
              0.26232,
              0.29184,
              0.33921,
              0.41892,
              0.56479,
              0.84906
            ],
            [
              0.23673,
              0.26183,
              0.28004,
              0.30955,
              0.35691,
              0.4366,
              0.58246,
              0.86716
            ],
            [
              0.25817,
              0.28323,
              0.30141,
              0.33093,
              0.37832,
              0.45802,
              0.60391,
              0.88845
            ],
            [
              0.28246,
              0.30738,
              0.32555,
              0.35507,
              0.40246,
              0.4822,
              0.62794,
              0.91249
            ],
            [
              0.30904,
              0.33382,
              0.35199,
              0.38156,
              0.42905,
              0.50882,
              0.65442,
              0.93892
            ],
            [
              0.33657,
              0.36127,
              0.37947,
              0.40907,
              0.45677,
              0.53667,
              0.68247,
              0.96677
            ],
            [
              0.3626,
              0.3872,
              0.4054,
              0.4353,
              0.4832,
              0.5635,
              0.7097,
              0.9944
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.19162,
              0.21684,
              0.23589,
              0.26912,
              0.33089,
              0.45169,
              0.69249,
              1.17377
            ],
            [
              0.19372,
              0.21896,
              0.238,
              0.27123,
              0.33297,
              0.45383,
              0.69456,
              1.17574
            ],
            [
              0.19633,
              0.22157,
              0.24064,
              0.27386,
              0.33561,
              0.45645,
              0.69718,
              1.17842
            ],
            [
              0.20042,
              0.22565,
              0.24471,
              0.27793,
              0.33968,
              0.46052,
              0.70124,
              1.18258
            ],
            [
              0.20677,
              0.23201,
              0.25107,
              0.28429,
              0.34606,
              0.46684,
              0.70761,
              1.18891
            ],
            [
              0.21666,
              0.24191,
              0.26096,
              0.29418,
              0.35593,
              0.47677,
              0.71753,
              1.19882
            ],
            [
              0.23193,
              0.25718,
              0.27623,
              0.30944,
              0.37118,
              0.49198,
              0.73269,
              1.21403
            ],
            [
              0.25481,
              0.28003,
              0.29904,
              0.33222,
              0.39396,
              0.51476,
              0.75553,
              1.23666
            ],
            [
              0.28587,
              0.31093,
              0.32986,
              0.36297,
              0.42459,
              0.54533,
              0.78605,
              1.26725
            ],
            [
              0.32353,
              0.34844,
              0.36733,
              0.40033,
              0.46187,
              0.58247,
              0.82319,
              1.30439
            ],
            [
              0.36867,
              0.39338,
              0.41221,
              0.44512,
              0.50642,
              0.62692,
              0.86742,
              1.34862
            ],
            [
              0.42387,
              0.44827,
              0.46707,
              0.49987,
              0.56107,
              0.68127,
              0.92157,
              1.40267
            ],
            [
              0.4931,
              0.5174,
              0.5361,
              0.5688,
              0.6297,
              0.7497,
              0.9898,
              1.4706
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02665,
              0.04585,
              0.05984,
              0.08447,
              0.12928,
              0.21743,
              0.40049,
              0.77901
            ],
            [
              0.02664,
              0.04583,
              0.05983,
              0.08449,
              0.1292,
              0.21734,
              0.40035,
              0.77898
            ],
            [
              0.02664,
              0.04584,
              0.05986,
              0.08435,
              0.12939,
              0.2175,
              0.39988,
              0.7788
            ],
            [
              0.02663,
              0.04583,
              0.05985,
              0.08435,
              0.12938,
              0.2175,
              0.39989,
              0.77886
            ],
            [
              0.02663,
              0.04585,
              0.05983,
              0.08446,
              0.1293,
              0.21747,
              0.40049,
              0.77894
            ],
            [
              0.02655,
              0.04581,
              0.0598,
              0.08432,
              0.12928,
              0.21729,
              0.39999,
              0.77844
            ],
            [
              0.02651,
              0.0458,
              0.05982,
              0.08438,
              0.12936,
              0.21751,
              0.40006,
              0.77854
            ],
            [
              0.02651,
              0.04587,
              0.05993,
              0.08443,
              0.1294,
              0.21751,
              0.4,
              0.77907
            ],
            [
              0.02677,
              0.04613,
              0.06013,
              0.08466,
              0.12951,
              0.21761,
              0.39984,
              0.77883
            ],
            [
              0.02727,
              0.04661,
              0.06063,
              0.08497,
              0.12974,
              0.21774,
              0.40041,
              0.77826
            ],
            [
              0.02799,
              0.04735,
              0.06127,
              0.08579,
              0.13026,
              0.21756,
              0.3999,
              0.7787
            ],
            [
              0.029,
              0.0485,
              0.0624,
              0.0868,
              0.1312,
              0.2187,
              0.4001,
              0.7783
            ],
            [
              0.0306,
              0.0502,
              0.0641,
              0.0883,
              0.1328,
              0.2199,
              0.4013,
              0.7778
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02051,
              0.04606,
              0.06726,
              0.10999,
              0.19933,
              0.38233,
              0.75382,
              1.49705
            ],
            [
              0.02051,
              0.0459,
              0.06733,
              0.11033,
              0.19919,
              0.38306,
              0.75259,
              1.49646
            ],
            [
              0.0205,
              0.046,
              0.06733,
              0.11035,
              0.19909,
              0.38295,
              0.75284,
              1.49673
            ],
            [
              0.02051,
              0.04602,
              0.06733,
              0.11003,
              0.19919,
              0.38286,
              0.75293,
              1.49635
            ],
            [
              0.0205,
              0.04602,
              0.06725,
              0.10998,
              0.19936,
              0.38227,
              0.75319,
              1.49412
            ],
            [
              0.02051,
              0.0459,
              0.06733,
              0.10998,
              0.19945,
              0.38322,
              0.75254,
              1.49685
            ],
            [
              0.02049,
              0.046,
              0.06733,
              0.11004,
              0.19904,
              0.38283,
              0.75311,
              1.49493
            ],
            [
              0.02048,
              0.04591,
              0.0673,
              0.1103,
              0.19966,
              0.3834,
              0.75239,
              1.49428
            ],
            [
              0.02061,
              0.04609,
              0.06743,
              0.11013,
              0.19959,
              0.38334,
              0.75435,
              1.49527
            ],
            [
              0.02106,
              0.04662,
              0.06794,
              0.1104,
              0.19931,
              0.3827,
              0.75373,
              1.4966
            ],
            [
              0.02164,
              0.04736,
              0.06853,
              0.11088,
              0.19976,
              0.3826,
              0.7525,
              1.4948
            ],
            [
              0.0225,
              0.0483,
              0.0694,
              0.1115,
              0.2001,
              0.3827,
              0.7534,
              1.4948
            ],
            [
              0.0235,
              0.0496,
              0.0707,
              0.1127,
              0.2006,
              0.3836,
              0.7528,
              1.4952
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.18033,
              0.20556,
              0.22387,
              0.25344,
              0.30083,
              0.38056,
              0.52631,
              0.81114
            ],
            [
              0.18252,
              0.20775,
              0.22605,
              0.25562,
              0.30301,
              0.38274,
              0.52845,
              0.81338
            ],
            [
              0.1852,
              0.21042,
              0.22873,
              0.25829,
              0.30569,
              0.38538,
              0.53128,
              0.81561
            ],
            [
              0.18932,
              0.21454,
              0.23283,
              0.26239,
              0.30978,
              0.38949,
              0.53538,
              0.81971
            ],
            [
              0.19573,
              0.22092,
              0.23921,
              0.26876,
              0.31614,
              0.39586,
              0.54164,
              0.82645
            ],
            [
              0.20531,
              0.23047,
              0.24874,
              0.27827,
              0.32565,
              0.40536,
              0.55121,
              0.83584
            ],
            [
              0.21889,
              0.24404,
              0.26226,
              0.29178,
              0.33915,
              0.41886,
              0.56475,
              0.84916
            ],
            [
              0.23665,
              0.26176,
              0.27996,
              0.30947,
              0.35683,
              0.43652,
              0.5824,
              0.86716
            ],
            [
              0.25808,
              0.28312,
              0.30131,
              0.33082,
              0.37821,
              0.45792,
              0.60382,
              0.88845
            ],
            [
              0.28231,
              0.30723,
              0.32541,
              0.35493,
              0.40232,
              0.48207,
              0.62782,
              0.91229
            ],
            [
              0.30885,
              0.33364,
              0.35182,
              0.38138,
              0.42888,
              0.50862,
              0.65422,
              0.93862
            ],
            [
              0.33637,
              0.36107,
              0.37927,
              0.40887,
              0.45657,
              0.53647,
              0.68227,
              0.96657
            ],
            [
              0.3624,
              0.3869,
              0.4052,
              0.4351,
              0.483,
              0.5633,
              0.7095,
              0.9942
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.1916,
              0.2168,
              0.23585,
              0.26908,
              0.33084,
              0.45165,
              0.69245,
              1.17377
            ],
            [
              0.19369,
              0.21892,
              0.23796,
              0.27118,
              0.33294,
              0.45378,
              0.6945,
              1.17574
            ],
            [
              0.1963,
              0.22153,
              0.2406,
              0.27382,
              0.33557,
              0.45641,
              0.69714,
              1.17842
            ],
            [
              0.20039,
              0.22562,
              0.24466,
              0.27788,
              0.33964,
              0.46048,
              0.7012,
              1.18248
            ],
            [
              0.20674,
              0.23197,
              0.25103,
              0.28425,
              0.34601,
              0.46679,
              0.70756,
              1.18891
            ],
            [
              0.21663,
              0.24187,
              0.26092,
              0.29414,
              0.35588,
              0.47673,
              0.71748,
              1.19872
            ],
            [
              0.23191,
              0.25715,
              0.27619,
              0.3094,
              0.37114,
              0.49194,
              0.73264,
              1.21403
            ],
            [
              0.25478,
              0.28,
              0.299,
              0.33218,
              0.39389,
              0.51472,
              0.75548,
              1.23666
            ],
            [
              0.28583,
              0.31089,
              0.32983,
              0.36293,
              0.42455,
              0.54529,
              0.78605,
              1.26715
            ],
            [
              0.32351,
              0.34842,
              0.3673,
              0.4003,
              0.4618,
              0.58244,
              0.82309,
              1.30429
            ],
            [
              0.36866,
              0.39336,
              0.41218,
              0.44512,
              0.50642,
              0.62692,
              0.86742,
              1.34862
            ],
            [
              0.42377,
              0.44827,
              0.46707,
              0.49987,
              0.56097,
              0.68127,
              0.92157,
              1.40267
            ],
            [
              0.4931,
              0.5174,
              0.5361,
              0.5688,
              0.6297,
              0.7497,
              0.9898,
              1.4705
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02665,
              0.04588,
              0.05983,
              0.08447,
              0.1293,
              0.21745,
              0.4005,
              0.77905
            ],
            [
              0.02665,
              0.04584,
              0.05982,
              0.0845,
              0.12923,
              0.21736,
              0.40046,
              0.77911
            ],
            [
              0.02664,
              0.04584,
              0.05985,
              0.08435,
              0.1294,
              0.2175,
              0.3999,
              0.77864
            ],
            [
              0.02662,
              0.04583,
              0.05986,
              0.08435,
              0.12938,
              0.21751,
              0.39989,
              0.77859
            ],
            [
              0.0266,
              0.04585,
              0.05982,
              0.08446,
              0.1293,
              0.21746,
              0.40049,
              0.77908
            ],
            [
              0.02655,
              0.04581,
              0.0598,
              0.08432,
              0.12929,
              0.21733,
              0.39996,
              0.77869
            ],
            [
              0.02651,
              0.0458,
              0.05982,
              0.08439,
              0.12938,
              0.21752,
              0.40002,
              0.7788
            ],
            [
              0.02651,
              0.04587,
              0.05995,
              0.08444,
              0.1294,
              0.21752,
              0.39999,
              0.77904
            ],
            [
              0.0268,
              0.04612,
              0.06014,
              0.08465,
              0.1295,
              0.21763,
              0.39985,
              0.77902
            ],
            [
              0.02725,
              0.04664,
              0.06064,
              0.08498,
              0.12973,
              0.21774,
              0.40045,
              0.7783
            ],
            [
              0.02799,
              0.04735,
              0.06128,
              0.08579,
              0.13024,
              0.21753,
              0.3999,
              0.7785
            ],
            [
              0.0291,
              0.0486,
              0.0624,
              0.0868,
              0.1312,
              0.2187,
              0.4001,
              0.778
            ],
            [
              0.0306,
              0.0502,
              0.0641,
              0.0884,
              0.1329,
              0.2199,
              0.4013,
              0.7778
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02051,
              0.04605,
              0.06723,
              0.11,
              0.19897,
              0.38234,
              0.75396,
              1.49409
            ],
            [
              0.0205,
              0.04591,
              0.06733,
              0.10999,
              0.19901,
              0.38293,
              0.75283,
              1.49561
            ],
            [
              0.02051,
              0.046,
              0.06732,
              0.11029,
              0.19899,
              0.38297,
              0.75278,
              1.49566
            ],
            [
              0.02051,
              0.04603,
              0.06733,
              0.11035,
              0.19898,
              0.38292,
              0.75297,
              1.49746
            ],
            [
              0.02051,
              0.04603,
              0.06725,
              0.10999,
              0.19918,
              0.38236,
              0.75304,
              1.49416
            ],
            [
              0.02052,
              0.04606,
              0.06733,
              0.11003,
              0.19931,
              0.38319,
              0.75239,
              1.49552
            ],
            [
              0.02049,
              0.04601,
              0.06733,
              0.11003,
              0.19902,
              0.38273,
              0.75315,
              1.49618
            ],
            [
              0.02049,
              0.04594,
              0.0673,
              0.11005,
              0.19908,
              0.38338,
              0.75264,
              1.49393
            ],
            [
              0.02062,
              0.04608,
              0.06743,
              0.11017,
              0.19958,
              0.38338,
              0.75439,
              1.49451
            ],
            [
              0.02106,
              0.04662,
              0.06793,
              0.11048,
              0.19927,
              0.38263,
              0.75387,
              1.4965
            ],
            [
              0.02165,
              0.04737,
              0.06856,
              0.11091,
              0.1998,
              0.3826,
              0.7524,
              1.4949
            ],
            [
              0.0224,
              0.0483,
              0.0695,
              0.1116,
              0.2002,
              0.3827,
              0.7533,
              1.4947
            ],
            [
              0.0234,
              0.0497,
              0.0707,
              0.1127,
              0.2006,
              0.3834,
              0.7529,
              1.4951
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.13917,
              0.16895,
              0.1898,
              0.22221,
              0.27305,
              0.35674,
              0.50579,
              0.7916
            ],
            [
              0.14121,
              0.17099,
              0.19185,
              0.22426,
              0.2751,
              0.35879,
              0.5079,
              0.79382
            ],
            [
              0.14382,
              0.17359,
              0.19444,
              0.22686,
              0.27771,
              0.3614,
              0.51049,
              0.79623
            ],
            [
              0.14788,
              0.17766,
              0.1985,
              0.23092,
              0.28177,
              0.36545,
              0.51453,
              0.80039
            ],
            [
              0.15422,
              0.18398,
              0.20481,
              0.23723,
              0.28808,
              0.37178,
              0.52089,
              0.80678
            ],
            [
              0.16403,
              0.19377,
              0.21459,
              0.247,
              0.29787,
              0.38156,
              0.53058,
              0.8162
            ],
            [
              0.17896,
              0.20867,
              0.22948,
              0.26188,
              0.31276,
              0.39651,
              0.54559,
              0.83127
            ],
            [
              0.20086,
              0.23061,
              0.25142,
              0.28388,
              0.33482,
              0.41862,
              0.56775,
              0.85376
            ],
            [
              0.22908,
              0.25986,
              0.28116,
              0.31408,
              0.36542,
              0.44949,
              0.59874,
              0.88465
            ],
            [
              0.26258,
              0.29492,
              0.31729,
              0.35162,
              0.40445,
              0.48949,
              0.63899,
              0.92509
            ],
            [
              0.3027,
              0.33691,
              0.36054,
              0.39661,
              0.45152,
              0.53882,
              0.68972,
              0.97602
            ],
            [
              0.35197,
              0.38827,
              0.41347,
              0.45167,
              0.50917,
              0.59907,
              0.75227,
              1.03947
            ],
            [
              0.4142,
              0.4531,
              0.4801,
              0.521,
              0.5818,
              0.6752,
              0.8312,
              1.1197
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.10589,
              0.13287,
              0.15288,
              0.18719,
              0.24956,
              0.36984,
              0.6085,
              1.08727
            ],
            [
              0.10803,
              0.13501,
              0.15504,
              0.18933,
              0.2517,
              0.37198,
              0.61072,
              1.08824
            ],
            [
              0.1106,
              0.13758,
              0.15759,
              0.19189,
              0.25422,
              0.37452,
              0.61345,
              1.09182
            ],
            [
              0.11446,
              0.14144,
              0.16145,
              0.19578,
              0.25812,
              0.37839,
              0.6173,
              1.09428
            ],
            [
              0.12038,
              0.14737,
              0.16735,
              0.20168,
              0.26395,
              0.38428,
              0.62287,
              1.10001
            ],
            [
              0.12924,
              0.15622,
              0.17622,
              0.21046,
              0.27282,
              0.39289,
              0.63236,
              1.10922
            ],
            [
              0.14207,
              0.16901,
              0.18895,
              0.22319,
              0.28545,
              0.4056,
              0.64418,
              1.12313
            ],
            [
              0.15867,
              0.18598,
              0.20598,
              0.2402,
              0.30237,
              0.42269,
              0.66129,
              1.13996
            ],
            [
              0.17748,
              0.20582,
              0.22648,
              0.2612,
              0.32365,
              0.44385,
              0.68243,
              1.16005
            ],
            [
              0.19804,
              0.22778,
              0.24936,
              0.2851,
              0.3482,
              0.46838,
              0.70739,
              1.18489
            ],
            [
              0.21954,
              0.25111,
              0.27405,
              0.31127,
              0.37544,
              0.49622,
              0.73462,
              1.21252
            ],
            [
              0.24027,
              0.27407,
              0.29887,
              0.33847,
              0.40457,
              0.52637,
              0.76527,
              1.24187
            ],
            [
              0.2576,
              0.294,
              0.3211,
              0.364,
              0.4335,
              0.5575,
              0.798,
              1.2746
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.03084,
              0.05216,
              0.06733,
              0.09272,
              0.1385,
              0.22644,
              0.40703,
              0.78247
            ],
            [
              0.03085,
              0.05216,
              0.06728,
              0.09273,
              0.13846,
              0.22652,
              0.40682,
              0.78228
            ],
            [
              0.03085,
              0.05218,
              0.06734,
              0.09273,
              0.13855,
              0.22648,
              0.40696,
              0.78104
            ],
            [
              0.03085,
              0.05216,
              0.0673,
              0.09286,
              0.13856,
              0.22664,
              0.40701,
              0.78154
            ],
            [
              0.03088,
              0.05218,
              0.06736,
              0.09275,
              0.13861,
              0.22641,
              0.40683,
              0.78216
            ],
            [
              0.0309,
              0.05221,
              0.06735,
              0.09291,
              0.13859,
              0.22665,
              0.40718,
              0.78192
            ],
            [
              0.03106,
              0.05238,
              0.06755,
              0.0929,
              0.1387,
              0.22653,
              0.40708,
              0.78147
            ],
            [
              0.03192,
              0.0531,
              0.06813,
              0.09345,
              0.13902,
              0.22686,
              0.40719,
              0.78276
            ],
            [
              0.0353,
              0.05629,
              0.07098,
              0.09572,
              0.14035,
              0.2275,
              0.40751,
              0.78283
            ],
            [
              0.03991,
              0.06145,
              0.07636,
              0.10081,
              0.14474,
              0.2302,
              0.40866,
              0.78246
            ],
            [
              0.04583,
              0.06794,
              0.0831,
              0.10766,
              0.15122,
              0.23561,
              0.4111,
              0.7842
            ],
            [
              0.0529,
              0.0759,
              0.0915,
              0.1163,
              0.1594,
              0.2428,
              0.416,
              0.7852
            ],
            [
              0.0617,
              0.086,
              0.1024,
              0.1275,
              0.1704,
              0.2523,
              0.423,
              0.7881
            ]
          ]
        },
        "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.00643,
            0.01286,
            0.02571,
            0.05142,
            0.10283,
            0.20566,
            0.41133
          ],
          "values": [
            [
              0.02061,
              0.0472,
              0.06892,
              0.11172,
              0.19973,
              0.38122,
              0.74849,
              1.48596
            ],
            [
              0.02061,
              0.04711,
              0.06902,
              0.1118,
              0.19993,
              0.3812,
              0.74821,
              1.49025
            ],
            [
              0.02063,
              0.04718,
              0.06889,
              0.11173,
              0.19944,
              0.38096,
              0.74936,
              1.48606
            ],
            [
              0.02062,
              0.04708,
              0.06893,
              0.11165,
              0.19987,
              0.38135,
              0.74957,
              1.48596
            ],
            [
              0.02063,
              0.0471,
              0.06913,
              0.11166,
              0.19992,
              0.38093,
              0.75017,
              1.48631
            ],
            [
              0.02065,
              0.04716,
              0.06918,
              0.11178,
              0.19977,
              0.38139,
              0.74827,
              1.48692
            ],
            [
              0.02079,
              0.04732,
              0.06914,
              0.1119,
              0.19961,
              0.38066,
              0.75096,
              1.48563
            ],
            [
              0.02193,
              0.04849,
              0.07004,
              0.11241,
              0.20018,
              0.38132,
              0.74895,
              1.48596
            ],
            [
              0.02376,
              0.05097,
              0.0726,
              0.11431,
              0.20083,
              0.38088,
              0.75115,
              1.48658
            ],
            [
              0.02655,
              0.05454,
              0.0764,
              0.11751,
              0.20282,
              0.38291,
              0.75067,
              1.48656
            ],
            [
              0.03045,
              0.05966,
              0.08192,
              0.12265,
              0.20641,
              0.38329,
              0.74911,
              1.4852
            ],
            [
              0.0359,
              0.0665,
              0.0897,
              0.1304,
              0.2126,
              0.3879,
              0.7512,
              1.4903
            ],
            [
              0.0432,
              0.0753,
              0.1002,
              0.1421,
              0.2226,
              0.3941,
              0.7541,
              1.4879
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}