{
  "area": 47.952,
  "cell_footprint": "sky130_fd_sc_ls__fah",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00538,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00834,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00288,
    "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.14205,
              0.1522,
              0.16611,
              0.19632,
              0.25867,
              0.3844,
              0.6358,
              1.14081
            ],
            [
              0.14182,
              0.15197,
              0.16588,
              0.19606,
              0.25851,
              0.38394,
              0.6357,
              1.14044
            ],
            [
              0.14171,
              0.15185,
              0.16574,
              0.19594,
              0.2585,
              0.38381,
              0.63523,
              1.13816
            ],
            [
              0.14164,
              0.15184,
              0.16571,
              0.19594,
              0.25844,
              0.38374,
              0.63558,
              1.14026
            ],
            [
              0.14198,
              0.15213,
              0.16603,
              0.19622,
              0.25874,
              0.38437,
              0.63584,
              1.14055
            ],
            [
              0.14267,
              0.15287,
              0.16677,
              0.19702,
              0.25945,
              0.38475,
              0.63624,
              1.14028
            ],
            [
              0.14408,
              0.15428,
              0.16818,
              0.19849,
              0.26102,
              0.38645,
              0.6381,
              1.14189
            ],
            [
              0.14688,
              0.15714,
              0.17109,
              0.20125,
              0.26357,
              0.38922,
              0.64051,
              1.14467
            ],
            [
              0.15213,
              0.16238,
              0.17626,
              0.20654,
              0.26897,
              0.39426,
              0.646,
              1.14945
            ],
            [
              0.16118,
              0.1713,
              0.18527,
              0.21549,
              0.27783,
              0.4032,
              0.65497,
              1.15723
            ],
            [
              0.17565,
              0.18566,
              0.19964,
              0.22969,
              0.29179,
              0.41705,
              0.66886,
              1.17259
            ],
            [
              0.19878,
              0.20858,
              0.22231,
              0.25244,
              0.31474,
              0.43941,
              0.69164,
              1.19357
            ],
            [
              0.23492,
              0.24429,
              0.25783,
              0.28757,
              0.34986,
              0.47514,
              0.72511,
              1.2294
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.1179,
              0.12399,
              0.13387,
              0.15605,
              0.2022,
              0.2954,
              0.48236,
              0.85806
            ],
            [
              0.11763,
              0.12374,
              0.13364,
              0.15579,
              0.20197,
              0.29508,
              0.48206,
              0.8564
            ],
            [
              0.11749,
              0.12358,
              0.13351,
              0.15565,
              0.20177,
              0.29508,
              0.48144,
              0.85676
            ],
            [
              0.11739,
              0.12347,
              0.13338,
              0.15553,
              0.20161,
              0.29495,
              0.48189,
              0.85667
            ],
            [
              0.11759,
              0.12373,
              0.13363,
              0.15578,
              0.20182,
              0.29489,
              0.48193,
              0.85716
            ],
            [
              0.11824,
              0.12429,
              0.13423,
              0.15636,
              0.20255,
              0.29568,
              0.48255,
              0.8562
            ],
            [
              0.11964,
              0.12571,
              0.13562,
              0.15776,
              0.20377,
              0.29714,
              0.48332,
              0.85897
            ],
            [
              0.12249,
              0.12852,
              0.1384,
              0.16056,
              0.20664,
              0.30016,
              0.48686,
              0.8614
            ],
            [
              0.12773,
              0.13365,
              0.14348,
              0.16554,
              0.21176,
              0.30508,
              0.49146,
              0.86601
            ],
            [
              0.13675,
              0.14261,
              0.15234,
              0.1744,
              0.22051,
              0.31351,
              0.50023,
              0.87483
            ],
            [
              0.1514,
              0.15709,
              0.16674,
              0.18876,
              0.23469,
              0.32811,
              0.51516,
              0.88918
            ],
            [
              0.1748,
              0.18023,
              0.18969,
              0.21152,
              0.25758,
              0.35056,
              0.53705,
              0.91102
            ],
            [
              0.21147,
              0.21656,
              0.22571,
              0.24716,
              0.29308,
              0.38626,
              0.5725,
              0.94721
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.13084,
              0.14127,
              0.15536,
              0.18563,
              0.24832,
              0.37364,
              0.6249,
              1.13001
            ],
            [
              0.13056,
              0.14093,
              0.15498,
              0.18533,
              0.24771,
              0.37343,
              0.62514,
              1.12753
            ],
            [
              0.13031,
              0.14067,
              0.15477,
              0.18509,
              0.24737,
              0.37312,
              0.6245,
              1.12853
            ],
            [
              0.13029,
              0.14066,
              0.1547,
              0.18492,
              0.24755,
              0.37315,
              0.62445,
              1.12786
            ],
            [
              0.13051,
              0.14094,
              0.15492,
              0.18515,
              0.24769,
              0.37321,
              0.62501,
              1.12864
            ],
            [
              0.13138,
              0.14172,
              0.1557,
              0.18599,
              0.24851,
              0.37395,
              0.62565,
              1.12878
            ],
            [
              0.13331,
              0.14357,
              0.1575,
              0.18771,
              0.25035,
              0.37589,
              0.62737,
              1.13221
            ],
            [
              0.13694,
              0.14715,
              0.16102,
              0.19114,
              0.25325,
              0.37874,
              0.63043,
              1.1355
            ],
            [
              0.14301,
              0.15304,
              0.16681,
              0.19674,
              0.25897,
              0.38434,
              0.63587,
              1.13934
            ],
            [
              0.15296,
              0.16273,
              0.17621,
              0.20589,
              0.2677,
              0.39289,
              0.64409,
              1.14675
            ],
            [
              0.16801,
              0.17738,
              0.19068,
              0.22006,
              0.28133,
              0.40629,
              0.65776,
              1.16072
            ],
            [
              0.19146,
              0.2003,
              0.21316,
              0.24216,
              0.30342,
              0.42754,
              0.67851,
              1.18162
            ],
            [
              0.22872,
              0.23684,
              0.24921,
              0.27734,
              0.338,
              0.46246,
              0.71178,
              1.21513
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.09555,
              0.10149,
              0.11137,
              0.13344,
              0.17951,
              0.27296,
              0.45954,
              0.83498
            ],
            [
              0.09542,
              0.10135,
              0.11121,
              0.1333,
              0.17949,
              0.27279,
              0.45965,
              0.83393
            ],
            [
              0.09531,
              0.10124,
              0.11114,
              0.13315,
              0.17935,
              0.27267,
              0.45957,
              0.83466
            ],
            [
              0.09542,
              0.10135,
              0.11122,
              0.1333,
              0.17941,
              0.27277,
              0.45927,
              0.83512
            ],
            [
              0.09573,
              0.10166,
              0.11152,
              0.13358,
              0.17976,
              0.27275,
              0.46,
              0.83494
            ],
            [
              0.09641,
              0.10233,
              0.1122,
              0.13426,
              0.18033,
              0.2736,
              0.46011,
              0.83609
            ],
            [
              0.09788,
              0.10378,
              0.11366,
              0.13565,
              0.1817,
              0.27481,
              0.4617,
              0.83593
            ],
            [
              0.10082,
              0.10679,
              0.11664,
              0.13861,
              0.18449,
              0.27756,
              0.46374,
              0.83956
            ],
            [
              0.10605,
              0.11205,
              0.12186,
              0.14367,
              0.18945,
              0.28262,
              0.46873,
              0.84381
            ],
            [
              0.11482,
              0.12076,
              0.13051,
              0.1522,
              0.19795,
              0.29026,
              0.47758,
              0.85184
            ],
            [
              0.12901,
              0.13478,
              0.14444,
              0.16608,
              0.21143,
              0.30373,
              0.49011,
              0.86536
            ],
            [
              0.15299,
              0.1583,
              0.16776,
              0.18908,
              0.23415,
              0.32615,
              0.51148,
              0.88586
            ],
            [
              0.19295,
              0.19767,
              0.20665,
              0.2273,
              0.27188,
              0.36335,
              0.54807,
              0.92161
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.09609,
              0.10658,
              0.1204,
              0.15022,
              0.21239,
              0.33752,
              0.58921,
              1.09308
            ],
            [
              0.09597,
              0.10654,
              0.12029,
              0.15015,
              0.21215,
              0.33732,
              0.58898,
              1.09302
            ],
            [
              0.09593,
              0.1065,
              0.1203,
              0.15009,
              0.21221,
              0.33728,
              0.58903,
              1.09214
            ],
            [
              0.0959,
              0.1064,
              0.12024,
              0.15003,
              0.21222,
              0.33743,
              0.58902,
              1.09225
            ],
            [
              0.09599,
              0.10648,
              0.12025,
              0.15009,
              0.21217,
              0.33738,
              0.58838,
              1.09333
            ],
            [
              0.09626,
              0.1067,
              0.12059,
              0.15029,
              0.2124,
              0.3376,
              0.5893,
              1.0923
            ],
            [
              0.09705,
              0.10755,
              0.12117,
              0.15111,
              0.21284,
              0.33839,
              0.58938,
              1.09296
            ],
            [
              0.09934,
              0.1096,
              0.12313,
              0.15277,
              0.21449,
              0.33952,
              0.5901,
              1.09388
            ],
            [
              0.10381,
              0.11353,
              0.12677,
              0.15605,
              0.21747,
              0.34238,
              0.59298,
              1.09689
            ],
            [
              0.11055,
              0.11995,
              0.13273,
              0.16139,
              0.2224,
              0.34685,
              0.5966,
              1.10053
            ],
            [
              0.12047,
              0.12915,
              0.14156,
              0.16968,
              0.22993,
              0.35371,
              0.60391,
              1.10778
            ],
            [
              0.13517,
              0.14311,
              0.1549,
              0.1824,
              0.24188,
              0.36488,
              0.61457,
              1.11794
            ],
            [
              0.15729,
              0.16441,
              0.17553,
              0.20197,
              0.2606,
              0.38315,
              0.63123,
              1.13486
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.07579,
              0.08173,
              0.09131,
              0.11331,
              0.15931,
              0.25233,
              0.43873,
              0.81457
            ],
            [
              0.0757,
              0.08164,
              0.09122,
              0.11324,
              0.15918,
              0.25229,
              0.43899,
              0.81295
            ],
            [
              0.0756,
              0.08154,
              0.09113,
              0.11312,
              0.1591,
              0.25214,
              0.43897,
              0.81436
            ],
            [
              0.07563,
              0.08157,
              0.09113,
              0.11311,
              0.15915,
              0.25226,
              0.43891,
              0.81426
            ],
            [
              0.07571,
              0.08166,
              0.09122,
              0.1132,
              0.15917,
              0.25231,
              0.43907,
              0.81373
            ],
            [
              0.07606,
              0.08199,
              0.09151,
              0.11343,
              0.15937,
              0.25266,
              0.43939,
              0.8137
            ],
            [
              0.07708,
              0.08296,
              0.09241,
              0.11421,
              0.16007,
              0.25307,
              0.44004,
              0.81341
            ],
            [
              0.07932,
              0.08489,
              0.09415,
              0.11575,
              0.16133,
              0.25419,
              0.44107,
              0.81509
            ],
            [
              0.08299,
              0.08812,
              0.09716,
              0.11846,
              0.1637,
              0.25657,
              0.44298,
              0.81697
            ],
            [
              0.089,
              0.09348,
              0.10218,
              0.12305,
              0.1679,
              0.26047,
              0.44626,
              0.82012
            ],
            [
              0.09813,
              0.10178,
              0.11006,
              0.13051,
              0.17475,
              0.26659,
              0.45195,
              0.82751
            ],
            [
              0.1126,
              0.11519,
              0.12291,
              0.14272,
              0.18644,
              0.27745,
              0.46281,
              0.83619
            ],
            [
              0.13516,
              0.13654,
              0.14348,
              0.16237,
              0.20519,
              0.29557,
              0.47933,
              0.85208
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.26493,
    "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.21302,
              0.23514,
              0.25124,
              0.27769,
              0.32155,
              0.39776,
              0.53985,
              0.8195
            ],
            [
              0.21501,
              0.23713,
              0.25323,
              0.27967,
              0.32353,
              0.39973,
              0.5418,
              0.82138
            ],
            [
              0.21758,
              0.23971,
              0.2558,
              0.28225,
              0.32611,
              0.40232,
              0.54441,
              0.82399
            ],
            [
              0.22168,
              0.2438,
              0.25989,
              0.28635,
              0.33021,
              0.40642,
              0.54851,
              0.8282
            ],
            [
              0.22783,
              0.24994,
              0.26604,
              0.29248,
              0.33634,
              0.41253,
              0.55455,
              0.83385
            ],
            [
              0.23643,
              0.25853,
              0.27461,
              0.30105,
              0.3449,
              0.42109,
              0.56317,
              0.84297
            ],
            [
              0.24799,
              0.27002,
              0.28608,
              0.31249,
              0.35631,
              0.43249,
              0.57456,
              0.85403
            ],
            [
              0.26329,
              0.28518,
              0.30119,
              0.32755,
              0.37132,
              0.44745,
              0.58951,
              0.86856
            ],
            [
              0.28284,
              0.30451,
              0.32045,
              0.34673,
              0.39043,
              0.46649,
              0.60853,
              0.88795
            ],
            [
              0.30692,
              0.32843,
              0.34428,
              0.37052,
              0.41415,
              0.49013,
              0.63189,
              0.91149
            ],
            [
              0.33685,
              0.35824,
              0.37403,
              0.40022,
              0.44382,
              0.51972,
              0.66142,
              0.94092
            ],
            [
              0.37467,
              0.39607,
              0.41177,
              0.43787,
              0.48147,
              0.55727,
              0.69887,
              0.97797
            ],
            [
              0.4235,
              0.4449,
              0.4606,
              0.4866,
              0.5302,
              0.606,
              0.7472,
              1.0264
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.19809,
              0.22256,
              0.24151,
              0.27476,
              0.33559,
              0.45268,
              0.68464,
              1.14757
            ],
            [
              0.19979,
              0.22427,
              0.24322,
              0.27647,
              0.33729,
              0.4544,
              0.68634,
              1.14964
            ],
            [
              0.20195,
              0.22642,
              0.24537,
              0.27862,
              0.3395,
              0.45646,
              0.68859,
              1.15162
            ],
            [
              0.2052,
              0.22969,
              0.24863,
              0.28187,
              0.3427,
              0.45982,
              0.69173,
              1.15508
            ],
            [
              0.20976,
              0.23423,
              0.25318,
              0.28643,
              0.34725,
              0.46438,
              0.69625,
              1.15961
            ],
            [
              0.21537,
              0.23983,
              0.25878,
              0.29203,
              0.35289,
              0.46996,
              0.70177,
              1.16532
            ],
            [
              0.22208,
              0.24654,
              0.26548,
              0.29873,
              0.35963,
              0.47672,
              0.70824,
              1.17193
            ],
            [
              0.22988,
              0.25431,
              0.27324,
              0.30648,
              0.36732,
              0.48449,
              0.7164,
              1.17986
            ],
            [
              0.23864,
              0.26302,
              0.28191,
              0.3151,
              0.37598,
              0.49315,
              0.72482,
              1.18765
            ],
            [
              0.24764,
              0.27195,
              0.2908,
              0.32396,
              0.38478,
              0.50182,
              0.73379,
              1.19719
            ],
            [
              0.25564,
              0.27985,
              0.29864,
              0.33172,
              0.39254,
              0.50972,
              0.74142,
              1.20492
            ],
            [
              0.26067,
              0.28477,
              0.30347,
              0.33647,
              0.39717,
              0.51427,
              0.74607,
              1.20837
            ],
            [
              0.2601,
              0.2842,
              0.3029,
              0.3357,
              0.3963,
              0.5135,
              0.745,
              1.2086
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.02521,
              0.04185,
              0.05494,
              0.07866,
              0.12309,
              0.21112,
              0.39322,
              0.76966
            ],
            [
              0.02521,
              0.04184,
              0.05494,
              0.07868,
              0.12311,
              0.21119,
              0.39361,
              0.76994
            ],
            [
              0.02522,
              0.04183,
              0.05494,
              0.07867,
              0.1231,
              0.2111,
              0.39324,
              0.77046
            ],
            [
              0.02521,
              0.04184,
              0.05493,
              0.07864,
              0.12309,
              0.21111,
              0.39325,
              0.77011
            ],
            [
              0.02519,
              0.04183,
              0.05493,
              0.07867,
              0.12312,
              0.21121,
              0.39379,
              0.76939
            ],
            [
              0.02514,
              0.04175,
              0.05487,
              0.0786,
              0.12304,
              0.21107,
              0.39325,
              0.77049
            ],
            [
              0.02492,
              0.04158,
              0.0547,
              0.07848,
              0.12293,
              0.21101,
              0.39318,
              0.77031
            ],
            [
              0.02454,
              0.04123,
              0.0544,
              0.07824,
              0.12272,
              0.21091,
              0.3931,
              0.76895
            ],
            [
              0.0241,
              0.04081,
              0.05402,
              0.07793,
              0.1225,
              0.21077,
              0.39335,
              0.77072
            ],
            [
              0.02378,
              0.04045,
              0.0537,
              0.07764,
              0.12222,
              0.21037,
              0.39352,
              0.7697
            ],
            [
              0.02362,
              0.04018,
              0.05345,
              0.07736,
              0.12195,
              0.20992,
              0.3926,
              0.77
            ],
            [
              0.0236,
              0.04,
              0.0532,
              0.0772,
              0.1219,
              0.21,
              0.392,
              0.7695
            ],
            [
              0.0238,
              0.0401,
              0.0532,
              0.0771,
              0.1217,
              0.2098,
              0.3925,
              0.7678
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.02202,
              0.0472,
              0.06956,
              0.11314,
              0.20166,
              0.384,
              0.75243,
              1.49471
            ],
            [
              0.02202,
              0.04719,
              0.06956,
              0.11316,
              0.20166,
              0.38388,
              0.75239,
              1.49428
            ],
            [
              0.02201,
              0.04722,
              0.06958,
              0.11307,
              0.20161,
              0.38355,
              0.75362,
              1.49414
            ],
            [
              0.02202,
              0.04718,
              0.06956,
              0.11309,
              0.20165,
              0.38376,
              0.75251,
              1.4942
            ],
            [
              0.02202,
              0.04718,
              0.06956,
              0.11314,
              0.20165,
              0.38379,
              0.75388,
              1.49418
            ],
            [
              0.02197,
              0.04716,
              0.06954,
              0.11312,
              0.20164,
              0.38385,
              0.75237,
              1.49476
            ],
            [
              0.0219,
              0.04708,
              0.06945,
              0.11297,
              0.20189,
              0.38391,
              0.75334,
              1.49417
            ],
            [
              0.02175,
              0.04693,
              0.06931,
              0.11301,
              0.2017,
              0.38365,
              0.75266,
              1.49566
            ],
            [
              0.0215,
              0.04673,
              0.0691,
              0.11281,
              0.20163,
              0.38374,
              0.75362,
              1.49442
            ],
            [
              0.02125,
              0.04652,
              0.0689,
              0.11264,
              0.2014,
              0.38346,
              0.75241,
              1.49443
            ],
            [
              0.02095,
              0.04624,
              0.06865,
              0.11236,
              0.20131,
              0.38346,
              0.7532,
              1.4942
            ],
            [
              0.0207,
              0.046,
              0.0685,
              0.1121,
              0.2011,
              0.3833,
              0.7532,
              1.4961
            ],
            [
              0.0207,
              0.046,
              0.0683,
              0.1119,
              0.201,
              0.3835,
              0.7524,
              1.4942
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.21381,
              0.23752,
              0.25483,
              0.2832,
              0.32985,
              0.40931,
              0.5538,
              0.83402
            ],
            [
              0.21579,
              0.2395,
              0.25682,
              0.28519,
              0.33183,
              0.41128,
              0.55577,
              0.83609
            ],
            [
              0.21836,
              0.24207,
              0.25939,
              0.28776,
              0.33439,
              0.41385,
              0.5585,
              0.83848
            ],
            [
              0.22243,
              0.24616,
              0.26345,
              0.29183,
              0.33848,
              0.41795,
              0.56241,
              0.84259
            ],
            [
              0.22855,
              0.25226,
              0.26957,
              0.29793,
              0.34458,
              0.42405,
              0.56852,
              0.8487
            ],
            [
              0.23715,
              0.26083,
              0.27813,
              0.3065,
              0.35312,
              0.43257,
              0.57715,
              0.85718
            ],
            [
              0.24873,
              0.27235,
              0.28962,
              0.31794,
              0.36454,
              0.44398,
              0.58845,
              0.86862
            ],
            [
              0.26431,
              0.28778,
              0.30499,
              0.33325,
              0.3798,
              0.45918,
              0.60371,
              0.88356
            ],
            [
              0.28477,
              0.30797,
              0.32505,
              0.35321,
              0.39966,
              0.47897,
              0.62341,
              0.90345
            ],
            [
              0.30999,
              0.33296,
              0.34993,
              0.37796,
              0.42428,
              0.50348,
              0.64789,
              0.92819
            ],
            [
              0.3412,
              0.36397,
              0.38086,
              0.40882,
              0.45502,
              0.53412,
              0.67822,
              0.95832
            ],
            [
              0.38057,
              0.40317,
              0.41997,
              0.44787,
              0.49407,
              0.57287,
              0.71707,
              0.99667
            ],
            [
              0.4309,
              0.4536,
              0.4704,
              0.4982,
              0.5443,
              0.6231,
              0.7667,
              1.0464
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.18528,
              0.20946,
              0.22791,
              0.26034,
              0.32042,
              0.43698,
              0.66903,
              1.13227
            ],
            [
              0.18699,
              0.21117,
              0.22962,
              0.26206,
              0.32207,
              0.43883,
              0.67053,
              1.13384
            ],
            [
              0.18915,
              0.21334,
              0.23178,
              0.26422,
              0.32426,
              0.441,
              0.6727,
              1.13612
            ],
            [
              0.19243,
              0.2166,
              0.23505,
              0.26748,
              0.32756,
              0.44412,
              0.67617,
              1.13938
            ],
            [
              0.19705,
              0.22123,
              0.23968,
              0.2721,
              0.33217,
              0.44879,
              0.68047,
              1.14421
            ],
            [
              0.20283,
              0.22699,
              0.24544,
              0.27787,
              0.33796,
              0.45453,
              0.68658,
              1.14972
            ],
            [
              0.20981,
              0.23394,
              0.25237,
              0.28482,
              0.34491,
              0.46158,
              0.69331,
              1.15593
            ],
            [
              0.21798,
              0.24205,
              0.26047,
              0.29289,
              0.35295,
              0.46975,
              0.70117,
              1.16436
            ],
            [
              0.22699,
              0.25094,
              0.26932,
              0.30172,
              0.36177,
              0.47849,
              0.71042,
              1.17285
            ],
            [
              0.23602,
              0.25984,
              0.27816,
              0.3105,
              0.3705,
              0.48734,
              0.71909,
              1.18239
            ],
            [
              0.24373,
              0.26738,
              0.28562,
              0.31785,
              0.37782,
              0.49452,
              0.72612,
              1.18872
            ],
            [
              0.24817,
              0.27167,
              0.28987,
              0.32197,
              0.38177,
              0.49847,
              0.73017,
              1.19277
            ],
            [
              0.2467,
              0.2702,
              0.2884,
              0.3204,
              0.38,
              0.4965,
              0.7282,
              1.1911
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.02835,
              0.04628,
              0.06024,
              0.08516,
              0.13092,
              0.21913,
              0.39956,
              0.77275
            ],
            [
              0.02832,
              0.0463,
              0.0602,
              0.08513,
              0.13089,
              0.21913,
              0.39956,
              0.77194
            ],
            [
              0.02833,
              0.0463,
              0.06021,
              0.08516,
              0.13073,
              0.2191,
              0.39918,
              0.77266
            ],
            [
              0.02834,
              0.0463,
              0.06024,
              0.08518,
              0.13093,
              0.21911,
              0.39955,
              0.77272
            ],
            [
              0.02834,
              0.04625,
              0.06022,
              0.08517,
              0.13092,
              0.21908,
              0.39954,
              0.77276
            ],
            [
              0.02826,
              0.04624,
              0.06015,
              0.08508,
              0.13076,
              0.21911,
              0.3995,
              0.77274
            ],
            [
              0.0281,
              0.04608,
              0.06002,
              0.08502,
              0.13077,
              0.21904,
              0.3995,
              0.77273
            ],
            [
              0.02781,
              0.04579,
              0.05975,
              0.08478,
              0.13056,
              0.21892,
              0.39943,
              0.77204
            ],
            [
              0.02742,
              0.04534,
              0.05937,
              0.0844,
              0.13025,
              0.21866,
              0.39923,
              0.77257
            ],
            [
              0.02714,
              0.04499,
              0.05894,
              0.08408,
              0.12983,
              0.21834,
              0.39884,
              0.77213
            ],
            [
              0.02687,
              0.04464,
              0.05867,
              0.0837,
              0.1296,
              0.21779,
              0.3986,
              0.7715
            ],
            [
              0.0268,
              0.0445,
              0.0584,
              0.0834,
              0.1292,
              0.2176,
              0.3973,
              0.7728
            ],
            [
              0.0272,
              0.0446,
              0.0585,
              0.0835,
              0.1291,
              0.2172,
              0.3976,
              0.7702
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.02162,
              0.04631,
              0.068,
              0.11111,
              0.19994,
              0.38245,
              0.75238,
              1.4944
            ],
            [
              0.02164,
              0.04632,
              0.06809,
              0.11114,
              0.19994,
              0.38305,
              0.75205,
              1.49495
            ],
            [
              0.02164,
              0.04629,
              0.06808,
              0.11114,
              0.19992,
              0.3831,
              0.75207,
              1.49447
            ],
            [
              0.02162,
              0.04631,
              0.068,
              0.11111,
              0.19994,
              0.38244,
              0.75243,
              1.49436
            ],
            [
              0.0216,
              0.0463,
              0.06806,
              0.11114,
              0.19996,
              0.3827,
              0.75197,
              1.49533
            ],
            [
              0.02153,
              0.04623,
              0.06796,
              0.11105,
              0.19994,
              0.38232,
              0.75227,
              1.49419
            ],
            [
              0.02135,
              0.04608,
              0.06791,
              0.11093,
              0.19983,
              0.38263,
              0.75182,
              1.49385
            ],
            [
              0.02108,
              0.04585,
              0.06771,
              0.11083,
              0.19985,
              0.38286,
              0.75241,
              1.49616
            ],
            [
              0.02075,
              0.04555,
              0.06741,
              0.11061,
              0.19969,
              0.38227,
              0.7523,
              1.49362
            ],
            [
              0.02038,
              0.04524,
              0.06712,
              0.11043,
              0.19953,
              0.38252,
              0.75196,
              1.49575
            ],
            [
              0.02004,
              0.0449,
              0.06678,
              0.11026,
              0.19937,
              0.38234,
              0.75261,
              1.4931
            ],
            [
              0.0198,
              0.0447,
              0.0665,
              0.11,
              0.1992,
              0.3823,
              0.7526,
              1.4927
            ],
            [
              0.0199,
              0.0447,
              0.0665,
              0.1098,
              0.199,
              0.382,
              0.7528,
              1.4945
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.18892,
              0.211,
              0.22708,
              0.25352,
              0.29736,
              0.37354,
              0.51554,
              0.79519
            ],
            [
              0.19041,
              0.21251,
              0.2286,
              0.25504,
              0.29889,
              0.37507,
              0.5171,
              0.79654
            ],
            [
              0.19253,
              0.21464,
              0.23074,
              0.25719,
              0.30104,
              0.37723,
              0.51931,
              0.79884
            ],
            [
              0.19612,
              0.21826,
              0.23436,
              0.26082,
              0.30467,
              0.38087,
              0.52287,
              0.80236
            ],
            [
              0.20197,
              0.22412,
              0.24024,
              0.26671,
              0.31058,
              0.38678,
              0.5288,
              0.80841
            ],
            [
              0.21096,
              0.23314,
              0.24927,
              0.27574,
              0.31962,
              0.39583,
              0.53793,
              0.81745
            ],
            [
              0.22418,
              0.24636,
              0.26249,
              0.28896,
              0.33284,
              0.40905,
              0.55108,
              0.83068
            ],
            [
              0.24283,
              0.26497,
              0.28108,
              0.30753,
              0.35139,
              0.42759,
              0.56963,
              0.84916
            ],
            [
              0.26794,
              0.28997,
              0.30602,
              0.33246,
              0.37628,
              0.45246,
              0.5944,
              0.87415
            ],
            [
              0.29928,
              0.32184,
              0.3383,
              0.3653,
              0.40976,
              0.48624,
              0.62833,
              0.90759
            ],
            [
              0.34015,
              0.3632,
              0.38006,
              0.40773,
              0.45322,
              0.53102,
              0.67382,
              0.95322
            ],
            [
              0.39567,
              0.41927,
              0.43667,
              0.46517,
              0.51187,
              0.59097,
              0.73487,
              1.01477
            ],
            [
              0.4731,
              0.4975,
              0.5154,
              0.545,
              0.5934,
              0.6744,
              0.8195,
              1.0999
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.15082,
              0.17534,
              0.19424,
              0.22741,
              0.28825,
              0.40535,
              0.63744,
              1.09987
            ],
            [
              0.1526,
              0.17713,
              0.19603,
              0.22919,
              0.29003,
              0.40711,
              0.63921,
              1.10224
            ],
            [
              0.15478,
              0.17931,
              0.19821,
              0.23137,
              0.29221,
              0.40929,
              0.64134,
              1.10452
            ],
            [
              0.15807,
              0.18261,
              0.20151,
              0.23467,
              0.2955,
              0.41259,
              0.64467,
              1.10778
            ],
            [
              0.16302,
              0.18757,
              0.20647,
              0.23961,
              0.3004,
              0.41747,
              0.64941,
              1.11261
            ],
            [
              0.17027,
              0.19485,
              0.21374,
              0.24686,
              0.30762,
              0.42467,
              0.65651,
              1.11962
            ],
            [
              0.18069,
              0.2053,
              0.22418,
              0.25724,
              0.31789,
              0.43492,
              0.66667,
              1.12943
            ],
            [
              0.19522,
              0.21977,
              0.2386,
              0.27155,
              0.33209,
              0.44881,
              0.68018,
              1.14356
            ],
            [
              0.21003,
              0.23455,
              0.25332,
              0.28614,
              0.34639,
              0.46288,
              0.69438,
              1.15755
            ],
            [
              0.22378,
              0.24834,
              0.26711,
              0.29985,
              0.35984,
              0.47586,
              0.70719,
              1.17029
            ],
            [
              0.23633,
              0.26094,
              0.27969,
              0.31232,
              0.37203,
              0.48772,
              0.71822,
              1.18122
            ],
            [
              0.24647,
              0.27107,
              0.28977,
              0.32227,
              0.38167,
              0.49667,
              0.72687,
              1.18837
            ],
            [
              0.2515,
              0.276,
              0.2947,
              0.327,
              0.3859,
              0.5003,
              0.7299,
              1.1907
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.02483,
              0.04155,
              0.0547,
              0.07847,
              0.1229,
              0.21105,
              0.39343,
              0.76998
            ],
            [
              0.02488,
              0.04158,
              0.05472,
              0.0785,
              0.12294,
              0.21086,
              0.39352,
              0.76982
            ],
            [
              0.02492,
              0.04163,
              0.05477,
              0.07853,
              0.12289,
              0.21108,
              0.39324,
              0.76995
            ],
            [
              0.02497,
              0.04168,
              0.05481,
              0.07857,
              0.12297,
              0.21097,
              0.39374,
              0.76975
            ],
            [
              0.02507,
              0.04175,
              0.05487,
              0.07863,
              0.12299,
              0.21099,
              0.39371,
              0.76988
            ],
            [
              0.02514,
              0.0418,
              0.05492,
              0.07866,
              0.12309,
              0.21114,
              0.39327,
              0.76984
            ],
            [
              0.02516,
              0.04182,
              0.05493,
              0.07868,
              0.12311,
              0.21119,
              0.39376,
              0.77002
            ],
            [
              0.02504,
              0.04172,
              0.05484,
              0.07861,
              0.123,
              0.21108,
              0.39363,
              0.76991
            ],
            [
              0.02541,
              0.04192,
              0.05501,
              0.07868,
              0.12305,
              0.21091,
              0.39353,
              0.76993
            ],
            [
              0.02697,
              0.04374,
              0.05693,
              0.08069,
              0.1247,
              0.21203,
              0.39384,
              0.76988
            ],
            [
              0.02878,
              0.04586,
              0.05929,
              0.08338,
              0.12777,
              0.21499,
              0.3952,
              0.7705
            ],
            [
              0.0316,
              0.0491,
              0.0627,
              0.0869,
              0.1316,
              0.2184,
              0.3975,
              0.7708
            ],
            [
              0.036,
              0.0543,
              0.0679,
              0.0924,
              0.1373,
              0.2235,
              0.4015,
              0.772
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.02236,
              0.04741,
              0.06965,
              0.11317,
              0.20169,
              0.38369,
              0.75298,
              1.49458
            ],
            [
              0.02238,
              0.04744,
              0.06969,
              0.11317,
              0.20167,
              0.38365,
              0.75297,
              1.49394
            ],
            [
              0.02242,
              0.04747,
              0.06971,
              0.1132,
              0.20169,
              0.38366,
              0.75298,
              1.49415
            ],
            [
              0.02249,
              0.04749,
              0.06977,
              0.11323,
              0.20178,
              0.38382,
              0.75306,
              1.49625
            ],
            [
              0.02258,
              0.04761,
              0.06992,
              0.11328,
              0.20186,
              0.38392,
              0.75339,
              1.49418
            ],
            [
              0.02275,
              0.04771,
              0.06999,
              0.11337,
              0.20185,
              0.38381,
              0.75315,
              1.49502
            ],
            [
              0.02293,
              0.04787,
              0.07006,
              0.11346,
              0.20197,
              0.38394,
              0.75326,
              1.49748
            ],
            [
              0.02309,
              0.04801,
              0.07024,
              0.11363,
              0.20211,
              0.38381,
              0.75243,
              1.49426
            ],
            [
              0.02352,
              0.04836,
              0.07051,
              0.11397,
              0.20207,
              0.38388,
              0.75291,
              1.49454
            ],
            [
              0.02397,
              0.04873,
              0.07095,
              0.1142,
              0.20221,
              0.3837,
              0.75316,
              1.49422
            ],
            [
              0.02451,
              0.04923,
              0.07141,
              0.1146,
              0.20276,
              0.38389,
              0.75315,
              1.4939
            ],
            [
              0.0253,
              0.0497,
              0.0719,
              0.115,
              0.2028,
              0.3838,
              0.7524,
              1.4952
            ],
            [
              0.0262,
              0.0505,
              0.0726,
              0.1154,
              0.2032,
              0.3844,
              0.7532,
              1.4943
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.17499,
              0.1978,
              0.21463,
              0.2426,
              0.28902,
              0.36829,
              0.51273,
              0.79274
            ],
            [
              0.17667,
              0.19949,
              0.21631,
              0.24429,
              0.29071,
              0.36999,
              0.51444,
              0.79445
            ],
            [
              0.17889,
              0.20171,
              0.21856,
              0.24654,
              0.29295,
              0.37224,
              0.51665,
              0.79647
            ],
            [
              0.18247,
              0.20531,
              0.22215,
              0.25013,
              0.29655,
              0.37583,
              0.52028,
              0.80029
            ],
            [
              0.18812,
              0.21096,
              0.22779,
              0.25578,
              0.30219,
              0.38147,
              0.52593,
              0.80591
            ],
            [
              0.19675,
              0.21957,
              0.23638,
              0.26433,
              0.31075,
              0.39004,
              0.53449,
              0.81446
            ],
            [
              0.20932,
              0.23208,
              0.24882,
              0.27671,
              0.32308,
              0.40236,
              0.54682,
              0.82678
            ],
            [
              0.22694,
              0.24958,
              0.26622,
              0.29396,
              0.34024,
              0.41946,
              0.56386,
              0.84386
            ],
            [
              0.24938,
              0.27177,
              0.28817,
              0.31565,
              0.36171,
              0.44078,
              0.58492,
              0.86475
            ],
            [
              0.27645,
              0.29875,
              0.31501,
              0.34226,
              0.3881,
              0.46692,
              0.61099,
              0.89089
            ],
            [
              0.31068,
              0.33284,
              0.3489,
              0.37586,
              0.42144,
              0.50012,
              0.64372,
              0.92332
            ],
            [
              0.35497,
              0.37707,
              0.39287,
              0.41957,
              0.46477,
              0.54307,
              0.68667,
              0.96567
            ],
            [
              0.4124,
              0.4344,
              0.4502,
              0.4764,
              0.5213,
              0.5993,
              0.7424,
              1.0213
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.15037,
              0.17445,
              0.19289,
              0.22534,
              0.28544,
              0.40221,
              0.63365,
              1.09697
            ],
            [
              0.15222,
              0.17631,
              0.19474,
              0.2272,
              0.28732,
              0.40398,
              0.63567,
              1.09834
            ],
            [
              0.15452,
              0.1786,
              0.19704,
              0.2295,
              0.28962,
              0.40631,
              0.63793,
              1.10072
            ],
            [
              0.15807,
              0.18216,
              0.20059,
              0.23305,
              0.29313,
              0.40992,
              0.64138,
              1.10447
            ],
            [
              0.16342,
              0.18751,
              0.20595,
              0.23841,
              0.29848,
              0.41525,
              0.64671,
              1.11011
            ],
            [
              0.17124,
              0.19534,
              0.21377,
              0.24622,
              0.30634,
              0.42295,
              0.65498,
              1.11812
            ],
            [
              0.18294,
              0.20704,
              0.22548,
              0.25792,
              0.31799,
              0.43466,
              0.66623,
              1.12983
            ],
            [
              0.19876,
              0.22281,
              0.2412,
              0.2736,
              0.33359,
              0.45029,
              0.68215,
              1.14516
            ],
            [
              0.21484,
              0.23907,
              0.25762,
              0.29008,
              0.35007,
              0.46656,
              0.69848,
              1.16215
            ],
            [
              0.23141,
              0.25601,
              0.27492,
              0.30794,
              0.36834,
              0.48487,
              0.71679,
              1.17919
            ],
            [
              0.25099,
              0.27615,
              0.29562,
              0.32935,
              0.39037,
              0.50732,
              0.73882,
              1.20132
            ],
            [
              0.27657,
              0.30247,
              0.32277,
              0.35757,
              0.41947,
              0.53687,
              0.76887,
              1.23127
            ],
            [
              0.3107,
              0.3377,
              0.3587,
              0.3949,
              0.4582,
              0.5765,
              0.8089,
              1.272
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.02793,
              0.04565,
              0.05968,
              0.08465,
              0.13039,
              0.21865,
              0.39903,
              0.77265
            ],
            [
              0.02796,
              0.04569,
              0.0597,
              0.08474,
              0.13043,
              0.21854,
              0.39901,
              0.77261
            ],
            [
              0.02799,
              0.04571,
              0.05974,
              0.08473,
              0.13052,
              0.21865,
              0.39906,
              0.77216
            ],
            [
              0.02805,
              0.04576,
              0.05978,
              0.08478,
              0.13039,
              0.21866,
              0.39909,
              0.7726
            ],
            [
              0.02814,
              0.04587,
              0.05987,
              0.08486,
              0.13046,
              0.21869,
              0.3991,
              0.77259
            ],
            [
              0.02828,
              0.04601,
              0.06,
              0.085,
              0.13073,
              0.21877,
              0.399,
              0.77256
            ],
            [
              0.02857,
              0.04625,
              0.06021,
              0.08522,
              0.13079,
              0.21875,
              0.39883,
              0.7726
            ],
            [
              0.02894,
              0.04655,
              0.06051,
              0.0855,
              0.13113,
              0.21887,
              0.39899,
              0.77263
            ],
            [
              0.02912,
              0.04661,
              0.06063,
              0.08559,
              0.13113,
              0.21896,
              0.39931,
              0.77238
            ],
            [
              0.0296,
              0.04699,
              0.06098,
              0.08583,
              0.13137,
              0.21904,
              0.39865,
              0.77241
            ],
            [
              0.03018,
              0.04746,
              0.06136,
              0.0863,
              0.13165,
              0.21875,
              0.3984,
              0.772
            ],
            [
              0.0311,
              0.0483,
              0.062,
              0.0869,
              0.1321,
              0.2195,
              0.3981,
              0.7717
            ],
            [
              0.0327,
              0.0496,
              0.0633,
              0.0879,
              0.1331,
              0.2198,
              0.3991,
              0.7704
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.02111,
              0.04588,
              0.06774,
              0.11081,
              0.19974,
              0.3828,
              0.75235,
              1.49377
            ],
            [
              0.02113,
              0.04589,
              0.06771,
              0.11085,
              0.19985,
              0.38236,
              0.75257,
              1.49358
            ],
            [
              0.02115,
              0.0459,
              0.06775,
              0.11084,
              0.19983,
              0.38251,
              0.75285,
              1.49388
            ],
            [
              0.02115,
              0.04591,
              0.06769,
              0.11086,
              0.1999,
              0.38233,
              0.75216,
              1.49368
            ],
            [
              0.02119,
              0.04593,
              0.06776,
              0.11086,
              0.19983,
              0.38276,
              0.75234,
              1.49366
            ],
            [
              0.02116,
              0.04593,
              0.06778,
              0.11089,
              0.19988,
              0.38231,
              0.75234,
              1.49536
            ],
            [
              0.02121,
              0.04596,
              0.06779,
              0.11093,
              0.19988,
              0.38276,
              0.75278,
              1.49379
            ],
            [
              0.02121,
              0.04598,
              0.06782,
              0.11094,
              0.19977,
              0.38278,
              0.75235,
              1.49346
            ],
            [
              0.02187,
              0.04672,
              0.06846,
              0.11144,
              0.20003,
              0.38252,
              0.75256,
              1.49393
            ],
            [
              0.02271,
              0.04777,
              0.06994,
              0.11303,
              0.20119,
              0.38291,
              0.75306,
              1.49371
            ],
            [
              0.02413,
              0.04962,
              0.07223,
              0.11548,
              0.20303,
              0.38407,
              0.7524,
              1.4939
            ],
            [
              0.0267,
              0.0526,
              0.0759,
              0.1196,
              0.2062,
              0.3864,
              0.7542,
              1.4937
            ],
            [
              0.0303,
              0.0566,
              0.0809,
              0.1254,
              0.2117,
              0.39,
              0.7557,
              1.4962
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.12122,
              0.14791,
              0.16723,
              0.19797,
              0.24689,
              0.3279,
              0.47311,
              0.75294
            ],
            [
              0.12317,
              0.14985,
              0.16917,
              0.19991,
              0.24883,
              0.32983,
              0.4749,
              0.75481
            ],
            [
              0.12563,
              0.15231,
              0.17163,
              0.20237,
              0.2513,
              0.33231,
              0.47752,
              0.75732
            ],
            [
              0.12949,
              0.15618,
              0.1755,
              0.20624,
              0.25516,
              0.33618,
              0.48139,
              0.76145
            ],
            [
              0.13558,
              0.16226,
              0.18156,
              0.2123,
              0.26123,
              0.34225,
              0.48738,
              0.7675
            ],
            [
              0.14499,
              0.17163,
              0.19093,
              0.22165,
              0.2706,
              0.35163,
              0.49685,
              0.77688
            ],
            [
              0.15922,
              0.18582,
              0.20509,
              0.2358,
              0.28476,
              0.36581,
              0.51092,
              0.7909
            ],
            [
              0.17933,
              0.20606,
              0.22537,
              0.25613,
              0.30518,
              0.38628,
              0.53148,
              0.81127
            ],
            [
              0.20388,
              0.23166,
              0.25159,
              0.28303,
              0.33254,
              0.4139,
              0.55922,
              0.83915
            ],
            [
              0.23362,
              0.26256,
              0.28328,
              0.31585,
              0.36678,
              0.44923,
              0.59475,
              0.87449
            ],
            [
              0.27051,
              0.30082,
              0.32252,
              0.35642,
              0.40896,
              0.49312,
              0.63982,
              0.91982
            ],
            [
              0.31737,
              0.34927,
              0.37217,
              0.40787,
              0.46247,
              0.54867,
              0.69687,
              0.97767
            ],
            [
              0.3776,
              0.4115,
              0.436,
              0.4741,
              0.5317,
              0.621,
              0.7715,
              1.053
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.10452,
              0.12871,
              0.14773,
              0.18115,
              0.24208,
              0.35931,
              0.5912,
              1.05437
            ],
            [
              0.10632,
              0.1305,
              0.14953,
              0.18294,
              0.24388,
              0.3611,
              0.59294,
              1.05604
            ],
            [
              0.10849,
              0.13267,
              0.1517,
              0.18511,
              0.24605,
              0.36327,
              0.59512,
              1.05822
            ],
            [
              0.11191,
              0.13609,
              0.1551,
              0.18851,
              0.24946,
              0.36667,
              0.59838,
              1.06158
            ],
            [
              0.11716,
              0.14133,
              0.16034,
              0.19372,
              0.25464,
              0.37187,
              0.60363,
              1.06771
            ],
            [
              0.12514,
              0.1493,
              0.16828,
              0.20162,
              0.26253,
              0.37968,
              0.61177,
              1.07422
            ],
            [
              0.13681,
              0.1609,
              0.17981,
              0.21306,
              0.27388,
              0.39097,
              0.62292,
              1.08563
            ],
            [
              0.15145,
              0.17587,
              0.19487,
              0.22812,
              0.28883,
              0.40585,
              0.6375,
              1.10096
            ],
            [
              0.16762,
              0.19281,
              0.21231,
              0.24606,
              0.30698,
              0.4239,
              0.65549,
              1.11925
            ],
            [
              0.18475,
              0.21111,
              0.23133,
              0.26585,
              0.32727,
              0.44426,
              0.67589,
              1.13959
            ],
            [
              0.2019,
              0.22983,
              0.25108,
              0.28687,
              0.34912,
              0.46622,
              0.69762,
              1.16072
            ],
            [
              0.21727,
              0.24717,
              0.26977,
              0.30757,
              0.37147,
              0.48927,
              0.72077,
              1.18287
            ],
            [
              0.2278,
              0.2602,
              0.2844,
              0.3249,
              0.3918,
              0.5114,
              0.744,
              1.2069
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.03155,
              0.05198,
              0.06666,
              0.09169,
              0.13647,
              0.22264,
              0.40049,
              0.77238
            ],
            [
              0.03153,
              0.05199,
              0.06665,
              0.09168,
              0.13647,
              0.22268,
              0.40114,
              0.77172
            ],
            [
              0.03154,
              0.05198,
              0.06667,
              0.09169,
              0.13647,
              0.22266,
              0.40048,
              0.77243
            ],
            [
              0.03154,
              0.05199,
              0.06668,
              0.0917,
              0.13647,
              0.22265,
              0.40046,
              0.77235
            ],
            [
              0.03155,
              0.05201,
              0.06671,
              0.09171,
              0.13651,
              0.22269,
              0.40085,
              0.77328
            ],
            [
              0.03162,
              0.05207,
              0.06676,
              0.09176,
              0.1364,
              0.2225,
              0.40053,
              0.7739
            ],
            [
              0.03186,
              0.05233,
              0.067,
              0.09193,
              0.13665,
              0.22279,
              0.40117,
              0.7741
            ],
            [
              0.03363,
              0.05382,
              0.06823,
              0.09291,
              0.1372,
              0.22312,
              0.401,
              0.77268
            ],
            [
              0.03735,
              0.05792,
              0.07217,
              0.09621,
              0.13949,
              0.22434,
              0.40128,
              0.77359
            ],
            [
              0.04198,
              0.06307,
              0.07754,
              0.10156,
              0.14416,
              0.22752,
              0.40302,
              0.77316
            ],
            [
              0.04774,
              0.06953,
              0.08426,
              0.10824,
              0.15043,
              0.23251,
              0.4058,
              0.7751
            ],
            [
              0.0552,
              0.0779,
              0.0931,
              0.1171,
              0.1584,
              0.2393,
              0.41,
              0.7762
            ],
            [
              0.0652,
              0.0892,
              0.1052,
              0.1297,
              0.1705,
              0.2493,
              0.4166,
              0.7776
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.01924,
              0.04516,
              0.06795,
              0.11183,
              0.20071,
              0.38312,
              0.75264,
              1.49415
            ],
            [
              0.01925,
              0.04517,
              0.06796,
              0.11183,
              0.20074,
              0.38312,
              0.75281,
              1.49529
            ],
            [
              0.01927,
              0.04517,
              0.06794,
              0.11183,
              0.20072,
              0.38313,
              0.75283,
              1.49503
            ],
            [
              0.01923,
              0.04517,
              0.06796,
              0.11182,
              0.20077,
              0.3831,
              0.75227,
              1.49516
            ],
            [
              0.01926,
              0.04515,
              0.06796,
              0.11185,
              0.2008,
              0.38313,
              0.7523,
              1.49376
            ],
            [
              0.01927,
              0.04516,
              0.06798,
              0.11187,
              0.20081,
              0.38294,
              0.75254,
              1.49357
            ],
            [
              0.01945,
              0.04533,
              0.06812,
              0.112,
              0.2009,
              0.3831,
              0.75295,
              1.49522
            ],
            [
              0.02075,
              0.04644,
              0.06908,
              0.11261,
              0.20116,
              0.38328,
              0.75242,
              1.49528
            ],
            [
              0.02299,
              0.04868,
              0.07148,
              0.11461,
              0.20232,
              0.3835,
              0.75302,
              1.49441
            ],
            [
              0.02636,
              0.05201,
              0.0749,
              0.11772,
              0.20446,
              0.38432,
              0.753,
              1.4944
            ],
            [
              0.03103,
              0.0567,
              0.0799,
              0.12247,
              0.20766,
              0.38622,
              0.7531,
              1.4957
            ],
            [
              0.0375,
              0.0632,
              0.0869,
              0.1296,
              0.2134,
              0.3891,
              0.7551,
              1.4951
            ],
            [
              0.0463,
              0.072,
              0.0964,
              0.1401,
              0.223,
              0.3958,
              0.7581,
              1.4975
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.12094,
              0.14761,
              0.16695,
              0.19771,
              0.24667,
              0.32766,
              0.47282,
              0.7529
            ],
            [
              0.12288,
              0.14954,
              0.16888,
              0.19965,
              0.2486,
              0.32959,
              0.47462,
              0.75484
            ],
            [
              0.12534,
              0.15201,
              0.17135,
              0.20211,
              0.25107,
              0.33207,
              0.47723,
              0.7573
            ],
            [
              0.12921,
              0.15588,
              0.17522,
              0.20597,
              0.25494,
              0.33593,
              0.48109,
              0.76119
            ],
            [
              0.1353,
              0.16195,
              0.18128,
              0.21204,
              0.26101,
              0.34201,
              0.48717,
              0.76713
            ],
            [
              0.14471,
              0.17133,
              0.19065,
              0.2214,
              0.27038,
              0.35139,
              0.49656,
              0.77631
            ],
            [
              0.15894,
              0.18553,
              0.20481,
              0.23556,
              0.28455,
              0.36558,
              0.51069,
              0.79085
            ],
            [
              0.17906,
              0.20579,
              0.22511,
              0.25591,
              0.30497,
              0.38607,
              0.5312,
              0.81115
            ],
            [
              0.20362,
              0.2314,
              0.25135,
              0.28282,
              0.33236,
              0.4137,
              0.55897,
              0.83885
            ],
            [
              0.23339,
              0.26232,
              0.28306,
              0.31566,
              0.36662,
              0.44906,
              0.59453,
              0.87429
            ],
            [
              0.2703,
              0.30061,
              0.32233,
              0.35627,
              0.40883,
              0.49292,
              0.63962,
              0.91992
            ],
            [
              0.31717,
              0.34907,
              0.37207,
              0.40777,
              0.46237,
              0.54857,
              0.69667,
              0.97747
            ],
            [
              0.3775,
              0.4113,
              0.4358,
              0.474,
              0.5316,
              0.6209,
              0.7714,
              1.0529
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.10446,
              0.12866,
              0.14769,
              0.18112,
              0.24207,
              0.3593,
              0.59106,
              1.05407
            ],
            [
              0.10626,
              0.13046,
              0.14949,
              0.18291,
              0.24387,
              0.3611,
              0.59291,
              1.05694
            ],
            [
              0.10843,
              0.13262,
              0.15166,
              0.18508,
              0.24603,
              0.36326,
              0.59501,
              1.05812
            ],
            [
              0.11184,
              0.13604,
              0.15507,
              0.18849,
              0.24945,
              0.36666,
              0.59844,
              1.06158
            ],
            [
              0.1171,
              0.14128,
              0.1603,
              0.19369,
              0.25463,
              0.37187,
              0.60368,
              1.06651
            ],
            [
              0.12509,
              0.14925,
              0.16824,
              0.20159,
              0.26251,
              0.37968,
              0.61166,
              1.07442
            ],
            [
              0.13676,
              0.16086,
              0.17977,
              0.21304,
              0.27387,
              0.39099,
              0.62283,
              1.08573
            ],
            [
              0.15139,
              0.17582,
              0.19483,
              0.22808,
              0.28881,
              0.40583,
              0.63751,
              1.10106
            ],
            [
              0.16755,
              0.19275,
              0.21225,
              0.246,
              0.30695,
              0.42385,
              0.65551,
              1.11905
            ],
            [
              0.18468,
              0.21104,
              0.23126,
              0.26579,
              0.32721,
              0.44421,
              0.67589,
              1.13959
            ],
            [
              0.20183,
              0.22975,
              0.25101,
              0.2868,
              0.34906,
              0.46622,
              0.69762,
              1.16132
            ],
            [
              0.21717,
              0.24707,
              0.26967,
              0.30747,
              0.37137,
              0.48917,
              0.72057,
              1.18297
            ],
            [
              0.2278,
              0.2601,
              0.2844,
              0.3249,
              0.3918,
              0.5114,
              0.744,
              1.2065
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.03142,
              0.05193,
              0.06666,
              0.09173,
              0.13641,
              0.22253,
              0.40049,
              0.77337
            ],
            [
              0.0314,
              0.05192,
              0.06665,
              0.09171,
              0.13647,
              0.22265,
              0.40106,
              0.77312
            ],
            [
              0.03141,
              0.05191,
              0.06667,
              0.09174,
              0.1364,
              0.2225,
              0.40049,
              0.7736
            ],
            [
              0.03141,
              0.05194,
              0.06667,
              0.09174,
              0.13642,
              0.22254,
              0.4005,
              0.7734
            ],
            [
              0.03144,
              0.05195,
              0.06669,
              0.09175,
              0.13651,
              0.22265,
              0.40067,
              0.77284
            ],
            [
              0.0315,
              0.05201,
              0.06674,
              0.0918,
              0.1364,
              0.22253,
              0.40047,
              0.77366
            ],
            [
              0.03174,
              0.05227,
              0.067,
              0.09197,
              0.13667,
              0.22274,
              0.40104,
              0.77318
            ],
            [
              0.03353,
              0.05378,
              0.06824,
              0.09295,
              0.13723,
              0.22307,
              0.40102,
              0.77308
            ],
            [
              0.03726,
              0.05789,
              0.0722,
              0.09626,
              0.13952,
              0.2243,
              0.40107,
              0.77322
            ],
            [
              0.0419,
              0.06305,
              0.07756,
              0.10163,
              0.14424,
              0.22748,
              0.40298,
              0.77427
            ],
            [
              0.04769,
              0.06953,
              0.0843,
              0.10831,
              0.15051,
              0.23245,
              0.4057,
              0.7741
            ],
            [
              0.0551,
              0.0779,
              0.0931,
              0.1172,
              0.1584,
              0.2392,
              0.4099,
              0.7762
            ],
            [
              0.0653,
              0.0892,
              0.1053,
              0.1299,
              0.1705,
              0.2493,
              0.4165,
              0.7776
            ]
          ]
        },
        "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.00621,
            0.01242,
            0.02485,
            0.04971,
            0.09942,
            0.19884,
            0.39767
          ],
          "values": [
            [
              0.01928,
              0.0452,
              0.06798,
              0.11187,
              0.20076,
              0.38314,
              0.75335,
              1.49534
            ],
            [
              0.01926,
              0.0452,
              0.06799,
              0.11186,
              0.20082,
              0.38312,
              0.75242,
              1.49398
            ],
            [
              0.01929,
              0.04519,
              0.06798,
              0.11187,
              0.20076,
              0.38314,
              0.75354,
              1.49523
            ],
            [
              0.01926,
              0.0452,
              0.06799,
              0.11185,
              0.20079,
              0.3831,
              0.75238,
              1.49516
            ],
            [
              0.01929,
              0.04518,
              0.06798,
              0.11188,
              0.20082,
              0.38315,
              0.7524,
              1.49369
            ],
            [
              0.0193,
              0.04519,
              0.06801,
              0.1119,
              0.20084,
              0.38294,
              0.75265,
              1.49355
            ],
            [
              0.01948,
              0.04535,
              0.06815,
              0.11203,
              0.20093,
              0.38317,
              0.75266,
              1.49532
            ],
            [
              0.02078,
              0.04646,
              0.0691,
              0.11259,
              0.2012,
              0.3833,
              0.75245,
              1.4939
            ],
            [
              0.02301,
              0.0487,
              0.0715,
              0.11463,
              0.20234,
              0.38348,
              0.75285,
              1.49544
            ],
            [
              0.02637,
              0.05202,
              0.07491,
              0.11775,
              0.2045,
              0.38428,
              0.75305,
              1.49444
            ],
            [
              0.03105,
              0.05672,
              0.07992,
              0.1225,
              0.20774,
              0.38619,
              0.75296,
              1.4942
            ],
            [
              0.0375,
              0.0632,
              0.0869,
              0.1297,
              0.2134,
              0.389,
              0.7549,
              1.4945
            ],
            [
              0.0464,
              0.072,
              0.0964,
              0.1401,
              0.223,
              0.3957,
              0.7582,
              1.4984
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.11766,
              0.1003,
              0.08517,
              0.05658,
              0.00075,
              -0.11029,
              -0.33208,
              -0.77532
            ],
            [
              0.11743,
              0.10005,
              0.08491,
              0.05634,
              0.00049,
              -0.11054,
              -0.33234,
              -0.77557
            ],
            [
              0.11727,
              0.09989,
              0.08478,
              0.05619,
              0.00034,
              -0.11068,
              -0.33248,
              -0.77571
            ],
            [
              0.11728,
              0.0999,
              0.08478,
              0.0562,
              0.00036,
              -0.11068,
              -0.33247,
              -0.77572
            ],
            [
              0.1176,
              0.10019,
              0.08508,
              0.0565,
              0.00066,
              -0.11038,
              -0.33217,
              -0.77542
            ],
            [
              0.11823,
              0.10087,
              0.08575,
              0.05718,
              0.00132,
              -0.1097,
              -0.3315,
              -0.77473
            ],
            [
              0.11948,
              0.10211,
              0.087,
              0.05844,
              0.0026,
              -0.10842,
              -0.33022,
              -0.77346
            ],
            [
              0.12194,
              0.1046,
              0.0895,
              0.06097,
              0.00515,
              -0.10587,
              -0.32766,
              -0.77091
            ],
            [
              0.12662,
              0.10931,
              0.09423,
              0.0657,
              0.00989,
              -0.10112,
              -0.32291,
              -0.76614
            ],
            [
              0.13488,
              0.11755,
              0.10249,
              0.07401,
              0.01823,
              -0.09278,
              -0.31455,
              -0.75776
            ],
            [
              0.14826,
              0.13096,
              0.11592,
              0.08741,
              0.03165,
              -0.07929,
              -0.30103,
              -0.74427
            ],
            [
              0.16983,
              0.15253,
              0.13752,
              0.10908,
              0.05334,
              -0.05766,
              -0.27943,
              -0.72264
            ],
            [
              0.20345,
              0.18616,
              0.17118,
              0.14275,
              0.08709,
              -0.02385,
              -0.24564,
              -0.68886
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.08732,
              0.09902,
              0.1122,
              0.13933,
              0.194,
              0.30401,
              0.52274,
              0.96242
            ],
            [
              0.08707,
              0.09877,
              0.11196,
              0.13908,
              0.19389,
              0.30349,
              0.52224,
              0.96282
            ],
            [
              0.08692,
              0.0986,
              0.11184,
              0.13899,
              0.1937,
              0.30363,
              0.52276,
              0.96272
            ],
            [
              0.0868,
              0.09852,
              0.11171,
              0.13876,
              0.1936,
              0.30343,
              0.52244,
              0.96142
            ],
            [
              0.08703,
              0.09875,
              0.1119,
              0.13902,
              0.19377,
              0.30384,
              0.52242,
              0.96103
            ],
            [
              0.08751,
              0.0992,
              0.11247,
              0.13956,
              0.19428,
              0.30393,
              0.52272,
              0.96087
            ],
            [
              0.08872,
              0.10046,
              0.11367,
              0.14085,
              0.19561,
              0.30553,
              0.52423,
              0.96287
            ],
            [
              0.09125,
              0.103,
              0.11629,
              0.1435,
              0.1982,
              0.30835,
              0.52708,
              0.96641
            ],
            [
              0.09599,
              0.10775,
              0.12104,
              0.14836,
              0.20314,
              0.31307,
              0.53174,
              0.97196
            ],
            [
              0.10438,
              0.11629,
              0.12956,
              0.15679,
              0.21135,
              0.32123,
              0.54057,
              0.98027
            ],
            [
              0.11815,
              0.13008,
              0.14341,
              0.17073,
              0.22549,
              0.33499,
              0.5539,
              0.99272
            ],
            [
              0.14027,
              0.15222,
              0.16551,
              0.19288,
              0.24786,
              0.35764,
              0.57582,
              1.01516
            ],
            [
              0.1752,
              0.18714,
              0.20045,
              0.22762,
              0.28264,
              0.39312,
              0.61152,
              1.0494
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.1179,
              0.12195,
              0.1298,
              0.14791,
              0.18594,
              0.26289,
              0.41734,
              0.728
            ],
            [
              0.11763,
              0.12171,
              0.12957,
              0.14765,
              0.18572,
              0.26257,
              0.41704,
              0.72634
            ],
            [
              0.11749,
              0.12154,
              0.12944,
              0.14751,
              0.18552,
              0.26257,
              0.41642,
              0.7267
            ],
            [
              0.11739,
              0.12143,
              0.12931,
              0.14739,
              0.18535,
              0.26244,
              0.41687,
              0.7266
            ],
            [
              0.11759,
              0.12169,
              0.12957,
              0.14764,
              0.18556,
              0.26238,
              0.41691,
              0.7271
            ],
            [
              0.11824,
              0.12225,
              0.13016,
              0.14822,
              0.1863,
              0.26316,
              0.41753,
              0.72613
            ],
            [
              0.11964,
              0.12368,
              0.13155,
              0.14962,
              0.18752,
              0.26463,
              0.4183,
              0.72891
            ],
            [
              0.12249,
              0.12648,
              0.13433,
              0.15243,
              0.19039,
              0.26765,
              0.42184,
              0.73133
            ],
            [
              0.12773,
              0.13161,
              0.13941,
              0.1574,
              0.19551,
              0.27257,
              0.42644,
              0.73595
            ],
            [
              0.13675,
              0.14058,
              0.14827,
              0.16626,
              0.20426,
              0.281,
              0.43521,
              0.74477
            ],
            [
              0.1514,
              0.15506,
              0.16268,
              0.18063,
              0.21843,
              0.2956,
              0.45013,
              0.75912
            ],
            [
              0.1748,
              0.1782,
              0.18562,
              0.20339,
              0.24133,
              0.31805,
              0.47203,
              0.78095
            ],
            [
              0.21147,
              0.21452,
              0.22164,
              0.23902,
              0.27683,
              0.35374,
              0.50748,
              0.81715
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.14205,
              0.15017,
              0.16204,
              0.18818,
              0.24241,
              0.35188,
              0.57078,
              1.01074
            ],
            [
              0.14182,
              0.14994,
              0.16181,
              0.18792,
              0.24225,
              0.35142,
              0.57068,
              1.01038
            ],
            [
              0.14171,
              0.14982,
              0.16167,
              0.1878,
              0.24225,
              0.3513,
              0.57021,
              1.00809
            ],
            [
              0.14164,
              0.14981,
              0.16164,
              0.18781,
              0.24218,
              0.35123,
              0.57056,
              1.0102
            ],
            [
              0.14198,
              0.1501,
              0.16197,
              0.18808,
              0.24249,
              0.35186,
              0.57082,
              1.01048
            ],
            [
              0.14267,
              0.15084,
              0.1627,
              0.18888,
              0.2432,
              0.35224,
              0.57122,
              1.01022
            ],
            [
              0.14408,
              0.15224,
              0.16411,
              0.19035,
              0.24477,
              0.35393,
              0.57308,
              1.01182
            ],
            [
              0.14688,
              0.15511,
              0.16702,
              0.19311,
              0.24731,
              0.35671,
              0.57548,
              1.0146
            ],
            [
              0.15213,
              0.16035,
              0.17219,
              0.19841,
              0.25271,
              0.36175,
              0.58098,
              1.01939
            ],
            [
              0.16118,
              0.16926,
              0.18121,
              0.20735,
              0.26158,
              0.37069,
              0.58994,
              1.02717
            ],
            [
              0.17565,
              0.18363,
              0.19557,
              0.22155,
              0.27553,
              0.38454,
              0.60383,
              1.04252
            ],
            [
              0.19878,
              0.20654,
              0.21824,
              0.24431,
              0.29848,
              0.4069,
              0.62662,
              1.06351
            ],
            [
              0.23492,
              0.24225,
              0.25376,
              0.27943,
              0.33361,
              0.44263,
              0.66009,
              1.09934
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.11042,
              0.09297,
              0.07783,
              0.04927,
              -0.00656,
              -0.11758,
              -0.33937,
              -0.78262
            ],
            [
              0.11015,
              0.09271,
              0.07756,
              0.04901,
              -0.00682,
              -0.11783,
              -0.33963,
              -0.78288
            ],
            [
              0.11,
              0.09255,
              0.07739,
              0.04884,
              -0.007,
              -0.11801,
              -0.33981,
              -0.78306
            ],
            [
              0.11005,
              0.09263,
              0.07748,
              0.04891,
              -0.00693,
              -0.11794,
              -0.33973,
              -0.78299
            ],
            [
              0.11054,
              0.09308,
              0.07792,
              0.04934,
              -0.0065,
              -0.11751,
              -0.33931,
              -0.78255
            ],
            [
              0.11167,
              0.09423,
              0.07907,
              0.05049,
              -0.00536,
              -0.11638,
              -0.33817,
              -0.78142
            ],
            [
              0.11395,
              0.09649,
              0.08133,
              0.05274,
              -0.00311,
              -0.11413,
              -0.33592,
              -0.77915
            ],
            [
              0.11784,
              0.1004,
              0.08523,
              0.05663,
              0.0008,
              -0.11022,
              -0.332,
              -0.77525
            ],
            [
              0.12387,
              0.10641,
              0.09124,
              0.06265,
              0.00682,
              -0.10418,
              -0.32596,
              -0.76919
            ],
            [
              0.13316,
              0.11573,
              0.10056,
              0.07197,
              0.01615,
              -0.09485,
              -0.3166,
              -0.75982
            ],
            [
              0.14715,
              0.12968,
              0.11451,
              0.08588,
              0.03008,
              -0.08085,
              -0.30257,
              -0.74579
            ],
            [
              0.169,
              0.15149,
              0.13634,
              0.10775,
              0.05192,
              -0.05904,
              -0.28075,
              -0.72394
            ],
            [
              0.20357,
              0.18604,
              0.17088,
              0.14229,
              0.08653,
              -0.0244,
              -0.24611,
              -0.68932
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0671,
              0.07885,
              0.09208,
              0.11927,
              0.17408,
              0.28418,
              0.50253,
              0.94173
            ],
            [
              0.06703,
              0.07876,
              0.09199,
              0.11922,
              0.1739,
              0.28398,
              0.50267,
              0.94304
            ],
            [
              0.06701,
              0.07877,
              0.09198,
              0.11922,
              0.17387,
              0.28421,
              0.50331,
              0.94312
            ],
            [
              0.06728,
              0.07906,
              0.09225,
              0.11941,
              0.17419,
              0.28406,
              0.50298,
              0.94198
            ],
            [
              0.06786,
              0.07958,
              0.09282,
              0.11995,
              0.17477,
              0.28489,
              0.50357,
              0.94304
            ],
            [
              0.069,
              0.08075,
              0.09394,
              0.12112,
              0.17587,
              0.28593,
              0.50487,
              0.94464
            ],
            [
              0.07125,
              0.08299,
              0.09621,
              0.12341,
              0.17811,
              0.2881,
              0.50749,
              0.94646
            ],
            [
              0.07517,
              0.08689,
              0.10012,
              0.12727,
              0.18192,
              0.29187,
              0.51136,
              0.94957
            ],
            [
              0.08133,
              0.09302,
              0.10614,
              0.13324,
              0.18783,
              0.29743,
              0.51727,
              0.95574
            ],
            [
              0.09092,
              0.10256,
              0.1157,
              0.1426,
              0.19709,
              0.30686,
              0.52582,
              0.96549
            ],
            [
              0.1057,
              0.11724,
              0.13037,
              0.15742,
              0.21192,
              0.32123,
              0.54028,
              0.97903
            ],
            [
              0.12974,
              0.14123,
              0.15424,
              0.18116,
              0.23576,
              0.34517,
              0.56385,
              1.00256
            ],
            [
              0.16898,
              0.1803,
              0.19323,
              0.21992,
              0.27445,
              0.38428,
              0.60274,
              1.04117
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.09555,
              0.09946,
              0.1073,
              0.1253,
              0.16325,
              0.24045,
              0.39452,
              0.70491
            ],
            [
              0.09542,
              0.09931,
              0.10714,
              0.12517,
              0.16323,
              0.24028,
              0.39463,
              0.70386
            ],
            [
              0.09531,
              0.09921,
              0.10707,
              0.12502,
              0.16309,
              0.24016,
              0.39454,
              0.70459
            ],
            [
              0.09542,
              0.09931,
              0.10716,
              0.12516,
              0.16315,
              0.24026,
              0.39425,
              0.70506
            ],
            [
              0.09573,
              0.09962,
              0.10745,
              0.12544,
              0.16351,
              0.24024,
              0.39497,
              0.70487
            ],
            [
              0.09641,
              0.10029,
              0.10813,
              0.12612,
              0.16407,
              0.24108,
              0.39509,
              0.70603
            ],
            [
              0.09788,
              0.10175,
              0.10959,
              0.12752,
              0.16544,
              0.2423,
              0.39667,
              0.70587
            ],
            [
              0.10082,
              0.10476,
              0.11257,
              0.13047,
              0.16824,
              0.24504,
              0.39871,
              0.70949
            ],
            [
              0.10605,
              0.11001,
              0.11779,
              0.13553,
              0.1732,
              0.25011,
              0.4037,
              0.71375
            ],
            [
              0.11482,
              0.11872,
              0.12645,
              0.14406,
              0.18169,
              0.25775,
              0.41255,
              0.72177
            ],
            [
              0.12901,
              0.13275,
              0.14038,
              0.15794,
              0.19517,
              0.27122,
              0.42509,
              0.7353
            ],
            [
              0.15299,
              0.15627,
              0.16369,
              0.18095,
              0.21789,
              0.29364,
              0.44645,
              0.75579
            ],
            [
              0.19295,
              0.19563,
              0.20259,
              0.21916,
              0.25563,
              0.33084,
              0.48304,
              0.79154
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.13084,
              0.13924,
              0.15129,
              0.17749,
              0.23207,
              0.34113,
              0.55988,
              0.99995
            ],
            [
              0.13056,
              0.1389,
              0.15092,
              0.17719,
              0.23146,
              0.34092,
              0.56012,
              0.99746
            ],
            [
              0.13031,
              0.13863,
              0.1507,
              0.17696,
              0.23112,
              0.34061,
              0.55947,
              0.99846
            ],
            [
              0.13029,
              0.13862,
              0.15063,
              0.17678,
              0.2313,
              0.34063,
              0.55943,
              0.99779
            ],
            [
              0.13051,
              0.13891,
              0.15085,
              0.17701,
              0.23143,
              0.34069,
              0.55999,
              0.99858
            ],
            [
              0.13138,
              0.13969,
              0.15163,
              0.17785,
              0.23225,
              0.34144,
              0.56063,
              0.99872
            ],
            [
              0.13331,
              0.14154,
              0.15343,
              0.17957,
              0.2341,
              0.34338,
              0.56235,
              1.00214
            ],
            [
              0.13694,
              0.14511,
              0.15695,
              0.18301,
              0.237,
              0.34623,
              0.56541,
              1.00543
            ],
            [
              0.14301,
              0.151,
              0.16274,
              0.18861,
              0.24271,
              0.35183,
              0.57084,
              1.00928
            ],
            [
              0.15296,
              0.1607,
              0.17214,
              0.19775,
              0.25144,
              0.36038,
              0.57907,
              1.01669
            ],
            [
              0.16801,
              0.17535,
              0.18661,
              0.21192,
              0.26507,
              0.37378,
              0.59274,
              1.03065
            ],
            [
              0.19146,
              0.19826,
              0.20909,
              0.23402,
              0.28716,
              0.39503,
              0.61349,
              1.05156
            ],
            [
              0.22872,
              0.23481,
              0.24514,
              0.26921,
              0.32175,
              0.42995,
              0.64676,
              1.08507
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.07188,
              0.0543,
              0.03881,
              0.00984,
              -0.04637,
              -0.15765,
              -0.37965,
              -0.82305
            ],
            [
              0.07178,
              0.05419,
              0.03871,
              0.00972,
              -0.04647,
              -0.15777,
              -0.37976,
              -0.82316
            ],
            [
              0.0717,
              0.05412,
              0.03863,
              0.00965,
              -0.04655,
              -0.15783,
              -0.37983,
              -0.82322
            ],
            [
              0.07169,
              0.05409,
              0.03859,
              0.00959,
              -0.0466,
              -0.15788,
              -0.37987,
              -0.82328
            ],
            [
              0.07177,
              0.05415,
              0.03866,
              0.00966,
              -0.04653,
              -0.15783,
              -0.37981,
              -0.8232
            ],
            [
              0.07204,
              0.05443,
              0.0389,
              0.00986,
              -0.04634,
              -0.1576,
              -0.37958,
              -0.82297
            ],
            [
              0.07299,
              0.05527,
              0.03968,
              0.01059,
              -0.04564,
              -0.15692,
              -0.37889,
              -0.82227
            ],
            [
              0.07538,
              0.05744,
              0.04169,
              0.01242,
              -0.04396,
              -0.15533,
              -0.37734,
              -0.82073
            ],
            [
              0.07996,
              0.06159,
              0.04554,
              0.01591,
              -0.04078,
              -0.15236,
              -0.37447,
              -0.81793
            ],
            [
              0.08688,
              0.06811,
              0.05165,
              0.02154,
              -0.03557,
              -0.14744,
              -0.36976,
              -0.81333
            ],
            [
              0.0969,
              0.07759,
              0.06073,
              0.02999,
              -0.02772,
              -0.14,
              -0.36256,
              -0.80631
            ],
            [
              0.1119,
              0.09202,
              0.07466,
              0.0432,
              -0.01524,
              -0.1282,
              -0.3512,
              -0.79521
            ],
            [
              0.13454,
              0.11399,
              0.09605,
              0.06362,
              0.00413,
              -0.1097,
              -0.3334,
              -0.77788
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.04287,
              0.05504,
              0.06849,
              0.09588,
              0.15096,
              0.26092,
              0.48027,
              0.91929
            ],
            [
              0.04278,
              0.05496,
              0.0684,
              0.09585,
              0.15075,
              0.26051,
              0.47966,
              0.9184
            ],
            [
              0.04269,
              0.05486,
              0.06832,
              0.09575,
              0.15079,
              0.26072,
              0.48031,
              0.9195
            ],
            [
              0.04268,
              0.05486,
              0.06829,
              0.09587,
              0.15068,
              0.26046,
              0.47923,
              0.92032
            ],
            [
              0.04284,
              0.055,
              0.06844,
              0.09584,
              0.15091,
              0.26089,
              0.48036,
              0.91925
            ],
            [
              0.04333,
              0.05546,
              0.06885,
              0.09629,
              0.15117,
              0.26109,
              0.48049,
              0.91963
            ],
            [
              0.04455,
              0.05656,
              0.06987,
              0.09726,
              0.15209,
              0.26175,
              0.48094,
              0.92068
            ],
            [
              0.04701,
              0.0587,
              0.07183,
              0.09886,
              0.15359,
              0.26358,
              0.48211,
              0.9231
            ],
            [
              0.05095,
              0.06216,
              0.07509,
              0.10176,
              0.15616,
              0.26566,
              0.48542,
              0.92478
            ],
            [
              0.05726,
              0.06781,
              0.08055,
              0.10695,
              0.16097,
              0.27009,
              0.48882,
              0.92912
            ],
            [
              0.06701,
              0.07671,
              0.08897,
              0.11515,
              0.16867,
              0.27708,
              0.49578,
              0.93411
            ],
            [
              0.0824,
              0.09098,
              0.10279,
              0.12843,
              0.18144,
              0.28957,
              0.50738,
              0.94492
            ],
            [
              0.10589,
              0.11324,
              0.12436,
              0.14899,
              0.20145,
              0.30888,
              0.52612,
              0.96274
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.07579,
              0.07969,
              0.08724,
              0.10518,
              0.14306,
              0.21982,
              0.37371,
              0.68451
            ],
            [
              0.0757,
              0.07961,
              0.08715,
              0.1051,
              0.14292,
              0.21977,
              0.37397,
              0.68288
            ],
            [
              0.0756,
              0.07951,
              0.08706,
              0.10498,
              0.14285,
              0.21963,
              0.37395,
              0.68429
            ],
            [
              0.07563,
              0.07954,
              0.08707,
              0.10497,
              0.1429,
              0.21975,
              0.37388,
              0.68419
            ],
            [
              0.07571,
              0.07962,
              0.08715,
              0.10506,
              0.14291,
              0.2198,
              0.37405,
              0.68367
            ],
            [
              0.07606,
              0.07996,
              0.08744,
              0.1053,
              0.14312,
              0.22015,
              0.37437,
              0.68363
            ],
            [
              0.07708,
              0.08093,
              0.08834,
              0.10607,
              0.14382,
              0.22056,
              0.37501,
              0.68334
            ],
            [
              0.07932,
              0.08286,
              0.09008,
              0.10761,
              0.14507,
              0.22168,
              0.37605,
              0.68503
            ],
            [
              0.08299,
              0.08609,
              0.0931,
              0.11032,
              0.14744,
              0.22406,
              0.37796,
              0.68691
            ],
            [
              0.089,
              0.09145,
              0.09811,
              0.11491,
              0.15164,
              0.22796,
              0.38124,
              0.69005
            ],
            [
              0.09813,
              0.09974,
              0.10599,
              0.12237,
              0.1585,
              0.23408,
              0.38693,
              0.69744
            ],
            [
              0.1126,
              0.11316,
              0.11884,
              0.13458,
              0.17019,
              0.24494,
              0.39779,
              0.70613
            ],
            [
              0.13516,
              0.13451,
              0.13941,
              0.15423,
              0.18894,
              0.26305,
              0.41431,
              0.72202
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.09609,
              0.10455,
              0.11634,
              0.14208,
              0.19613,
              0.30501,
              0.52419,
              0.96301
            ],
            [
              0.09597,
              0.10451,
              0.11622,
              0.14201,
              0.1959,
              0.30481,
              0.52396,
              0.96295
            ],
            [
              0.09593,
              0.10446,
              0.11624,
              0.14195,
              0.19595,
              0.30477,
              0.52401,
              0.96208
            ],
            [
              0.0959,
              0.10437,
              0.11617,
              0.1419,
              0.19596,
              0.30491,
              0.524,
              0.96219
            ],
            [
              0.09599,
              0.10445,
              0.11618,
              0.14195,
              0.19591,
              0.30486,
              0.52335,
              0.96326
            ],
            [
              0.09626,
              0.10467,
              0.11652,
              0.14215,
              0.19615,
              0.30509,
              0.52428,
              0.96224
            ],
            [
              0.09705,
              0.10552,
              0.1171,
              0.14298,
              0.19659,
              0.30588,
              0.52435,
              0.96289
            ],
            [
              0.09934,
              0.10757,
              0.11906,
              0.14463,
              0.19824,
              0.30701,
              0.52507,
              0.96382
            ],
            [
              0.10381,
              0.1115,
              0.1227,
              0.14791,
              0.20122,
              0.30987,
              0.52796,
              0.96683
            ],
            [
              0.11055,
              0.11791,
              0.12867,
              0.15325,
              0.20615,
              0.31433,
              0.53158,
              0.97047
            ],
            [
              0.12047,
              0.12712,
              0.13749,
              0.16155,
              0.21367,
              0.3212,
              0.53889,
              0.97772
            ],
            [
              0.13517,
              0.14108,
              0.15083,
              0.17426,
              0.22562,
              0.33237,
              0.54955,
              0.98788
            ],
            [
              0.15729,
              0.16238,
              0.17147,
              0.19384,
              0.24434,
              0.35064,
              0.56621,
              1.00479
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.30955,
    "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.22325,
              0.24921,
              0.26806,
              0.2992,
              0.35123,
              0.44159,
              0.60925,
              0.93805
            ],
            [
              0.22521,
              0.25117,
              0.27002,
              0.30116,
              0.35318,
              0.44358,
              0.61123,
              0.93922
            ],
            [
              0.22779,
              0.25374,
              0.27259,
              0.30373,
              0.35576,
              0.44613,
              0.61367,
              0.94223
            ],
            [
              0.23189,
              0.25783,
              0.2767,
              0.30783,
              0.35985,
              0.45021,
              0.61787,
              0.94668
            ],
            [
              0.23803,
              0.26398,
              0.28283,
              0.31397,
              0.36598,
              0.45638,
              0.62401,
              0.95251
            ],
            [
              0.24664,
              0.27257,
              0.2914,
              0.32253,
              0.37454,
              0.4649,
              0.63248,
              0.96132
            ],
            [
              0.25823,
              0.28407,
              0.30288,
              0.33397,
              0.38595,
              0.47632,
              0.64397,
              0.97203
            ],
            [
              0.27364,
              0.29933,
              0.31807,
              0.3491,
              0.40103,
              0.49133,
              0.65892,
              0.98806
            ],
            [
              0.29364,
              0.31908,
              0.33771,
              0.36864,
              0.4205,
              0.51077,
              0.67823,
              1.00655
            ],
            [
              0.31822,
              0.34341,
              0.36193,
              0.39276,
              0.4445,
              0.53467,
              0.70229,
              1.03059
            ],
            [
              0.34835,
              0.37337,
              0.39182,
              0.42257,
              0.47422,
              0.56432,
              0.73172,
              1.06022
            ],
            [
              0.38587,
              0.41077,
              0.42917,
              0.45987,
              0.51137,
              0.60137,
              0.76877,
              1.09687
            ],
            [
              0.4339,
              0.4588,
              0.4771,
              0.5077,
              0.559,
              0.6488,
              0.816,
              1.1441
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.19852,
              0.22404,
              0.24337,
              0.27713,
              0.33989,
              0.4628,
              0.70759,
              1.19737
            ],
            [
              0.20023,
              0.22575,
              0.24508,
              0.27884,
              0.34159,
              0.46459,
              0.7092,
              1.19864
            ],
            [
              0.20239,
              0.22791,
              0.24724,
              0.281,
              0.34375,
              0.46666,
              0.71146,
              1.20122
            ],
            [
              0.20564,
              0.23115,
              0.25046,
              0.28421,
              0.34695,
              0.46974,
              0.71473,
              1.20488
            ],
            [
              0.21024,
              0.23576,
              0.25509,
              0.28884,
              0.35157,
              0.47458,
              0.71935,
              1.20941
            ],
            [
              0.21598,
              0.24148,
              0.2608,
              0.29454,
              0.35725,
              0.48013,
              0.72506,
              1.21492
            ],
            [
              0.22288,
              0.24835,
              0.26766,
              0.3014,
              0.36412,
              0.48704,
              0.73244,
              1.22183
            ],
            [
              0.23081,
              0.25625,
              0.27555,
              0.30932,
              0.3721,
              0.49505,
              0.7398,
              1.22956
            ],
            [
              0.2395,
              0.26484,
              0.28412,
              0.31786,
              0.38064,
              0.50358,
              0.74864,
              1.23705
            ],
            [
              0.24824,
              0.27353,
              0.29278,
              0.3265,
              0.38914,
              0.51209,
              0.75689,
              1.24699
            ],
            [
              0.2557,
              0.28089,
              0.30009,
              0.33378,
              0.39653,
              0.51942,
              0.76402,
              1.25292
            ],
            [
              0.25987,
              0.28507,
              0.30417,
              0.33787,
              0.40057,
              0.52367,
              0.76797,
              1.25687
            ],
            [
              0.2586,
              0.2837,
              0.3028,
              0.3364,
              0.3991,
              0.522,
              0.7668,
              1.2554
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02927,
              0.04897,
              0.06463,
              0.09289,
              0.14594,
              0.24958,
              0.46311,
              0.90306
            ],
            [
              0.02925,
              0.04904,
              0.06456,
              0.09287,
              0.14587,
              0.2494,
              0.46252,
              0.9022
            ],
            [
              0.02926,
              0.04897,
              0.06457,
              0.09289,
              0.14585,
              0.24959,
              0.46297,
              0.90288
            ],
            [
              0.02927,
              0.04896,
              0.06462,
              0.09288,
              0.14594,
              0.24957,
              0.46312,
              0.90314
            ],
            [
              0.02925,
              0.04896,
              0.06454,
              0.09287,
              0.14583,
              0.24932,
              0.46232,
              0.90236
            ],
            [
              0.02922,
              0.0489,
              0.06456,
              0.09284,
              0.14585,
              0.24957,
              0.46302,
              0.90311
            ],
            [
              0.0291,
              0.04875,
              0.06436,
              0.09273,
              0.14569,
              0.24932,
              0.4626,
              0.90165
            ],
            [
              0.02887,
              0.0485,
              0.06413,
              0.0925,
              0.14566,
              0.24941,
              0.463,
              0.90307
            ],
            [
              0.0286,
              0.04813,
              0.06378,
              0.09232,
              0.14526,
              0.24925,
              0.46269,
              0.90241
            ],
            [
              0.02835,
              0.04777,
              0.06337,
              0.09199,
              0.14509,
              0.24904,
              0.46261,
              0.90278
            ],
            [
              0.02806,
              0.04744,
              0.06307,
              0.09164,
              0.14486,
              0.2483,
              0.462,
              0.9035
            ],
            [
              0.0279,
              0.0471,
              0.0628,
              0.0911,
              0.1444,
              0.2484,
              0.4615,
              0.901
            ],
            [
              0.0275,
              0.0468,
              0.0624,
              0.0909,
              0.1439,
              0.2478,
              0.4617,
              0.9008
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02193,
              0.04653,
              0.06799,
              0.11082,
              0.1998,
              0.38383,
              0.75606,
              1.49907
            ],
            [
              0.02198,
              0.04656,
              0.06795,
              0.11079,
              0.19984,
              0.38385,
              0.75411,
              1.50051
            ],
            [
              0.02193,
              0.04654,
              0.06799,
              0.11081,
              0.19979,
              0.38383,
              0.75605,
              1.49915
            ],
            [
              0.02194,
              0.04663,
              0.06809,
              0.11073,
              0.19986,
              0.38331,
              0.75583,
              1.49941
            ],
            [
              0.02195,
              0.04659,
              0.06799,
              0.1107,
              0.19989,
              0.3835,
              0.75558,
              1.49911
            ],
            [
              0.02187,
              0.04657,
              0.06804,
              0.11066,
              0.19989,
              0.3842,
              0.75574,
              1.5006
            ],
            [
              0.02178,
              0.04648,
              0.06796,
              0.11064,
              0.19986,
              0.38401,
              0.75577,
              1.50173
            ],
            [
              0.02162,
              0.04628,
              0.06776,
              0.11066,
              0.19971,
              0.38347,
              0.75572,
              1.50076
            ],
            [
              0.02144,
              0.04605,
              0.06766,
              0.11053,
              0.19973,
              0.38419,
              0.75423,
              1.49935
            ],
            [
              0.0212,
              0.0459,
              0.06745,
              0.11039,
              0.19932,
              0.38331,
              0.75466,
              1.4989
            ],
            [
              0.021,
              0.04579,
              0.06733,
              0.11022,
              0.19969,
              0.38345,
              0.7547,
              1.5005
            ],
            [
              0.0209,
              0.0456,
              0.0672,
              0.1102,
              0.1993,
              0.3839,
              0.7554,
              1.4982
            ],
            [
              0.0208,
              0.0455,
              0.0671,
              0.1101,
              0.1993,
              0.3832,
              0.7553,
              1.4996
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.19701,
              0.22169,
              0.23995,
              0.27009,
              0.32001,
              0.40738,
              0.5729,
              0.90129
            ],
            [
              0.19872,
              0.22341,
              0.24166,
              0.2718,
              0.32173,
              0.40909,
              0.57461,
              0.90296
            ],
            [
              0.20086,
              0.22555,
              0.2438,
              0.27394,
              0.32386,
              0.41126,
              0.57677,
              0.90519
            ],
            [
              0.20414,
              0.22884,
              0.2471,
              0.27722,
              0.32715,
              0.4145,
              0.58003,
              0.90838
            ],
            [
              0.20907,
              0.23377,
              0.25203,
              0.28216,
              0.33209,
              0.41944,
              0.58495,
              0.91331
            ],
            [
              0.21597,
              0.24071,
              0.25898,
              0.28912,
              0.33903,
              0.42641,
              0.59187,
              0.92021
            ],
            [
              0.22495,
              0.24977,
              0.26806,
              0.29819,
              0.34809,
              0.43547,
              0.60087,
              0.92933
            ],
            [
              0.23574,
              0.26069,
              0.279,
              0.30914,
              0.35901,
              0.44634,
              0.6119,
              0.94046
            ],
            [
              0.24772,
              0.27285,
              0.29121,
              0.32135,
              0.37124,
              0.45861,
              0.62399,
              0.95215
            ],
            [
              0.2603,
              0.28564,
              0.30403,
              0.33421,
              0.38408,
              0.47144,
              0.63689,
              0.96549
            ],
            [
              0.27266,
              0.29828,
              0.31675,
              0.34697,
              0.39692,
              0.48432,
              0.64972,
              0.97792
            ],
            [
              0.28297,
              0.30897,
              0.32757,
              0.35797,
              0.40797,
              0.49547,
              0.66107,
              0.98927
            ],
            [
              0.2883,
              0.3148,
              0.3336,
              0.3642,
              0.4145,
              0.5022,
              0.6679,
              0.9959
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.19469,
              0.22032,
              0.24015,
              0.27494,
              0.33884,
              0.46195,
              0.70652,
              1.19537
            ],
            [
              0.19673,
              0.22237,
              0.24219,
              0.27698,
              0.34089,
              0.46401,
              0.70856,
              1.19734
            ],
            [
              0.19933,
              0.22496,
              0.24478,
              0.27957,
              0.34345,
              0.46658,
              0.71116,
              1.19982
            ],
            [
              0.20339,
              0.22903,
              0.24885,
              0.28364,
              0.34753,
              0.47065,
              0.71522,
              1.20398
            ],
            [
              0.20967,
              0.23531,
              0.25513,
              0.28992,
              0.35383,
              0.47694,
              0.72147,
              1.21041
            ],
            [
              0.21912,
              0.24477,
              0.2646,
              0.29939,
              0.36329,
              0.48641,
              0.73097,
              1.21972
            ],
            [
              0.23283,
              0.25851,
              0.27835,
              0.31316,
              0.37703,
              0.50016,
              0.7447,
              1.23353
            ],
            [
              0.25176,
              0.2775,
              0.29736,
              0.33218,
              0.39601,
              0.51913,
              0.76366,
              1.25266
            ],
            [
              0.27617,
              0.302,
              0.32191,
              0.35675,
              0.42057,
              0.54365,
              0.78825,
              1.27705
            ],
            [
              0.30654,
              0.33259,
              0.35255,
              0.3874,
              0.45121,
              0.57429,
              0.81879,
              1.30759
            ],
            [
              0.34529,
              0.37167,
              0.39173,
              0.4266,
              0.49032,
              0.61332,
              0.85792,
              1.34682
            ],
            [
              0.39557,
              0.42247,
              0.44267,
              0.47757,
              0.54127,
              0.66427,
              0.90867,
              1.39757
            ],
            [
              0.4615,
              0.4887,
              0.5092,
              0.5442,
              0.6078,
              0.7307,
              0.9751,
              1.4635
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0259,
              0.04542,
              0.06088,
              0.08833,
              0.13938,
              0.24255,
              0.4585,
              0.90146
            ],
            [
              0.0259,
              0.04542,
              0.06088,
              0.08833,
              0.1394,
              0.24256,
              0.4585,
              0.90225
            ],
            [
              0.0259,
              0.04544,
              0.06088,
              0.08831,
              0.13935,
              0.24241,
              0.45826,
              0.90165
            ],
            [
              0.0259,
              0.04543,
              0.06088,
              0.08834,
              0.13941,
              0.24258,
              0.45855,
              0.90226
            ],
            [
              0.0259,
              0.04543,
              0.06089,
              0.08833,
              0.1394,
              0.24256,
              0.45858,
              0.90216
            ],
            [
              0.02589,
              0.04548,
              0.06093,
              0.08833,
              0.13933,
              0.24248,
              0.45864,
              0.90175
            ],
            [
              0.02593,
              0.04558,
              0.06099,
              0.08841,
              0.13946,
              0.24248,
              0.4585,
              0.90219
            ],
            [
              0.02604,
              0.04574,
              0.06114,
              0.08844,
              0.13944,
              0.24259,
              0.45847,
              0.90209
            ],
            [
              0.02636,
              0.04605,
              0.06138,
              0.08866,
              0.1396,
              0.24259,
              0.45856,
              0.90166
            ],
            [
              0.02689,
              0.04646,
              0.0617,
              0.08883,
              0.13958,
              0.24271,
              0.4587,
              0.90197
            ],
            [
              0.0279,
              0.04721,
              0.06231,
              0.08936,
              0.14003,
              0.24258,
              0.45768,
              0.9004
            ],
            [
              0.0297,
              0.0485,
              0.0634,
              0.0902,
              0.1407,
              0.2434,
              0.4576,
              0.9017
            ],
            [
              0.0323,
              0.0505,
              0.065,
              0.0916,
              0.1418,
              0.2441,
              0.459,
              0.8995
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02117,
              0.04673,
              0.06906,
              0.11259,
              0.20135,
              0.38396,
              0.75406,
              1.49711
            ],
            [
              0.02118,
              0.04675,
              0.06906,
              0.1126,
              0.20132,
              0.38394,
              0.75349,
              1.49644
            ],
            [
              0.02116,
              0.04676,
              0.06904,
              0.11269,
              0.20138,
              0.38428,
              0.75408,
              1.49809
            ],
            [
              0.02118,
              0.04674,
              0.06906,
              0.11263,
              0.20138,
              0.38421,
              0.75406,
              1.49717
            ],
            [
              0.02119,
              0.04677,
              0.06906,
              0.11261,
              0.20133,
              0.38383,
              0.75453,
              1.49763
            ],
            [
              0.02123,
              0.04678,
              0.0691,
              0.11264,
              0.20142,
              0.38436,
              0.75395,
              1.49701
            ],
            [
              0.02135,
              0.0469,
              0.06917,
              0.11272,
              0.20145,
              0.38391,
              0.75402,
              1.49708
            ],
            [
              0.02161,
              0.04706,
              0.06938,
              0.11285,
              0.20134,
              0.38372,
              0.75396,
              1.49756
            ],
            [
              0.02213,
              0.04749,
              0.06977,
              0.11307,
              0.20177,
              0.38445,
              0.75435,
              1.49738
            ],
            [
              0.02282,
              0.04807,
              0.07019,
              0.11352,
              0.20173,
              0.38453,
              0.7542,
              1.498
            ],
            [
              0.02359,
              0.0488,
              0.07088,
              0.11396,
              0.20209,
              0.3844,
              0.7537,
              1.4983
            ],
            [
              0.0251,
              0.05,
              0.0719,
              0.1148,
              0.2025,
              0.3843,
              0.7542,
              1.4986
            ],
            [
              0.0282,
              0.0523,
              0.0739,
              0.1161,
              0.2032,
              0.3848,
              0.754,
              1.4975
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.19976,
              0.22557,
              0.24448,
              0.27573,
              0.32771,
              0.41795,
              0.58546,
              0.91425
            ],
            [
              0.20148,
              0.22729,
              0.24619,
              0.27745,
              0.32942,
              0.41968,
              0.58731,
              0.91618
            ],
            [
              0.20363,
              0.22944,
              0.24834,
              0.2796,
              0.33157,
              0.42182,
              0.58945,
              0.91833
            ],
            [
              0.20692,
              0.23273,
              0.25165,
              0.28288,
              0.33487,
              0.42512,
              0.59262,
              0.92141
            ],
            [
              0.21186,
              0.23768,
              0.25658,
              0.28784,
              0.33981,
              0.43007,
              0.59771,
              0.92649
            ],
            [
              0.21875,
              0.2446,
              0.26352,
              0.29478,
              0.34676,
              0.43702,
              0.60454,
              0.93342
            ],
            [
              0.22787,
              0.25378,
              0.27271,
              0.30399,
              0.35598,
              0.44624,
              0.61388,
              0.94253
            ],
            [
              0.23907,
              0.26504,
              0.28398,
              0.31528,
              0.3673,
              0.45758,
              0.62526,
              0.95396
            ],
            [
              0.25169,
              0.27774,
              0.29673,
              0.32806,
              0.38013,
              0.47046,
              0.63798,
              0.96665
            ],
            [
              0.26513,
              0.29119,
              0.31021,
              0.3416,
              0.3937,
              0.48412,
              0.65179,
              0.98029
            ],
            [
              0.27857,
              0.30464,
              0.3237,
              0.35516,
              0.4074,
              0.49782,
              0.66542,
              0.99432
            ],
            [
              0.29027,
              0.31627,
              0.33547,
              0.36707,
              0.41947,
              0.51007,
              0.67787,
              1.00637
            ],
            [
              0.2971,
              0.3234,
              0.3426,
              0.3744,
              0.427,
              0.5179,
              0.6858,
              1.0145
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.19069,
              0.21628,
              0.23583,
              0.26991,
              0.33296,
              0.45594,
              0.70044,
              1.18927
            ],
            [
              0.19271,
              0.21831,
              0.23786,
              0.27194,
              0.33499,
              0.45796,
              0.70248,
              1.19104
            ],
            [
              0.19527,
              0.22087,
              0.24042,
              0.2745,
              0.33755,
              0.46048,
              0.70502,
              1.19392
            ],
            [
              0.19929,
              0.2249,
              0.24444,
              0.27853,
              0.34157,
              0.46455,
              0.70905,
              1.19788
            ],
            [
              0.20547,
              0.23107,
              0.25062,
              0.28469,
              0.34773,
              0.47072,
              0.71523,
              1.20411
            ],
            [
              0.21466,
              0.24026,
              0.25981,
              0.29389,
              0.35694,
              0.47988,
              0.72442,
              1.21322
            ],
            [
              0.22774,
              0.25336,
              0.27291,
              0.30698,
              0.37001,
              0.49297,
              0.7375,
              1.22633
            ],
            [
              0.24554,
              0.2712,
              0.29075,
              0.32482,
              0.38783,
              0.5107,
              0.75529,
              1.24406
            ],
            [
              0.26856,
              0.29433,
              0.3139,
              0.34797,
              0.41097,
              0.53387,
              0.77835,
              1.26725
            ],
            [
              0.29727,
              0.32327,
              0.34292,
              0.37704,
              0.44006,
              0.56284,
              0.80729,
              1.29599
            ],
            [
              0.33382,
              0.36015,
              0.37992,
              0.41411,
              0.47712,
              0.59982,
              0.84422,
              1.33312
            ],
            [
              0.38067,
              0.40757,
              0.42757,
              0.46187,
              0.52487,
              0.64757,
              0.89187,
              1.38037
            ],
            [
              0.4406,
              0.4685,
              0.489,
              0.5236,
              0.5865,
              0.7091,
              0.9534,
              1.4419
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0271,
              0.04732,
              0.06329,
              0.09191,
              0.14479,
              0.24863,
              0.46256,
              0.90334
            ],
            [
              0.02711,
              0.04729,
              0.06328,
              0.09189,
              0.14481,
              0.24866,
              0.462,
              0.9036
            ],
            [
              0.02711,
              0.0473,
              0.06328,
              0.09188,
              0.14482,
              0.24871,
              0.46202,
              0.90344
            ],
            [
              0.02711,
              0.04733,
              0.06329,
              0.09191,
              0.14479,
              0.24863,
              0.46257,
              0.90338
            ],
            [
              0.02713,
              0.0473,
              0.06329,
              0.09191,
              0.14473,
              0.24847,
              0.46199,
              0.90321
            ],
            [
              0.02723,
              0.04736,
              0.06332,
              0.09193,
              0.14472,
              0.24861,
              0.46265,
              0.90323
            ],
            [
              0.02741,
              0.04744,
              0.06341,
              0.09196,
              0.14481,
              0.2487,
              0.46213,
              0.90328
            ],
            [
              0.02773,
              0.04764,
              0.06353,
              0.09206,
              0.14495,
              0.24881,
              0.46207,
              0.90198
            ],
            [
              0.0283,
              0.04799,
              0.06383,
              0.09236,
              0.14519,
              0.24879,
              0.46267,
              0.90162
            ],
            [
              0.02903,
              0.04839,
              0.06413,
              0.09249,
              0.14541,
              0.24894,
              0.46305,
              0.90292
            ],
            [
              0.03011,
              0.04919,
              0.06479,
              0.09314,
              0.14587,
              0.2492,
              0.4627,
              0.9036
            ],
            [
              0.0317,
              0.0505,
              0.0658,
              0.094,
              0.1466,
              0.25,
              0.4622,
              0.9037
            ],
            [
              0.0339,
              0.0525,
              0.0675,
              0.0954,
              0.1476,
              0.2508,
              0.4638,
              0.9015
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02124,
              0.04656,
              0.06834,
              0.1111,
              0.20001,
              0.38312,
              0.7539,
              1.49609
            ],
            [
              0.02123,
              0.04656,
              0.06831,
              0.11111,
              0.19989,
              0.38303,
              0.75444,
              1.4962
            ],
            [
              0.02124,
              0.04656,
              0.06826,
              0.1111,
              0.19993,
              0.38297,
              0.75395,
              1.49669
            ],
            [
              0.02124,
              0.04655,
              0.06834,
              0.11107,
              0.20004,
              0.38323,
              0.75389,
              1.49659
            ],
            [
              0.02125,
              0.04655,
              0.06834,
              0.11108,
              0.20004,
              0.38332,
              0.75395,
              1.49646
            ],
            [
              0.02127,
              0.04659,
              0.06826,
              0.11111,
              0.19993,
              0.38294,
              0.75407,
              1.49631
            ],
            [
              0.02135,
              0.04665,
              0.06838,
              0.11115,
              0.19992,
              0.38305,
              0.7539,
              1.49581
            ],
            [
              0.02159,
              0.04678,
              0.06847,
              0.1112,
              0.2,
              0.38314,
              0.75352,
              1.49805
            ],
            [
              0.0222,
              0.04728,
              0.06885,
              0.11156,
              0.20007,
              0.38371,
              0.75332,
              1.49676
            ],
            [
              0.02308,
              0.04799,
              0.06948,
              0.11201,
              0.20048,
              0.38302,
              0.7546,
              1.5
            ],
            [
              0.0243,
              0.04901,
              0.07036,
              0.11255,
              0.20075,
              0.38346,
              0.7535,
              1.497
            ],
            [
              0.026,
              0.0506,
              0.0717,
              0.1135,
              0.2012,
              0.3836,
              0.7542,
              1.4964
            ],
            [
              0.0286,
              0.0532,
              0.074,
              0.1151,
              0.2019,
              0.3839,
              0.7543,
              1.4995
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.20962,
              0.23413,
              0.25193,
              0.28139,
              0.33075,
              0.41797,
              0.58351,
              0.91203
            ],
            [
              0.21161,
              0.23612,
              0.25392,
              0.28337,
              0.33274,
              0.41997,
              0.58548,
              0.91412
            ],
            [
              0.21417,
              0.23868,
              0.25648,
              0.28593,
              0.3353,
              0.42256,
              0.58818,
              0.91679
            ],
            [
              0.21824,
              0.24275,
              0.26055,
              0.29001,
              0.33937,
              0.42662,
              0.59235,
              0.92092
            ],
            [
              0.22436,
              0.24887,
              0.26667,
              0.29612,
              0.34549,
              0.43274,
              0.59845,
              0.92704
            ],
            [
              0.23299,
              0.25748,
              0.27527,
              0.30471,
              0.35407,
              0.44134,
              0.60701,
              0.93552
            ],
            [
              0.24459,
              0.26903,
              0.28681,
              0.31623,
              0.36557,
              0.45276,
              0.61839,
              0.94693
            ],
            [
              0.25996,
              0.28429,
              0.30202,
              0.33139,
              0.3807,
              0.46787,
              0.63346,
              0.96196
            ],
            [
              0.27976,
              0.30389,
              0.32154,
              0.35084,
              0.40009,
              0.48721,
              0.65277,
              0.98135
            ],
            [
              0.30426,
              0.32823,
              0.3458,
              0.37502,
              0.42417,
              0.51123,
              0.67699,
              1.00529
            ],
            [
              0.33476,
              0.35861,
              0.37614,
              0.4053,
              0.45442,
              0.54142,
              0.70672,
              1.03492
            ],
            [
              0.37317,
              0.39697,
              0.41447,
              0.44357,
              0.49267,
              0.57947,
              0.74507,
              1.07337
            ],
            [
              0.4225,
              0.4463,
              0.4638,
              0.4929,
              0.5419,
              0.6286,
              0.7937,
              1.1222
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.19187,
              0.21765,
              0.23744,
              0.27194,
              0.33494,
              0.45661,
              0.69796,
              1.18127
            ],
            [
              0.19358,
              0.21936,
              0.23916,
              0.27368,
              0.33668,
              0.45822,
              0.6999,
              1.18364
            ],
            [
              0.19574,
              0.22152,
              0.24132,
              0.27584,
              0.33886,
              0.46044,
              0.70186,
              1.18482
            ],
            [
              0.199,
              0.22479,
              0.24457,
              0.27909,
              0.34209,
              0.46375,
              0.70503,
              1.18807
            ],
            [
              0.20358,
              0.22935,
              0.24914,
              0.28364,
              0.34662,
              0.4683,
              0.70973,
              1.19301
            ],
            [
              0.20919,
              0.23495,
              0.25475,
              0.28928,
              0.35229,
              0.47385,
              0.71534,
              1.19762
            ],
            [
              0.21586,
              0.24161,
              0.26139,
              0.29592,
              0.35896,
              0.48061,
              0.72237,
              1.20533
            ],
            [
              0.2237,
              0.24941,
              0.26919,
              0.3037,
              0.36667,
              0.48827,
              0.72989,
              1.21316
            ],
            [
              0.23242,
              0.25803,
              0.27778,
              0.31229,
              0.37531,
              0.49682,
              0.73858,
              1.22245
            ],
            [
              0.24123,
              0.26676,
              0.28645,
              0.32089,
              0.3838,
              0.50549,
              0.74709,
              1.23009
            ],
            [
              0.24883,
              0.27421,
              0.29386,
              0.3282,
              0.39116,
              0.51272,
              0.75382,
              1.23792
            ],
            [
              0.25327,
              0.27847,
              0.29797,
              0.33227,
              0.39517,
              0.51657,
              0.75807,
              1.24057
            ],
            [
              0.252,
              0.2773,
              0.2967,
              0.3309,
              0.3935,
              0.5151,
              0.7566,
              1.239
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0261,
              0.04477,
              0.05971,
              0.08703,
              0.13845,
              0.24241,
              0.45829,
              0.9012
            ],
            [
              0.02609,
              0.04476,
              0.05971,
              0.08702,
              0.13842,
              0.2424,
              0.45843,
              0.90149
            ],
            [
              0.0261,
              0.04477,
              0.0597,
              0.08699,
              0.13842,
              0.24228,
              0.4588,
              0.90201
            ],
            [
              0.02611,
              0.04475,
              0.05966,
              0.08688,
              0.13851,
              0.24226,
              0.45846,
              0.90258
            ],
            [
              0.0261,
              0.04474,
              0.05966,
              0.08688,
              0.13851,
              0.24225,
              0.45847,
              0.9026
            ],
            [
              0.02607,
              0.04472,
              0.05962,
              0.08688,
              0.13839,
              0.24214,
              0.45883,
              0.90216
            ],
            [
              0.02602,
              0.04464,
              0.05962,
              0.08678,
              0.13842,
              0.24235,
              0.45802,
              0.90157
            ],
            [
              0.02586,
              0.04447,
              0.05947,
              0.08667,
              0.13827,
              0.24231,
              0.45858,
              0.90211
            ],
            [
              0.02566,
              0.04423,
              0.05914,
              0.08638,
              0.13813,
              0.2422,
              0.4585,
              0.90127
            ],
            [
              0.02551,
              0.044,
              0.05894,
              0.08622,
              0.13782,
              0.24199,
              0.45856,
              0.901
            ],
            [
              0.02534,
              0.04376,
              0.05868,
              0.08602,
              0.1376,
              0.24131,
              0.4582,
              0.9015
            ],
            [
              0.0253,
              0.0436,
              0.0586,
              0.0859,
              0.1374,
              0.2416,
              0.4574,
              0.9006
            ],
            [
              0.0253,
              0.0436,
              0.0585,
              0.0857,
              0.1371,
              0.241,
              0.4575,
              0.8995
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0224,
              0.04751,
              0.06962,
              0.11235,
              0.20021,
              0.3805,
              0.747,
              1.48779
            ],
            [
              0.02243,
              0.04746,
              0.06947,
              0.1124,
              0.2,
              0.38069,
              0.74636,
              1.48378
            ],
            [
              0.02245,
              0.04746,
              0.06955,
              0.11243,
              0.19984,
              0.3808,
              0.74857,
              1.48469
            ],
            [
              0.0224,
              0.04754,
              0.06963,
              0.11236,
              0.20012,
              0.38052,
              0.74696,
              1.48377
            ],
            [
              0.02239,
              0.04749,
              0.06959,
              0.11231,
              0.20025,
              0.38045,
              0.74935,
              1.48762
            ],
            [
              0.02236,
              0.04739,
              0.06947,
              0.11238,
              0.19993,
              0.38074,
              0.74684,
              1.48631
            ],
            [
              0.02221,
              0.04738,
              0.06951,
              0.11231,
              0.19979,
              0.38066,
              0.74783,
              1.48234
            ],
            [
              0.02202,
              0.04716,
              0.06929,
              0.1122,
              0.20017,
              0.38018,
              0.74892,
              1.48785
            ],
            [
              0.02176,
              0.04691,
              0.06916,
              0.1121,
              0.19966,
              0.3803,
              0.74695,
              1.48395
            ],
            [
              0.02144,
              0.04672,
              0.06892,
              0.11183,
              0.19956,
              0.38023,
              0.74762,
              1.48547
            ],
            [
              0.02111,
              0.04637,
              0.06854,
              0.11161,
              0.19934,
              0.38058,
              0.7484,
              1.4854
            ],
            [
              0.0209,
              0.046,
              0.0683,
              0.1112,
              0.1993,
              0.3801,
              0.7477,
              1.4857
            ],
            [
              0.021,
              0.0462,
              0.0681,
              0.1113,
              0.1994,
              0.3803,
              0.7487,
              1.4842
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.19618,
              0.22198,
              0.24077,
              0.27184,
              0.3238,
              0.41415,
              0.58171,
              0.91045
            ],
            [
              0.19768,
              0.22349,
              0.24228,
              0.27337,
              0.32533,
              0.41569,
              0.58333,
              0.91162
            ],
            [
              0.1998,
              0.22563,
              0.24443,
              0.27553,
              0.32749,
              0.41785,
              0.5855,
              0.91367
            ],
            [
              0.20338,
              0.22923,
              0.24804,
              0.27914,
              0.33111,
              0.42146,
              0.58908,
              0.91758
            ],
            [
              0.2092,
              0.23508,
              0.2539,
              0.28502,
              0.337,
              0.42736,
              0.59502,
              0.9231
            ],
            [
              0.21811,
              0.24401,
              0.26285,
              0.29398,
              0.34597,
              0.43632,
              0.60399,
              0.93242
            ],
            [
              0.23093,
              0.25683,
              0.27566,
              0.30678,
              0.35877,
              0.44915,
              0.61672,
              0.94523
            ],
            [
              0.24814,
              0.27396,
              0.29275,
              0.32383,
              0.37581,
              0.46615,
              0.63361,
              0.96286
            ],
            [
              0.26909,
              0.29464,
              0.31331,
              0.34429,
              0.39617,
              0.48647,
              0.65404,
              0.98215
            ],
            [
              0.29434,
              0.3198,
              0.33843,
              0.36936,
              0.42115,
              0.51133,
              0.67879,
              1.00719
            ],
            [
              0.326,
              0.35131,
              0.36987,
              0.40074,
              0.45252,
              0.54272,
              0.71002,
              1.03832
            ],
            [
              0.36597,
              0.39117,
              0.40967,
              0.44047,
              0.49217,
              0.58237,
              0.74987,
              1.07807
            ],
            [
              0.4169,
              0.442,
              0.4605,
              0.4913,
              0.543,
              0.6331,
              0.8006,
              1.129
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.16152,
              0.18695,
              0.20627,
              0.24005,
              0.30284,
              0.42578,
              0.67055,
              1.16077
            ],
            [
              0.16343,
              0.18888,
              0.2082,
              0.24198,
              0.30477,
              0.42753,
              0.67223,
              1.16144
            ],
            [
              0.16582,
              0.19127,
              0.21059,
              0.24437,
              0.30716,
              0.42993,
              0.67469,
              1.16432
            ],
            [
              0.16953,
              0.19498,
              0.2143,
              0.24805,
              0.31083,
              0.43387,
              0.67866,
              1.16807
            ],
            [
              0.17521,
              0.20067,
              0.21999,
              0.25377,
              0.31655,
              0.43925,
              0.68433,
              1.17341
            ],
            [
              0.18356,
              0.20901,
              0.22834,
              0.26212,
              0.3249,
              0.44767,
              0.69252,
              1.18272
            ],
            [
              0.19518,
              0.22065,
              0.23998,
              0.27374,
              0.33652,
              0.45926,
              0.70415,
              1.19443
            ],
            [
              0.21111,
              0.23659,
              0.25589,
              0.28961,
              0.35236,
              0.47523,
              0.72002,
              1.20956
            ],
            [
              0.22805,
              0.25349,
              0.27274,
              0.30639,
              0.36897,
              0.49164,
              0.73666,
              1.22675
            ],
            [
              0.24429,
              0.26981,
              0.2891,
              0.32272,
              0.38517,
              0.50797,
              0.75269,
              1.24319
            ],
            [
              0.26045,
              0.28605,
              0.30534,
              0.33895,
              0.4014,
              0.52402,
              0.76842,
              1.25742
            ],
            [
              0.27687,
              0.30257,
              0.32187,
              0.35547,
              0.41767,
              0.54027,
              0.78507,
              1.27377
            ],
            [
              0.2942,
              0.32,
              0.3394,
              0.3729,
              0.435,
              0.5572,
              0.8019,
              1.2902
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02899,
              0.04864,
              0.06433,
              0.09263,
              0.14556,
              0.24922,
              0.4623,
              0.90318
            ],
            [
              0.02902,
              0.04866,
              0.06427,
              0.09266,
              0.1456,
              0.24935,
              0.4626,
              0.90251
            ],
            [
              0.02904,
              0.0487,
              0.0643,
              0.09268,
              0.14565,
              0.24939,
              0.46279,
              0.90212
            ],
            [
              0.02906,
              0.04875,
              0.06435,
              0.09282,
              0.14578,
              0.24948,
              0.46309,
              0.90257
            ],
            [
              0.02911,
              0.0488,
              0.0644,
              0.09272,
              0.14575,
              0.24947,
              0.46295,
              0.90229
            ],
            [
              0.02914,
              0.04885,
              0.06444,
              0.09289,
              0.14583,
              0.2495,
              0.46294,
              0.90244
            ],
            [
              0.02914,
              0.04882,
              0.06442,
              0.09278,
              0.14566,
              0.24925,
              0.46238,
              0.90311
            ],
            [
              0.02902,
              0.04868,
              0.06429,
              0.09265,
              0.14574,
              0.24949,
              0.4628,
              0.90304
            ],
            [
              0.02881,
              0.04834,
              0.06404,
              0.09249,
              0.1454,
              0.24921,
              0.46213,
              0.90164
            ],
            [
              0.02878,
              0.04825,
              0.06384,
              0.09229,
              0.14535,
              0.24916,
              0.4627,
              0.90234
            ],
            [
              0.02865,
              0.04805,
              0.06366,
              0.09215,
              0.14519,
              0.24869,
              0.4621,
              0.9021
            ],
            [
              0.0286,
              0.048,
              0.0636,
              0.092,
              0.1452,
              0.249,
              0.4618,
              0.9024
            ],
            [
              0.0287,
              0.048,
              0.0636,
              0.092,
              0.145,
              0.2489,
              0.462,
              0.9014
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02168,
              0.04642,
              0.06791,
              0.1106,
              0.19977,
              0.38345,
              0.75496,
              1.49871
            ],
            [
              0.02173,
              0.04634,
              0.06779,
              0.11073,
              0.19965,
              0.3843,
              0.75619,
              1.49866
            ],
            [
              0.0217,
              0.04641,
              0.06784,
              0.11074,
              0.19962,
              0.3835,
              0.75469,
              1.49911
            ],
            [
              0.02174,
              0.04645,
              0.06795,
              0.11063,
              0.19986,
              0.38325,
              0.75563,
              1.50115
            ],
            [
              0.02174,
              0.0464,
              0.0679,
              0.11077,
              0.19954,
              0.38344,
              0.75511,
              1.49883
            ],
            [
              0.02183,
              0.04641,
              0.06787,
              0.11079,
              0.19966,
              0.38353,
              0.75475,
              1.49994
            ],
            [
              0.02187,
              0.04647,
              0.06791,
              0.1108,
              0.19972,
              0.38354,
              0.75476,
              1.49953
            ],
            [
              0.02191,
              0.04664,
              0.06807,
              0.11076,
              0.19973,
              0.38411,
              0.75573,
              1.49805
            ],
            [
              0.02214,
              0.04678,
              0.06827,
              0.11095,
              0.19996,
              0.38365,
              0.75421,
              1.49962
            ],
            [
              0.02248,
              0.04711,
              0.0684,
              0.11108,
              0.19978,
              0.38349,
              0.7558,
              1.49895
            ],
            [
              0.02291,
              0.04738,
              0.06886,
              0.1114,
              0.20017,
              0.38332,
              0.7559,
              1.5
            ],
            [
              0.0235,
              0.0479,
              0.0692,
              0.1117,
              0.2004,
              0.3837,
              0.7542,
              1.5029
            ],
            [
              0.0242,
              0.0485,
              0.0698,
              0.1121,
              0.2005,
              0.3837,
              0.7543,
              1.4975
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.16562,
              0.19074,
              0.20905,
              0.23911,
              0.28888,
              0.3762,
              0.54165,
              0.8701
            ],
            [
              0.16736,
              0.19247,
              0.21078,
              0.24085,
              0.29061,
              0.37793,
              0.54336,
              0.87195
            ],
            [
              0.16952,
              0.19462,
              0.21293,
              0.24299,
              0.29276,
              0.38007,
              0.54549,
              0.87358
            ],
            [
              0.17284,
              0.19795,
              0.21624,
              0.24629,
              0.29607,
              0.38339,
              0.54883,
              0.8774
            ],
            [
              0.17793,
              0.20301,
              0.22131,
              0.25136,
              0.30112,
              0.38844,
              0.55404,
              0.8823
            ],
            [
              0.18531,
              0.21037,
              0.22866,
              0.2587,
              0.30845,
              0.39577,
              0.56113,
              0.88976
            ],
            [
              0.19473,
              0.21973,
              0.23801,
              0.26806,
              0.31781,
              0.40512,
              0.5705,
              0.89903
            ],
            [
              0.20425,
              0.22907,
              0.24731,
              0.27736,
              0.32714,
              0.41443,
              0.57995,
              0.90806
            ],
            [
              0.21181,
              0.23635,
              0.25449,
              0.28455,
              0.33443,
              0.42176,
              0.58729,
              0.91575
            ],
            [
              0.21814,
              0.24241,
              0.26044,
              0.29038,
              0.34019,
              0.42744,
              0.59307,
              0.92139
            ],
            [
              0.22234,
              0.24641,
              0.26429,
              0.29411,
              0.3439,
              0.43121,
              0.59642,
              0.92502
            ],
            [
              0.22227,
              0.24627,
              0.26397,
              0.29357,
              0.34327,
              0.43067,
              0.59597,
              0.92397
            ],
            [
              0.2141,
              0.2379,
              0.2555,
              0.2849,
              0.3345,
              0.4218,
              0.5871,
              0.9156
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.17562,
              0.20131,
              0.22117,
              0.25599,
              0.31987,
              0.44299,
              0.6875,
              1.17637
            ],
            [
              0.17677,
              0.20244,
              0.2223,
              0.25713,
              0.32097,
              0.44413,
              0.68863,
              1.17764
            ],
            [
              0.17847,
              0.20414,
              0.22399,
              0.25881,
              0.32264,
              0.44582,
              0.69035,
              1.17932
            ],
            [
              0.18147,
              0.20713,
              0.22698,
              0.26181,
              0.32565,
              0.44879,
              0.6933,
              1.18227
            ],
            [
              0.18656,
              0.2122,
              0.23205,
              0.26687,
              0.33072,
              0.45386,
              0.69839,
              1.18731
            ],
            [
              0.1948,
              0.22043,
              0.24028,
              0.27509,
              0.33897,
              0.46211,
              0.70666,
              1.19552
            ],
            [
              0.20747,
              0.2331,
              0.25294,
              0.28774,
              0.35166,
              0.47477,
              0.71929,
              1.20813
            ],
            [
              0.22535,
              0.25101,
              0.27085,
              0.30564,
              0.36953,
              0.49265,
              0.73719,
              1.22596
            ],
            [
              0.24743,
              0.27324,
              0.29311,
              0.32799,
              0.39182,
              0.51494,
              0.75945,
              1.24845
            ],
            [
              0.2748,
              0.30069,
              0.3206,
              0.35542,
              0.41926,
              0.5425,
              0.78699,
              1.27599
            ],
            [
              0.30962,
              0.33563,
              0.35558,
              0.3904,
              0.45422,
              0.57732,
              0.82192,
              1.31092
            ],
            [
              0.35447,
              0.38067,
              0.40067,
              0.43557,
              0.49937,
              0.62267,
              0.86707,
              1.35577
            ],
            [
              0.4137,
              0.4403,
              0.4605,
              0.4955,
              0.5593,
              0.6826,
              0.9272,
              1.4156
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02576,
              0.0453,
              0.06066,
              0.08798,
              0.13911,
              0.24232,
              0.4581,
              0.90016
            ],
            [
              0.02575,
              0.04529,
              0.06065,
              0.08797,
              0.13912,
              0.24236,
              0.45815,
              0.90209
            ],
            [
              0.02574,
              0.04528,
              0.06064,
              0.08796,
              0.13912,
              0.24234,
              0.4582,
              0.90102
            ],
            [
              0.02572,
              0.04525,
              0.06061,
              0.08795,
              0.13907,
              0.24218,
              0.45808,
              0.90209
            ],
            [
              0.02568,
              0.04523,
              0.06059,
              0.08796,
              0.13897,
              0.24224,
              0.4578,
              0.90197
            ],
            [
              0.02564,
              0.04516,
              0.06052,
              0.08789,
              0.13904,
              0.24224,
              0.45835,
              0.90196
            ],
            [
              0.02554,
              0.04508,
              0.06048,
              0.08779,
              0.13898,
              0.24211,
              0.45836,
              0.9018
            ],
            [
              0.02537,
              0.04502,
              0.06043,
              0.08784,
              0.13903,
              0.24237,
              0.45841,
              0.90047
            ],
            [
              0.0252,
              0.04472,
              0.06027,
              0.08788,
              0.13924,
              0.2425,
              0.45782,
              0.90208
            ],
            [
              0.0252,
              0.04447,
              0.05998,
              0.08765,
              0.13881,
              0.24244,
              0.45844,
              0.90088
            ],
            [
              0.02526,
              0.04429,
              0.05973,
              0.08752,
              0.13897,
              0.24211,
              0.45741,
              0.9008
            ],
            [
              0.0255,
              0.0442,
              0.0596,
              0.0873,
              0.1391,
              0.2423,
              0.4575,
              0.9009
            ],
            [
              0.0263,
              0.0447,
              0.0597,
              0.0874,
              0.1392,
              0.2423,
              0.4585,
              0.8996
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0212,
              0.04674,
              0.06909,
              0.11262,
              0.20144,
              0.38367,
              0.75532,
              1.49692
            ],
            [
              0.02116,
              0.04677,
              0.06906,
              0.11264,
              0.20129,
              0.38426,
              0.75486,
              1.50094
            ],
            [
              0.02114,
              0.04674,
              0.06905,
              0.11262,
              0.20139,
              0.38353,
              0.75375,
              1.49925
            ],
            [
              0.02111,
              0.04674,
              0.06903,
              0.1126,
              0.20129,
              0.38374,
              0.75501,
              1.49887
            ],
            [
              0.02106,
              0.0467,
              0.06902,
              0.11255,
              0.20127,
              0.38407,
              0.75458,
              1.49768
            ],
            [
              0.02101,
              0.04665,
              0.06898,
              0.11252,
              0.20134,
              0.38359,
              0.75395,
              1.4978
            ],
            [
              0.02104,
              0.04668,
              0.06898,
              0.11255,
              0.20128,
              0.3838,
              0.75442,
              1.49662
            ],
            [
              0.02122,
              0.04683,
              0.06913,
              0.11265,
              0.20132,
              0.38419,
              0.75406,
              1.49695
            ],
            [
              0.02181,
              0.04733,
              0.0696,
              0.11302,
              0.2015,
              0.38397,
              0.75365,
              1.49712
            ],
            [
              0.02228,
              0.04767,
              0.06994,
              0.11324,
              0.2018,
              0.38423,
              0.7549,
              1.4967
            ],
            [
              0.02292,
              0.04823,
              0.07032,
              0.11348,
              0.20198,
              0.3839,
              0.7547,
              1.4991
            ],
            [
              0.0238,
              0.049,
              0.0711,
              0.1141,
              0.2022,
              0.3842,
              0.7537,
              1.4967
            ],
            [
              0.0254,
              0.0503,
              0.0722,
              0.1149,
              0.2028,
              0.3847,
              0.7545,
              1.4962
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.17019,
              0.19618,
              0.21514,
              0.24644,
              0.29846,
              0.38873,
              0.5564,
              0.88525
            ],
            [
              0.17194,
              0.19793,
              0.21688,
              0.24818,
              0.3002,
              0.39049,
              0.55813,
              0.88663
            ],
            [
              0.17406,
              0.20003,
              0.21899,
              0.25029,
              0.3023,
              0.39258,
              0.56024,
              0.8888
            ],
            [
              0.1773,
              0.20327,
              0.22221,
              0.2535,
              0.30552,
              0.39577,
              0.56346,
              0.89229
            ],
            [
              0.18216,
              0.20812,
              0.22707,
              0.25836,
              0.31037,
              0.40063,
              0.5683,
              0.89711
            ],
            [
              0.18928,
              0.21523,
              0.23417,
              0.26546,
              0.31746,
              0.40774,
              0.57527,
              0.90427
            ],
            [
              0.19928,
              0.22519,
              0.24413,
              0.27541,
              0.3274,
              0.41767,
              0.58533,
              0.91403
            ],
            [
              0.21063,
              0.23641,
              0.25532,
              0.28658,
              0.33856,
              0.42884,
              0.59646,
              0.92536
            ],
            [
              0.21958,
              0.24513,
              0.264,
              0.2953,
              0.34736,
              0.43764,
              0.60526,
              0.93395
            ],
            [
              0.22612,
              0.25139,
              0.2702,
              0.30144,
              0.35347,
              0.4437,
              0.61143,
              0.93989
            ],
            [
              0.22934,
              0.25449,
              0.27318,
              0.30438,
              0.35648,
              0.44672,
              0.61402,
              0.94302
            ],
            [
              0.22807,
              0.25307,
              0.27167,
              0.30267,
              0.35487,
              0.44517,
              0.61277,
              0.94117
            ],
            [
              0.22,
              0.2451,
              0.2635,
              0.2943,
              0.3462,
              0.4367,
              0.6042,
              0.9332
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.17886,
              0.2044,
              0.22387,
              0.25791,
              0.32095,
              0.4437,
              0.68825,
              1.17697
            ],
            [
              0.18033,
              0.20586,
              0.22533,
              0.25938,
              0.32238,
              0.44521,
              0.68972,
              1.17844
            ],
            [
              0.18224,
              0.20777,
              0.22724,
              0.26126,
              0.3243,
              0.44708,
              0.69159,
              1.18052
            ],
            [
              0.18549,
              0.21102,
              0.23048,
              0.2645,
              0.32755,
              0.45034,
              0.69488,
              1.18358
            ],
            [
              0.19101,
              0.21651,
              0.23596,
              0.26999,
              0.33305,
              0.45584,
              0.70037,
              1.18911
            ],
            [
              0.20013,
              0.22562,
              0.24507,
              0.27909,
              0.34208,
              0.46489,
              0.70944,
              1.19822
            ],
            [
              0.21445,
              0.23994,
              0.25937,
              0.29336,
              0.35642,
              0.47921,
              0.72365,
              1.21243
            ],
            [
              0.23504,
              0.26055,
              0.27999,
              0.31398,
              0.37697,
              0.49973,
              0.74424,
              1.23286
            ],
            [
              0.26128,
              0.28696,
              0.30645,
              0.34045,
              0.40337,
              0.52615,
              0.77065,
              1.25935
            ],
            [
              0.29353,
              0.31938,
              0.33893,
              0.37295,
              0.43585,
              0.5586,
              0.80309,
              1.29199
            ],
            [
              0.33473,
              0.36078,
              0.3804,
              0.41445,
              0.47732,
              0.59992,
              0.84442,
              1.33292
            ],
            [
              0.38787,
              0.41407,
              0.43387,
              0.46787,
              0.53067,
              0.65327,
              0.89757,
              1.38617
            ],
            [
              0.457,
              0.4833,
              0.5032,
              0.5373,
              0.6001,
              0.7226,
              0.967,
              1.4551
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02762,
              0.0476,
              0.06347,
              0.09204,
              0.14488,
              0.24879,
              0.46214,
              0.90355
            ],
            [
              0.02761,
              0.04758,
              0.06348,
              0.09208,
              0.14494,
              0.24865,
              0.46204,
              0.90177
            ],
            [
              0.02758,
              0.04758,
              0.06347,
              0.09207,
              0.1449,
              0.2487,
              0.46197,
              0.90186
            ],
            [
              0.02756,
              0.04753,
              0.06347,
              0.09205,
              0.14495,
              0.24886,
              0.46228,
              0.9034
            ],
            [
              0.02751,
              0.04752,
              0.06346,
              0.09202,
              0.14492,
              0.24876,
              0.46217,
              0.90349
            ],
            [
              0.02745,
              0.0475,
              0.06341,
              0.09201,
              0.1449,
              0.24861,
              0.46257,
              0.9035
            ],
            [
              0.0273,
              0.04745,
              0.0634,
              0.09195,
              0.14489,
              0.24861,
              0.46217,
              0.90328
            ],
            [
              0.02713,
              0.04741,
              0.06334,
              0.09197,
              0.14486,
              0.24852,
              0.4622,
              0.90345
            ],
            [
              0.02707,
              0.04744,
              0.06349,
              0.09215,
              0.14504,
              0.24886,
              0.46233,
              0.90219
            ],
            [
              0.02739,
              0.04741,
              0.06345,
              0.09214,
              0.14486,
              0.24873,
              0.46241,
              0.90182
            ],
            [
              0.02787,
              0.04755,
              0.06355,
              0.09228,
              0.14515,
              0.24863,
              0.46183,
              0.9021
            ],
            [
              0.0282,
              0.0477,
              0.0635,
              0.0923,
              0.1454,
              0.2491,
              0.4619,
              0.9021
            ],
            [
              0.0295,
              0.0487,
              0.0641,
              0.0924,
              0.1455,
              0.2496,
              0.4626,
              0.9011
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02082,
              0.04608,
              0.06782,
              0.11074,
              0.19987,
              0.38335,
              0.75452,
              1.49836
            ],
            [
              0.02083,
              0.04605,
              0.06782,
              0.11074,
              0.19976,
              0.38319,
              0.75362,
              1.49836
            ],
            [
              0.02081,
              0.04603,
              0.06777,
              0.11079,
              0.1997,
              0.38312,
              0.75369,
              1.49615
            ],
            [
              0.02078,
              0.04602,
              0.06774,
              0.11071,
              0.19981,
              0.38365,
              0.75381,
              1.49835
            ],
            [
              0.02075,
              0.04598,
              0.06775,
              0.1107,
              0.19981,
              0.38367,
              0.75375,
              1.49659
            ],
            [
              0.0207,
              0.04596,
              0.06774,
              0.11076,
              0.19967,
              0.38339,
              0.75317,
              1.49622
            ],
            [
              0.02063,
              0.04591,
              0.06766,
              0.11075,
              0.1998,
              0.38336,
              0.75362,
              1.49836
            ],
            [
              0.02067,
              0.04597,
              0.06765,
              0.1107,
              0.19965,
              0.38323,
              0.7546,
              1.49809
            ],
            [
              0.0212,
              0.04638,
              0.06805,
              0.11096,
              0.19977,
              0.38342,
              0.75352,
              1.49647
            ],
            [
              0.02172,
              0.04685,
              0.06845,
              0.11121,
              0.20027,
              0.38344,
              0.75422,
              1.4992
            ],
            [
              0.02258,
              0.04744,
              0.06901,
              0.11154,
              0.20025,
              0.38343,
              0.7538,
              1.4981
            ],
            [
              0.0238,
              0.0485,
              0.0699,
              0.1122,
              0.2009,
              0.3831,
              0.7538,
              1.4971
            ],
            [
              0.0255,
              0.05,
              0.0712,
              0.113,
              0.2012,
              0.3835,
              0.7538,
              1.4964
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.19431,
              0.21888,
              0.23672,
              0.26624,
              0.31568,
              0.40295,
              0.56855,
              0.89716
            ],
            [
              0.19596,
              0.22052,
              0.23838,
              0.2679,
              0.31734,
              0.40461,
              0.57028,
              0.89858
            ],
            [
              0.19813,
              0.22271,
              0.24056,
              0.27009,
              0.31954,
              0.40683,
              0.57254,
              0.90069
            ],
            [
              0.2018,
              0.22637,
              0.24422,
              0.27376,
              0.32321,
              0.41052,
              0.57622,
              0.90431
            ],
            [
              0.20789,
              0.23247,
              0.25032,
              0.27986,
              0.32932,
              0.41662,
              0.58228,
              0.91082
            ],
            [
              0.21782,
              0.24241,
              0.26027,
              0.28981,
              0.33928,
              0.4266,
              0.5923,
              0.92067
            ],
            [
              0.23316,
              0.25776,
              0.27562,
              0.30516,
              0.35465,
              0.44191,
              0.60749,
              0.93593
            ],
            [
              0.25464,
              0.27922,
              0.29707,
              0.32659,
              0.37608,
              0.46343,
              0.62915,
              0.95756
            ],
            [
              0.2813,
              0.30571,
              0.32348,
              0.35296,
              0.4024,
              0.48973,
              0.65546,
              0.98395
            ],
            [
              0.31317,
              0.33744,
              0.35513,
              0.3845,
              0.43384,
              0.52102,
              0.68679,
              1.01499
            ],
            [
              0.35263,
              0.37672,
              0.39433,
              0.42363,
              0.47292,
              0.56012,
              0.72572,
              1.05412
            ],
            [
              0.40247,
              0.42637,
              0.44387,
              0.47307,
              0.52227,
              0.60947,
              0.77497,
              1.10337
            ],
            [
              0.4659,
              0.4897,
              0.5071,
              0.5361,
              0.5852,
              0.6723,
              0.8378,
              1.1664
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.15418,
              0.1799,
              0.19971,
              0.23423,
              0.29727,
              0.41881,
              0.66048,
              1.14357
            ],
            [
              0.15611,
              0.18184,
              0.20163,
              0.23617,
              0.29922,
              0.42088,
              0.66228,
              1.14614
            ],
            [
              0.1585,
              0.18423,
              0.20403,
              0.23857,
              0.30161,
              0.42326,
              0.66479,
              1.14862
            ],
            [
              0.16217,
              0.1879,
              0.20769,
              0.24219,
              0.30524,
              0.42692,
              0.66814,
              1.15218
            ],
            [
              0.16771,
              0.19344,
              0.21325,
              0.24775,
              0.31075,
              0.43236,
              0.6739,
              1.15671
            ],
            [
              0.17571,
              0.20145,
              0.22125,
              0.25578,
              0.31882,
              0.44042,
              0.68228,
              1.16452
            ],
            [
              0.18736,
              0.2131,
              0.2329,
              0.26743,
              0.33046,
              0.45204,
              0.6939,
              1.17683
            ],
            [
              0.20157,
              0.22729,
              0.24707,
              0.28157,
              0.34449,
              0.46623,
              0.70746,
              1.19096
            ],
            [
              0.21407,
              0.23975,
              0.25948,
              0.29392,
              0.35688,
              0.4784,
              0.7197,
              1.20305
            ],
            [
              0.22425,
              0.24998,
              0.26973,
              0.30417,
              0.3671,
              0.48856,
              0.72989,
              1.21349
            ],
            [
              0.23181,
              0.25758,
              0.27733,
              0.31176,
              0.37472,
              0.49632,
              0.73752,
              1.22122
            ],
            [
              0.23537,
              0.26117,
              0.28097,
              0.31537,
              0.37827,
              0.49977,
              0.74117,
              1.22337
            ],
            [
              0.2323,
              0.2582,
              0.278,
              0.3124,
              0.3752,
              0.4967,
              0.7381,
              1.2204
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0267,
              0.04526,
              0.06009,
              0.08723,
              0.13872,
              0.2424,
              0.458,
              0.90209
            ],
            [
              0.0267,
              0.04527,
              0.06017,
              0.08723,
              0.13869,
              0.24249,
              0.45891,
              0.90237
            ],
            [
              0.02673,
              0.04529,
              0.06016,
              0.08736,
              0.13867,
              0.24236,
              0.45867,
              0.90181
            ],
            [
              0.02673,
              0.04532,
              0.06018,
              0.08739,
              0.13867,
              0.24231,
              0.45858,
              0.90153
            ],
            [
              0.02677,
              0.0454,
              0.06017,
              0.08731,
              0.13874,
              0.24236,
              0.45812,
              0.90186
            ],
            [
              0.02679,
              0.0454,
              0.06025,
              0.08743,
              0.13868,
              0.24222,
              0.4584,
              0.90129
            ],
            [
              0.02686,
              0.04543,
              0.06026,
              0.08735,
              0.13884,
              0.24255,
              0.45855,
              0.90193
            ],
            [
              0.02686,
              0.04551,
              0.06034,
              0.08751,
              0.13876,
              0.24232,
              0.45849,
              0.90138
            ],
            [
              0.02669,
              0.04527,
              0.06011,
              0.08738,
              0.13871,
              0.24226,
              0.45885,
              0.90205
            ],
            [
              0.02669,
              0.04518,
              0.06001,
              0.08724,
              0.13845,
              0.24236,
              0.45856,
              0.90132
            ],
            [
              0.02661,
              0.04508,
              0.05993,
              0.08708,
              0.1386,
              0.2419,
              0.4578,
              0.9022
            ],
            [
              0.0266,
              0.045,
              0.0598,
              0.0869,
              0.1384,
              0.2421,
              0.4577,
              0.9018
            ],
            [
              0.0266,
              0.0449,
              0.0599,
              0.087,
              0.1385,
              0.242,
              0.4585,
              0.8992
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02213,
              0.04724,
              0.06926,
              0.11219,
              0.19995,
              0.38046,
              0.74712,
              1.48747
            ],
            [
              0.02219,
              0.04729,
              0.06946,
              0.11229,
              0.19974,
              0.38067,
              0.74859,
              1.48382
            ],
            [
              0.02218,
              0.04723,
              0.06941,
              0.1123,
              0.19964,
              0.38072,
              0.74659,
              1.48373
            ],
            [
              0.02213,
              0.04731,
              0.06945,
              0.11223,
              0.20009,
              0.38048,
              0.74828,
              1.48476
            ],
            [
              0.02215,
              0.04726,
              0.06939,
              0.11213,
              0.20017,
              0.38023,
              0.74931,
              1.48379
            ],
            [
              0.02216,
              0.04726,
              0.0693,
              0.11227,
              0.19983,
              0.38079,
              0.74681,
              1.48668
            ],
            [
              0.02216,
              0.04723,
              0.06939,
              0.11229,
              0.19985,
              0.38075,
              0.74689,
              1.48744
            ],
            [
              0.02205,
              0.04722,
              0.0693,
              0.11228,
              0.2002,
              0.38065,
              0.74716,
              1.4877
            ],
            [
              0.02214,
              0.04731,
              0.06939,
              0.11215,
              0.19976,
              0.3804,
              0.74819,
              1.48779
            ],
            [
              0.02235,
              0.04745,
              0.06958,
              0.11229,
              0.19972,
              0.38121,
              0.74693,
              1.48576
            ],
            [
              0.02251,
              0.04754,
              0.06972,
              0.11243,
              0.20007,
              0.38042,
              0.74702,
              1.4831
            ],
            [
              0.0228,
              0.0479,
              0.0698,
              0.1126,
              0.2001,
              0.3809,
              0.7473,
              1.4815
            ],
            [
              0.0232,
              0.0481,
              0.0701,
              0.1128,
              0.2,
              0.3808,
              0.7484,
              1.4853
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.12635,
              0.15461,
              0.17497,
              0.20768,
              0.26089,
              0.35195,
              0.51976,
              0.84794
            ],
            [
              0.12828,
              0.15653,
              0.17689,
              0.2096,
              0.26283,
              0.35389,
              0.52169,
              0.84962
            ],
            [
              0.13074,
              0.15899,
              0.17935,
              0.21206,
              0.26528,
              0.35635,
              0.52413,
              0.85255
            ],
            [
              0.13461,
              0.16285,
              0.18321,
              0.21591,
              0.26915,
              0.3602,
              0.52797,
              0.85691
            ],
            [
              0.14069,
              0.16892,
              0.18927,
              0.22198,
              0.2752,
              0.36628,
              0.53408,
              0.86291
            ],
            [
              0.15006,
              0.17827,
              0.19861,
              0.23131,
              0.28454,
              0.37563,
              0.54349,
              0.87187
            ],
            [
              0.16421,
              0.19241,
              0.21272,
              0.24541,
              0.29865,
              0.38976,
              0.55765,
              0.88593
            ],
            [
              0.18438,
              0.2127,
              0.23302,
              0.26574,
              0.31903,
              0.41019,
              0.57808,
              0.90636
            ],
            [
              0.2093,
              0.23868,
              0.25956,
              0.29282,
              0.34648,
              0.43784,
              0.60561,
              0.93435
            ],
            [
              0.23954,
              0.27016,
              0.29182,
              0.32613,
              0.38103,
              0.47322,
              0.64129,
              0.96919
            ],
            [
              0.2771,
              0.30924,
              0.33186,
              0.36741,
              0.42372,
              0.51742,
              0.68632,
              1.01452
            ],
            [
              0.32487,
              0.35887,
              0.38277,
              0.42007,
              0.47827,
              0.57367,
              0.74397,
              1.07257
            ],
            [
              0.3865,
              0.4228,
              0.4485,
              0.4883,
              0.5494,
              0.6477,
              0.8196,
              1.1487
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.10554,
              0.13164,
              0.1518,
              0.18675,
              0.25053,
              0.37382,
              0.61904,
              1.10937
            ],
            [
              0.10734,
              0.13344,
              0.15359,
              0.18854,
              0.25235,
              0.37561,
              0.62021,
              1.11094
            ],
            [
              0.10952,
              0.13561,
              0.15577,
              0.19071,
              0.25447,
              0.37778,
              0.62304,
              1.11332
            ],
            [
              0.11291,
              0.139,
              0.15917,
              0.19412,
              0.25793,
              0.38117,
              0.6258,
              1.11578
            ],
            [
              0.1182,
              0.14429,
              0.16442,
              0.19937,
              0.26316,
              0.38647,
              0.63121,
              1.12131
            ],
            [
              0.1262,
              0.15229,
              0.17242,
              0.20735,
              0.27102,
              0.39438,
              0.63943,
              1.12982
            ],
            [
              0.13794,
              0.16398,
              0.18405,
              0.2189,
              0.28255,
              0.40568,
              0.6508,
              1.14083
            ],
            [
              0.15281,
              0.17919,
              0.19935,
              0.23418,
              0.2978,
              0.42079,
              0.66621,
              1.15586
            ],
            [
              0.16922,
              0.19649,
              0.21717,
              0.25247,
              0.31616,
              0.43911,
              0.68384,
              1.17325
            ],
            [
              0.18661,
              0.21519,
              0.23666,
              0.27279,
              0.33696,
              0.45982,
              0.70479,
              1.19459
            ],
            [
              0.20401,
              0.23443,
              0.25711,
              0.29461,
              0.35968,
              0.48292,
              0.72692,
              1.21722
            ],
            [
              0.21957,
              0.25237,
              0.27677,
              0.31647,
              0.38347,
              0.50727,
              0.75197,
              1.24017
            ],
            [
              0.2304,
              0.2661,
              0.2924,
              0.3355,
              0.4058,
              0.5318,
              0.7772,
              1.2656
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.03183,
              0.05316,
              0.06912,
              0.09687,
              0.14877,
              0.25126,
              0.46377,
              0.90196
            ],
            [
              0.03183,
              0.05314,
              0.06903,
              0.097,
              0.14888,
              0.25103,
              0.46295,
              0.9021
            ],
            [
              0.03183,
              0.05314,
              0.06904,
              0.097,
              0.14888,
              0.25109,
              0.46308,
              0.90243
            ],
            [
              0.03186,
              0.05316,
              0.06904,
              0.097,
              0.14888,
              0.25114,
              0.4632,
              0.90318
            ],
            [
              0.03185,
              0.05326,
              0.06905,
              0.09695,
              0.14884,
              0.251,
              0.46302,
              0.90325
            ],
            [
              0.03192,
              0.05325,
              0.06914,
              0.09711,
              0.14873,
              0.25117,
              0.46316,
              0.9029
            ],
            [
              0.03223,
              0.0535,
              0.06938,
              0.09717,
              0.14898,
              0.25128,
              0.46358,
              0.90238
            ],
            [
              0.0339,
              0.0548,
              0.07046,
              0.09798,
              0.14941,
              0.25137,
              0.46352,
              0.90303
            ],
            [
              0.03769,
              0.05871,
              0.07403,
              0.10085,
              0.15131,
              0.25236,
              0.46395,
              0.90337
            ],
            [
              0.04241,
              0.06377,
              0.07914,
              0.10581,
              0.15551,
              0.25513,
              0.46519,
              0.90235
            ],
            [
              0.04843,
              0.07023,
              0.0856,
              0.11202,
              0.16115,
              0.2593,
              0.4674,
              0.9045
            ],
            [
              0.0561,
              0.0787,
              0.0943,
              0.1204,
              0.1685,
              0.2655,
              0.4707,
              0.9039
            ],
            [
              0.0667,
              0.0906,
              0.1068,
              0.1329,
              0.18,
              0.2747,
              0.4765,
              0.9062
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02034,
              0.04657,
              0.06888,
              0.1123,
              0.20121,
              0.3842,
              0.75531,
              1.50003
            ],
            [
              0.02034,
              0.04657,
              0.06888,
              0.11229,
              0.20109,
              0.38405,
              0.75473,
              1.4994
            ],
            [
              0.02035,
              0.04657,
              0.06897,
              0.11228,
              0.20122,
              0.38416,
              0.75519,
              1.50032
            ],
            [
              0.02036,
              0.04658,
              0.06898,
              0.11235,
              0.20097,
              0.38411,
              0.7548,
              1.49956
            ],
            [
              0.02038,
              0.0465,
              0.06904,
              0.11234,
              0.20119,
              0.38472,
              0.75567,
              1.49899
            ],
            [
              0.02043,
              0.04667,
              0.06897,
              0.11241,
              0.20125,
              0.38476,
              0.7555,
              1.49887
            ],
            [
              0.02067,
              0.0468,
              0.06915,
              0.11258,
              0.2013,
              0.38372,
              0.75577,
              1.49993
            ],
            [
              0.02217,
              0.04813,
              0.07033,
              0.1131,
              0.2013,
              0.384,
              0.75548,
              1.50175
            ],
            [
              0.02474,
              0.05064,
              0.07275,
              0.11517,
              0.20258,
              0.38491,
              0.75643,
              1.50105
            ],
            [
              0.02844,
              0.05429,
              0.07647,
              0.11845,
              0.20461,
              0.38599,
              0.75606,
              1.49883
            ],
            [
              0.03371,
              0.05971,
              0.08216,
              0.12363,
              0.20776,
              0.38634,
              0.75541,
              1.4989
            ],
            [
              0.0409,
              0.0671,
              0.0903,
              0.1318,
              0.2143,
              0.3904,
              0.7575,
              1.5015
            ],
            [
              0.0507,
              0.0774,
              0.1016,
              0.1439,
              0.2251,
              0.3974,
              0.7609,
              1.5007
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.16805,
              0.1923,
              0.21044,
              0.24055,
              0.29045,
              0.37787,
              0.54349,
              0.87191
            ],
            [
              0.16991,
              0.19416,
              0.21229,
              0.2424,
              0.2923,
              0.37974,
              0.54529,
              0.87374
            ],
            [
              0.17222,
              0.19646,
              0.21459,
              0.2447,
              0.2946,
              0.38203,
              0.54759,
              0.87608
            ],
            [
              0.17591,
              0.20014,
              0.21826,
              0.24837,
              0.29827,
              0.3857,
              0.55112,
              0.8797
            ],
            [
              0.1817,
              0.2059,
              0.224,
              0.2541,
              0.30399,
              0.39142,
              0.5569,
              0.88522
            ],
            [
              0.19055,
              0.21472,
              0.2328,
              0.26287,
              0.31275,
              0.40017,
              0.56578,
              0.894
            ],
            [
              0.20323,
              0.22736,
              0.2454,
              0.27544,
              0.32531,
              0.41267,
              0.57825,
              0.90673
            ],
            [
              0.21954,
              0.24362,
              0.26162,
              0.29163,
              0.34148,
              0.42889,
              0.59427,
              0.92256
            ],
            [
              0.23856,
              0.26253,
              0.28048,
              0.31049,
              0.36034,
              0.44773,
              0.61308,
              0.94145
            ],
            [
              0.2597,
              0.2835,
              0.30141,
              0.33137,
              0.38117,
              0.46846,
              0.63389,
              0.96219
            ],
            [
              0.28229,
              0.30587,
              0.32373,
              0.35368,
              0.40352,
              0.49082,
              0.65602,
              0.98432
            ],
            [
              0.30477,
              0.32817,
              0.34597,
              0.37597,
              0.42587,
              0.51327,
              0.67857,
              1.00627
            ],
            [
              0.3243,
              0.3474,
              0.3652,
              0.3953,
              0.4455,
              0.5331,
              0.6987,
              1.0265
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.17698,
              0.20113,
              0.22008,
              0.2535,
              0.31596,
              0.43841,
              0.68281,
              1.17147
            ],
            [
              0.17894,
              0.2031,
              0.22205,
              0.25547,
              0.3179,
              0.44042,
              0.68486,
              1.17334
            ],
            [
              0.18143,
              0.20558,
              0.22453,
              0.25794,
              0.32041,
              0.44287,
              0.68725,
              1.17592
            ],
            [
              0.18533,
              0.20949,
              0.22845,
              0.26184,
              0.32432,
              0.44677,
              0.69115,
              1.17988
            ],
            [
              0.19149,
              0.21564,
              0.23459,
              0.268,
              0.33045,
              0.45294,
              0.69735,
              1.18611
            ],
            [
              0.20107,
              0.22522,
              0.24417,
              0.27757,
              0.34002,
              0.46249,
              0.70686,
              1.19582
            ],
            [
              0.21585,
              0.24,
              0.25893,
              0.29233,
              0.35473,
              0.47723,
              0.72165,
              1.21053
            ],
            [
              0.23733,
              0.26138,
              0.28026,
              0.31361,
              0.37598,
              0.49843,
              0.74278,
              1.23146
            ],
            [
              0.26529,
              0.28913,
              0.30792,
              0.34115,
              0.40339,
              0.52572,
              0.76995,
              1.25875
            ],
            [
              0.29915,
              0.32279,
              0.34148,
              0.37454,
              0.43659,
              0.55879,
              0.80299,
              1.29159
            ],
            [
              0.34103,
              0.3644,
              0.38296,
              0.41588,
              0.47772,
              0.59962,
              0.84372,
              1.33232
            ],
            [
              0.39407,
              0.41717,
              0.43557,
              0.46827,
              0.52987,
              0.65157,
              0.89527,
              1.38357
            ],
            [
              0.4624,
              0.4853,
              0.5036,
              0.5361,
              0.5973,
              0.7186,
              0.962,
              1.45
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0274,
              0.04682,
              0.06165,
              0.08874,
              0.13958,
              0.24277,
              0.45815,
              0.90218
            ],
            [
              0.02739,
              0.04681,
              0.06165,
              0.08875,
              0.13954,
              0.24274,
              0.45839,
              0.9018
            ],
            [
              0.02739,
              0.04681,
              0.06165,
              0.08874,
              0.13958,
              0.24277,
              0.45834,
              0.90218
            ],
            [
              0.02735,
              0.04681,
              0.06168,
              0.08872,
              0.13962,
              0.24268,
              0.45858,
              0.90169
            ],
            [
              0.02734,
              0.0468,
              0.06173,
              0.08873,
              0.13963,
              0.24271,
              0.45837,
              0.9006
            ],
            [
              0.02728,
              0.04678,
              0.06166,
              0.08862,
              0.1396,
              0.24268,
              0.45796,
              0.90155
            ],
            [
              0.02722,
              0.04678,
              0.06163,
              0.08874,
              0.1396,
              0.24283,
              0.45846,
              0.90193
            ],
            [
              0.02727,
              0.04686,
              0.0618,
              0.08878,
              0.13962,
              0.24273,
              0.45852,
              0.90213
            ],
            [
              0.02759,
              0.04717,
              0.06203,
              0.08899,
              0.13986,
              0.24279,
              0.45872,
              0.90118
            ],
            [
              0.02813,
              0.04779,
              0.06252,
              0.08938,
              0.14012,
              0.24306,
              0.4585,
              0.90149
            ],
            [
              0.02898,
              0.04861,
              0.0633,
              0.09012,
              0.14066,
              0.24276,
              0.4583,
              0.9013
            ],
            [
              0.0303,
              0.0499,
              0.0645,
              0.0911,
              0.1417,
              0.2439,
              0.4581,
              0.9017
            ],
            [
              0.032,
              0.0518,
              0.0664,
              0.0929,
              0.1433,
              0.2454,
              0.4593,
              0.9001
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.01973,
              0.04483,
              0.0665,
              0.10977,
              0.19892,
              0.38278,
              0.75372,
              1.49841
            ],
            [
              0.01974,
              0.04489,
              0.06651,
              0.10976,
              0.1991,
              0.3827,
              0.75361,
              1.49664
            ],
            [
              0.01971,
              0.04488,
              0.06651,
              0.10953,
              0.19895,
              0.38277,
              0.75352,
              1.49802
            ],
            [
              0.01973,
              0.04494,
              0.06656,
              0.10952,
              0.19892,
              0.38277,
              0.75357,
              1.49614
            ],
            [
              0.01971,
              0.04494,
              0.06654,
              0.10978,
              0.19883,
              0.38284,
              0.75444,
              1.49689
            ],
            [
              0.01972,
              0.04495,
              0.06657,
              0.10952,
              0.19878,
              0.38243,
              0.75382,
              1.49657
            ],
            [
              0.0197,
              0.04487,
              0.06648,
              0.10958,
              0.19905,
              0.38273,
              0.7533,
              1.49726
            ],
            [
              0.01969,
              0.04494,
              0.06656,
              0.10976,
              0.19943,
              0.38238,
              0.75457,
              1.50093
            ],
            [
              0.01995,
              0.04516,
              0.06672,
              0.10998,
              0.19897,
              0.38246,
              0.75385,
              1.49688
            ],
            [
              0.02038,
              0.04552,
              0.06711,
              0.11012,
              0.19927,
              0.38278,
              0.75429,
              1.4973
            ],
            [
              0.02095,
              0.04608,
              0.06765,
              0.11038,
              0.19932,
              0.38277,
              0.7535,
              1.4959
            ],
            [
              0.0218,
              0.0468,
              0.0683,
              0.1109,
              0.1996,
              0.383,
              0.7549,
              1.4976
            ],
            [
              0.023,
              0.048,
              0.0695,
              0.1118,
              0.2002,
              0.3831,
              0.7539,
              1.4969
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.16807,
              0.19233,
              0.21046,
              0.24056,
              0.29046,
              0.37789,
              0.54339,
              0.87196
            ],
            [
              0.16993,
              0.19418,
              0.21231,
              0.24242,
              0.29231,
              0.37975,
              0.54529,
              0.87367
            ],
            [
              0.17223,
              0.19648,
              0.21461,
              0.24471,
              0.29461,
              0.38204,
              0.54752,
              0.8761
            ],
            [
              0.17592,
              0.20015,
              0.21827,
              0.24838,
              0.29827,
              0.38571,
              0.55115,
              0.8797
            ],
            [
              0.18171,
              0.20592,
              0.22402,
              0.25411,
              0.30399,
              0.39143,
              0.55694,
              0.88526
            ],
            [
              0.19055,
              0.21473,
              0.23281,
              0.26287,
              0.31275,
              0.40017,
              0.56576,
              0.89401
            ],
            [
              0.20321,
              0.22735,
              0.24539,
              0.27543,
              0.32529,
              0.41268,
              0.57817,
              0.90673
            ],
            [
              0.21948,
              0.24357,
              0.26157,
              0.29159,
              0.34143,
              0.42884,
              0.59422,
              0.92256
            ],
            [
              0.23845,
              0.26243,
              0.28039,
              0.3104,
              0.36025,
              0.44764,
              0.61304,
              0.94115
            ],
            [
              0.25955,
              0.28336,
              0.30128,
              0.33124,
              0.38104,
              0.46833,
              0.63379,
              0.96199
            ],
            [
              0.28211,
              0.3057,
              0.32357,
              0.35352,
              0.40336,
              0.49062,
              0.65592,
              0.98412
            ],
            [
              0.30457,
              0.32797,
              0.34577,
              0.37577,
              0.42577,
              0.51307,
              0.67837,
              1.00617
            ],
            [
              0.3241,
              0.3472,
              0.365,
              0.3951,
              0.4453,
              0.5329,
              0.6985,
              1.0266
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.17697,
              0.2011,
              0.22004,
              0.25345,
              0.31592,
              0.43837,
              0.68277,
              1.17167
            ],
            [
              0.17892,
              0.20307,
              0.22202,
              0.25543,
              0.31785,
              0.44038,
              0.68481,
              1.17354
            ],
            [
              0.18141,
              0.20555,
              0.2245,
              0.25791,
              0.32037,
              0.44282,
              0.68722,
              1.17612
            ],
            [
              0.18532,
              0.20946,
              0.2284,
              0.26182,
              0.32427,
              0.44671,
              0.69112,
              1.17997
            ],
            [
              0.19148,
              0.21561,
              0.23455,
              0.26795,
              0.33042,
              0.45289,
              0.69722,
              1.18601
            ],
            [
              0.20106,
              0.22519,
              0.24413,
              0.27753,
              0.33998,
              0.46246,
              0.70681,
              1.19572
            ],
            [
              0.21584,
              0.23997,
              0.25889,
              0.29229,
              0.35469,
              0.47719,
              0.72159,
              1.21033
            ],
            [
              0.23731,
              0.26135,
              0.28023,
              0.31357,
              0.37593,
              0.49839,
              0.74275,
              1.23146
            ],
            [
              0.26529,
              0.28911,
              0.30789,
              0.34112,
              0.40335,
              0.52569,
              0.76995,
              1.25865
            ],
            [
              0.29916,
              0.32278,
              0.34146,
              0.37453,
              0.43657,
              0.55877,
              0.80299,
              1.29169
            ],
            [
              0.34105,
              0.3644,
              0.38296,
              0.41587,
              0.47772,
              0.59962,
              0.84372,
              1.33222
            ],
            [
              0.39417,
              0.41717,
              0.43567,
              0.46827,
              0.52987,
              0.65157,
              0.89527,
              1.38357
            ],
            [
              0.4625,
              0.4853,
              0.5036,
              0.5361,
              0.5973,
              0.7186,
              0.962,
              1.45
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0274,
              0.04681,
              0.06165,
              0.08874,
              0.13955,
              0.24274,
              0.45866,
              0.90207
            ],
            [
              0.02739,
              0.04682,
              0.06174,
              0.08874,
              0.13962,
              0.24272,
              0.45824,
              0.90047
            ],
            [
              0.0274,
              0.04681,
              0.06164,
              0.08874,
              0.13956,
              0.24274,
              0.45872,
              0.90218
            ],
            [
              0.02736,
              0.04682,
              0.06167,
              0.08871,
              0.1396,
              0.24266,
              0.45861,
              0.90168
            ],
            [
              0.02735,
              0.0468,
              0.06164,
              0.08873,
              0.13961,
              0.24271,
              0.4583,
              0.90159
            ],
            [
              0.02728,
              0.04679,
              0.06166,
              0.0887,
              0.1396,
              0.24269,
              0.45816,
              0.90164
            ],
            [
              0.02724,
              0.04678,
              0.06163,
              0.08873,
              0.1396,
              0.24281,
              0.45875,
              0.90184
            ],
            [
              0.02729,
              0.04686,
              0.0618,
              0.08881,
              0.13961,
              0.24273,
              0.45857,
              0.90248
            ],
            [
              0.02761,
              0.04718,
              0.06202,
              0.08908,
              0.13978,
              0.24284,
              0.45861,
              0.90078
            ],
            [
              0.02815,
              0.04779,
              0.06252,
              0.08937,
              0.1401,
              0.24307,
              0.45854,
              0.90142
            ],
            [
              0.02899,
              0.04861,
              0.06329,
              0.09012,
              0.14062,
              0.24292,
              0.4582,
              0.9008
            ],
            [
              0.0303,
              0.0499,
              0.0645,
              0.0911,
              0.1418,
              0.244,
              0.458,
              0.9017
            ],
            [
              0.0321,
              0.0518,
              0.0663,
              0.093,
              0.1434,
              0.2455,
              0.4594,
              0.9002
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.01973,
              0.04483,
              0.0665,
              0.10948,
              0.19908,
              0.38235,
              0.75376,
              1.49736
            ],
            [
              0.01974,
              0.0449,
              0.06651,
              0.10974,
              0.19923,
              0.38255,
              0.75366,
              1.49617
            ],
            [
              0.01972,
              0.04493,
              0.06657,
              0.10953,
              0.19881,
              0.38231,
              0.75376,
              1.49667
            ],
            [
              0.01974,
              0.04494,
              0.06658,
              0.10952,
              0.19905,
              0.38234,
              0.75371,
              1.49991
            ],
            [
              0.01972,
              0.04494,
              0.06658,
              0.10951,
              0.19883,
              0.38292,
              0.75322,
              1.49607
            ],
            [
              0.01971,
              0.04495,
              0.06656,
              0.10957,
              0.19909,
              0.38241,
              0.75376,
              1.49688
            ],
            [
              0.01971,
              0.04485,
              0.06647,
              0.10958,
              0.199,
              0.38277,
              0.75395,
              1.49607
            ],
            [
              0.01969,
              0.04494,
              0.06658,
              0.1096,
              0.1994,
              0.38235,
              0.75431,
              1.49718
            ],
            [
              0.01995,
              0.04516,
              0.06672,
              0.10963,
              0.19888,
              0.38247,
              0.75319,
              1.49718
            ],
            [
              0.02037,
              0.04553,
              0.06716,
              0.11015,
              0.19935,
              0.3827,
              0.75431,
              1.4971
            ],
            [
              0.02096,
              0.04609,
              0.06764,
              0.11049,
              0.19933,
              0.38248,
              0.7537,
              1.4971
            ],
            [
              0.0217,
              0.0468,
              0.0684,
              0.1109,
              0.1995,
              0.3829,
              0.7534,
              1.4976
            ],
            [
              0.023,
              0.048,
              0.0695,
              0.1118,
              0.2,
              0.3835,
              0.754,
              1.497
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.1266,
              0.15485,
              0.17519,
              0.2079,
              0.26113,
              0.35228,
              0.52034,
              0.84905
            ],
            [
              0.12853,
              0.15677,
              0.17712,
              0.20982,
              0.26306,
              0.35419,
              0.52208,
              0.85082
            ],
            [
              0.13099,
              0.15922,
              0.17957,
              0.21227,
              0.26552,
              0.35667,
              0.52465,
              0.85355
            ],
            [
              0.13486,
              0.16309,
              0.18343,
              0.21613,
              0.26938,
              0.36053,
              0.5285,
              0.85791
            ],
            [
              0.14094,
              0.16916,
              0.18949,
              0.2222,
              0.27544,
              0.3666,
              0.5346,
              0.86388
            ],
            [
              0.15031,
              0.17851,
              0.19883,
              0.23153,
              0.28478,
              0.37594,
              0.54403,
              0.87257
            ],
            [
              0.16446,
              0.19264,
              0.21294,
              0.24562,
              0.29889,
              0.39006,
              0.55814,
              0.88686
            ],
            [
              0.18462,
              0.21293,
              0.23324,
              0.26596,
              0.31927,
              0.41052,
              0.57862,
              0.90736
            ],
            [
              0.20955,
              0.23892,
              0.25979,
              0.29304,
              0.34673,
              0.43817,
              0.60614,
              0.93535
            ],
            [
              0.2398,
              0.2704,
              0.29206,
              0.32636,
              0.38128,
              0.47356,
              0.64179,
              0.97019
            ],
            [
              0.27737,
              0.30949,
              0.33211,
              0.36766,
              0.42398,
              0.51772,
              0.68682,
              1.01552
            ],
            [
              0.32517,
              0.35917,
              0.38307,
              0.42027,
              0.47847,
              0.57407,
              0.74447,
              1.07347
            ],
            [
              0.3868,
              0.4231,
              0.4488,
              0.4886,
              0.5497,
              0.6481,
              0.8202,
              1.1499
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.10556,
              0.13143,
              0.1514,
              0.18597,
              0.24899,
              0.37062,
              0.61248,
              1.09627
            ],
            [
              0.10735,
              0.13323,
              0.15319,
              0.18776,
              0.25079,
              0.37235,
              0.61401,
              1.09754
            ],
            [
              0.10953,
              0.13541,
              0.15536,
              0.18993,
              0.25292,
              0.37458,
              0.61666,
              1.10032
            ],
            [
              0.11292,
              0.13881,
              0.15876,
              0.19332,
              0.25633,
              0.37794,
              0.61937,
              1.10337
            ],
            [
              0.11821,
              0.14409,
              0.16404,
              0.19862,
              0.26161,
              0.38323,
              0.62456,
              1.10831
            ],
            [
              0.12621,
              0.15208,
              0.17202,
              0.20657,
              0.26953,
              0.39117,
              0.63285,
              1.11672
            ],
            [
              0.13795,
              0.16377,
              0.18365,
              0.21811,
              0.28096,
              0.40248,
              0.64418,
              1.12723
            ],
            [
              0.15281,
              0.17898,
              0.19895,
              0.23341,
              0.29626,
              0.41762,
              0.65973,
              1.14266
            ],
            [
              0.16922,
              0.19628,
              0.21678,
              0.25172,
              0.31464,
              0.4359,
              0.6774,
              1.15995
            ],
            [
              0.18659,
              0.21498,
              0.23627,
              0.27205,
              0.33545,
              0.45673,
              0.69839,
              1.18149
            ],
            [
              0.20396,
              0.2342,
              0.2567,
              0.29387,
              0.35819,
              0.47982,
              0.72062,
              1.20422
            ],
            [
              0.21947,
              0.25217,
              0.27627,
              0.31577,
              0.38197,
              0.50417,
              0.74567,
              1.22737
            ],
            [
              0.2302,
              0.2657,
              0.2919,
              0.3347,
              0.4043,
              0.5288,
              0.7711,
              1.2528
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.0319,
              0.05318,
              0.06906,
              0.09693,
              0.14883,
              0.25132,
              0.46374,
              0.90398
            ],
            [
              0.03186,
              0.05315,
              0.06906,
              0.09704,
              0.14896,
              0.25148,
              0.46402,
              0.90383
            ],
            [
              0.03187,
              0.05316,
              0.06906,
              0.09703,
              0.14896,
              0.25134,
              0.46363,
              0.90454
            ],
            [
              0.03189,
              0.05317,
              0.06907,
              0.09704,
              0.14896,
              0.25138,
              0.46373,
              0.90429
            ],
            [
              0.03189,
              0.05322,
              0.06905,
              0.097,
              0.14894,
              0.25126,
              0.46359,
              0.90426
            ],
            [
              0.03197,
              0.05326,
              0.06915,
              0.09699,
              0.14889,
              0.25142,
              0.46385,
              0.90272
            ],
            [
              0.03227,
              0.05352,
              0.06938,
              0.09718,
              0.14891,
              0.25157,
              0.46348,
              0.90401
            ],
            [
              0.03394,
              0.05482,
              0.07047,
              0.09802,
              0.14951,
              0.25159,
              0.46401,
              0.90404
            ],
            [
              0.03772,
              0.05873,
              0.07404,
              0.10089,
              0.15142,
              0.25258,
              0.46443,
              0.90437
            ],
            [
              0.04243,
              0.06379,
              0.07915,
              0.10584,
              0.15557,
              0.25533,
              0.46557,
              0.90344
            ],
            [
              0.04843,
              0.07029,
              0.08561,
              0.11205,
              0.16121,
              0.25955,
              0.4679,
              0.904
            ],
            [
              0.0562,
              0.0787,
              0.0943,
              0.1205,
              0.1686,
              0.2657,
              0.4711,
              0.9049
            ],
            [
              0.0668,
              0.0906,
              0.1068,
              0.1329,
              0.1801,
              0.2748,
              0.4771,
              0.9073
            ]
          ]
        },
        "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.00728,
            0.01456,
            0.02913,
            0.05826,
            0.11652,
            0.23304,
            0.46608
          ],
          "values": [
            [
              0.02026,
              0.04625,
              0.06834,
              0.1113,
              0.19906,
              0.38053,
              0.7469,
              1.48388
            ],
            [
              0.02026,
              0.04625,
              0.06832,
              0.11128,
              0.19909,
              0.38006,
              0.74794,
              1.48318
            ],
            [
              0.02026,
              0.04614,
              0.06845,
              0.11129,
              0.19936,
              0.38046,
              0.74738,
              1.48387
            ],
            [
              0.02027,
              0.04625,
              0.06843,
              0.11133,
              0.19916,
              0.38016,
              0.74842,
              1.48276
            ],
            [
              0.02029,
              0.04618,
              0.06835,
              0.11136,
              0.1991,
              0.38047,
              0.74849,
              1.48375
            ],
            [
              0.02034,
              0.04635,
              0.06842,
              0.11143,
              0.19893,
              0.38052,
              0.74769,
              1.48355
            ],
            [
              0.0206,
              0.0465,
              0.06861,
              0.11161,
              0.19951,
              0.37983,
              0.74753,
              1.48536
            ],
            [
              0.02209,
              0.04779,
              0.06983,
              0.11215,
              0.19936,
              0.37995,
              0.74783,
              1.48426
            ],
            [
              0.02466,
              0.05032,
              0.07223,
              0.11425,
              0.2006,
              0.38063,
              0.74847,
              1.48385
            ],
            [
              0.02838,
              0.054,
              0.076,
              0.11749,
              0.20263,
              0.38155,
              0.74776,
              1.48349
            ],
            [
              0.03364,
              0.05943,
              0.08166,
              0.12265,
              0.20592,
              0.38268,
              0.74772,
              1.4852
            ],
            [
              0.0408,
              0.0669,
              0.0899,
              0.1308,
              0.2125,
              0.3867,
              0.7493,
              1.4853
            ],
            [
              0.0506,
              0.0771,
              0.1011,
              0.1432,
              0.2232,
              0.3938,
              0.7529,
              1.4861
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}