{
  "area": 47.952,
  "cell_footprint": "sky130_fd_sc_hs__fah",
  "cell_leakage_power": 417.04929,
  "leakage_power": [
    {
      "value": 477.30416,
      "when": "!A&!B&!CI"
    },
    {
      "value": 422.55851,
      "when": "!A&!B&CI"
    },
    {
      "value": 512.36721,
      "when": "!A&B&!CI"
    },
    {
      "value": 500.83889,
      "when": "!A&B&CI"
    },
    {
      "value": 305.21817,
      "when": "A&!B&!CI"
    },
    {
      "value": 354.42374,
      "when": "A&!B&CI"
    },
    {
      "value": 432.74144,
      "when": "A&B&!CI"
    },
    {
      "value": 330.94222,
      "when": "A&B&CI"
    }
  ],
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00514,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00823,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00282,
    "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.12813,
              0.13568,
              0.14589,
              0.16825,
              0.21505,
              0.30962,
              0.49926,
              0.88137
            ],
            [
              0.12797,
              0.1355,
              0.14565,
              0.168,
              0.21488,
              0.30927,
              0.49847,
              0.88117
            ],
            [
              0.12785,
              0.13538,
              0.14556,
              0.16796,
              0.21477,
              0.3093,
              0.49887,
              0.88104
            ],
            [
              0.12781,
              0.13536,
              0.1455,
              0.16795,
              0.21468,
              0.30949,
              0.49841,
              0.8811
            ],
            [
              0.12802,
              0.13558,
              0.14571,
              0.1681,
              0.21484,
              0.30953,
              0.49853,
              0.88137
            ],
            [
              0.12856,
              0.13614,
              0.14632,
              0.16866,
              0.21549,
              0.31022,
              0.49899,
              0.88188
            ],
            [
              0.12978,
              0.13731,
              0.14754,
              0.16998,
              0.2167,
              0.31123,
              0.5011,
              0.88083
            ],
            [
              0.13208,
              0.13966,
              0.14988,
              0.17228,
              0.21898,
              0.3137,
              0.50243,
              0.88466
            ],
            [
              0.1364,
              0.14392,
              0.15416,
              0.17654,
              0.22331,
              0.31789,
              0.50704,
              0.88958
            ],
            [
              0.14488,
              0.1524,
              0.16255,
              0.18487,
              0.23158,
              0.3261,
              0.51553,
              0.89603
            ],
            [
              0.15668,
              0.16409,
              0.17423,
              0.1965,
              0.24306,
              0.33781,
              0.52715,
              0.90823
            ],
            [
              0.17651,
              0.18377,
              0.19384,
              0.21613,
              0.26278,
              0.35666,
              0.54648,
              0.92751
            ],
            [
              0.2055,
              0.21258,
              0.22247,
              0.24447,
              0.29103,
              0.38549,
              0.57404,
              0.9554
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.10851,
              0.11313,
              0.12042,
              0.13704,
              0.17215,
              0.24373,
              0.38697,
              0.67668
            ],
            [
              0.10831,
              0.11292,
              0.12022,
              0.13682,
              0.17195,
              0.24343,
              0.38716,
              0.67609
            ],
            [
              0.10818,
              0.11276,
              0.12003,
              0.13674,
              0.17198,
              0.24331,
              0.3864,
              0.67611
            ],
            [
              0.10801,
              0.11263,
              0.11992,
              0.13653,
              0.17179,
              0.24328,
              0.38684,
              0.67562
            ],
            [
              0.10811,
              0.11272,
              0.12001,
              0.13663,
              0.17195,
              0.24333,
              0.38674,
              0.67605
            ],
            [
              0.10846,
              0.11307,
              0.12035,
              0.13701,
              0.17227,
              0.2437,
              0.38694,
              0.67593
            ],
            [
              0.10945,
              0.11404,
              0.12131,
              0.13796,
              0.17317,
              0.24455,
              0.38821,
              0.67735
            ],
            [
              0.11154,
              0.11609,
              0.12337,
              0.13996,
              0.17517,
              0.24673,
              0.39021,
              0.67942
            ],
            [
              0.11544,
              0.11999,
              0.1272,
              0.14381,
              0.17906,
              0.25044,
              0.39359,
              0.68366
            ],
            [
              0.12361,
              0.12807,
              0.13523,
              0.15177,
              0.18696,
              0.25838,
              0.40206,
              0.68998
            ],
            [
              0.13525,
              0.13961,
              0.14669,
              0.16318,
              0.19816,
              0.26958,
              0.41325,
              0.70208
            ],
            [
              0.15503,
              0.15924,
              0.16616,
              0.18253,
              0.21765,
              0.28879,
              0.43227,
              0.72089
            ],
            [
              0.18443,
              0.18841,
              0.19517,
              0.21124,
              0.24617,
              0.31755,
              0.46041,
              0.74943
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.1174,
              0.12517,
              0.13545,
              0.15789,
              0.20484,
              0.29981,
              0.48865,
              0.87142
            ],
            [
              0.11712,
              0.12488,
              0.13521,
              0.15773,
              0.20462,
              0.29931,
              0.48872,
              0.87053
            ],
            [
              0.11701,
              0.12474,
              0.13504,
              0.15762,
              0.2045,
              0.29913,
              0.48874,
              0.87035
            ],
            [
              0.11696,
              0.12468,
              0.13497,
              0.1575,
              0.20435,
              0.29896,
              0.4884,
              0.8701
            ],
            [
              0.11716,
              0.12487,
              0.13514,
              0.15766,
              0.20462,
              0.29906,
              0.48829,
              0.87033
            ],
            [
              0.11779,
              0.12547,
              0.13574,
              0.15828,
              0.20514,
              0.29981,
              0.48942,
              0.87097
            ],
            [
              0.11918,
              0.12691,
              0.13718,
              0.15962,
              0.20646,
              0.30104,
              0.49054,
              0.87175
            ],
            [
              0.12198,
              0.12962,
              0.13984,
              0.1622,
              0.20905,
              0.30373,
              0.49275,
              0.87551
            ],
            [
              0.12686,
              0.13432,
              0.14446,
              0.16682,
              0.2136,
              0.30799,
              0.49715,
              0.87998
            ],
            [
              0.13589,
              0.14323,
              0.15316,
              0.1753,
              0.22177,
              0.31594,
              0.50568,
              0.88681
            ],
            [
              0.14842,
              0.15546,
              0.16527,
              0.18707,
              0.23317,
              0.32752,
              0.5164,
              0.89844
            ],
            [
              0.16872,
              0.17543,
              0.18495,
              0.20651,
              0.25255,
              0.34626,
              0.53568,
              0.91724
            ],
            [
              0.19902,
              0.2053,
              0.21448,
              0.23549,
              0.28109,
              0.375,
              0.56314,
              0.94477
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.0893,
              0.09378,
              0.101,
              0.11758,
              0.15269,
              0.22424,
              0.36755,
              0.65648
            ],
            [
              0.08918,
              0.09369,
              0.10089,
              0.1175,
              0.15258,
              0.22392,
              0.36715,
              0.65673
            ],
            [
              0.08914,
              0.09364,
              0.10084,
              0.11746,
              0.15258,
              0.22382,
              0.36751,
              0.65722
            ],
            [
              0.08916,
              0.09366,
              0.10089,
              0.11742,
              0.15267,
              0.22404,
              0.36766,
              0.65724
            ],
            [
              0.08929,
              0.09376,
              0.10096,
              0.11754,
              0.15265,
              0.22419,
              0.36741,
              0.65679
            ],
            [
              0.08977,
              0.09425,
              0.10144,
              0.11803,
              0.15315,
              0.2244,
              0.36818,
              0.65686
            ],
            [
              0.09074,
              0.09522,
              0.10239,
              0.11896,
              0.15399,
              0.22535,
              0.36828,
              0.65808
            ],
            [
              0.09285,
              0.09733,
              0.10453,
              0.12098,
              0.15609,
              0.22716,
              0.37067,
              0.65992
            ],
            [
              0.09676,
              0.10123,
              0.10841,
              0.1247,
              0.15966,
              0.23069,
              0.3737,
              0.66267
            ],
            [
              0.1045,
              0.10893,
              0.116,
              0.13221,
              0.1669,
              0.23805,
              0.38106,
              0.66906
            ],
            [
              0.11544,
              0.11977,
              0.12675,
              0.14293,
              0.17731,
              0.24805,
              0.39049,
              0.68037
            ],
            [
              0.13563,
              0.13971,
              0.14654,
              0.16253,
              0.19676,
              0.26689,
              0.40936,
              0.69749
            ],
            [
              0.16747,
              0.17116,
              0.17771,
              0.19327,
              0.22695,
              0.29693,
              0.43843,
              0.72767
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.0895,
              0.09732,
              0.10752,
              0.12967,
              0.17622,
              0.27024,
              0.46007,
              0.84069
            ],
            [
              0.08946,
              0.09729,
              0.10743,
              0.12956,
              0.17621,
              0.27004,
              0.45936,
              0.84
            ],
            [
              0.08945,
              0.0972,
              0.10745,
              0.12965,
              0.17619,
              0.27004,
              0.45958,
              0.84004
            ],
            [
              0.08943,
              0.09726,
              0.10736,
              0.12953,
              0.17601,
              0.27019,
              0.45957,
              0.84134
            ],
            [
              0.08951,
              0.09728,
              0.10748,
              0.12962,
              0.17606,
              0.27017,
              0.45957,
              0.84003
            ],
            [
              0.08971,
              0.09747,
              0.10754,
              0.12976,
              0.17623,
              0.2704,
              0.45965,
              0.84017
            ],
            [
              0.09026,
              0.09798,
              0.10812,
              0.13017,
              0.17672,
              0.27121,
              0.46054,
              0.84258
            ],
            [
              0.09173,
              0.09931,
              0.10936,
              0.13134,
              0.17765,
              0.27195,
              0.46177,
              0.8418
            ],
            [
              0.09513,
              0.1024,
              0.11219,
              0.13388,
              0.18005,
              0.27411,
              0.46373,
              0.84569
            ],
            [
              0.10175,
              0.10861,
              0.11806,
              0.13934,
              0.18507,
              0.2789,
              0.46758,
              0.8482
            ],
            [
              0.10993,
              0.11633,
              0.12544,
              0.14622,
              0.19123,
              0.28488,
              0.47372,
              0.855
            ],
            [
              0.12305,
              0.12888,
              0.13757,
              0.15789,
              0.20234,
              0.29476,
              0.48353,
              0.86245
            ],
            [
              0.14096,
              0.14623,
              0.15434,
              0.17378,
              0.2176,
              0.3096,
              0.49615,
              0.87747
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.07197,
              0.07682,
              0.08396,
              0.10054,
              0.13566,
              0.20687,
              0.3502,
              0.63956
            ],
            [
              0.07202,
              0.07684,
              0.084,
              0.1006,
              0.13574,
              0.20702,
              0.35033,
              0.63978
            ],
            [
              0.07195,
              0.07679,
              0.08394,
              0.1005,
              0.13567,
              0.20698,
              0.35042,
              0.64005
            ],
            [
              0.07192,
              0.07677,
              0.08392,
              0.1005,
              0.1356,
              0.20691,
              0.35036,
              0.64028
            ],
            [
              0.07196,
              0.07679,
              0.08394,
              0.10049,
              0.13556,
              0.20682,
              0.35031,
              0.64017
            ],
            [
              0.07218,
              0.07702,
              0.08415,
              0.10066,
              0.13576,
              0.20706,
              0.35043,
              0.64031
            ],
            [
              0.07285,
              0.07766,
              0.08472,
              0.10114,
              0.13614,
              0.20738,
              0.35075,
              0.64082
            ],
            [
              0.07437,
              0.07899,
              0.08593,
              0.10222,
              0.13702,
              0.20797,
              0.35153,
              0.64141
            ],
            [
              0.07709,
              0.08143,
              0.0882,
              0.10423,
              0.13879,
              0.20988,
              0.35304,
              0.64269
            ],
            [
              0.08265,
              0.08654,
              0.09307,
              0.10882,
              0.14306,
              0.21375,
              0.35668,
              0.64448
            ],
            [
              0.08975,
              0.0931,
              0.09932,
              0.11468,
              0.14845,
              0.21881,
              0.36167,
              0.6507
            ],
            [
              0.10237,
              0.10501,
              0.11084,
              0.12569,
              0.15907,
              0.22874,
              0.37101,
              0.65972
            ],
            [
              0.12054,
              0.12235,
              0.12764,
              0.1418,
              0.17445,
              0.2435,
              0.38465,
              0.67336
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.23964,
    "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.23987,
              0.2631,
              0.27981,
              0.30696,
              0.35123,
              0.42645,
              0.56349,
              0.8292
            ],
            [
              0.24176,
              0.26498,
              0.2817,
              0.30885,
              0.35312,
              0.42835,
              0.56526,
              0.83085
            ],
            [
              0.24423,
              0.26745,
              0.28417,
              0.31132,
              0.35559,
              0.43079,
              0.56774,
              0.83334
            ],
            [
              0.24818,
              0.27139,
              0.28812,
              0.31527,
              0.35952,
              0.43474,
              0.57166,
              0.83725
            ],
            [
              0.25417,
              0.27739,
              0.29411,
              0.32126,
              0.36553,
              0.44076,
              0.57767,
              0.84325
            ],
            [
              0.26262,
              0.28583,
              0.30254,
              0.32969,
              0.37395,
              0.44916,
              0.58608,
              0.85166
            ],
            [
              0.27384,
              0.29703,
              0.31372,
              0.34084,
              0.38509,
              0.46029,
              0.59726,
              0.86269
            ],
            [
              0.28839,
              0.31151,
              0.32817,
              0.35525,
              0.39945,
              0.47461,
              0.61158,
              0.87686
            ],
            [
              0.30652,
              0.32951,
              0.34611,
              0.37314,
              0.41728,
              0.49237,
              0.62921,
              0.89485
            ],
            [
              0.32805,
              0.35091,
              0.36747,
              0.39443,
              0.43847,
              0.51346,
              0.65019,
              0.91549
            ],
            [
              0.3539,
              0.37666,
              0.39318,
              0.42011,
              0.46412,
              0.53902,
              0.67552,
              0.94072
            ],
            [
              0.38567,
              0.40847,
              0.42487,
              0.45177,
              0.49577,
              0.57057,
              0.70687,
              0.97207
            ],
            [
              0.4255,
              0.4482,
              0.4647,
              0.4915,
              0.5356,
              0.6104,
              0.7465,
              1.0112
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.21283,
              0.23862,
              0.25822,
              0.29191,
              0.3524,
              0.46749,
              0.69436,
              1.14737
            ],
            [
              0.21477,
              0.24056,
              0.26016,
              0.29386,
              0.35438,
              0.46935,
              0.69649,
              1.14964
            ],
            [
              0.21718,
              0.24297,
              0.26257,
              0.29626,
              0.35677,
              0.47175,
              0.69884,
              1.15212
            ],
            [
              0.22081,
              0.2466,
              0.26621,
              0.2999,
              0.3604,
              0.47547,
              0.70239,
              1.15538
            ],
            [
              0.22607,
              0.25186,
              0.27146,
              0.30514,
              0.36559,
              0.48073,
              0.70757,
              1.16091
            ],
            [
              0.23283,
              0.25862,
              0.27822,
              0.31192,
              0.37244,
              0.48745,
              0.71459,
              1.16782
            ],
            [
              0.24125,
              0.26703,
              0.28663,
              0.32032,
              0.38085,
              0.49593,
              0.72301,
              1.17603
            ],
            [
              0.25155,
              0.2773,
              0.29689,
              0.33058,
              0.39107,
              0.50605,
              0.73329,
              1.18626
            ],
            [
              0.26373,
              0.28941,
              0.30893,
              0.34258,
              0.4031,
              0.51826,
              0.74535,
              1.19855
            ],
            [
              0.27737,
              0.30292,
              0.32241,
              0.35599,
              0.41642,
              0.53153,
              0.75859,
              1.21199
            ],
            [
              0.29168,
              0.31708,
              0.33647,
              0.36995,
              0.4303,
              0.54542,
              0.77222,
              1.22552
            ],
            [
              0.30537,
              0.33067,
              0.34997,
              0.38327,
              0.44357,
              0.55857,
              0.78567,
              1.23847
            ],
            [
              0.3171,
              0.3422,
              0.3614,
              0.3947,
              0.4548,
              0.5697,
              0.7968,
              1.2496
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.0255,
              0.0428,
              0.05603,
              0.07962,
              0.12274,
              0.20683,
              0.37866,
              0.73522
            ],
            [
              0.02549,
              0.04281,
              0.05606,
              0.07965,
              0.12286,
              0.20657,
              0.37873,
              0.7337
            ],
            [
              0.0255,
              0.0428,
              0.05606,
              0.0796,
              0.12279,
              0.20676,
              0.37888,
              0.7337
            ],
            [
              0.02549,
              0.04281,
              0.05604,
              0.07957,
              0.12283,
              0.20667,
              0.37875,
              0.73383
            ],
            [
              0.02549,
              0.0428,
              0.05606,
              0.07964,
              0.12286,
              0.20657,
              0.37874,
              0.73376
            ],
            [
              0.02544,
              0.04278,
              0.056,
              0.07954,
              0.12282,
              0.20658,
              0.37872,
              0.73376
            ],
            [
              0.02527,
              0.04263,
              0.05588,
              0.07951,
              0.12274,
              0.20662,
              0.37842,
              0.73445
            ],
            [
              0.02496,
              0.04236,
              0.05568,
              0.07931,
              0.12255,
              0.20641,
              0.37815,
              0.73401
            ],
            [
              0.02457,
              0.04202,
              0.05538,
              0.07904,
              0.12229,
              0.20637,
              0.3784,
              0.73351
            ],
            [
              0.02431,
              0.04174,
              0.05508,
              0.07871,
              0.12203,
              0.20603,
              0.37818,
              0.73372
            ],
            [
              0.02418,
              0.04158,
              0.05494,
              0.07861,
              0.12173,
              0.20543,
              0.3778,
              0.7342
            ],
            [
              0.0242,
              0.0415,
              0.0548,
              0.0785,
              0.1217,
              0.2053,
              0.3768,
              0.7331
            ],
            [
              0.0243,
              0.0416,
              0.0548,
              0.0784,
              0.1218,
              0.2055,
              0.3768,
              0.7317
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00561,
            0.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.02417,
              0.05117,
              0.07359,
              0.11657,
              0.20388,
              0.38413,
              0.75123,
              1.49159
            ],
            [
              0.02416,
              0.05118,
              0.07358,
              0.11649,
              0.20402,
              0.38425,
              0.75195,
              1.49201
            ],
            [
              0.02414,
              0.05116,
              0.07361,
              0.11658,
              0.20376,
              0.38457,
              0.75172,
              1.49193
            ],
            [
              0.02418,
              0.05116,
              0.07359,
              0.11654,
              0.20376,
              0.38403,
              0.75206,
              1.4918
            ],
            [
              0.02415,
              0.05114,
              0.07359,
              0.11659,
              0.20382,
              0.3843,
              0.75172,
              1.49044
            ],
            [
              0.0241,
              0.05112,
              0.07354,
              0.11647,
              0.20376,
              0.38443,
              0.75204,
              1.4916
            ],
            [
              0.02402,
              0.05103,
              0.07345,
              0.11645,
              0.20376,
              0.38415,
              0.75193,
              1.49092
            ],
            [
              0.02384,
              0.05093,
              0.07327,
              0.11633,
              0.20368,
              0.38439,
              0.75197,
              1.49153
            ],
            [
              0.02355,
              0.0506,
              0.07309,
              0.11611,
              0.20372,
              0.38391,
              0.75212,
              1.49146
            ],
            [
              0.02327,
              0.0503,
              0.07285,
              0.11587,
              0.20351,
              0.38424,
              0.7519,
              1.491
            ],
            [
              0.02296,
              0.04995,
              0.07243,
              0.11559,
              0.20322,
              0.38394,
              0.7522,
              1.4915
            ],
            [
              0.0227,
              0.0496,
              0.0721,
              0.1152,
              0.2031,
              0.3841,
              0.7517,
              1.4904
            ],
            [
              0.0226,
              0.0495,
              0.0719,
              0.1151,
              0.203,
              0.384,
              0.7512,
              1.4909
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.24101,
              0.2659,
              0.28388,
              0.31303,
              0.3602,
              0.43901,
              0.57926,
              0.84648
            ],
            [
              0.2429,
              0.26779,
              0.28577,
              0.31491,
              0.36208,
              0.4409,
              0.5811,
              0.84838
            ],
            [
              0.24536,
              0.27026,
              0.28824,
              0.31738,
              0.36454,
              0.44337,
              0.58356,
              0.85083
            ],
            [
              0.24929,
              0.27419,
              0.29217,
              0.32132,
              0.36847,
              0.44729,
              0.58754,
              0.85472
            ],
            [
              0.25527,
              0.28016,
              0.29814,
              0.32729,
              0.37445,
              0.45327,
              0.59352,
              0.86069
            ],
            [
              0.2637,
              0.28858,
              0.30655,
              0.33569,
              0.38285,
              0.46167,
              0.60185,
              0.86887
            ],
            [
              0.27492,
              0.29977,
              0.31772,
              0.34684,
              0.39399,
              0.47277,
              0.61301,
              0.88024
            ],
            [
              0.28964,
              0.31441,
              0.33232,
              0.3614,
              0.4085,
              0.48724,
              0.62742,
              0.89476
            ],
            [
              0.30845,
              0.33305,
              0.35089,
              0.37988,
              0.4269,
              0.50558,
              0.64575,
              0.91285
            ],
            [
              0.33094,
              0.35538,
              0.37313,
              0.40201,
              0.44892,
              0.52743,
              0.66739,
              0.93459
            ],
            [
              0.35794,
              0.38226,
              0.39995,
              0.42878,
              0.47562,
              0.55392,
              0.69372,
              0.96042
            ],
            [
              0.39117,
              0.41537,
              0.43297,
              0.46177,
              0.50847,
              0.58677,
              0.72627,
              0.99297
            ],
            [
              0.4325,
              0.4567,
              0.4743,
              0.503,
              0.5498,
              0.6279,
              0.7673,
              1.0339
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.19844,
              0.22387,
              0.24299,
              0.27585,
              0.33542,
              0.44987,
              0.67681,
              1.12977
            ],
            [
              0.20038,
              0.22582,
              0.24494,
              0.2778,
              0.33733,
              0.45194,
              0.67869,
              1.13174
            ],
            [
              0.2028,
              0.22824,
              0.24736,
              0.28021,
              0.33979,
              0.45428,
              0.68117,
              1.13412
            ],
            [
              0.20644,
              0.23189,
              0.251,
              0.28386,
              0.34342,
              0.45804,
              0.68475,
              1.13788
            ],
            [
              0.21178,
              0.23721,
              0.25633,
              0.28919,
              0.34875,
              0.46339,
              0.69002,
              1.14301
            ],
            [
              0.21874,
              0.24415,
              0.26327,
              0.29612,
              0.3557,
              0.47031,
              0.69712,
              1.15032
            ],
            [
              0.22746,
              0.25283,
              0.27193,
              0.3048,
              0.36435,
              0.47894,
              0.70561,
              1.15843
            ],
            [
              0.23813,
              0.26342,
              0.2825,
              0.31536,
              0.37493,
              0.48947,
              0.7164,
              1.16916
            ],
            [
              0.25061,
              0.27577,
              0.29478,
              0.32757,
              0.38709,
              0.50158,
              0.72862,
              1.18145
            ],
            [
              0.26431,
              0.2893,
              0.30822,
              0.34093,
              0.40043,
              0.51497,
              0.74179,
              1.19459
            ],
            [
              0.27838,
              0.30316,
              0.32195,
              0.35452,
              0.41391,
              0.52842,
              0.75532,
              1.20852
            ],
            [
              0.29147,
              0.31607,
              0.33477,
              0.36717,
              0.42637,
              0.54077,
              0.76757,
              1.22007
            ],
            [
              0.3022,
              0.3267,
              0.3453,
              0.3776,
              0.4367,
              0.5509,
              0.7775,
              1.2308
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.02879,
              0.04741,
              0.06151,
              0.08628,
              0.13089,
              0.21542,
              0.38584,
              0.73816
            ],
            [
              0.02881,
              0.04746,
              0.06153,
              0.08624,
              0.13083,
              0.21537,
              0.38589,
              0.73751
            ],
            [
              0.02881,
              0.04746,
              0.06153,
              0.08623,
              0.13083,
              0.21534,
              0.38588,
              0.73733
            ],
            [
              0.02879,
              0.04742,
              0.0615,
              0.08625,
              0.13096,
              0.2154,
              0.38584,
              0.73838
            ],
            [
              0.02879,
              0.04742,
              0.06149,
              0.08625,
              0.13096,
              0.2154,
              0.38583,
              0.73834
            ],
            [
              0.02876,
              0.04742,
              0.06149,
              0.08619,
              0.13084,
              0.2152,
              0.38566,
              0.73832
            ],
            [
              0.02865,
              0.0473,
              0.06136,
              0.08616,
              0.13083,
              0.21537,
              0.38579,
              0.73814
            ],
            [
              0.0284,
              0.04709,
              0.06119,
              0.08597,
              0.13066,
              0.21527,
              0.38579,
              0.73742
            ],
            [
              0.028,
              0.0467,
              0.06086,
              0.0857,
              0.13036,
              0.21504,
              0.38552,
              0.73765
            ],
            [
              0.02771,
              0.04633,
              0.06048,
              0.08533,
              0.12992,
              0.21467,
              0.38535,
              0.73748
            ],
            [
              0.02748,
              0.04615,
              0.06026,
              0.0851,
              0.12968,
              0.214,
              0.3847,
              0.7381
            ],
            [
              0.0275,
              0.0461,
              0.0602,
              0.085,
              0.1295,
              0.2139,
              0.3835,
              0.7377
            ],
            [
              0.0277,
              0.0461,
              0.0602,
              0.085,
              0.1295,
              0.2137,
              0.3839,
              0.7358
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.0236,
              0.05008,
              0.07196,
              0.11435,
              0.20182,
              0.38298,
              0.75074,
              1.49116
            ],
            [
              0.02361,
              0.05009,
              0.07193,
              0.11437,
              0.20175,
              0.38285,
              0.75066,
              1.4908
            ],
            [
              0.0236,
              0.05008,
              0.07197,
              0.11433,
              0.20183,
              0.38296,
              0.75072,
              1.49275
            ],
            [
              0.02358,
              0.05011,
              0.07201,
              0.11434,
              0.20187,
              0.38279,
              0.75124,
              1.4898
            ],
            [
              0.02355,
              0.05009,
              0.07199,
              0.11435,
              0.20183,
              0.38274,
              0.75144,
              1.49061
            ],
            [
              0.02349,
              0.05,
              0.0719,
              0.11429,
              0.20182,
              0.38281,
              0.75078,
              1.49073
            ],
            [
              0.02333,
              0.04985,
              0.07173,
              0.11416,
              0.20169,
              0.38285,
              0.75089,
              1.4908
            ],
            [
              0.02309,
              0.04959,
              0.07148,
              0.11398,
              0.20176,
              0.38286,
              0.75162,
              1.49063
            ],
            [
              0.02275,
              0.04923,
              0.07113,
              0.11372,
              0.20163,
              0.38279,
              0.75093,
              1.49098
            ],
            [
              0.0224,
              0.04883,
              0.07073,
              0.11366,
              0.20135,
              0.38276,
              0.75095,
              1.49102
            ],
            [
              0.02207,
              0.0484,
              0.07033,
              0.11312,
              0.20109,
              0.38247,
              0.7505,
              1.4905
            ],
            [
              0.0219,
              0.048,
              0.07,
              0.1128,
              0.2008,
              0.3823,
              0.751,
              1.4895
            ],
            [
              0.0218,
              0.048,
              0.0699,
              0.1126,
              0.2005,
              0.3821,
              0.7507,
              1.4906
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.21299,
              0.23621,
              0.25293,
              0.28007,
              0.32431,
              0.3995,
              0.53641,
              0.80184
            ],
            [
              0.21443,
              0.23766,
              0.25439,
              0.28153,
              0.32578,
              0.40096,
              0.53787,
              0.80331
            ],
            [
              0.21646,
              0.2397,
              0.25642,
              0.28357,
              0.32783,
              0.40305,
              0.54001,
              0.80569
            ],
            [
              0.21985,
              0.2431,
              0.25983,
              0.287,
              0.33126,
              0.40643,
              0.54344,
              0.80898
            ],
            [
              0.22541,
              0.24867,
              0.26541,
              0.29257,
              0.33685,
              0.41209,
              0.5491,
              0.8148
            ],
            [
              0.23402,
              0.2573,
              0.27404,
              0.30122,
              0.3455,
              0.42071,
              0.55769,
              0.82323
            ],
            [
              0.24663,
              0.26991,
              0.28666,
              0.31384,
              0.35813,
              0.43338,
              0.57035,
              0.83589
            ],
            [
              0.26434,
              0.28759,
              0.30432,
              0.33149,
              0.37576,
              0.45096,
              0.58789,
              0.85346
            ],
            [
              0.2881,
              0.31125,
              0.32795,
              0.35508,
              0.39933,
              0.47456,
              0.61148,
              0.87705
            ],
            [
              0.31783,
              0.34154,
              0.35864,
              0.38632,
              0.43107,
              0.50655,
              0.64349,
              0.90919
            ],
            [
              0.3546,
              0.37894,
              0.39654,
              0.42506,
              0.47112,
              0.54822,
              0.68612,
              0.95192
            ],
            [
              0.40217,
              0.42727,
              0.44547,
              0.47497,
              0.52247,
              0.60127,
              0.74097,
              1.00757
            ],
            [
              0.466,
              0.492,
              0.5108,
              0.5414,
              0.5907,
              0.6717,
              0.8132,
              1.081
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.16269,
              0.18851,
              0.20807,
              0.24165,
              0.30203,
              0.41693,
              0.64391,
              1.09717
            ],
            [
              0.16475,
              0.19057,
              0.21014,
              0.24372,
              0.30405,
              0.41914,
              0.64596,
              1.09924
            ],
            [
              0.16724,
              0.19307,
              0.21263,
              0.24621,
              0.30654,
              0.42163,
              0.6484,
              1.10172
            ],
            [
              0.17097,
              0.19681,
              0.21638,
              0.24995,
              0.3103,
              0.42518,
              0.65221,
              1.10528
            ],
            [
              0.17647,
              0.20232,
              0.22189,
              0.25545,
              0.31577,
              0.43079,
              0.65761,
              1.11081
            ],
            [
              0.1845,
              0.21038,
              0.22995,
              0.26348,
              0.32377,
              0.43867,
              0.66566,
              1.11852
            ],
            [
              0.19601,
              0.22192,
              0.24149,
              0.27498,
              0.33519,
              0.44992,
              0.67681,
              1.13003
            ],
            [
              0.21288,
              0.23882,
              0.25833,
              0.29172,
              0.35171,
              0.46639,
              0.69289,
              1.14616
            ],
            [
              0.23268,
              0.25854,
              0.27796,
              0.31111,
              0.3708,
              0.48511,
              0.71162,
              1.16435
            ],
            [
              0.25269,
              0.27862,
              0.29802,
              0.33111,
              0.39053,
              0.50438,
              0.73039,
              1.18329
            ],
            [
              0.27365,
              0.29964,
              0.31903,
              0.35197,
              0.41111,
              0.52452,
              0.74992,
              1.20222
            ],
            [
              0.29537,
              0.32147,
              0.34077,
              0.37367,
              0.43237,
              0.54507,
              0.77027,
              1.22157
            ],
            [
              0.3168,
              0.3428,
              0.3622,
              0.3948,
              0.4531,
              0.5651,
              0.7892,
              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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.02517,
              0.04257,
              0.05588,
              0.07943,
              0.12268,
              0.20649,
              0.37864,
              0.73401
            ],
            [
              0.02521,
              0.04259,
              0.0559,
              0.07947,
              0.12268,
              0.20669,
              0.37867,
              0.73402
            ],
            [
              0.02525,
              0.04265,
              0.05591,
              0.07951,
              0.1227,
              0.20672,
              0.37843,
              0.73471
            ],
            [
              0.0253,
              0.04265,
              0.05598,
              0.07952,
              0.12274,
              0.20669,
              0.37881,
              0.73353
            ],
            [
              0.02537,
              0.04273,
              0.05604,
              0.07958,
              0.12277,
              0.20678,
              0.37833,
              0.73495
            ],
            [
              0.02544,
              0.04279,
              0.05606,
              0.0796,
              0.12281,
              0.20678,
              0.37891,
              0.7338
            ],
            [
              0.02547,
              0.0428,
              0.05611,
              0.07964,
              0.12282,
              0.20674,
              0.3786,
              0.73366
            ],
            [
              0.02542,
              0.04275,
              0.05603,
              0.07959,
              0.12277,
              0.20671,
              0.37888,
              0.73378
            ],
            [
              0.0255,
              0.0428,
              0.056,
              0.07955,
              0.12274,
              0.20665,
              0.37871,
              0.73358
            ],
            [
              0.02723,
              0.04476,
              0.05798,
              0.08137,
              0.12424,
              0.2076,
              0.37904,
              0.73425
            ],
            [
              0.02924,
              0.04725,
              0.06076,
              0.08473,
              0.12805,
              0.2109,
              0.3811,
              0.7353
            ],
            [
              0.0319,
              0.0505,
              0.0643,
              0.0886,
              0.1322,
              0.2154,
              0.3844,
              0.7355
            ],
            [
              0.0356,
              0.0551,
              0.0691,
              0.0937,
              0.138,
              0.2209,
              0.3883,
              0.7378
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.02449,
              0.05149,
              0.07393,
              0.11664,
              0.20379,
              0.38431,
              0.75177,
              1.49078
            ],
            [
              0.02452,
              0.0515,
              0.0739,
              0.11666,
              0.20389,
              0.38401,
              0.75258,
              1.49143
            ],
            [
              0.02456,
              0.05152,
              0.07395,
              0.11669,
              0.20392,
              0.38392,
              0.75278,
              1.49142
            ],
            [
              0.02461,
              0.05161,
              0.07406,
              0.11675,
              0.20386,
              0.38435,
              0.75192,
              1.49088
            ],
            [
              0.02472,
              0.05171,
              0.07406,
              0.11678,
              0.20392,
              0.38416,
              0.75251,
              1.49146
            ],
            [
              0.02489,
              0.05184,
              0.07424,
              0.11695,
              0.20406,
              0.38435,
              0.75198,
              1.49168
            ],
            [
              0.02512,
              0.05207,
              0.07439,
              0.11713,
              0.20415,
              0.38445,
              0.75263,
              1.49138
            ],
            [
              0.02546,
              0.05239,
              0.07467,
              0.11736,
              0.20429,
              0.38433,
              0.75287,
              1.49095
            ],
            [
              0.02604,
              0.05279,
              0.07507,
              0.11781,
              0.20465,
              0.38449,
              0.75179,
              1.49049
            ],
            [
              0.02679,
              0.05353,
              0.07582,
              0.11846,
              0.20489,
              0.3846,
              0.75148,
              1.49161
            ],
            [
              0.0275,
              0.05435,
              0.07659,
              0.11913,
              0.20536,
              0.38474,
              0.751,
              1.4911
            ],
            [
              0.0284,
              0.0552,
              0.0774,
              0.1199,
              0.2059,
              0.3853,
              0.7524,
              1.4916
            ],
            [
              0.0295,
              0.0563,
              0.0785,
              0.1207,
              0.2064,
              0.3852,
              0.7512,
              1.4902
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.19042,
              0.21449,
              0.232,
              0.26074,
              0.30763,
              0.38615,
              0.52607,
              0.79296
            ],
            [
              0.19211,
              0.21617,
              0.2337,
              0.26244,
              0.30934,
              0.38787,
              0.52768,
              0.79471
            ],
            [
              0.19437,
              0.21845,
              0.23598,
              0.26473,
              0.31163,
              0.39016,
              0.53004,
              0.79701
            ],
            [
              0.19797,
              0.22206,
              0.23958,
              0.26835,
              0.31524,
              0.39378,
              0.53368,
              0.80065
            ],
            [
              0.2035,
              0.22759,
              0.24513,
              0.27388,
              0.3208,
              0.39935,
              0.53917,
              0.80626
            ],
            [
              0.21178,
              0.23586,
              0.25338,
              0.28213,
              0.32905,
              0.40761,
              0.54744,
              0.81452
            ],
            [
              0.22372,
              0.24776,
              0.26524,
              0.29394,
              0.34085,
              0.41941,
              0.55937,
              0.82631
            ],
            [
              0.24029,
              0.26424,
              0.28164,
              0.31025,
              0.3571,
              0.43567,
              0.57559,
              0.84256
            ],
            [
              0.26106,
              0.28475,
              0.30199,
              0.33041,
              0.37709,
              0.45554,
              0.59535,
              0.86225
            ],
            [
              0.28505,
              0.30867,
              0.32578,
              0.35401,
              0.40051,
              0.47874,
              0.61839,
              0.88519
            ],
            [
              0.3137,
              0.3372,
              0.35414,
              0.38215,
              0.42849,
              0.50662,
              0.64592,
              0.91262
            ],
            [
              0.34927,
              0.37267,
              0.38947,
              0.41727,
              0.46337,
              0.54127,
              0.68047,
              0.94647
            ],
            [
              0.3938,
              0.4172,
              0.4339,
              0.4614,
              0.5073,
              0.5852,
              0.7241,
              0.9898
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.16207,
              0.18736,
              0.20644,
              0.23932,
              0.29891,
              0.41342,
              0.64039,
              1.09367
            ],
            [
              0.16419,
              0.18947,
              0.20856,
              0.24143,
              0.30105,
              0.41568,
              0.64259,
              1.09524
            ],
            [
              0.16678,
              0.19207,
              0.21116,
              0.24403,
              0.30364,
              0.41834,
              0.64505,
              1.09812
            ],
            [
              0.17073,
              0.19603,
              0.21513,
              0.24799,
              0.30758,
              0.4222,
              0.64885,
              1.10218
            ],
            [
              0.17666,
              0.20197,
              0.22106,
              0.25393,
              0.31354,
              0.42819,
              0.65507,
              1.10781
            ],
            [
              0.18536,
              0.21067,
              0.22976,
              0.26264,
              0.32222,
              0.43693,
              0.66363,
              1.11692
            ],
            [
              0.19825,
              0.22358,
              0.24267,
              0.27553,
              0.33513,
              0.44975,
              0.67661,
              1.12943
            ],
            [
              0.21697,
              0.24231,
              0.26138,
              0.29419,
              0.35374,
              0.46836,
              0.695,
              1.14796
            ],
            [
              0.23852,
              0.26392,
              0.28295,
              0.31564,
              0.37505,
              0.48954,
              0.71607,
              1.16955
            ],
            [
              0.2614,
              0.28725,
              0.30676,
              0.34011,
              0.40001,
              0.51428,
              0.74109,
              1.19399
            ],
            [
              0.288,
              0.31449,
              0.33467,
              0.36895,
              0.42976,
              0.54472,
              0.77132,
              1.22452
            ],
            [
              0.32097,
              0.34827,
              0.36927,
              0.40487,
              0.46717,
              0.58307,
              0.81047,
              1.26287
            ],
            [
              0.3644,
              0.3926,
              0.4144,
              0.4516,
              0.5158,
              0.6336,
              0.8626,
              1.3163
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.02778,
              0.04636,
              0.06059,
              0.08543,
              0.13005,
              0.21455,
              0.38464,
              0.73712
            ],
            [
              0.02784,
              0.04643,
              0.06062,
              0.08549,
              0.13002,
              0.21439,
              0.385,
              0.73674
            ],
            [
              0.02788,
              0.04645,
              0.06064,
              0.08546,
              0.1302,
              0.21441,
              0.38503,
              0.73673
            ],
            [
              0.02788,
              0.04649,
              0.06068,
              0.08551,
              0.13016,
              0.21456,
              0.38505,
              0.73735
            ],
            [
              0.02794,
              0.04654,
              0.06077,
              0.08562,
              0.13011,
              0.21462,
              0.38492,
              0.73698
            ],
            [
              0.02808,
              0.04669,
              0.06088,
              0.08568,
              0.13036,
              0.21452,
              0.38504,
              0.73703
            ],
            [
              0.02831,
              0.04687,
              0.06106,
              0.08588,
              0.13045,
              0.21477,
              0.38473,
              0.73742
            ],
            [
              0.02859,
              0.04712,
              0.06132,
              0.08615,
              0.13061,
              0.21479,
              0.38489,
              0.73678
            ],
            [
              0.02865,
              0.04708,
              0.06123,
              0.08614,
              0.13059,
              0.21473,
              0.38505,
              0.73677
            ],
            [
              0.0291,
              0.0474,
              0.06154,
              0.08618,
              0.13063,
              0.21457,
              0.38455,
              0.73752
            ],
            [
              0.02955,
              0.04769,
              0.06177,
              0.08656,
              0.13097,
              0.21453,
              0.384,
              0.7376
            ],
            [
              0.0302,
              0.0483,
              0.0622,
              0.0868,
              0.1311,
              0.2149,
              0.3839,
              0.7365
            ],
            [
              0.0314,
              0.0493,
              0.0632,
              0.0876,
              0.1319,
              0.2152,
              0.3843,
              0.7356
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.02298,
              0.04949,
              0.07139,
              0.11389,
              0.2017,
              0.38284,
              0.75141,
              1.49037
            ],
            [
              0.02299,
              0.04949,
              0.07136,
              0.11388,
              0.2017,
              0.38282,
              0.75075,
              1.49099
            ],
            [
              0.02301,
              0.04954,
              0.07143,
              0.11393,
              0.20153,
              0.3826,
              0.75144,
              1.49098
            ],
            [
              0.02303,
              0.04956,
              0.07145,
              0.11396,
              0.20151,
              0.38276,
              0.75104,
              1.49204
            ],
            [
              0.02306,
              0.04956,
              0.0714,
              0.11395,
              0.20173,
              0.38281,
              0.75064,
              1.49109
            ],
            [
              0.02306,
              0.04959,
              0.07149,
              0.11399,
              0.20153,
              0.3826,
              0.75146,
              1.49336
            ],
            [
              0.0231,
              0.04962,
              0.07148,
              0.11396,
              0.20173,
              0.3828,
              0.7507,
              1.49115
            ],
            [
              0.02318,
              0.04968,
              0.07163,
              0.1141,
              0.20168,
              0.38267,
              0.75097,
              1.49093
            ],
            [
              0.0238,
              0.05022,
              0.07191,
              0.1143,
              0.20178,
              0.3828,
              0.75161,
              1.49032
            ],
            [
              0.02477,
              0.05167,
              0.07385,
              0.11633,
              0.20299,
              0.38324,
              0.75173,
              1.49145
            ],
            [
              0.02619,
              0.05381,
              0.07664,
              0.1194,
              0.20565,
              0.38456,
              0.7513,
              1.4899
            ],
            [
              0.0285,
              0.0569,
              0.0806,
              0.124,
              0.2098,
              0.3879,
              0.7525,
              1.4912
            ],
            [
              0.0317,
              0.061,
              0.0859,
              0.1303,
              0.217,
              0.3935,
              0.7568,
              1.493
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.1371,
              0.16575,
              0.18614,
              0.21803,
              0.26783,
              0.34854,
              0.48969,
              0.75713
            ],
            [
              0.13897,
              0.16763,
              0.18801,
              0.2199,
              0.26971,
              0.35043,
              0.49155,
              0.75892
            ],
            [
              0.14135,
              0.17001,
              0.19039,
              0.22229,
              0.2721,
              0.35282,
              0.49394,
              0.76131
            ],
            [
              0.14505,
              0.17372,
              0.19409,
              0.22598,
              0.2758,
              0.35652,
              0.49767,
              0.76506
            ],
            [
              0.15087,
              0.17949,
              0.19987,
              0.23177,
              0.28158,
              0.36231,
              0.50343,
              0.77081
            ],
            [
              0.15987,
              0.18849,
              0.20884,
              0.24072,
              0.29055,
              0.37129,
              0.51239,
              0.77985
            ],
            [
              0.17361,
              0.20218,
              0.2225,
              0.25438,
              0.3042,
              0.38497,
              0.52611,
              0.79343
            ],
            [
              0.19346,
              0.22205,
              0.24237,
              0.27427,
              0.32417,
              0.40502,
              0.54614,
              0.81354
            ],
            [
              0.21802,
              0.24764,
              0.26852,
              0.30098,
              0.3513,
              0.43241,
              0.57375,
              0.84075
            ],
            [
              0.24661,
              0.27747,
              0.2993,
              0.33316,
              0.3851,
              0.46738,
              0.60915,
              0.87639
            ],
            [
              0.28059,
              0.31289,
              0.33579,
              0.37122,
              0.42516,
              0.50972,
              0.65312,
              0.92112
            ],
            [
              0.32197,
              0.35597,
              0.38007,
              0.41747,
              0.47377,
              0.56107,
              0.70687,
              0.97587
            ],
            [
              0.3735,
              0.4094,
              0.4351,
              0.4749,
              0.5344,
              0.6252,
              0.7741,
              1.0451
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.10923,
              0.13443,
              0.15385,
              0.18747,
              0.24787,
              0.3629,
              0.59011,
              1.04347
            ],
            [
              0.11132,
              0.13652,
              0.15595,
              0.18956,
              0.24998,
              0.36504,
              0.59227,
              1.04494
            ],
            [
              0.11379,
              0.13899,
              0.15841,
              0.19203,
              0.25244,
              0.3675,
              0.59475,
              1.04742
            ],
            [
              0.11761,
              0.14281,
              0.16223,
              0.19584,
              0.25625,
              0.37129,
              0.59852,
              1.05158
            ],
            [
              0.12344,
              0.14862,
              0.16803,
              0.20163,
              0.26203,
              0.37709,
              0.60411,
              1.05711
            ],
            [
              0.13223,
              0.1574,
              0.17678,
              0.21033,
              0.2707,
              0.38567,
              0.61288,
              1.06592
            ],
            [
              0.14515,
              0.17025,
              0.18957,
              0.22304,
              0.28334,
              0.39832,
              0.62563,
              1.07863
            ],
            [
              0.16232,
              0.18759,
              0.20692,
              0.24034,
              0.30052,
              0.41542,
              0.64253,
              1.09556
            ],
            [
              0.18229,
              0.20833,
              0.2282,
              0.26214,
              0.32251,
              0.43723,
              0.66431,
              1.11765
            ],
            [
              0.20492,
              0.232,
              0.25263,
              0.28749,
              0.34865,
              0.46361,
              0.69049,
              1.14359
            ],
            [
              0.22965,
              0.25815,
              0.27983,
              0.31611,
              0.37854,
              0.49412,
              0.72092,
              1.17402
            ],
            [
              0.25547,
              0.28577,
              0.30877,
              0.34717,
              0.41167,
              0.52867,
              0.75627,
              1.20847
            ],
            [
              0.2805,
              0.3131,
              0.3378,
              0.3789,
              0.4467,
              0.5664,
              0.7959,
              1.2493
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.03276,
              0.05414,
              0.06897,
              0.09367,
              0.13725,
              0.21978,
              0.38796,
              0.73883
            ],
            [
              0.03276,
              0.05414,
              0.06897,
              0.09366,
              0.13712,
              0.2197,
              0.38759,
              0.73857
            ],
            [
              0.03274,
              0.05415,
              0.06896,
              0.09368,
              0.13713,
              0.21971,
              0.38761,
              0.73846
            ],
            [
              0.03276,
              0.05415,
              0.06898,
              0.09368,
              0.13723,
              0.21978,
              0.38794,
              0.73928
            ],
            [
              0.03274,
              0.05418,
              0.06898,
              0.09371,
              0.13716,
              0.21969,
              0.38764,
              0.73855
            ],
            [
              0.03279,
              0.0542,
              0.06905,
              0.09372,
              0.13719,
              0.21955,
              0.38789,
              0.73838
            ],
            [
              0.03295,
              0.05438,
              0.06919,
              0.09386,
              0.13747,
              0.21977,
              0.38793,
              0.73896
            ],
            [
              0.03406,
              0.05535,
              0.07005,
              0.09455,
              0.1378,
              0.21987,
              0.38795,
              0.73814
            ],
            [
              0.03774,
              0.05921,
              0.07362,
              0.09739,
              0.1398,
              0.22111,
              0.38853,
              0.73956
            ],
            [
              0.04222,
              0.06442,
              0.07928,
              0.10313,
              0.1448,
              0.22442,
              0.39005,
              0.73991
            ],
            [
              0.04783,
              0.07084,
              0.08607,
              0.11029,
              0.15171,
              0.23042,
              0.3936,
              0.7399
            ],
            [
              0.0549,
              0.0788,
              0.0946,
              0.1192,
              0.1604,
              0.2382,
              0.3993,
              0.7434
            ],
            [
              0.0641,
              0.0892,
              0.1058,
              0.131,
              0.1722,
              0.2488,
              0.4073,
              0.7476
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.02077,
              0.04791,
              0.07065,
              0.11419,
              0.20228,
              0.38339,
              0.7518,
              1.49146
            ],
            [
              0.02074,
              0.04791,
              0.07068,
              0.11415,
              0.20231,
              0.38328,
              0.75177,
              1.49087
            ],
            [
              0.02075,
              0.04791,
              0.07067,
              0.11416,
              0.20231,
              0.38333,
              0.75169,
              1.49217
            ],
            [
              0.02076,
              0.0479,
              0.07067,
              0.11417,
              0.20229,
              0.38338,
              0.75193,
              1.49121
            ],
            [
              0.02075,
              0.0479,
              0.07066,
              0.11421,
              0.2023,
              0.38321,
              0.75118,
              1.49068
            ],
            [
              0.02076,
              0.04792,
              0.0707,
              0.11421,
              0.20229,
              0.38344,
              0.75162,
              1.49041
            ],
            [
              0.02086,
              0.04799,
              0.0708,
              0.11433,
              0.20239,
              0.38346,
              0.75225,
              1.49131
            ],
            [
              0.02193,
              0.04893,
              0.07159,
              0.11483,
              0.20265,
              0.38349,
              0.75178,
              1.49048
            ],
            [
              0.02388,
              0.05133,
              0.07414,
              0.11694,
              0.20377,
              0.3839,
              0.75183,
              1.49166
            ],
            [
              0.02679,
              0.05469,
              0.07783,
              0.12061,
              0.20641,
              0.38504,
              0.75233,
              1.49052
            ],
            [
              0.03101,
              0.05938,
              0.08314,
              0.12604,
              0.21068,
              0.38729,
              0.75261,
              1.4912
            ],
            [
              0.0368,
              0.0658,
              0.0905,
              0.134,
              0.2178,
              0.3921,
              0.7545,
              1.4909
            ],
            [
              0.0448,
              0.0745,
              0.1002,
              0.1452,
              0.2287,
              0.4008,
              0.76,
              1.4937
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.13686,
              0.1655,
              0.18589,
              0.21779,
              0.26758,
              0.34822,
              0.48921,
              0.75646
            ],
            [
              0.13873,
              0.16737,
              0.18777,
              0.21967,
              0.26946,
              0.35011,
              0.49106,
              0.75829
            ],
            [
              0.14111,
              0.16975,
              0.19015,
              0.22206,
              0.27185,
              0.3525,
              0.49344,
              0.76067
            ],
            [
              0.14481,
              0.17345,
              0.19384,
              0.22575,
              0.27553,
              0.35618,
              0.49718,
              0.76443
            ],
            [
              0.15062,
              0.17924,
              0.19962,
              0.23152,
              0.28132,
              0.36198,
              0.50293,
              0.77017
            ],
            [
              0.15962,
              0.18822,
              0.20858,
              0.24048,
              0.29029,
              0.37096,
              0.51195,
              0.77911
            ],
            [
              0.17336,
              0.20191,
              0.22224,
              0.25413,
              0.30396,
              0.38464,
              0.52562,
              0.79266
            ],
            [
              0.1932,
              0.22178,
              0.24211,
              0.27401,
              0.3239,
              0.40468,
              0.54565,
              0.81276
            ],
            [
              0.21774,
              0.24736,
              0.26825,
              0.30072,
              0.35102,
              0.43207,
              0.57324,
              0.84005
            ],
            [
              0.24632,
              0.27717,
              0.29902,
              0.33289,
              0.38481,
              0.46702,
              0.60865,
              0.87569
            ],
            [
              0.28028,
              0.31257,
              0.33548,
              0.37093,
              0.42486,
              0.50932,
              0.65262,
              0.92032
            ],
            [
              0.32167,
              0.35557,
              0.37977,
              0.41717,
              0.47347,
              0.56067,
              0.70627,
              0.97507
            ],
            [
              0.3731,
              0.4091,
              0.4347,
              0.4745,
              0.534,
              0.6248,
              0.7736,
              1.0443
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.10895,
              0.13416,
              0.15358,
              0.18723,
              0.24766,
              0.3627,
              0.58995,
              1.04287
            ],
            [
              0.11105,
              0.13625,
              0.15568,
              0.18932,
              0.24976,
              0.36484,
              0.59209,
              1.04544
            ],
            [
              0.11352,
              0.13872,
              0.15815,
              0.19178,
              0.25223,
              0.36733,
              0.59465,
              1.04742
            ],
            [
              0.11735,
              0.14255,
              0.16198,
              0.19559,
              0.25604,
              0.37111,
              0.59838,
              1.05168
            ],
            [
              0.12317,
              0.14836,
              0.16778,
              0.20139,
              0.26183,
              0.37691,
              0.60402,
              1.05711
            ],
            [
              0.13197,
              0.15715,
              0.17654,
              0.2101,
              0.27051,
              0.38554,
              0.61277,
              1.06592
            ],
            [
              0.1449,
              0.17001,
              0.18934,
              0.22281,
              0.28315,
              0.39818,
              0.6255,
              1.07853
            ],
            [
              0.16208,
              0.18735,
              0.20668,
              0.24013,
              0.30033,
              0.41528,
              0.64243,
              1.09556
            ],
            [
              0.18204,
              0.20809,
              0.22796,
              0.26192,
              0.32232,
              0.43713,
              0.6642,
              1.11765
            ],
            [
              0.20465,
              0.23174,
              0.25237,
              0.28725,
              0.34844,
              0.46344,
              0.69039,
              1.14359
            ],
            [
              0.22937,
              0.25788,
              0.27956,
              0.31586,
              0.37831,
              0.49392,
              0.72072,
              1.17392
            ],
            [
              0.25517,
              0.28547,
              0.30857,
              0.34687,
              0.41147,
              0.52847,
              0.75607,
              1.20837
            ],
            [
              0.2802,
              0.3128,
              0.3375,
              0.3786,
              0.4465,
              0.5663,
              0.7957,
              1.2493
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.03269,
              0.05411,
              0.06895,
              0.09365,
              0.13716,
              0.21959,
              0.38762,
              0.73735
            ],
            [
              0.03268,
              0.0541,
              0.06895,
              0.09366,
              0.13707,
              0.2195,
              0.38731,
              0.73849
            ],
            [
              0.03268,
              0.05411,
              0.06895,
              0.09368,
              0.13708,
              0.21948,
              0.38737,
              0.73838
            ],
            [
              0.03269,
              0.05411,
              0.06897,
              0.09367,
              0.13717,
              0.21959,
              0.38762,
              0.73748
            ],
            [
              0.03268,
              0.05413,
              0.06898,
              0.09367,
              0.13712,
              0.21948,
              0.38736,
              0.73848
            ],
            [
              0.03273,
              0.05417,
              0.06904,
              0.09373,
              0.13716,
              0.21956,
              0.3872,
              0.73809
            ],
            [
              0.03289,
              0.05435,
              0.06919,
              0.09384,
              0.13722,
              0.21965,
              0.38763,
              0.7387
            ],
            [
              0.03401,
              0.05532,
              0.07004,
              0.09456,
              0.13779,
              0.21963,
              0.38762,
              0.73878
            ],
            [
              0.0377,
              0.05919,
              0.07363,
              0.09738,
              0.13975,
              0.22091,
              0.38824,
              0.73899
            ],
            [
              0.04219,
              0.06443,
              0.07929,
              0.10315,
              0.14475,
              0.22426,
              0.38966,
              0.73935
            ],
            [
              0.04781,
              0.07085,
              0.08609,
              0.1103,
              0.15161,
              0.23021,
              0.3933,
              0.7395
            ],
            [
              0.0549,
              0.0788,
              0.0946,
              0.1193,
              0.1604,
              0.238,
              0.3989,
              0.7429
            ],
            [
              0.0641,
              0.0892,
              0.1059,
              0.1311,
              0.1722,
              0.2487,
              0.4069,
              0.7471
            ]
          ]
        },
        "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.01121,
            0.02243,
            0.04486,
            0.08971,
            0.17943,
            0.35885
          ],
          "values": [
            [
              0.02078,
              0.04791,
              0.07067,
              0.11424,
              0.20234,
              0.38347,
              0.75189,
              1.49115
            ],
            [
              0.02079,
              0.04792,
              0.07068,
              0.11422,
              0.20235,
              0.38346,
              0.75196,
              1.49103
            ],
            [
              0.02075,
              0.04792,
              0.0707,
              0.1142,
              0.20237,
              0.3834,
              0.75258,
              1.49232
            ],
            [
              0.02076,
              0.04792,
              0.07069,
              0.11421,
              0.20236,
              0.38346,
              0.75202,
              1.49107
            ],
            [
              0.02079,
              0.04792,
              0.07068,
              0.11426,
              0.20234,
              0.38336,
              0.75146,
              1.49092
            ],
            [
              0.02077,
              0.04792,
              0.07072,
              0.11425,
              0.20236,
              0.38351,
              0.75179,
              1.49065
            ],
            [
              0.02088,
              0.04802,
              0.07083,
              0.11437,
              0.20246,
              0.38353,
              0.75211,
              1.49173
            ],
            [
              0.02194,
              0.04894,
              0.07163,
              0.1149,
              0.2027,
              0.38357,
              0.75194,
              1.49061
            ],
            [
              0.0239,
              0.05136,
              0.07418,
              0.11701,
              0.20383,
              0.38396,
              0.752,
              1.49189
            ],
            [
              0.02681,
              0.05472,
              0.07788,
              0.12066,
              0.20649,
              0.38517,
              0.75262,
              1.49037
            ],
            [
              0.03105,
              0.05941,
              0.08319,
              0.1261,
              0.21075,
              0.38734,
              0.75272,
              1.4915
            ],
            [
              0.0369,
              0.0659,
              0.0905,
              0.1341,
              0.2179,
              0.3922,
              0.7547,
              1.491
            ],
            [
              0.0449,
              0.0745,
              0.1003,
              0.1452,
              0.2288,
              0.401,
              0.7602,
              1.4942
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.10675,
              0.09349,
              0.08182,
              0.05981,
              0.01716,
              -0.06737,
              -0.23616,
              -0.57353
            ],
            [
              0.10656,
              0.09329,
              0.08161,
              0.05959,
              0.01695,
              -0.06758,
              -0.23638,
              -0.57374
            ],
            [
              0.10643,
              0.09317,
              0.08149,
              0.05947,
              0.01683,
              -0.0677,
              -0.23649,
              -0.57386
            ],
            [
              0.10642,
              0.09317,
              0.08147,
              0.05946,
              0.0168,
              -0.06772,
              -0.23651,
              -0.57387
            ],
            [
              0.10661,
              0.09336,
              0.08167,
              0.05966,
              0.01701,
              -0.06751,
              -0.23631,
              -0.57367
            ],
            [
              0.10719,
              0.09392,
              0.08224,
              0.06021,
              0.01757,
              -0.06696,
              -0.23575,
              -0.57311
            ],
            [
              0.10824,
              0.09501,
              0.08332,
              0.06132,
              0.01868,
              -0.06585,
              -0.23463,
              -0.572
            ],
            [
              0.11029,
              0.09706,
              0.0854,
              0.06342,
              0.02079,
              -0.06375,
              -0.23253,
              -0.56989
            ],
            [
              0.1141,
              0.10085,
              0.08921,
              0.06724,
              0.02463,
              -0.05988,
              -0.22867,
              -0.56603
            ],
            [
              0.12186,
              0.10869,
              0.09704,
              0.07509,
              0.03251,
              -0.05199,
              -0.22078,
              -0.55813
            ],
            [
              0.13274,
              0.11954,
              0.1079,
              0.08595,
              0.0434,
              -0.04107,
              -0.20984,
              -0.54717
            ],
            [
              0.15122,
              0.13804,
              0.12644,
              0.10453,
              0.06195,
              -0.02253,
              -0.19131,
              -0.52864
            ],
            [
              0.17834,
              0.16513,
              0.15354,
              0.13164,
              0.08913,
              0.00469,
              -0.1641,
              -0.5015
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.08099,
              0.08993,
              0.09992,
              0.12038,
              0.16197,
              0.24527,
              0.41128,
              0.74729
            ],
            [
              0.0808,
              0.08973,
              0.09969,
              0.12026,
              0.16176,
              0.24526,
              0.41201,
              0.74762
            ],
            [
              0.08064,
              0.08958,
              0.09956,
              0.12003,
              0.1616,
              0.24468,
              0.41104,
              0.74696
            ],
            [
              0.08051,
              0.08946,
              0.09943,
              0.11991,
              0.16145,
              0.24463,
              0.41173,
              0.74656
            ],
            [
              0.08058,
              0.08952,
              0.0995,
              0.12002,
              0.16154,
              0.24488,
              0.41099,
              0.74684
            ],
            [
              0.08087,
              0.08982,
              0.09981,
              0.12034,
              0.16193,
              0.24543,
              0.41192,
              0.74774
            ],
            [
              0.08169,
              0.09065,
              0.10062,
              0.12115,
              0.16275,
              0.24594,
              0.41305,
              0.74799
            ],
            [
              0.08353,
              0.09251,
              0.10252,
              0.12305,
              0.16463,
              0.2477,
              0.41507,
              0.75072
            ],
            [
              0.08711,
              0.09616,
              0.10617,
              0.12674,
              0.1684,
              0.25173,
              0.41844,
              0.75358
            ],
            [
              0.09455,
              0.10362,
              0.11365,
              0.13425,
              0.17573,
              0.25901,
              0.42577,
              0.76063
            ],
            [
              0.10546,
              0.11454,
              0.12468,
              0.14534,
              0.18682,
              0.26996,
              0.43682,
              0.77282
            ],
            [
              0.12405,
              0.13316,
              0.1432,
              0.16392,
              0.20566,
              0.28892,
              0.45505,
              0.79085
            ],
            [
              0.15214,
              0.16124,
              0.17133,
              0.19185,
              0.23362,
              0.31725,
              0.48341,
              0.818
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.10851,
              0.11169,
              0.11752,
              0.13124,
              0.16056,
              0.22052,
              0.34056,
              0.58385
            ],
            [
              0.10831,
              0.11148,
              0.11731,
              0.13102,
              0.16036,
              0.22022,
              0.34075,
              0.58326
            ],
            [
              0.10818,
              0.11132,
              0.11713,
              0.13094,
              0.16038,
              0.2201,
              0.33998,
              0.58328
            ],
            [
              0.10801,
              0.11119,
              0.11702,
              0.13073,
              0.16019,
              0.22007,
              0.34043,
              0.58279
            ],
            [
              0.10811,
              0.11128,
              0.11711,
              0.13083,
              0.16035,
              0.22011,
              0.34033,
              0.58323
            ],
            [
              0.10846,
              0.11163,
              0.11745,
              0.13121,
              0.16067,
              0.22048,
              0.34053,
              0.5831
            ],
            [
              0.10945,
              0.1126,
              0.11841,
              0.13216,
              0.16157,
              0.22134,
              0.34179,
              0.58453
            ],
            [
              0.11154,
              0.11465,
              0.12047,
              0.13416,
              0.16357,
              0.22351,
              0.3438,
              0.58659
            ],
            [
              0.11544,
              0.11854,
              0.1243,
              0.13801,
              0.16746,
              0.22723,
              0.34717,
              0.59083
            ],
            [
              0.12361,
              0.12663,
              0.13233,
              0.14597,
              0.17537,
              0.23517,
              0.35565,
              0.59716
            ],
            [
              0.13525,
              0.13817,
              0.14379,
              0.15739,
              0.18657,
              0.24636,
              0.36684,
              0.60925
            ],
            [
              0.15503,
              0.1578,
              0.16326,
              0.17673,
              0.20605,
              0.26557,
              0.38586,
              0.62806
            ],
            [
              0.18443,
              0.18697,
              0.19227,
              0.20544,
              0.23457,
              0.29434,
              0.414,
              0.6566
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.12813,
              0.13424,
              0.14299,
              0.16245,
              0.20345,
              0.28641,
              0.45285,
              0.78854
            ],
            [
              0.12797,
              0.13406,
              0.14275,
              0.1622,
              0.20328,
              0.28606,
              0.45206,
              0.78834
            ],
            [
              0.12785,
              0.13394,
              0.14266,
              0.16216,
              0.20317,
              0.28609,
              0.45246,
              0.78821
            ],
            [
              0.12781,
              0.13392,
              0.1426,
              0.16215,
              0.20308,
              0.28628,
              0.452,
              0.78828
            ],
            [
              0.12802,
              0.13413,
              0.14281,
              0.1623,
              0.20324,
              0.28631,
              0.45211,
              0.78854
            ],
            [
              0.12856,
              0.1347,
              0.14342,
              0.16286,
              0.20389,
              0.28701,
              0.45257,
              0.78906
            ],
            [
              0.12978,
              0.13587,
              0.14464,
              0.16418,
              0.2051,
              0.28802,
              0.45468,
              0.788
            ],
            [
              0.13208,
              0.13821,
              0.14698,
              0.16648,
              0.20738,
              0.29048,
              0.45602,
              0.79184
            ],
            [
              0.1364,
              0.14248,
              0.15126,
              0.17074,
              0.21171,
              0.29467,
              0.46063,
              0.79675
            ],
            [
              0.14488,
              0.15096,
              0.15965,
              0.17907,
              0.21998,
              0.30289,
              0.46912,
              0.80321
            ],
            [
              0.15668,
              0.16264,
              0.17133,
              0.1907,
              0.23146,
              0.31459,
              0.48073,
              0.8154
            ],
            [
              0.17651,
              0.18233,
              0.19094,
              0.21034,
              0.25118,
              0.33345,
              0.50007,
              0.83468
            ],
            [
              0.2055,
              0.21114,
              0.21957,
              0.23867,
              0.27943,
              0.36227,
              0.52763,
              0.86257
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.10059,
              0.08731,
              0.07562,
              0.05362,
              0.011,
              -0.07351,
              -0.24231,
              -0.57968
            ],
            [
              0.1004,
              0.08714,
              0.07543,
              0.05342,
              0.0108,
              -0.07372,
              -0.2425,
              -0.57988
            ],
            [
              0.10031,
              0.087,
              0.07533,
              0.05332,
              0.0107,
              -0.07383,
              -0.24262,
              -0.57998
            ],
            [
              0.10028,
              0.08701,
              0.0753,
              0.05331,
              0.01069,
              -0.07383,
              -0.24262,
              -0.57999
            ],
            [
              0.10065,
              0.08734,
              0.07563,
              0.05361,
              0.011,
              -0.07353,
              -0.24231,
              -0.57968
            ],
            [
              0.10151,
              0.08819,
              0.0765,
              0.05448,
              0.01185,
              -0.07268,
              -0.24147,
              -0.57883
            ],
            [
              0.1033,
              0.08994,
              0.07824,
              0.05622,
              0.01357,
              -0.07093,
              -0.23973,
              -0.57709
            ],
            [
              0.1063,
              0.093,
              0.08128,
              0.05926,
              0.01662,
              -0.0679,
              -0.23668,
              -0.57404
            ],
            [
              0.11113,
              0.09782,
              0.08613,
              0.0641,
              0.02146,
              -0.06304,
              -0.23182,
              -0.56918
            ],
            [
              0.11971,
              0.10641,
              0.09473,
              0.07271,
              0.03008,
              -0.05442,
              -0.22319,
              -0.56054
            ],
            [
              0.13125,
              0.11794,
              0.10622,
              0.08416,
              0.04156,
              -0.0429,
              -0.21164,
              -0.54896
            ],
            [
              0.15023,
              0.13691,
              0.12519,
              0.10316,
              0.06052,
              -0.02395,
              -0.19268,
              -0.52999
            ],
            [
              0.1783,
              0.16504,
              0.15331,
              0.13129,
              0.08867,
              0.00422,
              -0.16453,
              -0.50187
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.0649,
              0.0739,
              0.08388,
              0.10445,
              0.14605,
              0.22958,
              0.39664,
              0.73283
            ],
            [
              0.06484,
              0.07382,
              0.08379,
              0.10441,
              0.14582,
              0.2294,
              0.39562,
              0.7325
            ],
            [
              0.06481,
              0.07379,
              0.08376,
              0.10436,
              0.14592,
              0.22937,
              0.39581,
              0.73207
            ],
            [
              0.06496,
              0.07394,
              0.08391,
              0.10444,
              0.14594,
              0.22939,
              0.39604,
              0.73241
            ],
            [
              0.06535,
              0.07432,
              0.0843,
              0.10481,
              0.14645,
              0.22971,
              0.3966,
              0.73287
            ],
            [
              0.06615,
              0.07509,
              0.08512,
              0.10567,
              0.14711,
              0.23042,
              0.39731,
              0.73346
            ],
            [
              0.06772,
              0.07667,
              0.08665,
              0.10717,
              0.14861,
              0.23208,
              0.39859,
              0.73529
            ],
            [
              0.07071,
              0.07965,
              0.08964,
              0.11013,
              0.15161,
              0.23501,
              0.40136,
              0.73854
            ],
            [
              0.07552,
              0.08441,
              0.09432,
              0.11488,
              0.15616,
              0.23937,
              0.40631,
              0.74295
            ],
            [
              0.08404,
              0.0929,
              0.10278,
              0.12309,
              0.16444,
              0.24784,
              0.41403,
              0.74889
            ],
            [
              0.09569,
              0.10449,
              0.11438,
              0.13473,
              0.17598,
              0.25889,
              0.42557,
              0.76084
            ],
            [
              0.11635,
              0.12506,
              0.13485,
              0.15512,
              0.19648,
              0.27941,
              0.44557,
              0.78029
            ],
            [
              0.14844,
              0.15703,
              0.16676,
              0.18686,
              0.22808,
              0.31136,
              0.47716,
              0.81204
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.0893,
              0.09234,
              0.0981,
              0.11178,
              0.14109,
              0.20103,
              0.32114,
              0.56365
            ],
            [
              0.08918,
              0.09224,
              0.09799,
              0.11171,
              0.14098,
              0.2007,
              0.32074,
              0.5639
            ],
            [
              0.08914,
              0.0922,
              0.09794,
              0.11166,
              0.14098,
              0.20061,
              0.3211,
              0.56439
            ],
            [
              0.08916,
              0.09222,
              0.09799,
              0.11162,
              0.14107,
              0.20083,
              0.32125,
              0.56441
            ],
            [
              0.08929,
              0.09231,
              0.09806,
              0.11174,
              0.14105,
              0.20097,
              0.32099,
              0.56397
            ],
            [
              0.08977,
              0.0928,
              0.09854,
              0.11223,
              0.14155,
              0.20118,
              0.32177,
              0.56403
            ],
            [
              0.09074,
              0.09378,
              0.09949,
              0.11316,
              0.14239,
              0.20214,
              0.32186,
              0.56525
            ],
            [
              0.09285,
              0.09589,
              0.10163,
              0.11518,
              0.14449,
              0.20395,
              0.32426,
              0.56709
            ],
            [
              0.09676,
              0.09979,
              0.10551,
              0.1189,
              0.14806,
              0.20748,
              0.32729,
              0.56985
            ],
            [
              0.1045,
              0.10749,
              0.1131,
              0.12641,
              0.1553,
              0.21483,
              0.33465,
              0.57623
            ],
            [
              0.11544,
              0.11833,
              0.12385,
              0.13713,
              0.16571,
              0.22484,
              0.34407,
              0.58755
            ],
            [
              0.13563,
              0.13827,
              0.14364,
              0.15673,
              0.18516,
              0.24368,
              0.36295,
              0.60466
            ],
            [
              0.16747,
              0.16972,
              0.17481,
              0.18747,
              0.21535,
              0.27371,
              0.39201,
              0.63484
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.1174,
              0.12373,
              0.13255,
              0.15209,
              0.19324,
              0.27659,
              0.44223,
              0.77859
            ],
            [
              0.11712,
              0.12344,
              0.13231,
              0.15193,
              0.19302,
              0.2761,
              0.44231,
              0.7777
            ],
            [
              0.11701,
              0.1233,
              0.13214,
              0.15182,
              0.1929,
              0.27592,
              0.44233,
              0.77753
            ],
            [
              0.11696,
              0.12324,
              0.13207,
              0.15171,
              0.19275,
              0.27574,
              0.44199,
              0.77728
            ],
            [
              0.11716,
              0.12343,
              0.13224,
              0.15186,
              0.19302,
              0.27584,
              0.44187,
              0.7775
            ],
            [
              0.11779,
              0.12403,
              0.13284,
              0.15248,
              0.19355,
              0.2766,
              0.44301,
              0.77814
            ],
            [
              0.11918,
              0.12547,
              0.13428,
              0.15382,
              0.19486,
              0.27782,
              0.44413,
              0.77892
            ],
            [
              0.12198,
              0.12818,
              0.13694,
              0.1564,
              0.19745,
              0.28052,
              0.44634,
              0.78268
            ],
            [
              0.12686,
              0.13288,
              0.14156,
              0.16102,
              0.202,
              0.28478,
              0.45074,
              0.78716
            ],
            [
              0.13589,
              0.14179,
              0.15026,
              0.1695,
              0.21017,
              0.29273,
              0.45927,
              0.79399
            ],
            [
              0.14842,
              0.15402,
              0.16237,
              0.18127,
              0.22157,
              0.30431,
              0.46999,
              0.80561
            ],
            [
              0.16872,
              0.17398,
              0.18205,
              0.20071,
              0.24096,
              0.32305,
              0.48926,
              0.82441
            ],
            [
              0.19902,
              0.20386,
              0.21158,
              0.22969,
              0.2695,
              0.35178,
              0.51673,
              0.85194
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.06965,
              0.05617,
              0.04421,
              0.02179,
              -0.02122,
              -0.10601,
              -0.27498,
              -0.61246
            ],
            [
              0.06963,
              0.05616,
              0.04417,
              0.02177,
              -0.02124,
              -0.10602,
              -0.275,
              -0.61249
            ],
            [
              0.06958,
              0.0561,
              0.04413,
              0.02173,
              -0.0213,
              -0.1061,
              -0.27505,
              -0.61254
            ],
            [
              0.06954,
              0.05606,
              0.04407,
              0.02166,
              -0.02134,
              -0.10614,
              -0.2751,
              -0.61258
            ],
            [
              0.06964,
              0.05612,
              0.04414,
              0.02172,
              -0.02129,
              -0.10609,
              -0.27504,
              -0.61252
            ],
            [
              0.06982,
              0.0563,
              0.04431,
              0.02187,
              -0.02115,
              -0.10593,
              -0.27487,
              -0.61235
            ],
            [
              0.0704,
              0.05685,
              0.04481,
              0.02232,
              -0.0207,
              -0.10547,
              -0.27442,
              -0.61188
            ],
            [
              0.07201,
              0.05833,
              0.04618,
              0.02359,
              -0.01952,
              -0.10434,
              -0.27329,
              -0.61076
            ],
            [
              0.07544,
              0.06147,
              0.04913,
              0.02627,
              -0.01707,
              -0.10203,
              -0.27104,
              -0.60854
            ],
            [
              0.0822,
              0.06785,
              0.05524,
              0.032,
              -0.01173,
              -0.09693,
              -0.2661,
              -0.60366
            ],
            [
              0.09041,
              0.07567,
              0.0627,
              0.03896,
              -0.00527,
              -0.09082,
              -0.26016,
              -0.59783
            ],
            [
              0.10365,
              0.08848,
              0.07517,
              0.05088,
              0.00601,
              -0.08008,
              -0.24974,
              -0.58758
            ],
            [
              0.12165,
              0.10602,
              0.09227,
              0.06729,
              0.02158,
              -0.06517,
              -0.23535,
              -0.57352
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.04327,
              0.0527,
              0.06301,
              0.08382,
              0.12556,
              0.20905,
              0.37589,
              0.71192
            ],
            [
              0.04331,
              0.05273,
              0.06298,
              0.08389,
              0.1257,
              0.20894,
              0.37596,
              0.71192
            ],
            [
              0.04325,
              0.05267,
              0.06294,
              0.08379,
              0.12562,
              0.20891,
              0.37589,
              0.71062
            ],
            [
              0.0432,
              0.05262,
              0.06287,
              0.08379,
              0.12543,
              0.20863,
              0.37562,
              0.71189
            ],
            [
              0.04331,
              0.05273,
              0.06297,
              0.0838,
              0.12555,
              0.20871,
              0.37602,
              0.71146
            ],
            [
              0.04363,
              0.05302,
              0.06326,
              0.08414,
              0.12583,
              0.20923,
              0.37626,
              0.7114
            ],
            [
              0.04448,
              0.0538,
              0.06398,
              0.08479,
              0.12651,
              0.20975,
              0.37654,
              0.71206
            ],
            [
              0.04624,
              0.05535,
              0.06538,
              0.08594,
              0.12743,
              0.21107,
              0.3775,
              0.71289
            ],
            [
              0.04918,
              0.058,
              0.0678,
              0.08808,
              0.12948,
              0.21266,
              0.37945,
              0.71484
            ],
            [
              0.05499,
              0.06338,
              0.07308,
              0.09314,
              0.1342,
              0.21672,
              0.38376,
              0.71894
            ],
            [
              0.06265,
              0.07048,
              0.0799,
              0.09971,
              0.14038,
              0.22268,
              0.38838,
              0.72413
            ],
            [
              0.07581,
              0.08295,
              0.09199,
              0.11141,
              0.15169,
              0.23365,
              0.39933,
              0.73392
            ],
            [
              0.09452,
              0.10087,
              0.10953,
              0.12821,
              0.16793,
              0.24944,
              0.41442,
              0.74817
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.07197,
              0.07537,
              0.08106,
              0.09474,
              0.12406,
              0.18365,
              0.30378,
              0.54673
            ],
            [
              0.07202,
              0.0754,
              0.0811,
              0.0948,
              0.12414,
              0.1838,
              0.30392,
              0.54695
            ],
            [
              0.07195,
              0.07535,
              0.08104,
              0.0947,
              0.12407,
              0.18377,
              0.30401,
              0.54722
            ],
            [
              0.07192,
              0.07532,
              0.08102,
              0.0947,
              0.124,
              0.1837,
              0.30395,
              0.54745
            ],
            [
              0.07196,
              0.07535,
              0.08104,
              0.09469,
              0.12396,
              0.1836,
              0.3039,
              0.54734
            ],
            [
              0.07218,
              0.07558,
              0.08125,
              0.09486,
              0.12416,
              0.18385,
              0.30401,
              0.54748
            ],
            [
              0.07285,
              0.07622,
              0.08182,
              0.09534,
              0.12454,
              0.18416,
              0.30433,
              0.54799
            ],
            [
              0.07437,
              0.07755,
              0.08303,
              0.09642,
              0.12542,
              0.18475,
              0.30511,
              0.54859
            ],
            [
              0.07709,
              0.07999,
              0.0853,
              0.09843,
              0.12719,
              0.18667,
              0.30662,
              0.54986
            ],
            [
              0.08265,
              0.0851,
              0.09017,
              0.10302,
              0.13146,
              0.19054,
              0.31026,
              0.55165
            ],
            [
              0.08975,
              0.09166,
              0.09642,
              0.10888,
              0.13685,
              0.19559,
              0.31526,
              0.55787
            ],
            [
              0.10237,
              0.10357,
              0.10794,
              0.11989,
              0.14747,
              0.20553,
              0.3246,
              0.56689
            ],
            [
              0.12054,
              0.1209,
              0.12474,
              0.136,
              0.16285,
              0.22028,
              0.33824,
              0.58054
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.0895,
              0.09587,
              0.10462,
              0.12387,
              0.16462,
              0.24702,
              0.41366,
              0.74786
            ],
            [
              0.08946,
              0.09585,
              0.10453,
              0.12376,
              0.16461,
              0.24683,
              0.41295,
              0.74717
            ],
            [
              0.08945,
              0.09576,
              0.10455,
              0.12385,
              0.16459,
              0.24683,
              0.41317,
              0.74721
            ],
            [
              0.08943,
              0.09581,
              0.10446,
              0.12373,
              0.16442,
              0.24698,
              0.41315,
              0.74852
            ],
            [
              0.08951,
              0.09583,
              0.10458,
              0.12382,
              0.16446,
              0.24695,
              0.41316,
              0.7472
            ],
            [
              0.08971,
              0.09603,
              0.10464,
              0.12396,
              0.16463,
              0.24719,
              0.41324,
              0.74734
            ],
            [
              0.09026,
              0.09654,
              0.10522,
              0.12437,
              0.16512,
              0.24799,
              0.41413,
              0.74976
            ],
            [
              0.09173,
              0.09787,
              0.10646,
              0.12554,
              0.16605,
              0.24873,
              0.41536,
              0.74897
            ],
            [
              0.09513,
              0.10096,
              0.10929,
              0.12808,
              0.16845,
              0.25089,
              0.41732,
              0.75286
            ],
            [
              0.10175,
              0.10717,
              0.11516,
              0.13353,
              0.17347,
              0.25568,
              0.42117,
              0.75538
            ],
            [
              0.10993,
              0.11489,
              0.12254,
              0.14042,
              0.17963,
              0.26167,
              0.42731,
              0.76217
            ],
            [
              0.12305,
              0.12743,
              0.13467,
              0.1521,
              0.19074,
              0.27155,
              0.43712,
              0.76963
            ],
            [
              0.14096,
              0.14479,
              0.15144,
              0.16798,
              0.206,
              0.28639,
              0.44974,
              0.78464
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.2773,
    "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.24984,
              0.27673,
              0.29613,
              0.32769,
              0.37948,
              0.46772,
              0.62777,
              0.93663
            ],
            [
              0.25173,
              0.27863,
              0.29802,
              0.32958,
              0.38138,
              0.46958,
              0.62952,
              0.93887
            ],
            [
              0.25421,
              0.2811,
              0.30049,
              0.33206,
              0.38384,
              0.47207,
              0.63209,
              0.9412
            ],
            [
              0.25815,
              0.28504,
              0.30444,
              0.33599,
              0.38778,
              0.47601,
              0.63601,
              0.9452
            ],
            [
              0.26415,
              0.29104,
              0.31043,
              0.34199,
              0.39379,
              0.48199,
              0.64193,
              0.95131
            ],
            [
              0.27261,
              0.29949,
              0.31887,
              0.35043,
              0.40221,
              0.49043,
              0.65045,
              0.95962
            ],
            [
              0.28388,
              0.3107,
              0.33006,
              0.3616,
              0.41336,
              0.50155,
              0.66158,
              0.97073
            ],
            [
              0.29855,
              0.32527,
              0.34458,
              0.37606,
              0.42778,
              0.51595,
              0.67597,
              0.98506
            ],
            [
              0.31704,
              0.34357,
              0.36281,
              0.39423,
              0.4459,
              0.534,
              0.694,
              1.00285
            ],
            [
              0.33884,
              0.3652,
              0.38433,
              0.41564,
              0.46719,
              0.55522,
              0.71509,
              1.02399
            ],
            [
              0.36466,
              0.3909,
              0.40999,
              0.44122,
              0.49272,
              0.58052,
              0.74022,
              1.04942
            ],
            [
              0.39607,
              0.42227,
              0.44127,
              0.47247,
              0.52377,
              0.61147,
              0.77107,
              1.07997
            ],
            [
              0.4353,
              0.4613,
              0.4803,
              0.5113,
              0.5625,
              0.65,
              0.8095,
              1.1183
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.21325,
              0.23994,
              0.25982,
              0.29374,
              0.35528,
              0.47451,
              0.71233,
              1.18637
            ],
            [
              0.21519,
              0.24188,
              0.26176,
              0.2957,
              0.35731,
              0.47667,
              0.71385,
              1.18854
            ],
            [
              0.2176,
              0.2443,
              0.26419,
              0.29811,
              0.35973,
              0.47912,
              0.71665,
              1.19082
            ],
            [
              0.22126,
              0.24794,
              0.26783,
              0.30177,
              0.36339,
              0.48276,
              0.72022,
              1.19358
            ],
            [
              0.22653,
              0.25321,
              0.27311,
              0.30701,
              0.36864,
              0.48799,
              0.72581,
              1.19961
            ],
            [
              0.2334,
              0.26008,
              0.27996,
              0.31386,
              0.37545,
              0.49476,
              0.73273,
              1.20612
            ],
            [
              0.24204,
              0.26869,
              0.28857,
              0.32248,
              0.38411,
              0.50351,
              0.74108,
              1.21463
            ],
            [
              0.25254,
              0.27915,
              0.29901,
              0.3329,
              0.39453,
              0.5139,
              0.7514,
              1.22556
            ],
            [
              0.26473,
              0.29125,
              0.31103,
              0.3449,
              0.40655,
              0.52589,
              0.76375,
              1.23745
            ],
            [
              0.27812,
              0.30454,
              0.32429,
              0.35812,
              0.41958,
              0.53903,
              0.77629,
              1.24999
            ],
            [
              0.29187,
              0.31815,
              0.33784,
              0.3716,
              0.43313,
              0.55232,
              0.78982,
              1.26402
            ],
            [
              0.30477,
              0.33087,
              0.35047,
              0.38417,
              0.44567,
              0.56507,
              0.80217,
              1.27557
            ],
            [
              0.3154,
              0.3414,
              0.361,
              0.3946,
              0.4561,
              0.5754,
              0.8125,
              1.286
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02978,
              0.05004,
              0.06556,
              0.0932,
              0.14402,
              0.24175,
              0.44054,
              0.85192
            ],
            [
              0.02976,
              0.04999,
              0.06564,
              0.09322,
              0.14404,
              0.24188,
              0.44089,
              0.85232
            ],
            [
              0.02976,
              0.05,
              0.06562,
              0.09329,
              0.14395,
              0.24185,
              0.44079,
              0.85222
            ],
            [
              0.02976,
              0.04997,
              0.06563,
              0.09329,
              0.14399,
              0.24188,
              0.44085,
              0.85223
            ],
            [
              0.02976,
              0.05,
              0.06554,
              0.09321,
              0.14404,
              0.24187,
              0.44088,
              0.85228
            ],
            [
              0.02972,
              0.04995,
              0.0656,
              0.09326,
              0.14395,
              0.24183,
              0.44075,
              0.85227
            ],
            [
              0.02963,
              0.04984,
              0.0655,
              0.09317,
              0.14388,
              0.24179,
              0.4407,
              0.85227
            ],
            [
              0.02943,
              0.04963,
              0.06526,
              0.093,
              0.14371,
              0.24168,
              0.44043,
              0.85224
            ],
            [
              0.02915,
              0.04931,
              0.06493,
              0.09258,
              0.14353,
              0.24149,
              0.44048,
              0.85123
            ],
            [
              0.02888,
              0.04892,
              0.06452,
              0.09226,
              0.14319,
              0.24114,
              0.44032,
              0.8507
            ],
            [
              0.02864,
              0.04872,
              0.06421,
              0.09185,
              0.14276,
              0.2407,
              0.4401,
              0.852
            ],
            [
              0.0285,
              0.0484,
              0.0639,
              0.0917,
              0.1424,
              0.2404,
              0.4392,
              0.8502
            ],
            [
              0.0282,
              0.048,
              0.0636,
              0.0912,
              0.142,
              0.2401,
              0.4392,
              0.8493
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02433,
              0.05068,
              0.07212,
              0.11399,
              0.20176,
              0.38362,
              0.75387,
              1.49373
            ],
            [
              0.02429,
              0.05061,
              0.07225,
              0.11415,
              0.20178,
              0.38352,
              0.753,
              1.49365
            ],
            [
              0.0243,
              0.0506,
              0.07223,
              0.1142,
              0.20182,
              0.3843,
              0.753,
              1.49287
            ],
            [
              0.02429,
              0.05061,
              0.07224,
              0.11419,
              0.20181,
              0.38438,
              0.75288,
              1.49611
            ],
            [
              0.0243,
              0.05067,
              0.0721,
              0.11418,
              0.20153,
              0.38359,
              0.75309,
              1.49308
            ],
            [
              0.02429,
              0.05064,
              0.07202,
              0.11402,
              0.20155,
              0.38342,
              0.75305,
              1.49427
            ],
            [
              0.02419,
              0.0505,
              0.07202,
              0.11409,
              0.20174,
              0.3843,
              0.75343,
              1.49423
            ],
            [
              0.02405,
              0.05035,
              0.07186,
              0.11398,
              0.20167,
              0.38344,
              0.75297,
              1.49354
            ],
            [
              0.02379,
              0.05005,
              0.07159,
              0.11382,
              0.20159,
              0.38327,
              0.75321,
              1.494
            ],
            [
              0.02359,
              0.04979,
              0.07151,
              0.11349,
              0.20158,
              0.38317,
              0.75281,
              1.4988
            ],
            [
              0.0234,
              0.04954,
              0.07127,
              0.11352,
              0.20106,
              0.38411,
              0.753,
              1.4944
            ],
            [
              0.0232,
              0.0494,
              0.0711,
              0.1134,
              0.2011,
              0.3836,
              0.7532,
              1.4926
            ],
            [
              0.0231,
              0.0494,
              0.0709,
              0.1133,
              0.2014,
              0.3838,
              0.7522,
              1.4963
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.21789,
              0.24409,
              0.26308,
              0.29387,
              0.3439,
              0.42908,
              0.58622,
              0.89461
            ],
            [
              0.21985,
              0.24606,
              0.26504,
              0.29584,
              0.34586,
              0.43108,
              0.58833,
              0.89642
            ],
            [
              0.22226,
              0.24847,
              0.26746,
              0.29826,
              0.34828,
              0.43348,
              0.59074,
              0.89909
            ],
            [
              0.22592,
              0.25213,
              0.27113,
              0.30191,
              0.35193,
              0.43713,
              0.59423,
              0.90258
            ],
            [
              0.23149,
              0.25771,
              0.27671,
              0.3075,
              0.35752,
              0.44269,
              0.59991,
              0.90831
            ],
            [
              0.23944,
              0.2657,
              0.2847,
              0.3155,
              0.36551,
              0.45071,
              0.60797,
              0.9162
            ],
            [
              0.25023,
              0.27659,
              0.2956,
              0.32639,
              0.37639,
              0.46158,
              0.61882,
              0.92713
            ],
            [
              0.26392,
              0.29041,
              0.30945,
              0.34023,
              0.3902,
              0.47537,
              0.63266,
              0.94086
            ],
            [
              0.28022,
              0.30687,
              0.32593,
              0.35671,
              0.40668,
              0.49186,
              0.64913,
              0.95745
            ],
            [
              0.29843,
              0.32523,
              0.34433,
              0.37514,
              0.42514,
              0.51033,
              0.66769,
              0.97609
            ],
            [
              0.31817,
              0.34512,
              0.3643,
              0.39518,
              0.44522,
              0.53052,
              0.68772,
              0.99602
            ],
            [
              0.33837,
              0.36557,
              0.38477,
              0.41587,
              0.46607,
              0.55157,
              0.70897,
              1.01697
            ],
            [
              0.3575,
              0.3848,
              0.4042,
              0.4355,
              0.486,
              0.5718,
              0.7294,
              1.0381
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.2131,
              0.23975,
              0.26001,
              0.29483,
              0.35755,
              0.47736,
              0.71451,
              1.18837
            ],
            [
              0.21503,
              0.24168,
              0.26195,
              0.29677,
              0.35953,
              0.47936,
              0.71638,
              1.19044
            ],
            [
              0.21751,
              0.24416,
              0.26442,
              0.29925,
              0.36198,
              0.48181,
              0.71888,
              1.19292
            ],
            [
              0.2214,
              0.24805,
              0.26832,
              0.30314,
              0.36589,
              0.48573,
              0.72274,
              1.19678
            ],
            [
              0.22743,
              0.25408,
              0.27435,
              0.30917,
              0.37193,
              0.49176,
              0.72878,
              1.20281
            ],
            [
              0.23647,
              0.26313,
              0.2834,
              0.31823,
              0.38099,
              0.50081,
              0.73785,
              1.21192
            ],
            [
              0.24959,
              0.2763,
              0.29658,
              0.33142,
              0.39417,
              0.51399,
              0.75109,
              1.22483
            ],
            [
              0.26785,
              0.29465,
              0.31496,
              0.34982,
              0.41258,
              0.53233,
              0.76947,
              1.24336
            ],
            [
              0.29154,
              0.31848,
              0.33885,
              0.37374,
              0.43656,
              0.55627,
              0.79335,
              1.26725
            ],
            [
              0.32023,
              0.34745,
              0.36793,
              0.40291,
              0.46573,
              0.58539,
              0.82249,
              1.29619
            ],
            [
              0.35534,
              0.38292,
              0.40356,
              0.4387,
              0.50152,
              0.62112,
              0.85832,
              1.33202
            ],
            [
              0.39907,
              0.42727,
              0.44817,
              0.48347,
              0.54637,
              0.66607,
              0.90307,
              1.37677
            ],
            [
              0.4544,
              0.4833,
              0.5047,
              0.5403,
              0.6033,
              0.723,
              0.96,
              1.4335
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02692,
              0.04719,
              0.06253,
              0.08932,
              0.13813,
              0.23445,
              0.43529,
              0.84929
            ],
            [
              0.02692,
              0.04719,
              0.06252,
              0.08926,
              0.13821,
              0.23452,
              0.43478,
              0.84901
            ],
            [
              0.02691,
              0.04717,
              0.06251,
              0.0893,
              0.13816,
              0.23468,
              0.43454,
              0.84957
            ],
            [
              0.02692,
              0.0472,
              0.06252,
              0.08931,
              0.13818,
              0.23439,
              0.43535,
              0.84914
            ],
            [
              0.02693,
              0.0472,
              0.06253,
              0.08934,
              0.1381,
              0.23455,
              0.43509,
              0.84992
            ],
            [
              0.02695,
              0.04722,
              0.06255,
              0.08929,
              0.13815,
              0.23454,
              0.43488,
              0.84955
            ],
            [
              0.02699,
              0.0473,
              0.0626,
              0.08934,
              0.13814,
              0.23452,
              0.43507,
              0.84939
            ],
            [
              0.02713,
              0.04739,
              0.06268,
              0.08936,
              0.13817,
              0.23463,
              0.43495,
              0.84919
            ],
            [
              0.02748,
              0.04764,
              0.06288,
              0.08946,
              0.13821,
              0.23467,
              0.43473,
              0.84959
            ],
            [
              0.02807,
              0.04804,
              0.06311,
              0.08962,
              0.13837,
              0.23468,
              0.43507,
              0.8499
            ],
            [
              0.02909,
              0.04873,
              0.06373,
              0.09012,
              0.13861,
              0.23469,
              0.4349,
              0.8489
            ],
            [
              0.0307,
              0.0499,
              0.0647,
              0.0909,
              0.1394,
              0.2355,
              0.4346,
              0.8496
            ],
            [
              0.033,
              0.0516,
              0.0661,
              0.0923,
              0.1405,
              0.2362,
              0.4355,
              0.8473
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02345,
              0.05047,
              0.07277,
              0.11567,
              0.2032,
              0.38387,
              0.75268,
              1.49317
            ],
            [
              0.02344,
              0.05046,
              0.07274,
              0.11571,
              0.2033,
              0.38405,
              0.7535,
              1.49356
            ],
            [
              0.02345,
              0.05048,
              0.07279,
              0.11568,
              0.20314,
              0.38401,
              0.75201,
              1.49365
            ],
            [
              0.02344,
              0.05047,
              0.07277,
              0.11565,
              0.20322,
              0.38393,
              0.75356,
              1.49363
            ],
            [
              0.02345,
              0.05047,
              0.07274,
              0.11571,
              0.20332,
              0.38406,
              0.75357,
              1.49353
            ],
            [
              0.02349,
              0.05051,
              0.07277,
              0.1158,
              0.20329,
              0.38402,
              0.75352,
              1.49358
            ],
            [
              0.02361,
              0.05063,
              0.07291,
              0.11576,
              0.20333,
              0.38409,
              0.75324,
              1.49318
            ],
            [
              0.02388,
              0.0509,
              0.07312,
              0.11602,
              0.20341,
              0.38419,
              0.7525,
              1.497
            ],
            [
              0.02447,
              0.05143,
              0.0736,
              0.1163,
              0.20367,
              0.38401,
              0.75362,
              1.49335
            ],
            [
              0.02536,
              0.05232,
              0.07441,
              0.11694,
              0.2042,
              0.38471,
              0.75436,
              1.4969
            ],
            [
              0.02631,
              0.05331,
              0.07543,
              0.11776,
              0.20452,
              0.3846,
              0.7548,
              1.4933
            ],
            [
              0.0276,
              0.0548,
              0.0768,
              0.1189,
              0.2053,
              0.385,
              0.7526,
              1.4932
            ],
            [
              0.0303,
              0.0571,
              0.079,
              0.1208,
              0.2065,
              0.3859,
              0.7532,
              1.4959
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.22014,
              0.24732,
              0.26689,
              0.29869,
              0.3506,
              0.43874,
              0.59874,
              0.90796
            ],
            [
              0.22211,
              0.24929,
              0.26886,
              0.30066,
              0.35257,
              0.44074,
              0.60069,
              0.91001
            ],
            [
              0.22454,
              0.25172,
              0.27129,
              0.30309,
              0.35501,
              0.44314,
              0.60314,
              0.91234
            ],
            [
              0.22823,
              0.2554,
              0.27498,
              0.30678,
              0.35869,
              0.44682,
              0.60688,
              0.91595
            ],
            [
              0.23384,
              0.26102,
              0.28059,
              0.31239,
              0.36431,
              0.45245,
              0.61251,
              0.9217
            ],
            [
              0.24187,
              0.26906,
              0.28863,
              0.32043,
              0.37236,
              0.46049,
              0.62052,
              0.92972
            ],
            [
              0.25283,
              0.28003,
              0.29961,
              0.33141,
              0.38335,
              0.47153,
              0.63155,
              0.94093
            ],
            [
              0.2669,
              0.29409,
              0.31369,
              0.34551,
              0.39746,
              0.48564,
              0.64556,
              0.95516
            ],
            [
              0.28385,
              0.31101,
              0.33061,
              0.36245,
              0.41445,
              0.50269,
              0.66275,
              0.97235
            ],
            [
              0.30292,
              0.33001,
              0.34964,
              0.38152,
              0.43362,
              0.52197,
              0.68199,
              0.99159
            ],
            [
              0.32377,
              0.35078,
              0.37044,
              0.40241,
              0.45462,
              0.54302,
              0.70312,
              1.01282
            ],
            [
              0.34527,
              0.37227,
              0.39197,
              0.42407,
              0.47647,
              0.56517,
              0.72567,
              1.03457
            ],
            [
              0.3658,
              0.3928,
              0.4126,
              0.4449,
              0.4976,
              0.5866,
              0.7474,
              1.0569
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.21016,
              0.23699,
              0.25718,
              0.29156,
              0.35356,
              0.47303,
              0.70993,
              1.18357
            ],
            [
              0.21209,
              0.23891,
              0.25911,
              0.29348,
              0.35547,
              0.475,
              0.71189,
              1.18554
            ],
            [
              0.21454,
              0.24137,
              0.26156,
              0.29594,
              0.35793,
              0.47747,
              0.71436,
              1.18802
            ],
            [
              0.2184,
              0.24524,
              0.26543,
              0.2998,
              0.3618,
              0.48129,
              0.71818,
              1.19188
            ],
            [
              0.22436,
              0.25119,
              0.27138,
              0.30576,
              0.36775,
              0.48724,
              0.72414,
              1.19781
            ],
            [
              0.23317,
              0.26,
              0.2802,
              0.31457,
              0.37655,
              0.49611,
              0.73305,
              1.20672
            ],
            [
              0.24569,
              0.27254,
              0.29274,
              0.3271,
              0.38911,
              0.50849,
              0.74544,
              1.21903
            ],
            [
              0.26271,
              0.28961,
              0.30982,
              0.34419,
              0.40616,
              0.52559,
              0.76257,
              1.23596
            ],
            [
              0.2847,
              0.31174,
              0.33201,
              0.36638,
              0.42835,
              0.54779,
              0.78465,
              1.25845
            ],
            [
              0.31137,
              0.3387,
              0.35909,
              0.39356,
              0.45555,
              0.57494,
              0.81189,
              1.28539
            ],
            [
              0.34399,
              0.37171,
              0.39229,
              0.42691,
              0.48892,
              0.60812,
              0.84512,
              1.31872
            ],
            [
              0.38447,
              0.41267,
              0.43357,
              0.46847,
              0.53057,
              0.64977,
              0.88647,
              1.35997
            ],
            [
              0.4347,
              0.4639,
              0.4853,
              0.5205,
              0.5827,
              0.7019,
              0.9387,
              1.4119
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02807,
              0.04862,
              0.06439,
              0.0922,
              0.14303,
              0.24098,
              0.44034,
              0.85132
            ],
            [
              0.02809,
              0.0486,
              0.06438,
              0.09227,
              0.14299,
              0.2407,
              0.44041,
              0.85214
            ],
            [
              0.02808,
              0.04862,
              0.0644,
              0.0922,
              0.14303,
              0.24099,
              0.44033,
              0.85127
            ],
            [
              0.02809,
              0.04862,
              0.06442,
              0.09229,
              0.14307,
              0.24092,
              0.44013,
              0.85187
            ],
            [
              0.02812,
              0.04861,
              0.06443,
              0.09231,
              0.14302,
              0.24089,
              0.43997,
              0.8521
            ],
            [
              0.02818,
              0.04864,
              0.06442,
              0.09232,
              0.14308,
              0.24094,
              0.44031,
              0.85143
            ],
            [
              0.02838,
              0.04874,
              0.06445,
              0.09236,
              0.1431,
              0.24095,
              0.44036,
              0.85224
            ],
            [
              0.02869,
              0.04887,
              0.06455,
              0.09243,
              0.14304,
              0.24105,
              0.44057,
              0.85231
            ],
            [
              0.02918,
              0.04913,
              0.06481,
              0.09258,
              0.14332,
              0.24113,
              0.44047,
              0.85231
            ],
            [
              0.02981,
              0.0496,
              0.06507,
              0.0929,
              0.14364,
              0.24124,
              0.44072,
              0.85235
            ],
            [
              0.0307,
              0.05034,
              0.06578,
              0.09348,
              0.14411,
              0.24139,
              0.4409,
              0.8526
            ],
            [
              0.032,
              0.0516,
              0.0668,
              0.0944,
              0.1448,
              0.2424,
              0.4408,
              0.8526
            ],
            [
              0.0337,
              0.0534,
              0.0684,
              0.0955,
              0.1459,
              0.2434,
              0.4416,
              0.8514
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.0238,
              0.05074,
              0.07257,
              0.11472,
              0.20192,
              0.38357,
              0.75193,
              1.49258
            ],
            [
              0.02379,
              0.05073,
              0.07258,
              0.11466,
              0.20195,
              0.38355,
              0.75378,
              1.49191
            ],
            [
              0.02379,
              0.05074,
              0.07258,
              0.11468,
              0.20195,
              0.38372,
              0.75381,
              1.49222
            ],
            [
              0.02379,
              0.05075,
              0.07258,
              0.11472,
              0.20197,
              0.38353,
              0.75169,
              1.49273
            ],
            [
              0.0238,
              0.05075,
              0.07259,
              0.11473,
              0.20197,
              0.38352,
              0.75168,
              1.49281
            ],
            [
              0.0238,
              0.05077,
              0.07262,
              0.11472,
              0.2019,
              0.38307,
              0.75257,
              1.49266
            ],
            [
              0.02388,
              0.05081,
              0.07262,
              0.11475,
              0.20197,
              0.38335,
              0.75196,
              1.49392
            ],
            [
              0.02409,
              0.05102,
              0.07275,
              0.11482,
              0.2021,
              0.38312,
              0.75364,
              1.49307
            ],
            [
              0.02468,
              0.05156,
              0.07327,
              0.11519,
              0.20213,
              0.38336,
              0.752,
              1.49408
            ],
            [
              0.02565,
              0.05251,
              0.07416,
              0.11588,
              0.20254,
              0.38366,
              0.75214,
              1.494
            ],
            [
              0.02698,
              0.05384,
              0.07538,
              0.11686,
              0.20303,
              0.3836,
              0.7518,
              1.4946
            ],
            [
              0.0287,
              0.0556,
              0.0771,
              0.118,
              0.2037,
              0.384,
              0.7518,
              1.4922
            ],
            [
              0.0311,
              0.0582,
              0.0795,
              0.1199,
              0.2051,
              0.3844,
              0.7525,
              1.4942
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.23563,
              0.26114,
              0.27951,
              0.30939,
              0.3586,
              0.44345,
              0.60076,
              0.90932
            ],
            [
              0.23752,
              0.26304,
              0.2814,
              0.31129,
              0.36049,
              0.44537,
              0.60258,
              0.91103
            ],
            [
              0.23999,
              0.2655,
              0.28387,
              0.31374,
              0.36295,
              0.44783,
              0.60496,
              0.91332
            ],
            [
              0.24391,
              0.26943,
              0.28779,
              0.31766,
              0.36688,
              0.45175,
              0.60908,
              0.91773
            ],
            [
              0.24989,
              0.27541,
              0.29376,
              0.32364,
              0.37285,
              0.45772,
              0.61505,
              0.92372
            ],
            [
              0.25836,
              0.28386,
              0.30222,
              0.33211,
              0.3813,
              0.46618,
              0.62339,
              0.93192
            ],
            [
              0.2697,
              0.29517,
              0.31351,
              0.34338,
              0.39256,
              0.47742,
              0.63474,
              0.94333
            ],
            [
              0.28443,
              0.30983,
              0.32813,
              0.35797,
              0.40713,
              0.49193,
              0.64924,
              0.95796
            ],
            [
              0.3029,
              0.32817,
              0.34642,
              0.37621,
              0.42532,
              0.51014,
              0.66741,
              0.97595
            ],
            [
              0.32482,
              0.34997,
              0.36816,
              0.39785,
              0.44686,
              0.53156,
              0.68879,
              0.99689
            ],
            [
              0.35113,
              0.37621,
              0.39437,
              0.42402,
              0.47292,
              0.55752,
              0.71442,
              1.02312
            ],
            [
              0.38347,
              0.40847,
              0.42657,
              0.45617,
              0.50507,
              0.58957,
              0.74637,
              1.05477
            ],
            [
              0.4236,
              0.4487,
              0.4668,
              0.4964,
              0.5452,
              0.6296,
              0.7864,
              1.0948
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.20579,
              0.23274,
              0.25307,
              0.28778,
              0.3499,
              0.46844,
              0.70386,
              1.17267
            ],
            [
              0.20773,
              0.23468,
              0.25503,
              0.28973,
              0.35191,
              0.47061,
              0.70519,
              1.17414
            ],
            [
              0.21015,
              0.2371,
              0.25743,
              0.29214,
              0.35425,
              0.47282,
              0.70822,
              1.17702
            ],
            [
              0.21379,
              0.24074,
              0.26106,
              0.29579,
              0.35792,
              0.4764,
              0.71125,
              1.18067
            ],
            [
              0.21908,
              0.24602,
              0.26635,
              0.30106,
              0.36319,
              0.48172,
              0.71714,
              1.18591
            ],
            [
              0.22586,
              0.2528,
              0.27314,
              0.30785,
              0.37004,
              0.48874,
              0.72342,
              1.19352
            ],
            [
              0.23429,
              0.2612,
              0.28154,
              0.31625,
              0.37844,
              0.49715,
              0.73199,
              1.20103
            ],
            [
              0.24455,
              0.27142,
              0.29175,
              0.32645,
              0.38864,
              0.50706,
              0.74188,
              1.21166
            ],
            [
              0.25664,
              0.28342,
              0.30366,
              0.33834,
              0.4005,
              0.51892,
              0.75365,
              1.22325
            ],
            [
              0.27006,
              0.2967,
              0.31688,
              0.3515,
              0.41344,
              0.53199,
              0.76709,
              1.23729
            ],
            [
              0.28397,
              0.31042,
              0.33051,
              0.36496,
              0.42694,
              0.54542,
              0.78012,
              1.25022
            ],
            [
              0.29707,
              0.32337,
              0.34327,
              0.37757,
              0.43957,
              0.55807,
              0.79297,
              1.26097
            ],
            [
              0.3079,
              0.3341,
              0.354,
              0.3882,
              0.45,
              0.5682,
              0.803,
              1.2713
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02691,
              0.04613,
              0.06096,
              0.08748,
              0.1369,
              0.23409,
              0.43525,
              0.8493
            ],
            [
              0.02691,
              0.04614,
              0.06095,
              0.08751,
              0.13681,
              0.23411,
              0.43562,
              0.85059
            ],
            [
              0.02692,
              0.04617,
              0.06094,
              0.08751,
              0.13684,
              0.23395,
              0.43565,
              0.8498
            ],
            [
              0.02692,
              0.04612,
              0.06103,
              0.08751,
              0.13687,
              0.23428,
              0.4353,
              0.84913
            ],
            [
              0.02692,
              0.04611,
              0.06103,
              0.0875,
              0.13687,
              0.23428,
              0.43529,
              0.84909
            ],
            [
              0.02689,
              0.04613,
              0.06092,
              0.0875,
              0.13679,
              0.23409,
              0.43562,
              0.85086
            ],
            [
              0.02686,
              0.04604,
              0.06095,
              0.08745,
              0.13681,
              0.23424,
              0.43528,
              0.85072
            ],
            [
              0.02671,
              0.04589,
              0.06083,
              0.08726,
              0.13674,
              0.23404,
              0.43521,
              0.85171
            ],
            [
              0.02653,
              0.04572,
              0.06053,
              0.0871,
              0.13652,
              0.23392,
              0.43478,
              0.85005
            ],
            [
              0.02637,
              0.04548,
              0.06028,
              0.08691,
              0.13625,
              0.23379,
              0.43457,
              0.84931
            ],
            [
              0.02626,
              0.04531,
              0.06012,
              0.08663,
              0.13601,
              0.2332,
              0.435,
              0.8505
            ],
            [
              0.0263,
              0.0452,
              0.0601,
              0.0865,
              0.1358,
              0.2331,
              0.4337,
              0.8494
            ],
            [
              0.0263,
              0.0453,
              0.0601,
              0.0865,
              0.1356,
              0.233,
              0.434,
              0.8483
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.0247,
              0.05149,
              0.0737,
              0.11592,
              0.20274,
              0.38172,
              0.74685,
              1.48176
            ],
            [
              0.02466,
              0.05158,
              0.07362,
              0.11598,
              0.20228,
              0.38188,
              0.74688,
              1.4824
            ],
            [
              0.0247,
              0.05148,
              0.0737,
              0.11592,
              0.20273,
              0.38175,
              0.74674,
              1.48184
            ],
            [
              0.02466,
              0.05148,
              0.07372,
              0.1159,
              0.20271,
              0.38152,
              0.74836,
              1.48117
            ],
            [
              0.02463,
              0.05146,
              0.0737,
              0.11589,
              0.20273,
              0.38173,
              0.7467,
              1.48211
            ],
            [
              0.02458,
              0.05152,
              0.07346,
              0.11592,
              0.20223,
              0.38186,
              0.74714,
              1.48214
            ],
            [
              0.02447,
              0.05139,
              0.07336,
              0.11583,
              0.20218,
              0.38171,
              0.74695,
              1.48212
            ],
            [
              0.02431,
              0.05123,
              0.07335,
              0.11576,
              0.20246,
              0.38155,
              0.74674,
              1.48102
            ],
            [
              0.024,
              0.05079,
              0.07304,
              0.11547,
              0.20235,
              0.38151,
              0.74676,
              1.48099
            ],
            [
              0.02369,
              0.05047,
              0.07271,
              0.11522,
              0.20224,
              0.38205,
              0.74765,
              1.4816
            ],
            [
              0.02338,
              0.05017,
              0.07232,
              0.11495,
              0.20196,
              0.38192,
              0.7492,
              1.4839
            ],
            [
              0.0231,
              0.0498,
              0.0719,
              0.1146,
              0.2017,
              0.3814,
              0.7479,
              1.4806
            ],
            [
              0.0231,
              0.0496,
              0.0719,
              0.1144,
              0.2014,
              0.3808,
              0.7462,
              1.4847
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.21906,
              0.24581,
              0.26514,
              0.29665,
              0.3484,
              0.43655,
              0.59645,
              0.90575
            ],
            [
              0.22051,
              0.24728,
              0.26662,
              0.29813,
              0.34987,
              0.43804,
              0.59801,
              0.90726
            ],
            [
              0.22254,
              0.24931,
              0.26867,
              0.30018,
              0.35192,
              0.44013,
              0.60014,
              0.90911
            ],
            [
              0.22592,
              0.25272,
              0.27207,
              0.3036,
              0.35535,
              0.44351,
              0.60347,
              0.91275
            ],
            [
              0.23145,
              0.25828,
              0.27764,
              0.30918,
              0.36094,
              0.44914,
              0.60917,
              0.91833
            ],
            [
              0.23997,
              0.26681,
              0.2862,
              0.31774,
              0.36951,
              0.45773,
              0.61777,
              0.92669
            ],
            [
              0.25219,
              0.27903,
              0.29841,
              0.32996,
              0.38174,
              0.46992,
              0.62983,
              0.93903
            ],
            [
              0.26836,
              0.29515,
              0.31451,
              0.34603,
              0.39778,
              0.486,
              0.64602,
              0.95506
            ],
            [
              0.28728,
              0.31388,
              0.33315,
              0.36458,
              0.41628,
              0.50444,
              0.66448,
              0.97335
            ],
            [
              0.30903,
              0.33554,
              0.35477,
              0.38613,
              0.43771,
              0.52571,
              0.68559,
              0.99449
            ],
            [
              0.33488,
              0.3613,
              0.38047,
              0.41181,
              0.46342,
              0.55142,
              0.71112,
              1.01982
            ],
            [
              0.36617,
              0.39257,
              0.41167,
              0.44297,
              0.49457,
              0.58247,
              0.74247,
              1.05097
            ],
            [
              0.4044,
              0.4308,
              0.45,
              0.4813,
              0.5328,
              0.6207,
              0.7806,
              1.0893
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.17531,
              0.20196,
              0.22183,
              0.25578,
              0.31741,
              0.43675,
              0.67444,
              1.14857
            ],
            [
              0.17749,
              0.20415,
              0.22403,
              0.25794,
              0.31958,
              0.43893,
              0.67678,
              1.14974
            ],
            [
              0.18017,
              0.20683,
              0.22672,
              0.26065,
              0.3223,
              0.44168,
              0.6791,
              1.15252
            ],
            [
              0.18427,
              0.21094,
              0.23083,
              0.26475,
              0.32638,
              0.44573,
              0.68356,
              1.15668
            ],
            [
              0.19046,
              0.21713,
              0.23702,
              0.27092,
              0.33252,
              0.45181,
              0.68961,
              1.16411
            ],
            [
              0.19964,
              0.22632,
              0.24621,
              0.28012,
              0.34168,
              0.46094,
              0.69874,
              1.17312
            ],
            [
              0.21263,
              0.23932,
              0.2592,
              0.29314,
              0.35476,
              0.47414,
              0.71193,
              1.18513
            ],
            [
              0.23105,
              0.25775,
              0.27764,
              0.31153,
              0.37311,
              0.49242,
              0.73014,
              1.20486
            ],
            [
              0.25335,
              0.27994,
              0.29975,
              0.33355,
              0.39504,
              0.51422,
              0.75202,
              1.22495
            ],
            [
              0.27623,
              0.30298,
              0.32284,
              0.35661,
              0.41781,
              0.53703,
              0.77419,
              1.24809
            ],
            [
              0.30094,
              0.32779,
              0.34767,
              0.38143,
              0.44268,
              0.56152,
              0.79862,
              1.27332
            ],
            [
              0.32877,
              0.35577,
              0.37567,
              0.40937,
              0.47047,
              0.58937,
              0.82597,
              1.30007
            ],
            [
              0.3612,
              0.3884,
              0.4084,
              0.4421,
              0.503,
              0.6216,
              0.8579,
              1.3313
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02949,
              0.04969,
              0.06534,
              0.0929,
              0.14384,
              0.24175,
              0.44082,
              0.85193
            ],
            [
              0.02951,
              0.04971,
              0.06536,
              0.09298,
              0.14383,
              0.24175,
              0.44074,
              0.85223
            ],
            [
              0.02953,
              0.04976,
              0.0653,
              0.09298,
              0.14386,
              0.24149,
              0.44032,
              0.85214
            ],
            [
              0.02958,
              0.04978,
              0.06542,
              0.09302,
              0.14389,
              0.24178,
              0.44084,
              0.85216
            ],
            [
              0.02962,
              0.04983,
              0.06545,
              0.09314,
              0.14383,
              0.24174,
              0.4404,
              0.85229
            ],
            [
              0.02968,
              0.04992,
              0.06543,
              0.09309,
              0.14403,
              0.24161,
              0.44041,
              0.852
            ],
            [
              0.02965,
              0.04989,
              0.06543,
              0.09305,
              0.14398,
              0.24183,
              0.44085,
              0.85127
            ],
            [
              0.02955,
              0.0498,
              0.06534,
              0.09301,
              0.14392,
              0.24149,
              0.44043,
              0.85209
            ],
            [
              0.02926,
              0.04946,
              0.06502,
              0.0927,
              0.14371,
              0.24152,
              0.44019,
              0.85191
            ],
            [
              0.02923,
              0.04938,
              0.06482,
              0.09256,
              0.14342,
              0.24128,
              0.44049,
              0.85138
            ],
            [
              0.02914,
              0.04921,
              0.06484,
              0.09241,
              0.14335,
              0.24101,
              0.44,
              0.8516
            ],
            [
              0.0291,
              0.0492,
              0.0648,
              0.0923,
              0.1433,
              0.2413,
              0.4394,
              0.8513
            ],
            [
              0.0292,
              0.0493,
              0.0648,
              0.0924,
              0.1433,
              0.2412,
              0.4402,
              0.8499
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02418,
              0.0505,
              0.07214,
              0.11404,
              0.20174,
              0.3833,
              0.75278,
              1.49346
            ],
            [
              0.02422,
              0.05062,
              0.07194,
              0.11407,
              0.20138,
              0.38341,
              0.75307,
              1.49526
            ],
            [
              0.02422,
              0.05057,
              0.07214,
              0.11413,
              0.20177,
              0.38416,
              0.75282,
              1.49593
            ],
            [
              0.02428,
              0.05065,
              0.07197,
              0.11412,
              0.20133,
              0.38341,
              0.75301,
              1.4955
            ],
            [
              0.02429,
              0.05065,
              0.07207,
              0.11407,
              0.20162,
              0.38397,
              0.75306,
              1.49361
            ],
            [
              0.02432,
              0.05068,
              0.07211,
              0.11406,
              0.20171,
              0.38355,
              0.75278,
              1.49354
            ],
            [
              0.02433,
              0.05068,
              0.07232,
              0.11415,
              0.2018,
              0.38427,
              0.7524,
              1.49521
            ],
            [
              0.02451,
              0.05093,
              0.0723,
              0.11416,
              0.20185,
              0.38349,
              0.75273,
              1.49385
            ],
            [
              0.02468,
              0.05097,
              0.07256,
              0.11442,
              0.20168,
              0.38337,
              0.75243,
              1.49534
            ],
            [
              0.02516,
              0.05146,
              0.07299,
              0.11462,
              0.20206,
              0.38359,
              0.75405,
              1.4968
            ],
            [
              0.02567,
              0.0521,
              0.0736,
              0.1151,
              0.20201,
              0.38355,
              0.7531,
              1.4943
            ],
            [
              0.0264,
              0.0526,
              0.074,
              0.1157,
              0.2026,
              0.3835,
              0.754,
              1.4948
            ],
            [
              0.0271,
              0.0535,
              0.0748,
              0.1164,
              0.203,
              0.384,
              0.7528,
              1.4937
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.18667,
              0.21322,
              0.23223,
              0.2629,
              0.31271,
              0.39778,
              0.55504,
              0.86337
            ],
            [
              0.18864,
              0.21519,
              0.23419,
              0.26487,
              0.31468,
              0.39974,
              0.55688,
              0.8653
            ],
            [
              0.19104,
              0.21759,
              0.23659,
              0.26727,
              0.31708,
              0.40213,
              0.55931,
              0.86772
            ],
            [
              0.1947,
              0.22123,
              0.24024,
              0.27091,
              0.32071,
              0.40579,
              0.56303,
              0.87121
            ],
            [
              0.20019,
              0.22671,
              0.2457,
              0.27637,
              0.32618,
              0.41124,
              0.56837,
              0.87681
            ],
            [
              0.20822,
              0.23472,
              0.2537,
              0.28436,
              0.33416,
              0.4192,
              0.57646,
              0.88458
            ],
            [
              0.21883,
              0.24529,
              0.26426,
              0.29492,
              0.34472,
              0.42977,
              0.58689,
              0.89533
            ],
            [
              0.23076,
              0.25712,
              0.27606,
              0.30671,
              0.35653,
              0.44158,
              0.59873,
              0.90716
            ],
            [
              0.24223,
              0.26828,
              0.2872,
              0.31786,
              0.36774,
              0.45285,
              0.61004,
              0.91835
            ],
            [
              0.25395,
              0.27963,
              0.29834,
              0.32888,
              0.37871,
              0.46385,
              0.62099,
              0.92919
            ],
            [
              0.26577,
              0.29117,
              0.30972,
              0.34014,
              0.38995,
              0.47502,
              0.63192,
              0.94052
            ],
            [
              0.27647,
              0.30167,
              0.32007,
              0.35027,
              0.40007,
              0.48517,
              0.64207,
              0.95017
            ],
            [
              0.2834,
              0.3086,
              0.3268,
              0.3569,
              0.4066,
              0.4918,
              0.6488,
              0.9572
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.19122,
              0.21795,
              0.23825,
              0.27311,
              0.33588,
              0.45565,
              0.69274,
              1.16667
            ],
            [
              0.1923,
              0.21902,
              0.23931,
              0.27417,
              0.33695,
              0.45673,
              0.6938,
              1.16774
            ],
            [
              0.19387,
              0.22058,
              0.24087,
              0.27572,
              0.3385,
              0.45823,
              0.69538,
              1.16912
            ],
            [
              0.19662,
              0.22331,
              0.2436,
              0.27843,
              0.34121,
              0.461,
              0.69807,
              1.17207
            ],
            [
              0.20132,
              0.22799,
              0.24827,
              0.28311,
              0.34586,
              0.46564,
              0.70277,
              1.17661
            ],
            [
              0.20899,
              0.23564,
              0.25591,
              0.29074,
              0.3535,
              0.4733,
              0.71036,
              1.18432
            ],
            [
              0.22088,
              0.24752,
              0.26779,
              0.30262,
              0.36533,
              0.48519,
              0.72225,
              1.19623
            ],
            [
              0.23787,
              0.26454,
              0.28481,
              0.31964,
              0.38237,
              0.50219,
              0.73923,
              1.21326
            ],
            [
              0.25874,
              0.28562,
              0.30598,
              0.34088,
              0.40364,
              0.52349,
              0.76045,
              1.23455
            ],
            [
              0.28327,
              0.31028,
              0.33073,
              0.3657,
              0.42855,
              0.54849,
              0.78559,
              1.25929
            ],
            [
              0.31328,
              0.34049,
              0.36104,
              0.3961,
              0.45892,
              0.57882,
              0.81592,
              1.28982
            ],
            [
              0.35037,
              0.37787,
              0.39867,
              0.43387,
              0.49677,
              0.61677,
              0.85377,
              1.32737
            ],
            [
              0.3975,
              0.4255,
              0.4465,
              0.482,
              0.5451,
              0.6652,
              0.9024,
              1.3758
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02716,
              0.04699,
              0.06216,
              0.0888,
              0.13759,
              0.23406,
              0.43479,
              0.84939
            ],
            [
              0.02715,
              0.04693,
              0.0621,
              0.08877,
              0.13767,
              0.23439,
              0.4353,
              0.84961
            ],
            [
              0.02712,
              0.04696,
              0.0621,
              0.08876,
              0.13764,
              0.23439,
              0.43526,
              0.84959
            ],
            [
              0.0271,
              0.04694,
              0.0621,
              0.08876,
              0.13758,
              0.23404,
              0.43462,
              0.84909
            ],
            [
              0.02707,
              0.04691,
              0.06209,
              0.08875,
              0.13766,
              0.23433,
              0.43529,
              0.84958
            ],
            [
              0.02699,
              0.04682,
              0.062,
              0.08868,
              0.13759,
              0.23412,
              0.43438,
              0.84943
            ],
            [
              0.02689,
              0.04678,
              0.06199,
              0.08866,
              0.13758,
              0.23401,
              0.43527,
              0.84957
            ],
            [
              0.02658,
              0.04664,
              0.06189,
              0.08869,
              0.13756,
              0.23433,
              0.43522,
              0.8494
            ],
            [
              0.0262,
              0.04649,
              0.06193,
              0.08877,
              0.13781,
              0.23439,
              0.4346,
              0.85037
            ],
            [
              0.02607,
              0.04612,
              0.06153,
              0.08849,
              0.13771,
              0.23453,
              0.43485,
              0.84947
            ],
            [
              0.02622,
              0.04593,
              0.06129,
              0.08847,
              0.1377,
              0.23398,
              0.43478,
              0.8498
            ],
            [
              0.0265,
              0.0459,
              0.0612,
              0.0884,
              0.1377,
              0.2345,
              0.4343,
              0.849
            ],
            [
              0.0271,
              0.0463,
              0.0613,
              0.0884,
              0.138,
              0.2348,
              0.4354,
              0.8479
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02348,
              0.05053,
              0.07278,
              0.11578,
              0.20327,
              0.38402,
              0.75341,
              1.49333
            ],
            [
              0.02346,
              0.0505,
              0.07276,
              0.11575,
              0.20326,
              0.38416,
              0.75332,
              1.49304
            ],
            [
              0.02343,
              0.05046,
              0.07275,
              0.11568,
              0.20334,
              0.38405,
              0.75324,
              1.49321
            ],
            [
              0.02339,
              0.05043,
              0.07272,
              0.11569,
              0.20323,
              0.38406,
              0.75228,
              1.49363
            ],
            [
              0.02334,
              0.05037,
              0.07266,
              0.11561,
              0.20339,
              0.38405,
              0.75265,
              1.49264
            ],
            [
              0.02329,
              0.05032,
              0.07262,
              0.11555,
              0.20314,
              0.38401,
              0.75331,
              1.49358
            ],
            [
              0.02329,
              0.05033,
              0.07265,
              0.11557,
              0.20324,
              0.38404,
              0.75324,
              1.4935
            ],
            [
              0.02344,
              0.05048,
              0.07281,
              0.11568,
              0.20314,
              0.38384,
              0.75217,
              1.49363
            ],
            [
              0.02415,
              0.0512,
              0.07343,
              0.11619,
              0.20346,
              0.38402,
              0.75362,
              1.49339
            ],
            [
              0.0247,
              0.05176,
              0.074,
              0.1167,
              0.20391,
              0.38443,
              0.75405,
              1.4945
            ],
            [
              0.02547,
              0.05255,
              0.07478,
              0.11727,
              0.20422,
              0.38459,
              0.7527,
              1.4929
            ],
            [
              0.0265,
              0.0536,
              0.0758,
              0.1182,
              0.2049,
              0.3848,
              0.7532,
              1.4935
            ],
            [
              0.0281,
              0.0553,
              0.0775,
              0.1196,
              0.2058,
              0.3855,
              0.7531,
              1.4928
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.19105,
              0.21827,
              0.23789,
              0.26972,
              0.32169,
              0.40987,
              0.56981,
              0.87915
            ],
            [
              0.19306,
              0.22027,
              0.23989,
              0.27172,
              0.32369,
              0.41189,
              0.57191,
              0.88141
            ],
            [
              0.19547,
              0.22268,
              0.24229,
              0.27414,
              0.3261,
              0.41431,
              0.57439,
              0.88389
            ],
            [
              0.19909,
              0.22631,
              0.24591,
              0.27775,
              0.32971,
              0.41791,
              0.57796,
              0.88748
            ],
            [
              0.20448,
              0.23169,
              0.2513,
              0.28313,
              0.33509,
              0.42328,
              0.58331,
              0.89282
            ],
            [
              0.2124,
              0.23962,
              0.25923,
              0.29105,
              0.34301,
              0.43121,
              0.59128,
              0.9007
            ],
            [
              0.22363,
              0.25085,
              0.27045,
              0.30228,
              0.35421,
              0.44237,
              0.60243,
              0.91193
            ],
            [
              0.23757,
              0.26477,
              0.28433,
              0.31614,
              0.36807,
              0.45622,
              0.61626,
              0.92566
            ],
            [
              0.25067,
              0.27778,
              0.29735,
              0.32916,
              0.38112,
              0.46929,
              0.62935,
              0.93875
            ],
            [
              0.26292,
              0.28961,
              0.30908,
              0.34087,
              0.39281,
              0.48104,
              0.64109,
              0.95089
            ],
            [
              0.27413,
              0.30059,
              0.31997,
              0.35174,
              0.40377,
              0.49202,
              0.65172,
              0.96122
            ],
            [
              0.28357,
              0.30997,
              0.32927,
              0.36097,
              0.41307,
              0.50147,
              0.66137,
              0.97057
            ],
            [
              0.2903,
              0.3166,
              0.3358,
              0.3673,
              0.4193,
              0.508,
              0.6682,
              0.9775
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.19423,
              0.22099,
              0.24103,
              0.27523,
              0.33714,
              0.45636,
              0.69332,
              1.16727
            ],
            [
              0.19565,
              0.2224,
              0.24243,
              0.27666,
              0.33858,
              0.45782,
              0.69481,
              1.16844
            ],
            [
              0.19749,
              0.22423,
              0.24426,
              0.27846,
              0.34035,
              0.45965,
              0.69662,
              1.17022
            ],
            [
              0.20055,
              0.22728,
              0.2473,
              0.28148,
              0.34337,
              0.46266,
              0.69966,
              1.17318
            ],
            [
              0.20569,
              0.2324,
              0.25241,
              0.28663,
              0.34856,
              0.46781,
              0.70481,
              1.17841
            ],
            [
              0.21424,
              0.24092,
              0.26093,
              0.2951,
              0.357,
              0.47632,
              0.71331,
              1.18692
            ],
            [
              0.22781,
              0.25448,
              0.27447,
              0.30862,
              0.37056,
              0.48979,
              0.72673,
              1.20063
            ],
            [
              0.24753,
              0.27422,
              0.29419,
              0.32833,
              0.39019,
              0.50945,
              0.74643,
              1.22006
            ],
            [
              0.27262,
              0.29947,
              0.31952,
              0.35372,
              0.41554,
              0.53479,
              0.77175,
              1.24535
            ],
            [
              0.30202,
              0.32914,
              0.3493,
              0.38354,
              0.44542,
              0.56468,
              0.80169,
              1.27539
            ],
            [
              0.33796,
              0.36534,
              0.38563,
              0.41998,
              0.48182,
              0.60102,
              0.83802,
              1.31172
            ],
            [
              0.38257,
              0.41017,
              0.43067,
              0.46507,
              0.52697,
              0.64617,
              0.88287,
              1.35647
            ],
            [
              0.4385,
              0.4663,
              0.4871,
              0.5217,
              0.5836,
              0.7029,
              0.9396,
              1.4129
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02872,
              0.0489,
              0.06457,
              0.09245,
              0.14307,
              0.2411,
              0.44059,
              0.85198
            ],
            [
              0.02871,
              0.04888,
              0.06459,
              0.09244,
              0.14317,
              0.24102,
              0.44044,
              0.85236
            ],
            [
              0.02869,
              0.04882,
              0.06461,
              0.09242,
              0.1432,
              0.24094,
              0.43996,
              0.85233
            ],
            [
              0.02866,
              0.04881,
              0.06459,
              0.09237,
              0.14322,
              0.24108,
              0.44031,
              0.85134
            ],
            [
              0.02862,
              0.04886,
              0.06455,
              0.09242,
              0.14311,
              0.24099,
              0.44042,
              0.85235
            ],
            [
              0.02856,
              0.04882,
              0.06454,
              0.0924,
              0.14315,
              0.24085,
              0.43987,
              0.85151
            ],
            [
              0.02842,
              0.04876,
              0.06453,
              0.09235,
              0.14302,
              0.241,
              0.44034,
              0.85236
            ],
            [
              0.02809,
              0.04867,
              0.06449,
              0.09232,
              0.14308,
              0.24092,
              0.4402,
              0.85225
            ],
            [
              0.02791,
              0.04882,
              0.06468,
              0.09256,
              0.14323,
              0.24105,
              0.43995,
              0.85347
            ],
            [
              0.02804,
              0.04879,
              0.06469,
              0.09246,
              0.14327,
              0.24121,
              0.44033,
              0.85288
            ],
            [
              0.02867,
              0.049,
              0.0649,
              0.09289,
              0.14363,
              0.24077,
              0.4404,
              0.8517
            ],
            [
              0.0292,
              0.0493,
              0.0651,
              0.0932,
              0.1441,
              0.2416,
              0.4399,
              0.852
            ],
            [
              0.0299,
              0.0499,
              0.0654,
              0.0932,
              0.1444,
              0.2421,
              0.4411,
              0.8507
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02332,
              0.05007,
              0.0718,
              0.11418,
              0.20156,
              0.38322,
              0.75217,
              1.49352
            ],
            [
              0.02334,
              0.05004,
              0.07176,
              0.11406,
              0.20151,
              0.38299,
              0.75214,
              1.49352
            ],
            [
              0.02332,
              0.05003,
              0.07175,
              0.11398,
              0.20154,
              0.3833,
              0.75418,
              1.49318
            ],
            [
              0.02328,
              0.05003,
              0.07175,
              0.11401,
              0.20164,
              0.38289,
              0.75419,
              1.49337
            ],
            [
              0.02326,
              0.04999,
              0.07167,
              0.11391,
              0.20153,
              0.383,
              0.75152,
              1.49255
            ],
            [
              0.02321,
              0.04991,
              0.07166,
              0.11392,
              0.20153,
              0.38301,
              0.75292,
              1.49296
            ],
            [
              0.02312,
              0.04981,
              0.07159,
              0.11388,
              0.20141,
              0.38312,
              0.75221,
              1.49319
            ],
            [
              0.02309,
              0.04985,
              0.07159,
              0.11385,
              0.20161,
              0.38298,
              0.75198,
              1.4916
            ],
            [
              0.02361,
              0.05036,
              0.07203,
              0.11426,
              0.20152,
              0.38303,
              0.75419,
              1.4925
            ],
            [
              0.02416,
              0.05096,
              0.0727,
              0.11465,
              0.20196,
              0.38322,
              0.75149,
              1.4922
            ],
            [
              0.02506,
              0.05172,
              0.07338,
              0.11529,
              0.20217,
              0.383,
              0.7541,
              1.4929
            ],
            [
              0.0264,
              0.0529,
              0.0745,
              0.1161,
              0.2024,
              0.3835,
              0.7523,
              1.4915
            ],
            [
              0.028,
              0.0546,
              0.076,
              0.1172,
              0.2033,
              0.384,
              0.7527,
              1.4922
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.21766,
              0.24329,
              0.26172,
              0.29173,
              0.34106,
              0.42598,
              0.58329,
              0.89218
            ],
            [
              0.21925,
              0.24489,
              0.26333,
              0.29334,
              0.34268,
              0.4276,
              0.58494,
              0.89336
            ],
            [
              0.22135,
              0.24698,
              0.26543,
              0.29544,
              0.34477,
              0.42973,
              0.58688,
              0.89578
            ],
            [
              0.22481,
              0.25044,
              0.26891,
              0.29891,
              0.34825,
              0.43322,
              0.59039,
              0.89929
            ],
            [
              0.23057,
              0.25622,
              0.27467,
              0.30469,
              0.35403,
              0.43899,
              0.59635,
              0.90464
            ],
            [
              0.24002,
              0.26567,
              0.28412,
              0.31415,
              0.3635,
              0.44847,
              0.60577,
              0.9145
            ],
            [
              0.25477,
              0.28044,
              0.2989,
              0.32893,
              0.37829,
              0.46327,
              0.62064,
              0.92913
            ],
            [
              0.27554,
              0.3012,
              0.31964,
              0.34967,
              0.39905,
              0.48402,
              0.64139,
              0.94976
            ],
            [
              0.301,
              0.32655,
              0.34496,
              0.37495,
              0.42431,
              0.50932,
              0.66666,
              0.97475
            ],
            [
              0.3302,
              0.35562,
              0.37395,
              0.40381,
              0.45304,
              0.53793,
              0.69519,
              1.00379
            ],
            [
              0.36444,
              0.38976,
              0.40803,
              0.43788,
              0.48712,
              0.57192,
              0.72912,
              1.03762
            ],
            [
              0.40577,
              0.43097,
              0.44917,
              0.47897,
              0.52817,
              0.61307,
              0.77037,
              1.07827
            ],
            [
              0.4564,
              0.4816,
              0.4997,
              0.5295,
              0.5786,
              0.6634,
              0.8206,
              1.1292
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.16625,
              0.19313,
              0.21345,
              0.24816,
              0.31038,
              0.42911,
              0.66365,
              1.13347
            ],
            [
              0.16845,
              0.19533,
              0.21564,
              0.25035,
              0.31254,
              0.43128,
              0.66622,
              1.13514
            ],
            [
              0.17113,
              0.19801,
              0.21834,
              0.25305,
              0.31527,
              0.43384,
              0.66916,
              1.13842
            ],
            [
              0.1752,
              0.20208,
              0.22243,
              0.25715,
              0.31933,
              0.43787,
              0.67268,
              1.14227
            ],
            [
              0.18132,
              0.2082,
              0.22852,
              0.26325,
              0.32536,
              0.44409,
              0.67888,
              1.14801
            ],
            [
              0.1902,
              0.21709,
              0.23743,
              0.27214,
              0.33434,
              0.45277,
              0.68759,
              1.15652
            ],
            [
              0.20315,
              0.23004,
              0.25036,
              0.28507,
              0.34723,
              0.46595,
              0.7009,
              1.16983
            ],
            [
              0.22077,
              0.24766,
              0.26798,
              0.30265,
              0.36476,
              0.48338,
              0.71801,
              1.18826
            ],
            [
              0.23847,
              0.26527,
              0.28549,
              0.32008,
              0.38209,
              0.50067,
              0.73539,
              1.20455
            ],
            [
              0.25489,
              0.28175,
              0.30202,
              0.33666,
              0.3986,
              0.5171,
              0.75159,
              1.22119
            ],
            [
              0.2706,
              0.29753,
              0.31782,
              0.35245,
              0.41453,
              0.53292,
              0.76732,
              1.23742
            ],
            [
              0.28547,
              0.31247,
              0.33277,
              0.36737,
              0.42947,
              0.54787,
              0.78297,
              1.25077
            ],
            [
              0.2984,
              0.3254,
              0.3458,
              0.3804,
              0.4425,
              0.5608,
              0.7956,
              1.2639
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02745,
              0.04665,
              0.06153,
              0.08783,
              0.13719,
              0.23425,
              0.43548,
              0.85086
            ],
            [
              0.02748,
              0.04668,
              0.06154,
              0.08797,
              0.13718,
              0.2344,
              0.43508,
              0.85032
            ],
            [
              0.0275,
              0.04668,
              0.06148,
              0.08793,
              0.13719,
              0.23413,
              0.4357,
              0.8505
            ],
            [
              0.0275,
              0.04671,
              0.06148,
              0.08794,
              0.1372,
              0.23419,
              0.4357,
              0.85047
            ],
            [
              0.02753,
              0.04678,
              0.06151,
              0.08802,
              0.13719,
              0.23446,
              0.43519,
              0.84913
            ],
            [
              0.02756,
              0.04677,
              0.06155,
              0.08804,
              0.13718,
              0.2344,
              0.43558,
              0.85025
            ],
            [
              0.02761,
              0.04684,
              0.06167,
              0.08807,
              0.13727,
              0.2345,
              0.43519,
              0.84974
            ],
            [
              0.02764,
              0.04683,
              0.06172,
              0.08815,
              0.13729,
              0.23443,
              0.43528,
              0.85118
            ],
            [
              0.02746,
              0.04671,
              0.06151,
              0.08798,
              0.13724,
              0.2342,
              0.43548,
              0.84979
            ],
            [
              0.02741,
              0.0466,
              0.06135,
              0.08775,
              0.13696,
              0.23424,
              0.43505,
              0.84903
            ],
            [
              0.02736,
              0.04648,
              0.06137,
              0.08783,
              0.13693,
              0.2337,
              0.4351,
              0.8501
            ],
            [
              0.0273,
              0.0464,
              0.0614,
              0.0876,
              0.1369,
              0.2342,
              0.4342,
              0.8505
            ],
            [
              0.0273,
              0.0465,
              0.0614,
              0.0878,
              0.1369,
              0.234,
              0.4348,
              0.8481
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02428,
              0.05111,
              0.07327,
              0.11569,
              0.20206,
              0.38153,
              0.7474,
              1.48233
            ],
            [
              0.02435,
              0.05115,
              0.07341,
              0.11569,
              0.20245,
              0.38198,
              0.74817,
              1.48266
            ],
            [
              0.02433,
              0.05126,
              0.07331,
              0.11577,
              0.20235,
              0.38121,
              0.74687,
              1.48096
            ],
            [
              0.02435,
              0.05123,
              0.07342,
              0.11576,
              0.20252,
              0.38177,
              0.74644,
              1.48122
            ],
            [
              0.02434,
              0.05117,
              0.07333,
              0.11568,
              0.20262,
              0.38196,
              0.74707,
              1.48245
            ],
            [
              0.02435,
              0.05128,
              0.07337,
              0.1158,
              0.20246,
              0.38159,
              0.74669,
              1.48146
            ],
            [
              0.02438,
              0.05119,
              0.07346,
              0.11571,
              0.2025,
              0.38199,
              0.74818,
              1.48266
            ],
            [
              0.02434,
              0.05122,
              0.07337,
              0.11576,
              0.20261,
              0.38186,
              0.74796,
              1.48121
            ],
            [
              0.02441,
              0.05118,
              0.0733,
              0.11577,
              0.20259,
              0.38185,
              0.74707,
              1.48219
            ],
            [
              0.02458,
              0.05136,
              0.07363,
              0.11584,
              0.20211,
              0.38129,
              0.74717,
              1.48116
            ],
            [
              0.02483,
              0.05173,
              0.07377,
              0.11604,
              0.20234,
              0.38222,
              0.7466,
              1.4834
            ],
            [
              0.0251,
              0.0519,
              0.0741,
              0.1163,
              0.2028,
              0.3825,
              0.7478,
              1.4814
            ],
            [
              0.0256,
              0.0524,
              0.0746,
              0.1167,
              0.2031,
              0.3823,
              0.7469,
              1.484
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.14198,
              0.17175,
              0.19291,
              0.22629,
              0.27953,
              0.36868,
              0.52902,
              0.8384
            ],
            [
              0.14386,
              0.17364,
              0.19479,
              0.22819,
              0.28142,
              0.37055,
              0.53096,
              0.83977
            ],
            [
              0.14622,
              0.176,
              0.19714,
              0.23053,
              0.28378,
              0.37293,
              0.5333,
              0.84263
            ],
            [
              0.14991,
              0.17969,
              0.20084,
              0.23423,
              0.28747,
              0.37662,
              0.53694,
              0.84598
            ],
            [
              0.15571,
              0.18547,
              0.2066,
              0.24,
              0.29324,
              0.38241,
              0.5428,
              0.85211
            ],
            [
              0.16468,
              0.19441,
              0.21554,
              0.24891,
              0.30217,
              0.39135,
              0.55171,
              0.86109
            ],
            [
              0.17831,
              0.20801,
              0.22911,
              0.26249,
              0.31577,
              0.40495,
              0.56545,
              0.87457
            ],
            [
              0.19809,
              0.2278,
              0.2489,
              0.2823,
              0.33562,
              0.42489,
              0.58542,
              0.89466
            ],
            [
              0.22286,
              0.25357,
              0.27518,
              0.30905,
              0.36274,
              0.45223,
              0.61283,
              0.92205
            ],
            [
              0.25181,
              0.28383,
              0.30636,
              0.34155,
              0.39668,
              0.48717,
              0.64809,
              0.95719
            ],
            [
              0.2863,
              0.31986,
              0.34344,
              0.38013,
              0.43708,
              0.52962,
              0.69182,
              1.00132
            ],
            [
              0.32847,
              0.36377,
              0.38867,
              0.42727,
              0.48647,
              0.58147,
              0.74587,
              1.05607
            ],
            [
              0.381,
              0.4186,
              0.4451,
              0.4861,
              0.5485,
              0.6469,
              0.8139,
              1.1256
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.10974,
              0.1366,
              0.157,
              0.19188,
              0.25451,
              0.37435,
              0.61174,
              1.08737
            ],
            [
              0.1118,
              0.13867,
              0.15906,
              0.19394,
              0.25657,
              0.37644,
              0.61378,
              1.08884
            ],
            [
              0.1143,
              0.14117,
              0.16158,
              0.19644,
              0.25903,
              0.37893,
              0.61682,
              1.09142
            ],
            [
              0.1181,
              0.14497,
              0.16534,
              0.20022,
              0.2628,
              0.38272,
              0.62064,
              1.09527
            ],
            [
              0.12397,
              0.15084,
              0.17124,
              0.20607,
              0.26871,
              0.38843,
              0.62613,
              1.10021
            ],
            [
              0.1328,
              0.15966,
              0.18003,
              0.21482,
              0.27739,
              0.39714,
              0.63452,
              1.10962
            ],
            [
              0.14581,
              0.17261,
              0.19292,
              0.22765,
              0.29019,
              0.41001,
              0.64767,
              1.12143
            ],
            [
              0.16319,
              0.19016,
              0.2105,
              0.24521,
              0.30764,
              0.42726,
              0.66478,
              1.13956
            ],
            [
              0.18341,
              0.21126,
              0.23215,
              0.26734,
              0.32996,
              0.44947,
              0.68666,
              1.16235
            ],
            [
              0.20626,
              0.2353,
              0.25705,
              0.2933,
              0.35663,
              0.47629,
              0.71339,
              1.18849
            ],
            [
              0.23118,
              0.26185,
              0.28485,
              0.32269,
              0.38742,
              0.50782,
              0.74462,
              1.21972
            ],
            [
              0.25717,
              0.28997,
              0.31457,
              0.35477,
              0.42187,
              0.54377,
              0.78177,
              1.25487
            ],
            [
              0.2824,
              0.3178,
              0.3444,
              0.3877,
              0.4585,
              0.5836,
              0.8235,
              1.2978
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.03295,
              0.05489,
              0.07067,
              0.09791,
              0.14745,
              0.2439,
              0.44176,
              0.85244
            ],
            [
              0.03294,
              0.05493,
              0.07071,
              0.09771,
              0.14746,
              0.24402,
              0.4418,
              0.85219
            ],
            [
              0.03294,
              0.05489,
              0.07069,
              0.09787,
              0.14748,
              0.24387,
              0.4417,
              0.85225
            ],
            [
              0.03294,
              0.05497,
              0.07073,
              0.09774,
              0.14749,
              0.24377,
              0.44181,
              0.85221
            ],
            [
              0.03298,
              0.05499,
              0.07075,
              0.09776,
              0.14748,
              0.24385,
              0.44167,
              0.85215
            ],
            [
              0.03303,
              0.05497,
              0.07077,
              0.09798,
              0.14749,
              0.24399,
              0.44176,
              0.85229
            ],
            [
              0.03322,
              0.05519,
              0.07098,
              0.09792,
              0.1477,
              0.24407,
              0.4412,
              0.85136
            ],
            [
              0.03429,
              0.05606,
              0.07174,
              0.09855,
              0.14801,
              0.24416,
              0.44128,
              0.85135
            ],
            [
              0.03795,
              0.05966,
              0.07495,
              0.10126,
              0.14965,
              0.24518,
              0.44222,
              0.8524
            ],
            [
              0.04256,
              0.0648,
              0.08031,
              0.10635,
              0.1541,
              0.24782,
              0.44316,
              0.85333
            ],
            [
              0.04829,
              0.07113,
              0.08699,
              0.11305,
              0.16058,
              0.25323,
              0.4462,
              0.8548
            ],
            [
              0.0556,
              0.0792,
              0.0954,
              0.1216,
              0.1687,
              0.2604,
              0.4507,
              0.8544
            ],
            [
              0.0654,
              0.09,
              0.1067,
              0.1333,
              0.18,
              0.2704,
              0.4583,
              0.8572
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02198,
              0.0493,
              0.07157,
              0.1146,
              0.20259,
              0.38444,
              0.75362,
              1.49364
            ],
            [
              0.02193,
              0.0493,
              0.07155,
              0.11449,
              0.20274,
              0.38487,
              0.75391,
              1.4951
            ],
            [
              0.02196,
              0.04929,
              0.07157,
              0.11451,
              0.20279,
              0.38527,
              0.75319,
              1.49901
            ],
            [
              0.02194,
              0.04917,
              0.07165,
              0.11458,
              0.20246,
              0.38529,
              0.75306,
              1.49903
            ],
            [
              0.02197,
              0.04917,
              0.07169,
              0.11457,
              0.20264,
              0.38471,
              0.75432,
              1.5006
            ],
            [
              0.02199,
              0.04928,
              0.07183,
              0.11477,
              0.20279,
              0.3846,
              0.75542,
              1.49705
            ],
            [
              0.02213,
              0.04942,
              0.07177,
              0.11492,
              0.20295,
              0.38543,
              0.75277,
              1.49413
            ],
            [
              0.02337,
              0.05049,
              0.0729,
              0.1153,
              0.20313,
              0.38379,
              0.75369,
              1.49531
            ],
            [
              0.02553,
              0.05321,
              0.07537,
              0.11757,
              0.20375,
              0.38412,
              0.75401,
              1.49877
            ],
            [
              0.02878,
              0.05694,
              0.0796,
              0.12141,
              0.20685,
              0.38523,
              0.75302,
              1.49548
            ],
            [
              0.03343,
              0.0623,
              0.08559,
              0.12755,
              0.21122,
              0.38813,
              0.75421,
              1.4965
            ],
            [
              0.04,
              0.0696,
              0.0938,
              0.1365,
              0.219,
              0.3934,
              0.7575,
              1.4944
            ],
            [
              0.0487,
              0.0794,
              0.1051,
              0.1489,
              0.231,
              0.4023,
              0.7624,
              1.4994
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.18515,
              0.21065,
              0.22931,
              0.25986,
              0.30978,
              0.39503,
              0.5523,
              0.86071
            ],
            [
              0.18729,
              0.21278,
              0.23144,
              0.26199,
              0.31191,
              0.39715,
              0.55457,
              0.86289
            ],
            [
              0.18987,
              0.21536,
              0.23402,
              0.26457,
              0.31449,
              0.39972,
              0.55698,
              0.86546
            ],
            [
              0.19395,
              0.21943,
              0.23808,
              0.26863,
              0.31855,
              0.40377,
              0.56102,
              0.8694
            ],
            [
              0.20026,
              0.22573,
              0.24436,
              0.2749,
              0.3248,
              0.41005,
              0.56741,
              0.87577
            ],
            [
              0.20983,
              0.23527,
              0.25388,
              0.28439,
              0.33429,
              0.41955,
              0.57686,
              0.88524
            ],
            [
              0.22361,
              0.24903,
              0.26761,
              0.2981,
              0.34799,
              0.43324,
              0.59057,
              0.89883
            ],
            [
              0.24202,
              0.26741,
              0.28596,
              0.31643,
              0.36631,
              0.45154,
              0.60883,
              0.91726
            ],
            [
              0.26468,
              0.29003,
              0.30857,
              0.33903,
              0.38892,
              0.47417,
              0.63145,
              0.93955
            ],
            [
              0.29104,
              0.31632,
              0.33486,
              0.36533,
              0.41523,
              0.50048,
              0.65779,
              0.96609
            ],
            [
              0.32092,
              0.34613,
              0.36469,
              0.39524,
              0.44522,
              0.53052,
              0.68762,
              0.99592
            ],
            [
              0.35357,
              0.37867,
              0.39727,
              0.42797,
              0.47827,
              0.56377,
              0.72107,
              1.02887
            ],
            [
              0.3874,
              0.4124,
              0.4311,
              0.462,
              0.5126,
              0.5985,
              0.7564,
              1.0649
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.19314,
              0.2183,
              0.23765,
              0.27106,
              0.33226,
              0.45119,
              0.68805,
              1.16167
            ],
            [
              0.19504,
              0.22021,
              0.23954,
              0.27297,
              0.33417,
              0.45311,
              0.68999,
              1.16344
            ],
            [
              0.19746,
              0.22262,
              0.24195,
              0.27537,
              0.33657,
              0.45551,
              0.6924,
              1.16582
            ],
            [
              0.20117,
              0.22636,
              0.24569,
              0.2791,
              0.3403,
              0.45922,
              0.69607,
              1.16978
            ],
            [
              0.20703,
              0.2322,
              0.25154,
              0.28496,
              0.34616,
              0.4651,
              0.70198,
              1.17541
            ],
            [
              0.21615,
              0.24133,
              0.26067,
              0.29407,
              0.35526,
              0.47421,
              0.7111,
              1.18452
            ],
            [
              0.23026,
              0.25544,
              0.27476,
              0.30816,
              0.36939,
              0.48826,
              0.72516,
              1.19873
            ],
            [
              0.25108,
              0.2762,
              0.2955,
              0.32886,
              0.39003,
              0.50892,
              0.74579,
              1.21916
            ],
            [
              0.27866,
              0.30363,
              0.32285,
              0.35609,
              0.41718,
              0.53596,
              0.77275,
              1.24635
            ],
            [
              0.31131,
              0.33614,
              0.35532,
              0.38847,
              0.44943,
              0.56815,
              0.80479,
              1.27839
            ],
            [
              0.35007,
              0.37473,
              0.39387,
              0.427,
              0.48772,
              0.60622,
              0.84282,
              1.31602
            ],
            [
              0.39727,
              0.42167,
              0.44077,
              0.47387,
              0.53437,
              0.65267,
              0.88897,
              1.36207
            ],
            [
              0.4559,
              0.4802,
              0.4993,
              0.5323,
              0.5927,
              0.7106,
              0.9467,
              1.4194
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02865,
              0.0486,
              0.06329,
              0.08933,
              0.13825,
              0.23463,
              0.43565,
              0.84969
            ],
            [
              0.02865,
              0.04863,
              0.06322,
              0.08942,
              0.13825,
              0.23487,
              0.43507,
              0.84954
            ],
            [
              0.02863,
              0.04861,
              0.06323,
              0.08945,
              0.13825,
              0.23481,
              0.43566,
              0.84945
            ],
            [
              0.02864,
              0.0486,
              0.0633,
              0.08931,
              0.13825,
              0.23471,
              0.43567,
              0.84915
            ],
            [
              0.02862,
              0.04854,
              0.06321,
              0.08945,
              0.13819,
              0.23492,
              0.4355,
              0.84954
            ],
            [
              0.02854,
              0.04853,
              0.06317,
              0.08937,
              0.13823,
              0.23476,
              0.43559,
              0.84957
            ],
            [
              0.02851,
              0.0485,
              0.06316,
              0.08945,
              0.13826,
              0.23467,
              0.43545,
              0.84908
            ],
            [
              0.02852,
              0.04858,
              0.06325,
              0.08945,
              0.1383,
              0.23466,
              0.43564,
              0.84964
            ],
            [
              0.02885,
              0.04886,
              0.06362,
              0.08979,
              0.13849,
              0.23501,
              0.43565,
              0.8488
            ],
            [
              0.02934,
              0.04945,
              0.06414,
              0.09016,
              0.13884,
              0.23526,
              0.43508,
              0.84888
            ],
            [
              0.03017,
              0.05037,
              0.06496,
              0.0909,
              0.13944,
              0.23525,
              0.4354,
              0.849
            ],
            [
              0.0314,
              0.0517,
              0.0663,
              0.0922,
              0.1407,
              0.2365,
              0.4356,
              0.8498
            ],
            [
              0.033,
              0.0536,
              0.0681,
              0.0941,
              0.1425,
              0.238,
              0.4374,
              0.8495
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02176,
              0.04811,
              0.06963,
              0.11212,
              0.20024,
              0.38279,
              0.75169,
              1.49529
            ],
            [
              0.02177,
              0.048,
              0.06965,
              0.11204,
              0.20015,
              0.38247,
              0.75155,
              1.49522
            ],
            [
              0.02176,
              0.04811,
              0.06957,
              0.11207,
              0.20019,
              0.38247,
              0.75153,
              1.4953
            ],
            [
              0.02176,
              0.04802,
              0.06964,
              0.11207,
              0.2006,
              0.38215,
              0.75125,
              1.49283
            ],
            [
              0.02177,
              0.04808,
              0.06959,
              0.11211,
              0.20023,
              0.38248,
              0.75164,
              1.49531
            ],
            [
              0.02174,
              0.04796,
              0.06967,
              0.11201,
              0.20041,
              0.38253,
              0.75317,
              1.49499
            ],
            [
              0.02174,
              0.04803,
              0.06963,
              0.11219,
              0.20011,
              0.38246,
              0.7527,
              1.4916
            ],
            [
              0.02174,
              0.04797,
              0.06965,
              0.11232,
              0.20016,
              0.38252,
              0.75201,
              1.49558
            ],
            [
              0.02196,
              0.04834,
              0.06988,
              0.11225,
              0.20062,
              0.38255,
              0.75139,
              1.49189
            ],
            [
              0.02247,
              0.04882,
              0.07036,
              0.11261,
              0.20072,
              0.38274,
              0.75278,
              1.4942
            ],
            [
              0.02309,
              0.04967,
              0.07121,
              0.11334,
              0.20098,
              0.3826,
              0.7521,
              1.4928
            ],
            [
              0.0239,
              0.0506,
              0.0722,
              0.1141,
              0.2014,
              0.3829,
              0.7526,
              1.493
            ],
            [
              0.0251,
              0.052,
              0.0735,
              0.1154,
              0.2023,
              0.3832,
              0.7523,
              1.4933
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.1851,
              0.2106,
              0.22925,
              0.25979,
              0.30971,
              0.39497,
              0.55225,
              0.86068
            ],
            [
              0.18724,
              0.21273,
              0.23138,
              0.26192,
              0.31184,
              0.39708,
              0.55434,
              0.86262
            ],
            [
              0.18982,
              0.21531,
              0.23396,
              0.2645,
              0.31441,
              0.39965,
              0.557,
              0.86539
            ],
            [
              0.1939,
              0.21938,
              0.23802,
              0.26855,
              0.31848,
              0.4037,
              0.56097,
              0.86925
            ],
            [
              0.20021,
              0.22568,
              0.24429,
              0.27482,
              0.32472,
              0.40998,
              0.56733,
              0.8757
            ],
            [
              0.20977,
              0.23521,
              0.25381,
              0.28431,
              0.33421,
              0.41947,
              0.57679,
              0.88517
            ],
            [
              0.22354,
              0.24896,
              0.26753,
              0.29801,
              0.34791,
              0.43315,
              0.59051,
              0.89873
            ],
            [
              0.24192,
              0.26731,
              0.28586,
              0.31632,
              0.3662,
              0.45142,
              0.60872,
              0.91706
            ],
            [
              0.26454,
              0.28989,
              0.30843,
              0.33888,
              0.38877,
              0.47402,
              0.63131,
              0.93945
            ],
            [
              0.29085,
              0.31613,
              0.33467,
              0.36513,
              0.41503,
              0.50028,
              0.65759,
              0.96589
            ],
            [
              0.32067,
              0.34589,
              0.36445,
              0.395,
              0.44502,
              0.53032,
              0.68742,
              0.99562
            ],
            [
              0.35327,
              0.37837,
              0.39697,
              0.42767,
              0.47797,
              0.56347,
              0.72087,
              1.02857
            ],
            [
              0.387,
              0.4121,
              0.4308,
              0.4617,
              0.5123,
              0.5982,
              0.7561,
              1.0646
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.19305,
              0.2182,
              0.23755,
              0.27096,
              0.33215,
              0.45108,
              0.68794,
              1.16137
            ],
            [
              0.19495,
              0.22011,
              0.23944,
              0.27286,
              0.33407,
              0.45301,
              0.68989,
              1.16344
            ],
            [
              0.19737,
              0.22251,
              0.24184,
              0.27526,
              0.33647,
              0.45541,
              0.6923,
              1.16582
            ],
            [
              0.20109,
              0.22626,
              0.24558,
              0.27899,
              0.34019,
              0.45911,
              0.69596,
              1.16938
            ],
            [
              0.20694,
              0.2321,
              0.25143,
              0.28485,
              0.34606,
              0.46499,
              0.70188,
              1.17541
            ],
            [
              0.21605,
              0.24122,
              0.26056,
              0.29395,
              0.35515,
              0.47409,
              0.71096,
              1.18442
            ],
            [
              0.23016,
              0.25533,
              0.27466,
              0.30805,
              0.36922,
              0.48813,
              0.72505,
              1.19863
            ],
            [
              0.25099,
              0.2761,
              0.29539,
              0.32875,
              0.38993,
              0.50881,
              0.74568,
              1.21926
            ],
            [
              0.27856,
              0.30351,
              0.32273,
              0.35598,
              0.41706,
              0.53584,
              0.77265,
              1.24625
            ],
            [
              0.31119,
              0.33602,
              0.35519,
              0.38834,
              0.4493,
              0.568,
              0.80469,
              1.27819
            ],
            [
              0.34994,
              0.37458,
              0.39372,
              0.42684,
              0.48762,
              0.60612,
              0.84262,
              1.31592
            ],
            [
              0.39707,
              0.42147,
              0.44057,
              0.47367,
              0.53427,
              0.65247,
              0.88877,
              1.36187
            ],
            [
              0.4557,
              0.48,
              0.4991,
              0.532,
              0.5924,
              0.7104,
              0.9464,
              1.4192
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02862,
              0.04858,
              0.06328,
              0.08934,
              0.13826,
              0.23458,
              0.43565,
              0.8496
            ],
            [
              0.02862,
              0.04859,
              0.06329,
              0.08931,
              0.13825,
              0.2347,
              0.43567,
              0.8489
            ],
            [
              0.02863,
              0.0486,
              0.06321,
              0.08943,
              0.13825,
              0.23483,
              0.43553,
              0.84942
            ],
            [
              0.02859,
              0.04858,
              0.06328,
              0.08931,
              0.13825,
              0.23471,
              0.43567,
              0.84891
            ],
            [
              0.0286,
              0.04852,
              0.0632,
              0.08945,
              0.13816,
              0.23492,
              0.43554,
              0.84961
            ],
            [
              0.02851,
              0.04852,
              0.06315,
              0.08935,
              0.13823,
              0.23469,
              0.43559,
              0.84965
            ],
            [
              0.02849,
              0.04851,
              0.06319,
              0.08947,
              0.13825,
              0.23461,
              0.43528,
              0.84917
            ],
            [
              0.02851,
              0.04859,
              0.06324,
              0.08942,
              0.1383,
              0.23467,
              0.43566,
              0.84965
            ],
            [
              0.02883,
              0.04888,
              0.0636,
              0.08969,
              0.1385,
              0.23486,
              0.4356,
              0.84874
            ],
            [
              0.02933,
              0.04945,
              0.06414,
              0.09014,
              0.13884,
              0.23526,
              0.43508,
              0.84888
            ],
            [
              0.03016,
              0.05038,
              0.06496,
              0.09091,
              0.13949,
              0.2352,
              0.4355,
              0.8491
            ],
            [
              0.0314,
              0.0517,
              0.0663,
              0.0922,
              0.1407,
              0.2365,
              0.4356,
              0.8497
            ],
            [
              0.033,
              0.0535,
              0.0682,
              0.0941,
              0.1425,
              0.2381,
              0.4374,
              0.8495
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.02179,
              0.04812,
              0.06961,
              0.11201,
              0.20053,
              0.38237,
              0.75149,
              1.49271
            ],
            [
              0.02177,
              0.04805,
              0.06962,
              0.11201,
              0.20022,
              0.38248,
              0.75156,
              1.49493
            ],
            [
              0.02176,
              0.04811,
              0.06959,
              0.11213,
              0.20023,
              0.38249,
              0.75175,
              1.49501
            ],
            [
              0.02176,
              0.04802,
              0.06965,
              0.11209,
              0.20052,
              0.38257,
              0.75126,
              1.49257
            ],
            [
              0.02174,
              0.04798,
              0.06956,
              0.11214,
              0.20005,
              0.38249,
              0.75165,
              1.49502
            ],
            [
              0.02176,
              0.04811,
              0.06967,
              0.11224,
              0.20023,
              0.38243,
              0.75145,
              1.49533
            ],
            [
              0.02175,
              0.04802,
              0.06962,
              0.11211,
              0.20023,
              0.38238,
              0.75241,
              1.49178
            ],
            [
              0.02173,
              0.04796,
              0.06967,
              0.11241,
              0.20025,
              0.38254,
              0.75203,
              1.49325
            ],
            [
              0.02198,
              0.04833,
              0.06988,
              0.11224,
              0.20028,
              0.38247,
              0.75151,
              1.49272
            ],
            [
              0.02247,
              0.04884,
              0.07042,
              0.11261,
              0.20093,
              0.38268,
              0.75272,
              1.4944
            ],
            [
              0.02309,
              0.04967,
              0.07121,
              0.1133,
              0.20094,
              0.3826,
              0.7518,
              1.4928
            ],
            [
              0.0239,
              0.0507,
              0.0722,
              0.1142,
              0.2014,
              0.3829,
              0.7526,
              1.4931
            ],
            [
              0.0251,
              0.0521,
              0.0736,
              0.1155,
              0.2023,
              0.3833,
              0.7524,
              1.4913
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.14226,
              0.17203,
              0.19318,
              0.22656,
              0.27983,
              0.36908,
              0.52965,
              0.83949
            ],
            [
              0.14414,
              0.17391,
              0.19506,
              0.22845,
              0.28173,
              0.37095,
              0.53159,
              0.84089
            ],
            [
              0.14649,
              0.17627,
              0.19741,
              0.2308,
              0.28408,
              0.37333,
              0.5339,
              0.84374
            ],
            [
              0.15019,
              0.17997,
              0.20111,
              0.2345,
              0.28778,
              0.37702,
              0.53758,
              0.84722
            ],
            [
              0.15599,
              0.18575,
              0.20688,
              0.24027,
              0.29355,
              0.38282,
              0.54343,
              0.85321
            ],
            [
              0.16496,
              0.1947,
              0.21582,
              0.24919,
              0.30248,
              0.39176,
              0.55236,
              0.8622
            ],
            [
              0.17859,
              0.2083,
              0.2294,
              0.26276,
              0.31607,
              0.40537,
              0.56593,
              0.87586
            ],
            [
              0.19838,
              0.22809,
              0.24919,
              0.28259,
              0.33595,
              0.42531,
              0.58606,
              0.89556
            ],
            [
              0.22317,
              0.25391,
              0.27549,
              0.30936,
              0.36308,
              0.45267,
              0.61354,
              0.92315
            ],
            [
              0.25216,
              0.28418,
              0.3067,
              0.34189,
              0.39706,
              0.48763,
              0.64879,
              0.95839
            ],
            [
              0.28669,
              0.32025,
              0.34383,
              0.38052,
              0.4375,
              0.53012,
              0.69262,
              1.00232
            ],
            [
              0.32887,
              0.36427,
              0.38917,
              0.42767,
              0.48697,
              0.58197,
              0.74657,
              1.05737
            ],
            [
              0.3815,
              0.4191,
              0.4456,
              0.4867,
              0.549,
              0.6475,
              0.8148,
              1.127
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.10994,
              0.13663,
              0.15686,
              0.19144,
              0.25342,
              0.37198,
              0.6068,
              1.07687
            ],
            [
              0.11203,
              0.13873,
              0.15897,
              0.19352,
              0.25549,
              0.37407,
              0.60906,
              1.07754
            ],
            [
              0.1145,
              0.1412,
              0.16145,
              0.196,
              0.2579,
              0.37652,
              0.61151,
              1.08132
            ],
            [
              0.11829,
              0.145,
              0.16525,
              0.19978,
              0.26171,
              0.38031,
              0.6153,
              1.08508
            ],
            [
              0.12417,
              0.15086,
              0.1711,
              0.20564,
              0.26758,
              0.38618,
              0.62085,
              1.08941
            ],
            [
              0.13299,
              0.15967,
              0.1799,
              0.21437,
              0.27634,
              0.3947,
              0.62925,
              1.09902
            ],
            [
              0.14599,
              0.17262,
              0.19277,
              0.22721,
              0.28909,
              0.40765,
              0.64251,
              1.11233
            ],
            [
              0.16337,
              0.19019,
              0.21034,
              0.24477,
              0.30656,
              0.42488,
              0.65987,
              1.12886
            ],
            [
              0.18359,
              0.21127,
              0.23202,
              0.2669,
              0.32889,
              0.44707,
              0.68155,
              1.15205
            ],
            [
              0.20643,
              0.23531,
              0.25692,
              0.29288,
              0.35559,
              0.47397,
              0.70829,
              1.17799
            ],
            [
              0.23135,
              0.26186,
              0.28472,
              0.32226,
              0.38641,
              0.50552,
              0.73972,
              1.20952
            ],
            [
              0.25727,
              0.28997,
              0.31437,
              0.35427,
              0.42087,
              0.54147,
              0.77677,
              1.24477
            ],
            [
              0.2825,
              0.3177,
              0.3442,
              0.3873,
              0.4575,
              0.5814,
              0.8188,
              1.2877
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.03302,
              0.05492,
              0.07071,
              0.09794,
              0.14757,
              0.24416,
              0.44229,
              0.85356
            ],
            [
              0.033,
              0.05501,
              0.07075,
              0.09776,
              0.14755,
              0.24427,
              0.44234,
              0.85321
            ],
            [
              0.03299,
              0.05494,
              0.07073,
              0.09792,
              0.14758,
              0.24414,
              0.44229,
              0.85346
            ],
            [
              0.03301,
              0.05502,
              0.07076,
              0.09778,
              0.1476,
              0.24402,
              0.44234,
              0.85342
            ],
            [
              0.03304,
              0.05504,
              0.07079,
              0.09793,
              0.14759,
              0.24411,
              0.44222,
              0.85326
            ],
            [
              0.03308,
              0.055,
              0.07079,
              0.09803,
              0.1476,
              0.24416,
              0.44227,
              0.8536
            ],
            [
              0.03328,
              0.05524,
              0.07095,
              0.09816,
              0.14776,
              0.24426,
              0.44239,
              0.85348
            ],
            [
              0.03434,
              0.05608,
              0.07173,
              0.09858,
              0.14811,
              0.24447,
              0.44201,
              0.85345
            ],
            [
              0.03799,
              0.05971,
              0.07495,
              0.10126,
              0.14978,
              0.24546,
              0.44239,
              0.85366
            ],
            [
              0.0426,
              0.06485,
              0.08036,
              0.10639,
              0.15419,
              0.24822,
              0.44361,
              0.85448
            ],
            [
              0.04833,
              0.07125,
              0.08704,
              0.11312,
              0.16061,
              0.25353,
              0.4467,
              0.8551
            ],
            [
              0.0557,
              0.0792,
              0.0954,
              0.1217,
              0.1688,
              0.2607,
              0.4512,
              0.8555
            ],
            [
              0.0654,
              0.09,
              0.1067,
              0.1333,
              0.1802,
              0.2706,
              0.4588,
              0.8583
            ]
          ]
        },
        "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.0065,
            0.013,
            0.02601,
            0.05202,
            0.10404,
            0.20808,
            0.41615
          ],
          "values": [
            [
              0.0219,
              0.04904,
              0.07115,
              0.1137,
              0.20111,
              0.3817,
              0.74731,
              1.48286
            ],
            [
              0.02186,
              0.04888,
              0.0713,
              0.11375,
              0.20079,
              0.38142,
              0.74718,
              1.48746
            ],
            [
              0.02188,
              0.04902,
              0.07113,
              0.11368,
              0.20121,
              0.38185,
              0.74653,
              1.48534
            ],
            [
              0.02188,
              0.04889,
              0.07125,
              0.11374,
              0.20106,
              0.38183,
              0.74649,
              1.48282
            ],
            [
              0.02188,
              0.04904,
              0.07118,
              0.11394,
              0.20092,
              0.38152,
              0.7469,
              1.48481
            ],
            [
              0.02192,
              0.04898,
              0.07131,
              0.11389,
              0.20119,
              0.38071,
              0.74711,
              1.4824
            ],
            [
              0.02206,
              0.04915,
              0.07133,
              0.11412,
              0.20134,
              0.38176,
              0.7472,
              1.48156
            ],
            [
              0.02327,
              0.05033,
              0.07234,
              0.11449,
              0.20148,
              0.38061,
              0.74648,
              1.48359
            ],
            [
              0.02545,
              0.05296,
              0.07491,
              0.11676,
              0.20246,
              0.38083,
              0.74756,
              1.48511
            ],
            [
              0.0287,
              0.05667,
              0.07917,
              0.12055,
              0.20525,
              0.38217,
              0.74973,
              1.4824
            ],
            [
              0.03336,
              0.06204,
              0.08517,
              0.12688,
              0.20965,
              0.38505,
              0.74808,
              1.4817
            ],
            [
              0.0399,
              0.0693,
              0.0933,
              0.1355,
              0.2176,
              0.3905,
              0.7513,
              1.482
            ],
            [
              0.0487,
              0.0791,
              0.1046,
              0.1483,
              0.2294,
              0.3995,
              0.7561,
              1.4869
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}