cells/fah/sky130_fd_sc_hs__fah_2__ff_100C_1v95.lib.json

{
  "area": 47.952,
  "cell_footprint": "sky130_fd_sc_hs__fah",
  "cell_leakage_power": 6292.90075,
  "leakage_power": [
    {
      "value": 6782.7194,
      "when": "!A&!B&!CI"
    },
    {
      "value": 6141.9281,
      "when": "!A&!B&CI"
    },
    {
      "value": 7365.39278,
      "when": "!A&B&!CI"
    },
    {
      "value": 6987.67557,
      "when": "!A&B&CI"
    },
    {
      "value": 5016.37894,
      "when": "A&!B&!CI"
    },
    {
      "value": 5890.20338,
      "when": "A&!B&CI"
    },
    {
      "value": 6924.51047,
      "when": "A&B&!CI"
    },
    {
      "value": 5234.39734,
      "when": "A&B&CI"
    }
  ],
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00495,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00773,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00272,
    "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.16973,
              0.17945,
              0.1941,
              0.22764,
              0.29871,
              0.44331,
              0.733,
              1.31859
            ],
            [
              0.16962,
              0.17934,
              0.19402,
              0.22749,
              0.29855,
              0.4431,
              0.7325,
              1.31803
            ],
            [
              0.16975,
              0.17944,
              0.1942,
              0.22762,
              0.29878,
              0.44301,
              0.73292,
              1.31873
            ],
            [
              0.17029,
              0.17999,
              0.19467,
              0.22812,
              0.29917,
              0.4438,
              0.73427,
              1.31943
            ],
            [
              0.17149,
              0.18117,
              0.19583,
              0.22937,
              0.3004,
              0.44512,
              0.73521,
              1.32021
            ],
            [
              0.17359,
              0.18333,
              0.19798,
              0.2315,
              0.3025,
              0.44724,
              0.73775,
              1.32111
            ],
            [
              0.17752,
              0.18724,
              0.20201,
              0.2354,
              0.3065,
              0.45084,
              0.74089,
              1.32638
            ],
            [
              0.18461,
              0.19419,
              0.20893,
              0.24239,
              0.31336,
              0.45741,
              0.74738,
              1.33325
            ],
            [
              0.19634,
              0.20585,
              0.2205,
              0.25384,
              0.3246,
              0.46912,
              0.76002,
              1.34559
            ],
            [
              0.21851,
              0.22785,
              0.2424,
              0.27553,
              0.34643,
              0.49094,
              0.78102,
              1.36689
            ],
            [
              0.24847,
              0.2575,
              0.27196,
              0.30522,
              0.37547,
              0.51989,
              0.80897,
              1.39542
            ],
            [
              0.29858,
              0.30718,
              0.32138,
              0.35443,
              0.42486,
              0.56846,
              0.85808,
              1.44398
            ],
            [
              0.37092,
              0.37887,
              0.39286,
              0.42513,
              0.49566,
              0.63931,
              0.92829,
              1.51426
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.14605,
              0.15045,
              0.16007,
              0.18339,
              0.23405,
              0.3383,
              0.54761,
              0.96978
            ],
            [
              0.14591,
              0.15034,
              0.15994,
              0.1833,
              0.23408,
              0.33804,
              0.54742,
              0.96998
            ],
            [
              0.146,
              0.15041,
              0.16005,
              0.18334,
              0.23408,
              0.33842,
              0.54719,
              0.97026
            ],
            [
              0.14641,
              0.15084,
              0.16042,
              0.18377,
              0.23457,
              0.33819,
              0.54825,
              0.96998
            ],
            [
              0.14735,
              0.15177,
              0.16136,
              0.18473,
              0.23553,
              0.33951,
              0.54899,
              0.9713
            ],
            [
              0.14951,
              0.1539,
              0.16349,
              0.18683,
              0.23769,
              0.34186,
              0.55073,
              0.97417
            ],
            [
              0.15358,
              0.15795,
              0.16751,
              0.19075,
              0.24162,
              0.34567,
              0.55456,
              0.97846
            ],
            [
              0.16079,
              0.16509,
              0.17461,
              0.19783,
              0.24856,
              0.35251,
              0.56226,
              0.98492
            ],
            [
              0.17296,
              0.17716,
              0.18654,
              0.20963,
              0.26033,
              0.36391,
              0.57408,
              0.99594
            ],
            [
              0.196,
              0.20002,
              0.20925,
              0.23221,
              0.28255,
              0.38647,
              0.59533,
              1.01919
            ],
            [
              0.22713,
              0.23087,
              0.23984,
              0.26262,
              0.31294,
              0.41632,
              0.62572,
              1.04731
            ],
            [
              0.27883,
              0.28224,
              0.2909,
              0.31316,
              0.36329,
              0.46671,
              0.67563,
              1.09752
            ],
            [
              0.35279,
              0.35583,
              0.3641,
              0.38587,
              0.43549,
              0.53886,
              0.74748,
              1.16981
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.15371,
              0.1637,
              0.17867,
              0.21241,
              0.28351,
              0.42802,
              0.71856,
              1.30327
            ],
            [
              0.15342,
              0.16348,
              0.17839,
              0.2121,
              0.2832,
              0.42763,
              0.71802,
              1.30434
            ],
            [
              0.15357,
              0.16353,
              0.17847,
              0.21208,
              0.28324,
              0.4281,
              0.71804,
              1.30309
            ],
            [
              0.15405,
              0.16399,
              0.17894,
              0.21259,
              0.28368,
              0.42786,
              0.71902,
              1.30316
            ],
            [
              0.15525,
              0.16513,
              0.18,
              0.21368,
              0.2847,
              0.42894,
              0.71971,
              1.30607
            ],
            [
              0.15796,
              0.16774,
              0.18262,
              0.21624,
              0.28738,
              0.43171,
              0.72124,
              1.30719
            ],
            [
              0.1629,
              0.17264,
              0.1874,
              0.22082,
              0.29172,
              0.43615,
              0.72648,
              1.31129
            ],
            [
              0.1713,
              0.1807,
              0.19527,
              0.22854,
              0.29919,
              0.44345,
              0.73393,
              1.31843
            ],
            [
              0.18439,
              0.19352,
              0.20784,
              0.24069,
              0.31114,
              0.4554,
              0.74446,
              1.33008
            ],
            [
              0.20746,
              0.21619,
              0.23018,
              0.26243,
              0.33261,
              0.47632,
              0.76683,
              1.34966
            ],
            [
              0.23922,
              0.24732,
              0.26082,
              0.29264,
              0.36198,
              0.50494,
              0.79445,
              1.37952
            ],
            [
              0.29284,
              0.30003,
              0.31291,
              0.34372,
              0.41262,
              0.55459,
              0.84429,
              1.4268
            ],
            [
              0.37298,
              0.37907,
              0.39116,
              0.42058,
              0.48781,
              0.62984,
              0.91732,
              1.50077
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.125,
              0.12928,
              0.1388,
              0.16209,
              0.21281,
              0.31641,
              0.52576,
              0.94947
            ],
            [
              0.12486,
              0.12915,
              0.13869,
              0.16193,
              0.21266,
              0.31684,
              0.5266,
              0.94821
            ],
            [
              0.12509,
              0.12937,
              0.13888,
              0.16212,
              0.2129,
              0.31669,
              0.52579,
              0.94835
            ],
            [
              0.1254,
              0.1297,
              0.13924,
              0.16249,
              0.2133,
              0.31706,
              0.52621,
              0.95001
            ],
            [
              0.12633,
              0.13057,
              0.14011,
              0.16332,
              0.21408,
              0.31765,
              0.52736,
              0.94968
            ],
            [
              0.12811,
              0.1324,
              0.14189,
              0.16507,
              0.21575,
              0.3196,
              0.5291,
              0.95171
            ],
            [
              0.13193,
              0.13618,
              0.14567,
              0.1687,
              0.21936,
              0.32283,
              0.53257,
              0.95564
            ],
            [
              0.13873,
              0.14288,
              0.15228,
              0.17521,
              0.22544,
              0.32884,
              0.53866,
              0.96022
            ],
            [
              0.14993,
              0.15399,
              0.16331,
              0.18599,
              0.23586,
              0.3391,
              0.5484,
              0.96977
            ],
            [
              0.17272,
              0.17647,
              0.18571,
              0.20816,
              0.25744,
              0.3601,
              0.56911,
              0.9913
            ],
            [
              0.20635,
              0.20956,
              0.21841,
              0.24048,
              0.28919,
              0.39069,
              0.59889,
              1.0199
            ],
            [
              0.26496,
              0.26746,
              0.27566,
              0.29668,
              0.34455,
              0.44521,
              0.65097,
              1.07171
            ],
            [
              0.35248,
              0.35416,
              0.36181,
              0.38155,
              0.42744,
              0.52659,
              0.73112,
              1.15024
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.12365,
              0.13387,
              0.14854,
              0.18158,
              0.25199,
              0.39569,
              0.68589,
              1.26919
            ],
            [
              0.12355,
              0.13371,
              0.14844,
              0.18142,
              0.25162,
              0.39624,
              0.68589,
              1.27187
            ],
            [
              0.1236,
              0.1338,
              0.14848,
              0.18142,
              0.25207,
              0.39564,
              0.68647,
              1.27058
            ],
            [
              0.12372,
              0.13386,
              0.1486,
              0.18165,
              0.2519,
              0.39568,
              0.68547,
              1.27129
            ],
            [
              0.12414,
              0.13427,
              0.149,
              0.18193,
              0.25236,
              0.39636,
              0.68658,
              1.27247
            ],
            [
              0.12512,
              0.13523,
              0.14987,
              0.18292,
              0.25317,
              0.39719,
              0.68788,
              1.27347
            ],
            [
              0.12762,
              0.13756,
              0.15205,
              0.18497,
              0.25494,
              0.39912,
              0.68889,
              1.27501
            ],
            [
              0.1328,
              0.14228,
              0.15645,
              0.18884,
              0.25893,
              0.40203,
              0.69156,
              1.27817
            ],
            [
              0.14119,
              0.15006,
              0.16369,
              0.19563,
              0.26468,
              0.408,
              0.69808,
              1.2835
            ],
            [
              0.15672,
              0.16484,
              0.17806,
              0.20893,
              0.27736,
              0.42055,
              0.70982,
              1.29202
            ],
            [
              0.17556,
              0.18274,
              0.19525,
              0.22543,
              0.29251,
              0.43439,
              0.72365,
              1.30696
            ],
            [
              0.20758,
              0.21371,
              0.22543,
              0.2541,
              0.32008,
              0.46012,
              0.74689,
              1.33141
            ],
            [
              0.25257,
              0.2574,
              0.26792,
              0.29478,
              0.35838,
              0.49664,
              0.7819,
              1.36301
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.102,
              0.10686,
              0.11645,
              0.13985,
              0.19088,
              0.29506,
              0.50475,
              0.92749
            ],
            [
              0.10188,
              0.10678,
              0.11637,
              0.13975,
              0.1908,
              0.29466,
              0.50495,
              0.92709
            ],
            [
              0.10194,
              0.10681,
              0.1164,
              0.13979,
              0.1907,
              0.29478,
              0.50507,
              0.92633
            ],
            [
              0.10212,
              0.10701,
              0.11658,
              0.13994,
              0.19082,
              0.29494,
              0.50457,
              0.92809
            ],
            [
              0.10268,
              0.10754,
              0.11709,
              0.1404,
              0.19129,
              0.29531,
              0.50493,
              0.92734
            ],
            [
              0.10414,
              0.10894,
              0.11837,
              0.1415,
              0.19236,
              0.29638,
              0.50628,
              0.92847
            ],
            [
              0.10719,
              0.11165,
              0.12082,
              0.14365,
              0.19419,
              0.29784,
              0.50763,
              0.92994
            ],
            [
              0.1122,
              0.11612,
              0.125,
              0.14743,
              0.1975,
              0.30096,
              0.51018,
              0.93317
            ],
            [
              0.12008,
              0.12328,
              0.13173,
              0.15359,
              0.20304,
              0.30582,
              0.51464,
              0.93745
            ],
            [
              0.13576,
              0.13804,
              0.14595,
              0.16711,
              0.2157,
              0.31754,
              0.52594,
              0.94754
            ],
            [
              0.15547,
              0.15662,
              0.16381,
              0.18416,
              0.23165,
              0.33236,
              0.53982,
              0.96042
            ],
            [
              0.1893,
              0.18919,
              0.19544,
              0.21451,
              0.26075,
              0.35997,
              0.56568,
              0.98316
            ],
            [
              0.23587,
              0.23443,
              0.2395,
              0.25705,
              0.30152,
              0.39923,
              0.60237,
              1.02062
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.29931,
    "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.15606,
              0.17593,
              0.19017,
              0.21349,
              0.25236,
              0.32047,
              0.44822,
              0.70022
            ],
            [
              0.15794,
              0.17781,
              0.19206,
              0.21537,
              0.25425,
              0.32235,
              0.45011,
              0.70204
            ],
            [
              0.16043,
              0.1803,
              0.19455,
              0.21787,
              0.25674,
              0.32485,
              0.45259,
              0.70444
            ],
            [
              0.16428,
              0.18416,
              0.19842,
              0.22173,
              0.2606,
              0.32871,
              0.45642,
              0.70832
            ],
            [
              0.16995,
              0.18981,
              0.20405,
              0.22736,
              0.26623,
              0.33433,
              0.46209,
              0.71405
            ],
            [
              0.17792,
              0.19773,
              0.21196,
              0.23525,
              0.2741,
              0.34219,
              0.46989,
              0.72148
            ],
            [
              0.18904,
              0.20876,
              0.22294,
              0.24618,
              0.28499,
              0.35305,
              0.48072,
              0.73261
            ],
            [
              0.20439,
              0.22394,
              0.23804,
              0.26122,
              0.29996,
              0.36798,
              0.49564,
              0.74746
            ],
            [
              0.22481,
              0.24419,
              0.25818,
              0.2813,
              0.31996,
              0.38787,
              0.51548,
              0.76725
            ],
            [
              0.25186,
              0.27108,
              0.28504,
              0.30807,
              0.34668,
              0.41444,
              0.5421,
              0.79359
            ],
            [
              0.28756,
              0.30671,
              0.32062,
              0.34361,
              0.38218,
              0.44992,
              0.57722,
              0.82882
            ],
            [
              0.33507,
              0.35427,
              0.36817,
              0.39117,
              0.42977,
              0.49747,
              0.62457,
              0.87587
            ],
            [
              0.3995,
              0.4188,
              0.4328,
              0.4558,
              0.4945,
              0.5625,
              0.6898,
              0.9411
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.14445,
              0.16485,
              0.18147,
              0.21164,
              0.26855,
              0.37972,
              0.60124,
              1.04437
            ],
            [
              0.14592,
              0.16631,
              0.18294,
              0.2131,
              0.26996,
              0.38128,
              0.60288,
              1.04634
            ],
            [
              0.1477,
              0.16809,
              0.18472,
              0.21489,
              0.27178,
              0.38306,
              0.60462,
              1.04762
            ],
            [
              0.15013,
              0.17053,
              0.18715,
              0.21734,
              0.27425,
              0.38548,
              0.60703,
              1.04987
            ],
            [
              0.15303,
              0.17343,
              0.19005,
              0.22023,
              0.27715,
              0.38829,
              0.60984,
              1.05301
            ],
            [
              0.1563,
              0.1767,
              0.19332,
              0.22349,
              0.28035,
              0.3917,
              0.61347,
              1.05642
            ],
            [
              0.15971,
              0.18009,
              0.1967,
              0.22687,
              0.28379,
              0.39508,
              0.61683,
              1.05993
            ],
            [
              0.16282,
              0.18312,
              0.1997,
              0.22985,
              0.28678,
              0.39804,
              0.61977,
              1.06296
            ],
            [
              0.16455,
              0.18481,
              0.20136,
              0.23144,
              0.28834,
              0.39962,
              0.62123,
              1.06435
            ],
            [
              0.16329,
              0.18345,
              0.19993,
              0.22994,
              0.28673,
              0.39792,
              0.61961,
              1.06289
            ],
            [
              0.15668,
              0.17676,
              0.19317,
              0.22308,
              0.27981,
              0.39108,
              0.61252,
              1.05552
            ],
            [
              0.14157,
              0.16162,
              0.17797,
              0.20777,
              0.26437,
              0.37547,
              0.59727,
              1.03987
            ],
            [
              0.1134,
              0.1334,
              0.1498,
              0.1796,
              0.2361,
              0.3472,
              0.5686,
              1.012
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.02076,
              0.0356,
              0.04697,
              0.06782,
              0.10747,
              0.18711,
              0.35152,
              0.69038
            ],
            [
              0.02076,
              0.0356,
              0.04697,
              0.06783,
              0.10747,
              0.18705,
              0.35161,
              0.69028
            ],
            [
              0.02078,
              0.03562,
              0.04698,
              0.06777,
              0.10755,
              0.18717,
              0.35205,
              0.69088
            ],
            [
              0.02078,
              0.03562,
              0.047,
              0.06779,
              0.10755,
              0.18715,
              0.3519,
              0.68996
            ],
            [
              0.02075,
              0.03559,
              0.04694,
              0.06781,
              0.10745,
              0.18701,
              0.35166,
              0.69017
            ],
            [
              0.02065,
              0.0355,
              0.04688,
              0.06768,
              0.10746,
              0.18712,
              0.35192,
              0.69113
            ],
            [
              0.02049,
              0.0353,
              0.04667,
              0.06756,
              0.10731,
              0.18692,
              0.352,
              0.68998
            ],
            [
              0.02029,
              0.035,
              0.04643,
              0.06734,
              0.10716,
              0.1869,
              0.35168,
              0.69101
            ],
            [
              0.02012,
              0.03477,
              0.04617,
              0.0671,
              0.10688,
              0.18649,
              0.3518,
              0.69073
            ],
            [
              0.01999,
              0.03453,
              0.04598,
              0.06694,
              0.10665,
              0.18619,
              0.35103,
              0.69053
            ],
            [
              0.01994,
              0.03443,
              0.04585,
              0.06681,
              0.10654,
              0.18614,
              0.35088,
              0.6909
            ],
            [
              0.0202,
              0.0345,
              0.0459,
              0.0669,
              0.1067,
              0.1859,
              0.351,
              0.6897
            ],
            [
              0.0204,
              0.0349,
              0.0461,
              0.0671,
              0.1071,
              0.1865,
              0.3505,
              0.6888
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.01798,
              0.04154,
              0.06369,
              0.10741,
              0.19674,
              0.37952,
              0.7492,
              1.49071
            ],
            [
              0.01799,
              0.04154,
              0.06371,
              0.10745,
              0.1967,
              0.37994,
              0.74958,
              1.49029
            ],
            [
              0.01797,
              0.04154,
              0.0637,
              0.10742,
              0.19688,
              0.37994,
              0.74878,
              1.49124
            ],
            [
              0.01797,
              0.04154,
              0.06369,
              0.10734,
              0.19666,
              0.38018,
              0.74909,
              1.48952
            ],
            [
              0.01794,
              0.04153,
              0.06368,
              0.10734,
              0.19661,
              0.38018,
              0.74933,
              1.49142
            ],
            [
              0.01786,
              0.04145,
              0.06362,
              0.10739,
              0.19672,
              0.37983,
              0.74932,
              1.49055
            ],
            [
              0.01776,
              0.04134,
              0.06351,
              0.1072,
              0.19664,
              0.37958,
              0.74933,
              1.49261
            ],
            [
              0.0176,
              0.04116,
              0.06336,
              0.10714,
              0.19681,
              0.3798,
              0.74977,
              1.4908
            ],
            [
              0.01734,
              0.04098,
              0.06315,
              0.10702,
              0.19655,
              0.37962,
              0.74948,
              1.49054
            ],
            [
              0.01712,
              0.04081,
              0.06295,
              0.1068,
              0.1965,
              0.37987,
              0.74912,
              1.49082
            ],
            [
              0.01693,
              0.04061,
              0.06281,
              0.10661,
              0.19631,
              0.37946,
              0.74985,
              1.4928
            ],
            [
              0.01696,
              0.04065,
              0.06279,
              0.10657,
              0.1962,
              0.3799,
              0.7492,
              1.4923
            ],
            [
              0.0172,
              0.0409,
              0.0629,
              0.1066,
              0.1962,
              0.3792,
              0.749,
              1.4911
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.15653,
              0.17793,
              0.19341,
              0.21862,
              0.26018,
              0.33144,
              0.46162,
              0.7143
            ],
            [
              0.1584,
              0.17981,
              0.19529,
              0.2205,
              0.26206,
              0.33332,
              0.4635,
              0.71619
            ],
            [
              0.16087,
              0.18228,
              0.19776,
              0.22298,
              0.26454,
              0.33582,
              0.46611,
              0.71887
            ],
            [
              0.1647,
              0.18612,
              0.20159,
              0.22681,
              0.26837,
              0.33964,
              0.46981,
              0.72249
            ],
            [
              0.17035,
              0.19175,
              0.20723,
              0.23244,
              0.27399,
              0.34525,
              0.47544,
              0.72822
            ],
            [
              0.1783,
              0.19967,
              0.21512,
              0.24032,
              0.28185,
              0.3531,
              0.4833,
              0.73609
            ],
            [
              0.18949,
              0.21078,
              0.22618,
              0.25132,
              0.2928,
              0.364,
              0.49415,
              0.74672
            ],
            [
              0.20535,
              0.22646,
              0.24176,
              0.2668,
              0.30819,
              0.37935,
              0.50942,
              0.76204
            ],
            [
              0.22678,
              0.24766,
              0.26283,
              0.28774,
              0.32901,
              0.40004,
              0.53004,
              0.78275
            ],
            [
              0.25522,
              0.27588,
              0.29096,
              0.31574,
              0.3569,
              0.42774,
              0.55777,
              0.81039
            ],
            [
              0.29268,
              0.31319,
              0.3282,
              0.35291,
              0.39395,
              0.46472,
              0.59442,
              0.84722
            ],
            [
              0.34207,
              0.36257,
              0.37757,
              0.40227,
              0.44337,
              0.51397,
              0.64357,
              0.89577
            ],
            [
              0.4086,
              0.4291,
              0.4442,
              0.469,
              0.5102,
              0.581,
              0.7106,
              0.9625
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.13148,
              0.15158,
              0.1678,
              0.19731,
              0.25358,
              0.36469,
              0.58621,
              1.02867
            ],
            [
              0.13296,
              0.15305,
              0.16927,
              0.19878,
              0.25506,
              0.36601,
              0.58757,
              1.03024
            ],
            [
              0.13475,
              0.15485,
              0.17106,
              0.20056,
              0.25683,
              0.3678,
              0.58947,
              1.03192
            ],
            [
              0.13723,
              0.15732,
              0.17353,
              0.20305,
              0.25932,
              0.37044,
              0.59196,
              1.03458
            ],
            [
              0.14023,
              0.16031,
              0.17653,
              0.20603,
              0.2623,
              0.37326,
              0.59494,
              1.03801
            ],
            [
              0.14365,
              0.16371,
              0.17993,
              0.20944,
              0.26571,
              0.37674,
              0.59839,
              1.04182
            ],
            [
              0.14727,
              0.16728,
              0.18348,
              0.21298,
              0.26926,
              0.38022,
              0.60167,
              1.04493
            ],
            [
              0.15046,
              0.17037,
              0.18652,
              0.216,
              0.27227,
              0.3833,
              0.60492,
              1.04756
            ],
            [
              0.15202,
              0.17181,
              0.1879,
              0.2173,
              0.27353,
              0.38454,
              0.60589,
              1.04875
            ],
            [
              0.15022,
              0.16987,
              0.18587,
              0.21517,
              0.2713,
              0.38217,
              0.60375,
              1.04699
            ],
            [
              0.14272,
              0.16228,
              0.1782,
              0.20739,
              0.26338,
              0.37433,
              0.59552,
              1.03872
            ],
            [
              0.12636,
              0.14591,
              0.1618,
              0.19087,
              0.24677,
              0.35757,
              0.57907,
              1.02137
            ],
            [
              0.0965,
              0.1161,
              0.132,
              0.1611,
              0.2168,
              0.3274,
              0.5488,
              0.9912
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.02344,
              0.03979,
              0.05203,
              0.07396,
              0.11471,
              0.19437,
              0.35717,
              0.69414
            ],
            [
              0.02344,
              0.0398,
              0.05204,
              0.07396,
              0.11474,
              0.19436,
              0.35717,
              0.69384
            ],
            [
              0.02346,
              0.03979,
              0.05201,
              0.07395,
              0.11475,
              0.19448,
              0.35738,
              0.69303
            ],
            [
              0.02345,
              0.0398,
              0.05203,
              0.07395,
              0.11477,
              0.19436,
              0.35717,
              0.69394
            ],
            [
              0.02344,
              0.03979,
              0.05203,
              0.07395,
              0.1147,
              0.19438,
              0.35718,
              0.69417
            ],
            [
              0.02342,
              0.03972,
              0.05193,
              0.07386,
              0.11471,
              0.19436,
              0.35703,
              0.69344
            ],
            [
              0.02336,
              0.03959,
              0.05178,
              0.07374,
              0.11459,
              0.19422,
              0.35712,
              0.69396
            ],
            [
              0.0233,
              0.0394,
              0.05158,
              0.0735,
              0.1144,
              0.1942,
              0.35713,
              0.69406
            ],
            [
              0.02336,
              0.03925,
              0.05136,
              0.07328,
              0.11413,
              0.19403,
              0.35705,
              0.69366
            ],
            [
              0.02335,
              0.03909,
              0.05119,
              0.07306,
              0.11382,
              0.19345,
              0.35668,
              0.69317
            ],
            [
              0.0233,
              0.03898,
              0.05105,
              0.07288,
              0.11363,
              0.19316,
              0.35651,
              0.6924
            ],
            [
              0.0233,
              0.0391,
              0.0512,
              0.073,
              0.1135,
              0.1929,
              0.3557,
              0.6923
            ],
            [
              0.0236,
              0.0394,
              0.0515,
              0.0734,
              0.114,
              0.1932,
              0.3561,
              0.6917
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.01708,
              0.04037,
              0.06206,
              0.10551,
              0.19538,
              0.37904,
              0.74839,
              1.49123
            ],
            [
              0.0171,
              0.04039,
              0.06212,
              0.10549,
              0.19525,
              0.37857,
              0.74878,
              1.48981
            ],
            [
              0.01709,
              0.04038,
              0.06209,
              0.10548,
              0.19536,
              0.37878,
              0.74888,
              1.48966
            ],
            [
              0.01706,
              0.04035,
              0.06201,
              0.10549,
              0.19544,
              0.37927,
              0.74865,
              1.48905
            ],
            [
              0.017,
              0.04032,
              0.06207,
              0.10545,
              0.19536,
              0.37927,
              0.74897,
              1.48948
            ],
            [
              0.01691,
              0.04021,
              0.062,
              0.1054,
              0.19522,
              0.37877,
              0.74885,
              1.49001
            ],
            [
              0.0167,
              0.04008,
              0.06185,
              0.10529,
              0.19522,
              0.37871,
              0.74828,
              1.4907
            ],
            [
              0.01647,
              0.03987,
              0.06161,
              0.10519,
              0.19508,
              0.3789,
              0.74852,
              1.48975
            ],
            [
              0.01622,
              0.03964,
              0.06141,
              0.10503,
              0.19514,
              0.37876,
              0.74858,
              1.49192
            ],
            [
              0.01603,
              0.03942,
              0.06118,
              0.10485,
              0.19491,
              0.37859,
              0.7494,
              1.49094
            ],
            [
              0.01599,
              0.03933,
              0.06109,
              0.10473,
              0.19477,
              0.37863,
              0.74994,
              1.493
            ],
            [
              0.01613,
              0.03945,
              0.06114,
              0.10475,
              0.1946,
              0.3784,
              0.7486,
              1.4896
            ],
            [
              0.0165,
              0.0397,
              0.0615,
              0.1049,
              0.1947,
              0.3783,
              0.7488,
              1.4903
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.13738,
              0.15727,
              0.17154,
              0.19487,
              0.23374,
              0.30185,
              0.42955,
              0.68135
            ],
            [
              0.13878,
              0.15869,
              0.17297,
              0.19631,
              0.23519,
              0.30329,
              0.431,
              0.68299
            ],
            [
              0.1408,
              0.16073,
              0.17503,
              0.19838,
              0.23727,
              0.30539,
              0.4331,
              0.68492
            ],
            [
              0.14422,
              0.16417,
              0.17849,
              0.20186,
              0.24075,
              0.30889,
              0.4366,
              0.68837
            ],
            [
              0.14968,
              0.16967,
              0.18398,
              0.20736,
              0.24628,
              0.31442,
              0.44217,
              0.69411
            ],
            [
              0.15806,
              0.17806,
              0.19239,
              0.21577,
              0.25469,
              0.32284,
              0.45057,
              0.70252
            ],
            [
              0.17056,
              0.19054,
              0.20485,
              0.22822,
              0.26714,
              0.33526,
              0.46304,
              0.71464
            ],
            [
              0.18831,
              0.20819,
              0.22246,
              0.2458,
              0.28469,
              0.35282,
              0.48053,
              0.73252
            ],
            [
              0.21122,
              0.23149,
              0.24602,
              0.26967,
              0.3088,
              0.37702,
              0.50469,
              0.75655
            ],
            [
              0.24219,
              0.26284,
              0.27766,
              0.30181,
              0.3417,
              0.41066,
              0.53854,
              0.79059
            ],
            [
              0.2857,
              0.30683,
              0.32207,
              0.34686,
              0.38757,
              0.45742,
              0.58612,
              0.83822
            ],
            [
              0.34767,
              0.36937,
              0.38517,
              0.41087,
              0.45287,
              0.52407,
              0.65357,
              0.90567
            ],
            [
              0.4348,
              0.4573,
              0.4736,
              0.5004,
              0.5443,
              0.618,
              0.7495,
              1.0025
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.10697,
              0.12739,
              0.14394,
              0.17394,
              0.23066,
              0.34177,
              0.56321,
              1.00657
            ],
            [
              0.10854,
              0.12897,
              0.14551,
              0.17551,
              0.23224,
              0.3433,
              0.56473,
              1.00784
            ],
            [
              0.11049,
              0.13092,
              0.14746,
              0.17745,
              0.23417,
              0.34539,
              0.56666,
              1.00982
            ],
            [
              0.11334,
              0.13378,
              0.1503,
              0.18029,
              0.23695,
              0.34819,
              0.56968,
              1.01258
            ],
            [
              0.11741,
              0.13785,
              0.15438,
              0.18433,
              0.24098,
              0.35207,
              0.5737,
              1.01691
            ],
            [
              0.12311,
              0.14356,
              0.16006,
              0.18995,
              0.24654,
              0.35759,
              0.57876,
              1.02192
            ],
            [
              0.13137,
              0.15177,
              0.16817,
              0.1979,
              0.25428,
              0.36501,
              0.58615,
              1.02963
            ],
            [
              0.14009,
              0.16046,
              0.17677,
              0.20628,
              0.26231,
              0.37274,
              0.59379,
              1.03646
            ],
            [
              0.14653,
              0.16689,
              0.18313,
              0.2125,
              0.26812,
              0.37812,
              0.59892,
              1.04145
            ],
            [
              0.15022,
              0.17058,
              0.18673,
              0.21589,
              0.27116,
              0.38053,
              0.60062,
              1.04289
            ],
            [
              0.14939,
              0.16968,
              0.18575,
              0.21465,
              0.26934,
              0.37803,
              0.59752,
              1.03912
            ],
            [
              0.14085,
              0.16103,
              0.17697,
              0.20557,
              0.25967,
              0.36747,
              0.58607,
              1.02657
            ],
            [
              0.1197,
              0.1401,
              0.1558,
              0.1841,
              0.2376,
              0.3442,
              0.5614,
              1.0012
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.02054,
              0.03542,
              0.04683,
              0.06765,
              0.10747,
              0.18715,
              0.35188,
              0.69103
            ],
            [
              0.02057,
              0.03546,
              0.04684,
              0.06772,
              0.10751,
              0.18713,
              0.35203,
              0.69001
            ],
            [
              0.02059,
              0.03551,
              0.04691,
              0.06772,
              0.10754,
              0.18718,
              0.35189,
              0.69103
            ],
            [
              0.02064,
              0.03556,
              0.04697,
              0.06778,
              0.10757,
              0.18719,
              0.35191,
              0.69109
            ],
            [
              0.02069,
              0.0356,
              0.04698,
              0.06785,
              0.10756,
              0.18724,
              0.35208,
              0.6902
            ],
            [
              0.02071,
              0.03565,
              0.04703,
              0.06785,
              0.10762,
              0.18722,
              0.35182,
              0.69016
            ],
            [
              0.02068,
              0.03562,
              0.04702,
              0.06788,
              0.10753,
              0.18696,
              0.35209,
              0.69123
            ],
            [
              0.02094,
              0.03578,
              0.0471,
              0.06796,
              0.10759,
              0.18722,
              0.35191,
              0.69043
            ],
            [
              0.02221,
              0.03721,
              0.04848,
              0.06911,
              0.10844,
              0.18741,
              0.35212,
              0.69081
            ],
            [
              0.02365,
              0.03884,
              0.05025,
              0.07106,
              0.11039,
              0.1892,
              0.35265,
              0.69033
            ],
            [
              0.02615,
              0.04156,
              0.05303,
              0.07382,
              0.11312,
              0.19138,
              0.35398,
              0.6907
            ],
            [
              0.0302,
              0.0461,
              0.0576,
              0.0783,
              0.1175,
              0.1951,
              0.3561,
              0.6918
            ],
            [
              0.0354,
              0.0523,
              0.0641,
              0.085,
              0.1246,
              0.2015,
              0.3611,
              0.6933
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.01835,
              0.04166,
              0.06368,
              0.10722,
              0.1966,
              0.37952,
              0.74881,
              1.49008
            ],
            [
              0.01838,
              0.04169,
              0.06369,
              0.10724,
              0.1965,
              0.37963,
              0.74912,
              1.48964
            ],
            [
              0.01842,
              0.04174,
              0.06374,
              0.1073,
              0.19662,
              0.37939,
              0.74987,
              1.48997
            ],
            [
              0.01849,
              0.04176,
              0.06377,
              0.1073,
              0.19665,
              0.37952,
              0.74946,
              1.49133
            ],
            [
              0.01859,
              0.04187,
              0.06384,
              0.10736,
              0.19658,
              0.3796,
              0.74935,
              1.48949
            ],
            [
              0.01872,
              0.04193,
              0.06394,
              0.10749,
              0.19675,
              0.37965,
              0.74914,
              1.49051
            ],
            [
              0.01895,
              0.04218,
              0.06413,
              0.10765,
              0.19681,
              0.37971,
              0.74947,
              1.49041
            ],
            [
              0.01986,
              0.04275,
              0.06467,
              0.10804,
              0.19694,
              0.37974,
              0.74961,
              1.49036
            ],
            [
              0.02064,
              0.04335,
              0.06523,
              0.10854,
              0.19735,
              0.38006,
              0.74948,
              1.492
            ],
            [
              0.02151,
              0.04407,
              0.06585,
              0.10904,
              0.19763,
              0.37961,
              0.74887,
              1.49004
            ],
            [
              0.02269,
              0.04489,
              0.06658,
              0.10968,
              0.19791,
              0.37989,
              0.74886,
              1.4907
            ],
            [
              0.02416,
              0.04599,
              0.06766,
              0.11047,
              0.1984,
              0.3803,
              0.7497,
              1.4889
            ],
            [
              0.026,
              0.0477,
              0.0692,
              0.1115,
              0.1994,
              0.3804,
              0.7496,
              1.4908
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.12081,
              0.14098,
              0.15575,
              0.18032,
              0.22138,
              0.29219,
              0.42195,
              0.67468
            ],
            [
              0.12237,
              0.14255,
              0.15732,
              0.1819,
              0.22297,
              0.29379,
              0.42356,
              0.67599
            ],
            [
              0.12447,
              0.14466,
              0.15943,
              0.18403,
              0.22509,
              0.2959,
              0.42572,
              0.67798
            ],
            [
              0.12782,
              0.14802,
              0.16279,
              0.18738,
              0.22845,
              0.29928,
              0.42911,
              0.68117
            ],
            [
              0.13303,
              0.15321,
              0.16797,
              0.19254,
              0.23361,
              0.30444,
              0.43423,
              0.68668
            ],
            [
              0.14079,
              0.16091,
              0.1756,
              0.20011,
              0.24115,
              0.31195,
              0.44177,
              0.69388
            ],
            [
              0.15189,
              0.17187,
              0.18643,
              0.21079,
              0.25174,
              0.3225,
              0.4523,
              0.70426
            ],
            [
              0.16697,
              0.18672,
              0.20105,
              0.22517,
              0.26592,
              0.33654,
              0.46625,
              0.71849
            ],
            [
              0.1861,
              0.20571,
              0.21988,
              0.24382,
              0.28439,
              0.35482,
              0.48426,
              0.73631
            ],
            [
              0.21146,
              0.23094,
              0.24493,
              0.2686,
              0.30901,
              0.37929,
              0.50846,
              0.76039
            ],
            [
              0.24539,
              0.26482,
              0.27865,
              0.30207,
              0.34225,
              0.41237,
              0.54142,
              0.79312
            ],
            [
              0.29027,
              0.30977,
              0.32357,
              0.34677,
              0.38677,
              0.45677,
              0.58547,
              0.83677
            ],
            [
              0.3494,
              0.3692,
              0.383,
              0.4061,
              0.4461,
              0.5163,
              0.6454,
              0.8966
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.10639,
              0.12642,
              0.14265,
              0.1722,
              0.22857,
              0.33954,
              0.56124,
              1.00407
            ],
            [
              0.10803,
              0.12806,
              0.14428,
              0.17385,
              0.23022,
              0.34132,
              0.5629,
              1.00564
            ],
            [
              0.11005,
              0.13009,
              0.14632,
              0.17587,
              0.23224,
              0.34322,
              0.56484,
              1.00792
            ],
            [
              0.11309,
              0.13312,
              0.14935,
              0.17889,
              0.23522,
              0.34636,
              0.56797,
              1.01068
            ],
            [
              0.11751,
              0.13755,
              0.15378,
              0.18333,
              0.23968,
              0.35083,
              0.5724,
              1.01581
            ],
            [
              0.12417,
              0.14422,
              0.16044,
              0.18998,
              0.24631,
              0.35744,
              0.57901,
              1.02242
            ],
            [
              0.13422,
              0.15423,
              0.1704,
              0.19984,
              0.25611,
              0.3671,
              0.58866,
              1.03213
            ],
            [
              0.1449,
              0.16502,
              0.18122,
              0.21062,
              0.26674,
              0.37761,
              0.59876,
              1.04206
            ],
            [
              0.15487,
              0.1752,
              0.19161,
              0.22129,
              0.27754,
              0.38831,
              0.60932,
              1.05245
            ],
            [
              0.16583,
              0.1865,
              0.20324,
              0.23339,
              0.28988,
              0.4007,
              0.62167,
              1.06459
            ],
            [
              0.17903,
              0.20011,
              0.21721,
              0.24797,
              0.30504,
              0.4161,
              0.63722,
              1.07972
            ],
            [
              0.19547,
              0.21757,
              0.23487,
              0.26617,
              0.32397,
              0.43567,
              0.65747,
              1.09967
            ],
            [
              0.2161,
              0.2398,
              0.2582,
              0.2901,
              0.3486,
              0.4612,
              0.6842,
              1.128
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.02356,
              0.03903,
              0.05113,
              0.07304,
              0.11386,
              0.19353,
              0.35624,
              0.6922
            ],
            [
              0.02362,
              0.03911,
              0.05119,
              0.0731,
              0.11389,
              0.19363,
              0.35623,
              0.69197
            ],
            [
              0.02368,
              0.03916,
              0.05122,
              0.0731,
              0.11393,
              0.1934,
              0.3561,
              0.69293
            ],
            [
              0.02378,
              0.0393,
              0.05137,
              0.07323,
              0.11397,
              0.1936,
              0.35613,
              0.69283
            ],
            [
              0.024,
              0.03949,
              0.05153,
              0.07337,
              0.11411,
              0.19377,
              0.35625,
              0.6919
            ],
            [
              0.0244,
              0.03988,
              0.05187,
              0.07365,
              0.1143,
              0.19371,
              0.35609,
              0.69306
            ],
            [
              0.025,
              0.04042,
              0.05236,
              0.07401,
              0.11458,
              0.19403,
              0.35648,
              0.69293
            ],
            [
              0.0257,
              0.04097,
              0.05279,
              0.07432,
              0.11479,
              0.194,
              0.35658,
              0.69217
            ],
            [
              0.02664,
              0.04182,
              0.05352,
              0.07484,
              0.11505,
              0.19409,
              0.35667,
              0.69297
            ],
            [
              0.02789,
              0.04284,
              0.05438,
              0.07554,
              0.11552,
              0.194,
              0.35645,
              0.69301
            ],
            [
              0.02996,
              0.0446,
              0.05586,
              0.07662,
              0.11624,
              0.19463,
              0.35572,
              0.6916
            ],
            [
              0.0334,
              0.0475,
              0.0584,
              0.0785,
              0.1177,
              0.1953,
              0.3566,
              0.6914
            ],
            [
              0.0387,
              0.0522,
              0.0622,
              0.0815,
              0.1202,
              0.1975,
              0.358,
              0.6913
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.01659,
              0.04001,
              0.0618,
              0.10524,
              0.19508,
              0.37853,
              0.74891,
              1.48992
            ],
            [
              0.01661,
              0.04001,
              0.06176,
              0.10527,
              0.1953,
              0.37879,
              0.74843,
              1.48927
            ],
            [
              0.01662,
              0.04004,
              0.06182,
              0.10524,
              0.19507,
              0.37855,
              0.74879,
              1.4898
            ],
            [
              0.01663,
              0.04004,
              0.06184,
              0.10525,
              0.19516,
              0.37875,
              0.74882,
              1.48964
            ],
            [
              0.01665,
              0.04002,
              0.06179,
              0.10528,
              0.19537,
              0.37906,
              0.74843,
              1.49001
            ],
            [
              0.01664,
              0.04004,
              0.06176,
              0.1053,
              0.19525,
              0.37878,
              0.74903,
              1.49009
            ],
            [
              0.01676,
              0.04018,
              0.06187,
              0.10539,
              0.19519,
              0.37878,
              0.74887,
              1.49047
            ],
            [
              0.01762,
              0.04084,
              0.06248,
              0.10581,
              0.19537,
              0.37872,
              0.7491,
              1.48924
            ],
            [
              0.01851,
              0.04184,
              0.06374,
              0.10711,
              0.1963,
              0.37902,
              0.74949,
              1.49026
            ],
            [
              0.02009,
              0.04342,
              0.06563,
              0.10916,
              0.19782,
              0.37991,
              0.74885,
              1.49201
            ],
            [
              0.02235,
              0.0457,
              0.06833,
              0.11228,
              0.20042,
              0.38196,
              0.75019,
              1.4896
            ],
            [
              0.0254,
              0.0487,
              0.072,
              0.1165,
              0.2047,
              0.3856,
              0.7524,
              1.49
            ],
            [
              0.0289,
              0.0522,
              0.0757,
              0.1214,
              0.2106,
              0.391,
              0.7578,
              1.4939
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.0895,
              0.11218,
              0.12897,
              0.15643,
              0.20039,
              0.27327,
              0.40419,
              0.65699
            ],
            [
              0.09125,
              0.11393,
              0.13073,
              0.15818,
              0.20214,
              0.27502,
              0.40587,
              0.6586
            ],
            [
              0.09355,
              0.11622,
              0.13302,
              0.16047,
              0.20444,
              0.27732,
              0.40823,
              0.66079
            ],
            [
              0.09718,
              0.11986,
              0.13664,
              0.16411,
              0.20808,
              0.28096,
              0.4119,
              0.6647
            ],
            [
              0.10297,
              0.12562,
              0.1424,
              0.16986,
              0.21383,
              0.28672,
              0.41759,
              0.6703
            ],
            [
              0.11198,
              0.13459,
              0.15135,
              0.1788,
              0.22279,
              0.29569,
              0.42656,
              0.67952
            ],
            [
              0.12546,
              0.14799,
              0.16472,
              0.19217,
              0.23619,
              0.30912,
              0.44,
              0.6926
            ],
            [
              0.14308,
              0.16618,
              0.18317,
              0.21089,
              0.25514,
              0.3282,
              0.45919,
              0.71181
            ],
            [
              0.1657,
              0.18954,
              0.20697,
              0.23543,
              0.28054,
              0.3541,
              0.48527,
              0.73786
            ],
            [
              0.19554,
              0.22031,
              0.2383,
              0.26761,
              0.31386,
              0.38854,
              0.52018,
              0.77289
            ],
            [
              0.23564,
              0.26161,
              0.28035,
              0.31075,
              0.35859,
              0.43471,
              0.56742,
              0.82052
            ],
            [
              0.28977,
              0.31727,
              0.33717,
              0.36907,
              0.41937,
              0.49807,
              0.63257,
              0.88597
            ],
            [
              0.363,
              0.3925,
              0.4139,
              0.4481,
              0.5018,
              0.5853,
              0.7241,
              0.9794
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.07823,
              0.09844,
              0.11515,
              0.14545,
              0.2024,
              0.31382,
              0.53547,
              0.97862
            ],
            [
              0.07972,
              0.09992,
              0.11663,
              0.14693,
              0.20389,
              0.31531,
              0.53699,
              0.98066
            ],
            [
              0.08157,
              0.10177,
              0.11846,
              0.14876,
              0.20571,
              0.31703,
              0.53858,
              0.98132
            ],
            [
              0.08443,
              0.10464,
              0.12132,
              0.1516,
              0.20855,
              0.31992,
              0.54138,
              0.98467
            ],
            [
              0.08887,
              0.10904,
              0.12569,
              0.15593,
              0.21285,
              0.3242,
              0.54574,
              0.98901
            ],
            [
              0.09536,
              0.11546,
              0.13202,
              0.16216,
              0.21897,
              0.33025,
              0.55186,
              0.99512
            ],
            [
              0.10352,
              0.12374,
              0.14023,
              0.17025,
              0.22688,
              0.33796,
              0.55951,
              1.00203
            ],
            [
              0.11187,
              0.13255,
              0.14925,
              0.17942,
              0.23595,
              0.34675,
              0.56827,
              1.01116
            ],
            [
              0.1194,
              0.14085,
              0.15788,
              0.18832,
              0.24494,
              0.3557,
              0.57686,
              1.01905
            ],
            [
              0.12438,
              0.14697,
              0.16453,
              0.19561,
              0.25256,
              0.36321,
              0.58403,
              1.02659
            ],
            [
              0.12416,
              0.14833,
              0.16662,
              0.19877,
              0.25662,
              0.36769,
              0.58822,
              1.03012
            ],
            [
              0.11476,
              0.14097,
              0.16025,
              0.19387,
              0.25337,
              0.36557,
              0.58747,
              1.02907
            ],
            [
              0.0903,
              0.119,
              0.1397,
              0.1752,
              0.2371,
              0.3514,
              0.5757,
              1.0197
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.02353,
              0.04162,
              0.05551,
              0.07901,
              0.11979,
              0.19774,
              0.35882,
              0.69384
            ],
            [
              0.02354,
              0.04162,
              0.05551,
              0.07898,
              0.11977,
              0.19771,
              0.35868,
              0.69426
            ],
            [
              0.02354,
              0.04163,
              0.05551,
              0.07902,
              0.11982,
              0.19779,
              0.35882,
              0.69442
            ],
            [
              0.02354,
              0.04165,
              0.05553,
              0.07903,
              0.1198,
              0.19771,
              0.3588,
              0.69385
            ],
            [
              0.02357,
              0.04169,
              0.05557,
              0.07904,
              0.11983,
              0.19777,
              0.35874,
              0.69421
            ],
            [
              0.02367,
              0.04182,
              0.0557,
              0.07915,
              0.1199,
              0.19784,
              0.35875,
              0.69313
            ],
            [
              0.02467,
              0.04263,
              0.05636,
              0.07966,
              0.12023,
              0.19796,
              0.35872,
              0.69404
            ],
            [
              0.02737,
              0.04521,
              0.05863,
              0.08146,
              0.12142,
              0.19863,
              0.35924,
              0.69424
            ],
            [
              0.03077,
              0.04878,
              0.06224,
              0.08493,
              0.12427,
              0.20033,
              0.35936,
              0.69444
            ],
            [
              0.0352,
              0.05345,
              0.06691,
              0.08947,
              0.12846,
              0.20336,
              0.36142,
              0.69479
            ],
            [
              0.04123,
              0.05989,
              0.07342,
              0.09589,
              0.13442,
              0.20824,
              0.36346,
              0.6947
            ],
            [
              0.0499,
              0.0693,
              0.083,
              0.1056,
              0.1439,
              0.2162,
              0.3689,
              0.6974
            ],
            [
              0.0622,
              0.0825,
              0.0968,
              0.12,
              0.1588,
              0.2305,
              0.3794,
              0.7014
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.01537,
              0.03949,
              0.06195,
              0.10597,
              0.19579,
              0.37937,
              0.74901,
              1.48936
            ],
            [
              0.01535,
              0.03948,
              0.06195,
              0.10599,
              0.19574,
              0.37886,
              0.7489,
              1.49002
            ],
            [
              0.01537,
              0.03948,
              0.06196,
              0.10597,
              0.1957,
              0.37939,
              0.74926,
              1.48941
            ],
            [
              0.01537,
              0.03948,
              0.06196,
              0.10599,
              0.1957,
              0.37939,
              0.74869,
              1.49187
            ],
            [
              0.01539,
              0.03949,
              0.06198,
              0.10605,
              0.19574,
              0.37935,
              0.74884,
              1.48983
            ],
            [
              0.01551,
              0.03959,
              0.06207,
              0.10613,
              0.19584,
              0.37931,
              0.74881,
              1.49025
            ],
            [
              0.01669,
              0.04037,
              0.06274,
              0.10647,
              0.19595,
              0.37927,
              0.74936,
              1.48958
            ],
            [
              0.01872,
              0.04204,
              0.06435,
              0.10775,
              0.19655,
              0.37935,
              0.74913,
              1.49056
            ],
            [
              0.02177,
              0.04459,
              0.06679,
              0.10985,
              0.1979,
              0.37969,
              0.74893,
              1.49023
            ],
            [
              0.02601,
              0.04837,
              0.07056,
              0.11334,
              0.20031,
              0.38085,
              0.74971,
              1.48952
            ],
            [
              0.03184,
              0.05378,
              0.07598,
              0.11872,
              0.2048,
              0.38369,
              0.75136,
              1.4907
            ],
            [
              0.0398,
              0.06137,
              0.08354,
              0.12643,
              0.21193,
              0.3894,
              0.7546,
              1.4929
            ],
            [
              0.0508,
              0.072,
              0.094,
              0.1371,
              0.2226,
              0.3988,
              0.7622,
              1.4983
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.08931,
              0.11198,
              0.12877,
              0.15622,
              0.20017,
              0.27296,
              0.40371,
              0.65626
            ],
            [
              0.09106,
              0.11373,
              0.13052,
              0.15797,
              0.20191,
              0.27471,
              0.40541,
              0.65771
            ],
            [
              0.09336,
              0.11602,
              0.13281,
              0.16026,
              0.20421,
              0.27701,
              0.40775,
              0.66002
            ],
            [
              0.09699,
              0.11965,
              0.13644,
              0.1639,
              0.20785,
              0.28064,
              0.41141,
              0.66397
            ],
            [
              0.10277,
              0.12541,
              0.14219,
              0.16964,
              0.2136,
              0.28642,
              0.4171,
              0.66957
            ],
            [
              0.11179,
              0.13438,
              0.15113,
              0.17858,
              0.22255,
              0.29538,
              0.42609,
              0.67878
            ],
            [
              0.12526,
              0.14778,
              0.1645,
              0.19195,
              0.23596,
              0.30881,
              0.43958,
              0.69201
            ],
            [
              0.14286,
              0.16595,
              0.18293,
              0.21066,
              0.25489,
              0.32787,
              0.4587,
              0.71127
            ],
            [
              0.16545,
              0.18928,
              0.20671,
              0.23518,
              0.28028,
              0.35376,
              0.48476,
              0.73712
            ],
            [
              0.19526,
              0.22003,
              0.23802,
              0.26733,
              0.31357,
              0.38818,
              0.51966,
              0.77199
            ],
            [
              0.23532,
              0.26129,
              0.28003,
              0.31045,
              0.35827,
              0.43433,
              0.56682,
              0.81972
            ],
            [
              0.28937,
              0.31687,
              0.33677,
              0.36877,
              0.41897,
              0.49767,
              0.63197,
              0.88517
            ],
            [
              0.3625,
              0.3921,
              0.4134,
              0.4476,
              0.5014,
              0.5849,
              0.7235,
              0.9785
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.07801,
              0.09822,
              0.11494,
              0.14527,
              0.20227,
              0.31375,
              0.53545,
              0.97823
            ],
            [
              0.0795,
              0.09971,
              0.11642,
              0.14674,
              0.20374,
              0.31521,
              0.53697,
              0.9797
            ],
            [
              0.08135,
              0.10156,
              0.11826,
              0.14858,
              0.20557,
              0.31692,
              0.53855,
              0.98172
            ],
            [
              0.08422,
              0.10443,
              0.12112,
              0.15141,
              0.20839,
              0.31983,
              0.54143,
              0.98487
            ],
            [
              0.08867,
              0.10884,
              0.1255,
              0.15576,
              0.2127,
              0.32416,
              0.54587,
              0.98851
            ],
            [
              0.09516,
              0.11526,
              0.13183,
              0.16198,
              0.21883,
              0.33016,
              0.55184,
              0.99472
            ],
            [
              0.10333,
              0.12355,
              0.14004,
              0.17007,
              0.22674,
              0.33786,
              0.55949,
              1.00293
            ],
            [
              0.11167,
              0.13235,
              0.14906,
              0.17924,
              0.2358,
              0.3467,
              0.56826,
              1.01156
            ],
            [
              0.11919,
              0.14064,
              0.15767,
              0.18812,
              0.24478,
              0.35558,
              0.57683,
              1.01925
            ],
            [
              0.12415,
              0.14675,
              0.16431,
              0.1954,
              0.25239,
              0.36307,
              0.58398,
              1.02669
            ],
            [
              0.12392,
              0.14811,
              0.1664,
              0.19856,
              0.25644,
              0.36754,
              0.58822,
              1.03062
            ],
            [
              0.11454,
              0.14076,
              0.16005,
              0.19367,
              0.25317,
              0.36537,
              0.58747,
              1.02927
            ],
            [
              0.0902,
              0.1188,
              0.1395,
              0.175,
              0.237,
              0.3513,
              0.5757,
              1.0201
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.0235,
              0.04158,
              0.05548,
              0.07898,
              0.11972,
              0.19755,
              0.35843,
              0.69294
            ],
            [
              0.02351,
              0.04158,
              0.05548,
              0.07895,
              0.1197,
              0.19751,
              0.35821,
              0.69356
            ],
            [
              0.02351,
              0.04159,
              0.05548,
              0.07899,
              0.11973,
              0.19761,
              0.35843,
              0.69342
            ],
            [
              0.0235,
              0.04161,
              0.0555,
              0.079,
              0.11972,
              0.19754,
              0.35843,
              0.69275
            ],
            [
              0.02354,
              0.04166,
              0.05553,
              0.07903,
              0.11977,
              0.19764,
              0.35834,
              0.69343
            ],
            [
              0.02364,
              0.04179,
              0.05567,
              0.07913,
              0.11983,
              0.19766,
              0.35839,
              0.69264
            ],
            [
              0.02468,
              0.04261,
              0.05635,
              0.07962,
              0.12015,
              0.19778,
              0.35849,
              0.69336
            ],
            [
              0.02736,
              0.0452,
              0.05862,
              0.08144,
              0.12135,
              0.19842,
              0.35887,
              0.69255
            ],
            [
              0.03077,
              0.04878,
              0.06224,
              0.08492,
              0.12422,
              0.20015,
              0.35893,
              0.69368
            ],
            [
              0.0352,
              0.05345,
              0.06692,
              0.08948,
              0.12842,
              0.20318,
              0.36074,
              0.69405
            ],
            [
              0.04126,
              0.05993,
              0.07345,
              0.09592,
              0.13439,
              0.20805,
              0.36311,
              0.6948
            ],
            [
              0.05,
              0.0693,
              0.0831,
              0.1056,
              0.1439,
              0.2159,
              0.3685,
              0.6965
            ],
            [
              0.0622,
              0.0826,
              0.0969,
              0.1201,
              0.1588,
              0.2305,
              0.3791,
              0.7007
            ]
          ]
        },
        "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.00699,
            0.01398,
            0.02796,
            0.05592,
            0.11183,
            0.22366,
            0.44732
          ],
          "values": [
            [
              0.01536,
              0.03949,
              0.06198,
              0.10605,
              0.19583,
              0.37907,
              0.74952,
              1.48988
            ],
            [
              0.01536,
              0.03948,
              0.06198,
              0.10604,
              0.19582,
              0.37897,
              0.74902,
              1.48996
            ],
            [
              0.01537,
              0.03949,
              0.06198,
              0.10603,
              0.19576,
              0.3794,
              0.74937,
              1.49121
            ],
            [
              0.01537,
              0.03949,
              0.06198,
              0.10604,
              0.19577,
              0.37948,
              0.7499,
              1.49023
            ],
            [
              0.0154,
              0.03949,
              0.062,
              0.10596,
              0.19588,
              0.3791,
              0.74915,
              1.48977
            ],
            [
              0.01556,
              0.03959,
              0.06209,
              0.10619,
              0.19591,
              0.37941,
              0.74871,
              1.49305
            ],
            [
              0.01671,
              0.04038,
              0.06277,
              0.10646,
              0.19602,
              0.37938,
              0.74887,
              1.4907
            ],
            [
              0.01875,
              0.04206,
              0.06437,
              0.10783,
              0.19662,
              0.37947,
              0.74905,
              1.49105
            ],
            [
              0.0218,
              0.04461,
              0.06682,
              0.1099,
              0.19796,
              0.37982,
              0.74916,
              1.4902
            ],
            [
              0.02603,
              0.0484,
              0.0706,
              0.11342,
              0.20039,
              0.38096,
              0.74997,
              1.4903
            ],
            [
              0.03188,
              0.05382,
              0.07603,
              0.11879,
              0.20487,
              0.3838,
              0.75152,
              1.49
            ],
            [
              0.03986,
              0.06141,
              0.08358,
              0.12646,
              0.21205,
              0.3895,
              0.7548,
              1.4911
            ],
            [
              0.0508,
              0.0721,
              0.0941,
              0.1372,
              0.2227,
              0.3989,
              0.7632,
              1.4989
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.14192,
              0.12086,
              0.1026,
              0.06876,
              0.00403,
              -0.12351,
              -0.37757,
              -0.88495
            ],
            [
              0.14178,
              0.12074,
              0.10249,
              0.06865,
              0.00391,
              -0.12363,
              -0.37768,
              -0.88507
            ],
            [
              0.14195,
              0.1209,
              0.10263,
              0.06877,
              0.00405,
              -0.12349,
              -0.37754,
              -0.88492
            ],
            [
              0.14245,
              0.12145,
              0.10317,
              0.06931,
              0.00458,
              -0.12295,
              -0.377,
              -0.88439
            ],
            [
              0.14361,
              0.12255,
              0.1043,
              0.07046,
              0.00573,
              -0.12181,
              -0.37586,
              -0.88325
            ],
            [
              0.14569,
              0.12459,
              0.10635,
              0.0725,
              0.00778,
              -0.11975,
              -0.3738,
              -0.88119
            ],
            [
              0.14933,
              0.12828,
              0.11002,
              0.07618,
              0.01147,
              -0.11605,
              -0.3701,
              -0.8775
            ],
            [
              0.15582,
              0.13472,
              0.11647,
              0.08264,
              0.01794,
              -0.10958,
              -0.36363,
              -0.871
            ],
            [
              0.16673,
              0.1456,
              0.12733,
              0.09353,
              0.02883,
              -0.09866,
              -0.35271,
              -0.86009
            ],
            [
              0.18751,
              0.1663,
              0.14801,
              0.11423,
              0.04961,
              -0.07787,
              -0.33186,
              -0.83923
            ],
            [
              0.21542,
              0.19422,
              0.17601,
              0.14224,
              0.07758,
              -0.04988,
              -0.30385,
              -0.8112
            ],
            [
              0.26224,
              0.24103,
              0.22281,
              0.1891,
              0.12453,
              -0.00293,
              -0.25697,
              -0.76431
            ],
            [
              0.33011,
              0.3088,
              0.29058,
              0.2568,
              0.19224,
              0.0649,
              -0.18907,
              -0.69642
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.10654,
              0.11902,
              0.13385,
              0.1645,
              0.2266,
              0.35166,
              0.60233,
              1.10512
            ],
            [
              0.10644,
              0.11892,
              0.13374,
              0.16431,
              0.2265,
              0.35147,
              0.60295,
              1.10617
            ],
            [
              0.10651,
              0.11903,
              0.1338,
              0.16437,
              0.22654,
              0.35145,
              0.60161,
              1.10552
            ],
            [
              0.10687,
              0.11937,
              0.13415,
              0.16484,
              0.22707,
              0.35198,
              0.60216,
              1.107
            ],
            [
              0.10772,
              0.12023,
              0.13503,
              0.16566,
              0.22801,
              0.35277,
              0.60288,
              1.10747
            ],
            [
              0.10959,
              0.12214,
              0.1369,
              0.16759,
              0.22989,
              0.35493,
              0.60519,
              1.10918
            ],
            [
              0.11322,
              0.1258,
              0.14066,
              0.17128,
              0.2334,
              0.35844,
              0.60949,
              1.11282
            ],
            [
              0.11974,
              0.13234,
              0.14718,
              0.17781,
              0.24015,
              0.36492,
              0.61488,
              1.12033
            ],
            [
              0.13097,
              0.14367,
              0.15849,
              0.18919,
              0.25152,
              0.37663,
              0.62638,
              1.1305
            ],
            [
              0.15194,
              0.16463,
              0.17963,
              0.21026,
              0.27259,
              0.39748,
              0.64714,
              1.15093
            ],
            [
              0.18123,
              0.19399,
              0.20874,
              0.23963,
              0.30198,
              0.42666,
              0.67634,
              1.1815
            ],
            [
              0.22985,
              0.24251,
              0.25735,
              0.28786,
              0.35026,
              0.47533,
              0.72461,
              1.22825
            ],
            [
              0.30064,
              0.3132,
              0.32808,
              0.35854,
              0.42063,
              0.5457,
              0.79607,
              1.2987
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.14605,
              0.14791,
              0.15498,
              0.1732,
              0.21367,
              0.29752,
              0.46607,
              0.80667
            ],
            [
              0.14591,
              0.14779,
              0.15485,
              0.17311,
              0.2137,
              0.29726,
              0.46588,
              0.80687
            ],
            [
              0.146,
              0.14786,
              0.15496,
              0.17315,
              0.2137,
              0.29764,
              0.46565,
              0.80716
            ],
            [
              0.14641,
              0.14829,
              0.15533,
              0.17358,
              0.21419,
              0.29741,
              0.46671,
              0.80687
            ],
            [
              0.14735,
              0.14922,
              0.15627,
              0.17454,
              0.21515,
              0.29873,
              0.46745,
              0.8082
            ],
            [
              0.14951,
              0.15135,
              0.15839,
              0.17664,
              0.21731,
              0.30108,
              0.46918,
              0.81106
            ],
            [
              0.15358,
              0.1554,
              0.16241,
              0.18056,
              0.22124,
              0.30489,
              0.47302,
              0.81536
            ],
            [
              0.16079,
              0.16254,
              0.16952,
              0.18764,
              0.22818,
              0.31173,
              0.48071,
              0.82181
            ],
            [
              0.17296,
              0.17461,
              0.18145,
              0.19944,
              0.23995,
              0.32313,
              0.49254,
              0.83284
            ],
            [
              0.196,
              0.19747,
              0.20415,
              0.22202,
              0.26217,
              0.34569,
              0.51378,
              0.85608
            ],
            [
              0.22713,
              0.22833,
              0.23475,
              0.25243,
              0.29256,
              0.37554,
              0.54418,
              0.88421
            ],
            [
              0.27883,
              0.27969,
              0.2858,
              0.30297,
              0.34291,
              0.42592,
              0.59409,
              0.93441
            ],
            [
              0.35279,
              0.35328,
              0.35901,
              0.37568,
              0.41511,
              0.49808,
              0.66594,
              1.0067
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.16973,
              0.1769,
              0.18901,
              0.21745,
              0.27833,
              0.40253,
              0.65146,
              1.15549
            ],
            [
              0.16962,
              0.17679,
              0.18892,
              0.2173,
              0.27816,
              0.40232,
              0.65096,
              1.15492
            ],
            [
              0.16975,
              0.17689,
              0.1891,
              0.21743,
              0.2784,
              0.40223,
              0.65138,
              1.15562
            ],
            [
              0.17029,
              0.17744,
              0.18957,
              0.21793,
              0.27879,
              0.40302,
              0.65272,
              1.15632
            ],
            [
              0.17149,
              0.17863,
              0.19074,
              0.21918,
              0.28002,
              0.40434,
              0.65366,
              1.15709
            ],
            [
              0.17359,
              0.18078,
              0.19289,
              0.22131,
              0.28211,
              0.40646,
              0.6562,
              1.158
            ],
            [
              0.17752,
              0.18469,
              0.19691,
              0.22521,
              0.28612,
              0.41005,
              0.65934,
              1.16328
            ],
            [
              0.18461,
              0.19165,
              0.20384,
              0.2322,
              0.29298,
              0.41663,
              0.66584,
              1.17014
            ],
            [
              0.19634,
              0.2033,
              0.2154,
              0.24365,
              0.30422,
              0.42834,
              0.67847,
              1.18249
            ],
            [
              0.21851,
              0.2253,
              0.2373,
              0.26534,
              0.32605,
              0.45016,
              0.69947,
              1.20379
            ],
            [
              0.24847,
              0.25496,
              0.26686,
              0.29503,
              0.35509,
              0.47911,
              0.72743,
              1.23232
            ],
            [
              0.29858,
              0.30463,
              0.31628,
              0.34424,
              0.40448,
              0.52768,
              0.77653,
              1.28087
            ],
            [
              0.37092,
              0.37633,
              0.38776,
              0.41493,
              0.47528,
              0.59853,
              0.84674,
              1.35116
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.13478,
              0.11366,
              0.09536,
              0.06153,
              -0.00321,
              -0.13075,
              -0.38481,
              -0.8922
            ],
            [
              0.13461,
              0.11345,
              0.09518,
              0.06133,
              -0.00341,
              -0.13094,
              -0.38501,
              -0.89239
            ],
            [
              0.13474,
              0.11362,
              0.09532,
              0.06147,
              -0.00325,
              -0.13081,
              -0.38487,
              -0.89226
            ],
            [
              0.1354,
              0.1142,
              0.09592,
              0.06206,
              -0.00268,
              -0.13023,
              -0.3843,
              -0.8917
            ],
            [
              0.13676,
              0.11559,
              0.09732,
              0.06345,
              -0.00129,
              -0.12884,
              -0.38289,
              -0.89029
            ],
            [
              0.13964,
              0.11848,
              0.10018,
              0.0663,
              0.00157,
              -0.12597,
              -0.38003,
              -0.88741
            ],
            [
              0.14472,
              0.12355,
              0.10526,
              0.07137,
              0.00663,
              -0.1209,
              -0.37495,
              -0.88232
            ],
            [
              0.15281,
              0.13161,
              0.11328,
              0.07941,
              0.01468,
              -0.11284,
              -0.36689,
              -0.87424
            ],
            [
              0.16507,
              0.14386,
              0.12553,
              0.09164,
              0.02694,
              -0.10059,
              -0.35461,
              -0.86195
            ],
            [
              0.18697,
              0.16567,
              0.14728,
              0.1134,
              0.04872,
              -0.07876,
              -0.33275,
              -0.84007
            ],
            [
              0.21627,
              0.19493,
              0.17655,
              0.14265,
              0.07792,
              -0.04951,
              -0.30345,
              -0.81077
            ],
            [
              0.26631,
              0.24485,
              0.22648,
              0.19254,
              0.12789,
              0.00041,
              -0.25356,
              -0.76083
            ],
            [
              0.34073,
              0.31917,
              0.30073,
              0.26677,
              0.20208,
              0.07474,
              -0.17914,
              -0.68633
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.09223,
              0.10475,
              0.11961,
              0.1503,
              0.2127,
              0.33747,
              0.58774,
              1.09408
            ],
            [
              0.0922,
              0.10476,
              0.11954,
              0.15025,
              0.21276,
              0.33746,
              0.58875,
              1.09212
            ],
            [
              0.09258,
              0.10509,
              0.11995,
              0.15058,
              0.21295,
              0.33811,
              0.58794,
              1.09296
            ],
            [
              0.09321,
              0.10576,
              0.12054,
              0.15124,
              0.21353,
              0.3386,
              0.58982,
              1.09274
            ],
            [
              0.09451,
              0.10702,
              0.12188,
              0.15243,
              0.21466,
              0.33997,
              0.59026,
              1.09485
            ],
            [
              0.09711,
              0.10963,
              0.12445,
              0.15515,
              0.21741,
              0.34237,
              0.59296,
              1.09606
            ],
            [
              0.10211,
              0.11458,
              0.12937,
              0.15996,
              0.22191,
              0.34678,
              0.59787,
              1.10145
            ],
            [
              0.11036,
              0.12267,
              0.1373,
              0.16773,
              0.22996,
              0.35487,
              0.60448,
              1.10989
            ],
            [
              0.12286,
              0.13508,
              0.1496,
              0.17979,
              0.24157,
              0.36635,
              0.61674,
              1.12146
            ],
            [
              0.14633,
              0.15841,
              0.17295,
              0.20302,
              0.26469,
              0.389,
              0.63972,
              1.14216
            ],
            [
              0.18035,
              0.19219,
              0.2065,
              0.2366,
              0.29796,
              0.42191,
              0.67101,
              1.17463
            ],
            [
              0.2382,
              0.2498,
              0.26393,
              0.29355,
              0.35468,
              0.47849,
              0.72754,
              1.2294
            ],
            [
              0.32305,
              0.33442,
              0.34839,
              0.37754,
              0.43844,
              0.56152,
              0.81048,
              1.31356
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.125,
              0.12673,
              0.1337,
              0.15189,
              0.19243,
              0.27563,
              0.44422,
              0.78636
            ],
            [
              0.12486,
              0.12661,
              0.13359,
              0.15174,
              0.19228,
              0.27606,
              0.44505,
              0.7851
            ],
            [
              0.12509,
              0.12683,
              0.13378,
              0.15193,
              0.19252,
              0.27591,
              0.44424,
              0.78524
            ],
            [
              0.1254,
              0.12715,
              0.13415,
              0.1523,
              0.19291,
              0.27628,
              0.44466,
              0.7869
            ],
            [
              0.12633,
              0.12802,
              0.13502,
              0.15313,
              0.19369,
              0.27687,
              0.44582,
              0.78657
            ],
            [
              0.12811,
              0.12985,
              0.13679,
              0.15488,
              0.19537,
              0.27882,
              0.44755,
              0.7886
            ],
            [
              0.13193,
              0.13363,
              0.14057,
              0.1585,
              0.19898,
              0.28205,
              0.45103,
              0.79254
            ],
            [
              0.13873,
              0.14033,
              0.14719,
              0.16502,
              0.20506,
              0.28806,
              0.45711,
              0.79712
            ],
            [
              0.14993,
              0.15144,
              0.15821,
              0.1758,
              0.21548,
              0.29831,
              0.46686,
              0.80666
            ],
            [
              0.17272,
              0.17392,
              0.18062,
              0.19797,
              0.23705,
              0.31932,
              0.48757,
              0.82819
            ],
            [
              0.20635,
              0.20702,
              0.21332,
              0.23029,
              0.2688,
              0.34991,
              0.51734,
              0.85679
            ],
            [
              0.26496,
              0.26491,
              0.27056,
              0.28649,
              0.32417,
              0.40443,
              0.56943,
              0.90861
            ],
            [
              0.35248,
              0.35161,
              0.35672,
              0.37136,
              0.40706,
              0.48581,
              0.64957,
              0.98713
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.15371,
              0.16115,
              0.17358,
              0.20222,
              0.26313,
              0.38723,
              0.63702,
              1.14016
            ],
            [
              0.15342,
              0.16093,
              0.17329,
              0.20191,
              0.26282,
              0.38685,
              0.63648,
              1.14123
            ],
            [
              0.15357,
              0.16098,
              0.17337,
              0.20189,
              0.26286,
              0.38731,
              0.6365,
              1.13999
            ],
            [
              0.15405,
              0.16145,
              0.17384,
              0.2024,
              0.2633,
              0.38708,
              0.63748,
              1.14005
            ],
            [
              0.15525,
              0.16258,
              0.17491,
              0.20349,
              0.26432,
              0.38816,
              0.63816,
              1.14296
            ],
            [
              0.15796,
              0.16519,
              0.17753,
              0.20605,
              0.26699,
              0.39093,
              0.63969,
              1.14408
            ],
            [
              0.1629,
              0.17009,
              0.18231,
              0.21063,
              0.27134,
              0.39537,
              0.64494,
              1.14818
            ],
            [
              0.1713,
              0.17815,
              0.19017,
              0.21835,
              0.27881,
              0.40267,
              0.65238,
              1.15532
            ],
            [
              0.18439,
              0.19097,
              0.20275,
              0.2305,
              0.29075,
              0.41462,
              0.66291,
              1.16698
            ],
            [
              0.20746,
              0.21364,
              0.22508,
              0.25224,
              0.31223,
              0.43553,
              0.68529,
              1.18656
            ],
            [
              0.23922,
              0.24477,
              0.25573,
              0.28245,
              0.3416,
              0.46416,
              0.7129,
              1.21641
            ],
            [
              0.29284,
              0.29749,
              0.30782,
              0.33353,
              0.39223,
              0.51381,
              0.76274,
              1.26369
            ],
            [
              0.37298,
              0.37652,
              0.38607,
              0.41039,
              0.46743,
              0.58906,
              0.83578,
              1.33765
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.10036,
              0.07926,
              0.06072,
              0.02628,
              -0.03901,
              -0.16688,
              -0.42116,
              -0.92868
            ],
            [
              0.10026,
              0.0792,
              0.06063,
              0.02616,
              -0.03912,
              -0.167,
              -0.42127,
              -0.9288
            ],
            [
              0.10027,
              0.07922,
              0.06063,
              0.02619,
              -0.0391,
              -0.16696,
              -0.42124,
              -0.92877
            ],
            [
              0.10044,
              0.07933,
              0.06075,
              0.02631,
              -0.03898,
              -0.16684,
              -0.42111,
              -0.92866
            ],
            [
              0.10088,
              0.07972,
              0.06111,
              0.02666,
              -0.03862,
              -0.16648,
              -0.42075,
              -0.92827
            ],
            [
              0.10193,
              0.0807,
              0.06207,
              0.02756,
              -0.03774,
              -0.16561,
              -0.41987,
              -0.92739
            ],
            [
              0.10458,
              0.08316,
              0.06439,
              0.02973,
              -0.03569,
              -0.16362,
              -0.41792,
              -0.92547
            ],
            [
              0.10983,
              0.08802,
              0.06895,
              0.03392,
              -0.03178,
              -0.15992,
              -0.41432,
              -0.92192
            ],
            [
              0.11821,
              0.09581,
              0.07636,
              0.04079,
              -0.02543,
              -0.15387,
              -0.40848,
              -0.91619
            ],
            [
              0.13394,
              0.11093,
              0.09097,
              0.05468,
              -0.01224,
              -0.14118,
              -0.39605,
              -0.90394
            ],
            [
              0.15294,
              0.1292,
              0.10866,
              0.07146,
              0.00344,
              -0.12628,
              -0.38161,
              -0.88981
            ],
            [
              0.18548,
              0.16095,
              0.13969,
              0.10127,
              0.03172,
              -0.0993,
              -0.35551,
              -0.86418
            ],
            [
              0.23048,
              0.20508,
              0.18294,
              0.14299,
              0.07117,
              -0.06186,
              -0.31949,
              -0.82915
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.06502,
              0.07812,
              0.09323,
              0.12424,
              0.18683,
              0.31184,
              0.56303,
              1.06662
            ],
            [
              0.06492,
              0.07805,
              0.09315,
              0.12422,
              0.18662,
              0.31189,
              0.56218,
              1.067
            ],
            [
              0.065,
              0.07811,
              0.09324,
              0.12419,
              0.18679,
              0.31211,
              0.56306,
              1.06716
            ],
            [
              0.06522,
              0.07832,
              0.09339,
              0.12443,
              0.18713,
              0.31205,
              0.56328,
              1.068
            ],
            [
              0.06594,
              0.079,
              0.09407,
              0.12507,
              0.1876,
              0.31283,
              0.56289,
              1.06712
            ],
            [
              0.06769,
              0.08062,
              0.09551,
              0.12634,
              0.18866,
              0.31377,
              0.56435,
              1.06928
            ],
            [
              0.07111,
              0.08363,
              0.09833,
              0.12883,
              0.19115,
              0.31625,
              0.56655,
              1.07151
            ],
            [
              0.07656,
              0.08849,
              0.10284,
              0.13302,
              0.1945,
              0.31956,
              0.57013,
              1.07335
            ],
            [
              0.08513,
              0.09628,
              0.11034,
              0.13987,
              0.20102,
              0.32533,
              0.5748,
              1.07826
            ],
            [
              0.10148,
              0.11162,
              0.12522,
              0.15428,
              0.21465,
              0.33824,
              0.58772,
              1.09008
            ],
            [
              0.12215,
              0.13112,
              0.14399,
              0.17241,
              0.23204,
              0.35419,
              0.6027,
              1.10619
            ],
            [
              0.15653,
              0.16424,
              0.17625,
              0.20362,
              0.26219,
              0.38318,
              0.62983,
              1.13108
            ],
            [
              0.20383,
              0.21024,
              0.22114,
              0.24712,
              0.30409,
              0.4235,
              0.66907,
              1.16836
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.102,
              0.10431,
              0.11135,
              0.12966,
              0.1705,
              0.25428,
              0.42321,
              0.76438
            ],
            [
              0.10188,
              0.10423,
              0.11127,
              0.12956,
              0.17042,
              0.25388,
              0.42341,
              0.76399
            ],
            [
              0.10194,
              0.10426,
              0.1113,
              0.1296,
              0.17032,
              0.254,
              0.42352,
              0.76323
            ],
            [
              0.10212,
              0.10446,
              0.11148,
              0.12975,
              0.17044,
              0.25416,
              0.42303,
              0.76499
            ],
            [
              0.10268,
              0.105,
              0.11199,
              0.13021,
              0.17091,
              0.25453,
              0.42339,
              0.76423
            ],
            [
              0.10414,
              0.10639,
              0.11327,
              0.13131,
              0.17198,
              0.25559,
              0.42474,
              0.76536
            ],
            [
              0.10719,
              0.1091,
              0.11573,
              0.13346,
              0.17381,
              0.25706,
              0.42608,
              0.76683
            ],
            [
              0.1122,
              0.11357,
              0.11991,
              0.13724,
              0.17712,
              0.26018,
              0.42863,
              0.77006
            ],
            [
              0.12008,
              0.12073,
              0.12663,
              0.1434,
              0.18266,
              0.26504,
              0.4331,
              0.77434
            ],
            [
              0.13576,
              0.1355,
              0.14086,
              0.15692,
              0.19532,
              0.27676,
              0.4444,
              0.78443
            ],
            [
              0.15547,
              0.15407,
              0.15872,
              0.17397,
              0.21127,
              0.29158,
              0.45828,
              0.79731
            ],
            [
              0.1893,
              0.18665,
              0.19035,
              0.20432,
              0.24037,
              0.31919,
              0.48414,
              0.82005
            ],
            [
              0.23587,
              0.23188,
              0.2344,
              0.24686,
              0.28114,
              0.35845,
              0.52082,
              0.8575
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.12365,
              0.13132,
              0.14344,
              0.17139,
              0.23161,
              0.35491,
              0.60434,
              1.10607
            ],
            [
              0.12355,
              0.13116,
              0.14335,
              0.17123,
              0.23124,
              0.35546,
              0.60434,
              1.10875
            ],
            [
              0.1236,
              0.13125,
              0.14339,
              0.17123,
              0.23169,
              0.35486,
              0.60493,
              1.10747
            ],
            [
              0.12372,
              0.13131,
              0.1435,
              0.17146,
              0.23152,
              0.3549,
              0.60392,
              1.10818
            ],
            [
              0.12414,
              0.13172,
              0.14391,
              0.17174,
              0.23197,
              0.35558,
              0.60504,
              1.10936
            ],
            [
              0.12512,
              0.13268,
              0.14478,
              0.17272,
              0.23278,
              0.35641,
              0.60633,
              1.11035
            ],
            [
              0.12762,
              0.13501,
              0.14695,
              0.17478,
              0.23456,
              0.35833,
              0.60735,
              1.1119
            ],
            [
              0.1328,
              0.13973,
              0.15135,
              0.17865,
              0.23854,
              0.36125,
              0.61001,
              1.11506
            ],
            [
              0.14119,
              0.14751,
              0.1586,
              0.18544,
              0.2443,
              0.36722,
              0.61653,
              1.1204
            ],
            [
              0.15672,
              0.1623,
              0.17296,
              0.19874,
              0.25698,
              0.37977,
              0.62828,
              1.12891
            ],
            [
              0.17556,
              0.18019,
              0.19015,
              0.21524,
              0.27213,
              0.39361,
              0.6421,
              1.14386
            ],
            [
              0.20758,
              0.21116,
              0.22034,
              0.24391,
              0.2997,
              0.41934,
              0.66534,
              1.16831
            ],
            [
              0.25257,
              0.25486,
              0.26282,
              0.28459,
              0.338,
              0.45586,
              0.70035,
              1.1999
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.3558,
    "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.16394,
              0.18787,
              0.20499,
              0.23302,
              0.27997,
              0.36218,
              0.51534,
              0.81573
            ],
            [
              0.16582,
              0.18975,
              0.20688,
              0.23491,
              0.28185,
              0.36407,
              0.51722,
              0.81765
            ],
            [
              0.16832,
              0.19225,
              0.20938,
              0.23741,
              0.28435,
              0.36655,
              0.51955,
              0.82015
            ],
            [
              0.17217,
              0.19611,
              0.21324,
              0.24127,
              0.28821,
              0.37043,
              0.52348,
              0.82388
            ],
            [
              0.17782,
              0.20174,
              0.21886,
              0.24689,
              0.29383,
              0.37604,
              0.52919,
              0.82964
            ],
            [
              0.18575,
              0.20963,
              0.22673,
              0.25473,
              0.30164,
              0.38383,
              0.53683,
              0.83742
            ],
            [
              0.19681,
              0.22059,
              0.23763,
              0.26557,
              0.31245,
              0.39462,
              0.54775,
              0.84822
            ],
            [
              0.21231,
              0.23589,
              0.25283,
              0.28067,
              0.32748,
              0.40961,
              0.56259,
              0.86316
            ],
            [
              0.23316,
              0.25651,
              0.27331,
              0.30101,
              0.34771,
              0.42975,
              0.58271,
              0.88325
            ],
            [
              0.26083,
              0.2839,
              0.30057,
              0.32815,
              0.37472,
              0.45664,
              0.60966,
              0.91039
            ],
            [
              0.29707,
              0.3199,
              0.33647,
              0.36394,
              0.4104,
              0.49222,
              0.64502,
              0.94512
            ],
            [
              0.34477,
              0.36757,
              0.38407,
              0.41137,
              0.45777,
              0.53937,
              0.69227,
              0.99217
            ],
            [
              0.4094,
              0.4321,
              0.4485,
              0.4758,
              0.522,
              0.6036,
              0.7563,
              1.0565
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.14365,
              0.16512,
              0.18229,
              0.21328,
              0.27244,
              0.38938,
              0.6229,
              1.09057
            ],
            [
              0.14511,
              0.16658,
              0.18374,
              0.21473,
              0.27382,
              0.39081,
              0.62419,
              1.09194
            ],
            [
              0.14689,
              0.16836,
              0.18552,
              0.21652,
              0.27562,
              0.39265,
              0.62645,
              1.09362
            ],
            [
              0.14935,
              0.17081,
              0.18798,
              0.21899,
              0.27812,
              0.39503,
              0.62836,
              1.09638
            ],
            [
              0.15231,
              0.17377,
              0.19094,
              0.22194,
              0.28109,
              0.39803,
              0.63156,
              1.09911
            ],
            [
              0.15565,
              0.1771,
              0.19426,
              0.22526,
              0.28441,
              0.40136,
              0.63482,
              1.10232
            ],
            [
              0.15907,
              0.18048,
              0.19763,
              0.22861,
              0.28771,
              0.40472,
              0.63839,
              1.10603
            ],
            [
              0.16198,
              0.18331,
              0.20044,
              0.23139,
              0.29048,
              0.40753,
              0.64104,
              1.10866
            ],
            [
              0.1633,
              0.18458,
              0.20167,
              0.23257,
              0.29165,
              0.40863,
              0.64242,
              1.10975
            ],
            [
              0.16135,
              0.18253,
              0.19956,
              0.23042,
              0.28955,
              0.40631,
              0.63969,
              1.10829
            ],
            [
              0.15386,
              0.17497,
              0.19194,
              0.22278,
              0.28182,
              0.3988,
              0.63182,
              1.09962
            ],
            [
              0.13786,
              0.15892,
              0.17587,
              0.20667,
              0.26557,
              0.38257,
              0.61647,
              1.08267
            ],
            [
              0.1088,
              0.1299,
              0.1469,
              0.1777,
              0.2366,
              0.3534,
              0.5871,
              1.055
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02378,
              0.04223,
              0.05618,
              0.08156,
              0.12952,
              0.22427,
              0.41911,
              0.82031
            ],
            [
              0.02378,
              0.04224,
              0.05618,
              0.08156,
              0.12952,
              0.22423,
              0.41916,
              0.82039
            ],
            [
              0.0238,
              0.04221,
              0.05624,
              0.08159,
              0.12949,
              0.22448,
              0.41954,
              0.82097
            ],
            [
              0.02379,
              0.04222,
              0.05624,
              0.0816,
              0.12951,
              0.22452,
              0.41952,
              0.82095
            ],
            [
              0.02378,
              0.04223,
              0.05616,
              0.08153,
              0.12952,
              0.22422,
              0.41924,
              0.82049
            ],
            [
              0.02375,
              0.04212,
              0.05615,
              0.08151,
              0.12943,
              0.22446,
              0.41953,
              0.82089
            ],
            [
              0.02371,
              0.042,
              0.05599,
              0.08137,
              0.12934,
              0.22426,
              0.41898,
              0.82077
            ],
            [
              0.02365,
              0.04178,
              0.05571,
              0.08114,
              0.12914,
              0.22411,
              0.41944,
              0.82084
            ],
            [
              0.02366,
              0.04162,
              0.05551,
              0.08088,
              0.12895,
              0.22391,
              0.41926,
              0.82096
            ],
            [
              0.02358,
              0.04132,
              0.05522,
              0.0806,
              0.12861,
              0.2236,
              0.41884,
              0.82065
            ],
            [
              0.02341,
              0.04105,
              0.05489,
              0.08019,
              0.1283,
              0.22339,
              0.4184,
              0.8208
            ],
            [
              0.0233,
              0.0408,
              0.0545,
              0.0799,
              0.128,
              0.2233,
              0.4179,
              0.8202
            ],
            [
              0.0231,
              0.0406,
              0.0544,
              0.0796,
              0.1277,
              0.2229,
              0.418,
              0.819
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01742,
              0.04072,
              0.06233,
              0.10573,
              0.19573,
              0.3804,
              0.74971,
              1.49325
            ],
            [
              0.01745,
              0.04083,
              0.06233,
              0.10576,
              0.19574,
              0.3802,
              0.75029,
              1.49404
            ],
            [
              0.01746,
              0.0408,
              0.06229,
              0.10573,
              0.19567,
              0.37996,
              0.74977,
              1.49323
            ],
            [
              0.01742,
              0.04074,
              0.06225,
              0.10564,
              0.19533,
              0.37924,
              0.75023,
              1.49247
            ],
            [
              0.01739,
              0.0407,
              0.06226,
              0.1055,
              0.19552,
              0.38008,
              0.75109,
              1.49217
            ],
            [
              0.01736,
              0.04069,
              0.06218,
              0.10548,
              0.19544,
              0.38007,
              0.75017,
              1.49268
            ],
            [
              0.01727,
              0.04065,
              0.0622,
              0.10565,
              0.19569,
              0.38018,
              0.75005,
              1.49706
            ],
            [
              0.01715,
              0.0405,
              0.06213,
              0.10559,
              0.19566,
              0.38033,
              0.75037,
              1.49667
            ],
            [
              0.01702,
              0.04038,
              0.06199,
              0.10531,
              0.19539,
              0.37947,
              0.75179,
              1.49254
            ],
            [
              0.01691,
              0.04027,
              0.06188,
              0.10544,
              0.19544,
              0.37914,
              0.75078,
              1.49506
            ],
            [
              0.0168,
              0.04013,
              0.06172,
              0.10532,
              0.19565,
              0.37959,
              0.74938,
              1.4929
            ],
            [
              0.01685,
              0.04021,
              0.06188,
              0.10529,
              0.1957,
              0.3795,
              0.7514,
              1.4907
            ],
            [
              0.017,
              0.0405,
              0.062,
              0.1055,
              0.1957,
              0.3804,
              0.7507,
              1.4939
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.14367,
              0.16607,
              0.18234,
              0.20915,
              0.25401,
              0.33341,
              0.48487,
              0.78554
            ],
            [
              0.14512,
              0.16752,
              0.1838,
              0.2106,
              0.25546,
              0.33489,
              0.48631,
              0.78642
            ],
            [
              0.14691,
              0.16931,
              0.18558,
              0.21239,
              0.25725,
              0.33668,
              0.48802,
              0.7882
            ],
            [
              0.14954,
              0.17194,
              0.18821,
              0.21504,
              0.25989,
              0.33933,
              0.49067,
              0.79114
            ],
            [
              0.15312,
              0.17555,
              0.19183,
              0.21865,
              0.26351,
              0.34294,
              0.49437,
              0.79477
            ],
            [
              0.15764,
              0.18013,
              0.19642,
              0.22323,
              0.2681,
              0.34752,
              0.49877,
              0.79928
            ],
            [
              0.16273,
              0.18532,
              0.20163,
              0.22845,
              0.27332,
              0.35276,
              0.50411,
              0.80461
            ],
            [
              0.16767,
              0.19041,
              0.20676,
              0.23362,
              0.27851,
              0.35796,
              0.50934,
              0.80968
            ],
            [
              0.1715,
              0.19441,
              0.21082,
              0.23772,
              0.28266,
              0.36214,
              0.51332,
              0.81355
            ],
            [
              0.17258,
              0.19579,
              0.2123,
              0.2393,
              0.28435,
              0.36389,
              0.51518,
              0.81579
            ],
            [
              0.16851,
              0.19218,
              0.20885,
              0.23603,
              0.28125,
              0.36096,
              0.51232,
              0.81262
            ],
            [
              0.15579,
              0.18007,
              0.19707,
              0.22447,
              0.26997,
              0.34987,
              0.50127,
              0.80167
            ],
            [
              0.1294,
              0.1544,
              0.1717,
              0.1996,
              0.2455,
              0.3256,
              0.4771,
              0.7777
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.14769,
              0.16934,
              0.18687,
              0.21854,
              0.27825,
              0.39524,
              0.62862,
              1.09537
            ],
            [
              0.14955,
              0.17121,
              0.18873,
              0.2204,
              0.28011,
              0.3971,
              0.63051,
              1.09724
            ],
            [
              0.15197,
              0.17363,
              0.19115,
              0.22281,
              0.28253,
              0.39952,
              0.63286,
              1.09962
            ],
            [
              0.15577,
              0.17744,
              0.19495,
              0.22662,
              0.28634,
              0.40332,
              0.63663,
              1.10368
            ],
            [
              0.16161,
              0.18327,
              0.2008,
              0.23247,
              0.29217,
              0.40916,
              0.64257,
              1.10931
            ],
            [
              0.17029,
              0.19196,
              0.20949,
              0.24116,
              0.30086,
              0.41785,
              0.65119,
              1.11822
            ],
            [
              0.18276,
              0.20447,
              0.222,
              0.25368,
              0.31336,
              0.43033,
              0.66374,
              1.13053
            ],
            [
              0.19989,
              0.22166,
              0.2392,
              0.27087,
              0.33052,
              0.44742,
              0.68079,
              1.14766
            ],
            [
              0.22262,
              0.2445,
              0.26208,
              0.29377,
              0.35339,
              0.47028,
              0.70368,
              1.17025
            ],
            [
              0.25327,
              0.27533,
              0.29296,
              0.32466,
              0.38423,
              0.50108,
              0.73439,
              1.20119
            ],
            [
              0.2947,
              0.31711,
              0.33484,
              0.36659,
              0.42615,
              0.54292,
              0.77622,
              1.24282
            ],
            [
              0.35037,
              0.37337,
              0.39127,
              0.42317,
              0.48277,
              0.59957,
              0.83257,
              1.29917
            ],
            [
              0.4252,
              0.4488,
              0.4671,
              0.4993,
              0.5592,
              0.676,
              0.9092,
              1.3756
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02144,
              0.03896,
              0.05248,
              0.07702,
              0.12366,
              0.21834,
              0.4155,
              0.81968
            ],
            [
              0.02143,
              0.03898,
              0.05252,
              0.07702,
              0.12366,
              0.21845,
              0.41582,
              0.8205
            ],
            [
              0.02144,
              0.03898,
              0.05252,
              0.07701,
              0.1237,
              0.21843,
              0.41586,
              0.81938
            ],
            [
              0.02143,
              0.03899,
              0.05252,
              0.077,
              0.12371,
              0.21834,
              0.41542,
              0.81843
            ],
            [
              0.02144,
              0.03902,
              0.05254,
              0.077,
              0.12371,
              0.21821,
              0.41547,
              0.81932
            ],
            [
              0.02145,
              0.03907,
              0.05256,
              0.07708,
              0.12361,
              0.21846,
              0.41592,
              0.82015
            ],
            [
              0.02154,
              0.03921,
              0.05274,
              0.07716,
              0.12366,
              0.21847,
              0.4154,
              0.82055
            ],
            [
              0.0218,
              0.03955,
              0.05301,
              0.07737,
              0.12391,
              0.21857,
              0.41579,
              0.82036
            ],
            [
              0.02228,
              0.04,
              0.0534,
              0.07759,
              0.12404,
              0.21871,
              0.41608,
              0.81969
            ],
            [
              0.02319,
              0.04085,
              0.05409,
              0.07828,
              0.12456,
              0.21868,
              0.41586,
              0.8203
            ],
            [
              0.02464,
              0.04217,
              0.05525,
              0.07918,
              0.12525,
              0.21931,
              0.4156,
              0.81975
            ],
            [
              0.02655,
              0.04401,
              0.05692,
              0.0806,
              0.1262,
              0.2199,
              0.4163,
              0.819
            ],
            [
              0.0287,
              0.0463,
              0.059,
              0.0824,
              0.1277,
              0.2209,
              0.4171,
              0.8199
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01747,
              0.04146,
              0.06354,
              0.10709,
              0.19661,
              0.37996,
              0.75063,
              1.49211
            ],
            [
              0.01748,
              0.04146,
              0.06355,
              0.1071,
              0.19658,
              0.38031,
              0.75023,
              1.49154
            ],
            [
              0.01747,
              0.04145,
              0.06352,
              0.10714,
              0.19657,
              0.37986,
              0.75117,
              1.49148
            ],
            [
              0.01748,
              0.04144,
              0.06354,
              0.10714,
              0.19661,
              0.37982,
              0.75023,
              1.49351
            ],
            [
              0.01749,
              0.04146,
              0.06356,
              0.10712,
              0.19658,
              0.37966,
              0.75033,
              1.49196
            ],
            [
              0.01757,
              0.04153,
              0.06358,
              0.10719,
              0.19663,
              0.37983,
              0.75114,
              1.49165
            ],
            [
              0.01772,
              0.04168,
              0.06369,
              0.10732,
              0.1966,
              0.38036,
              0.75106,
              1.49124
            ],
            [
              0.01811,
              0.04194,
              0.06397,
              0.10745,
              0.19674,
              0.37992,
              0.75031,
              1.49171
            ],
            [
              0.01864,
              0.0424,
              0.06436,
              0.10777,
              0.19693,
              0.38006,
              0.74979,
              1.49169
            ],
            [
              0.01938,
              0.04302,
              0.06497,
              0.10821,
              0.1974,
              0.38008,
              0.74972,
              1.49273
            ],
            [
              0.02063,
              0.04403,
              0.06596,
              0.109,
              0.19765,
              0.38066,
              0.7505,
              1.4913
            ],
            [
              0.0229,
              0.0457,
              0.0675,
              0.1104,
              0.1984,
              0.3804,
              0.7508,
              1.4925
            ],
            [
              0.0265,
              0.0484,
              0.0701,
              0.1124,
              0.2001,
              0.3815,
              0.7508,
              1.4923
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.14541,
              0.16901,
              0.186,
              0.21401,
              0.26094,
              0.34308,
              0.49634,
              0.79755
            ],
            [
              0.14687,
              0.17047,
              0.18746,
              0.21547,
              0.26241,
              0.34454,
              0.49766,
              0.79859
            ],
            [
              0.14868,
              0.17228,
              0.18927,
              0.21728,
              0.26422,
              0.34633,
              0.49957,
              0.80043
            ],
            [
              0.15132,
              0.17494,
              0.19193,
              0.21993,
              0.26687,
              0.34901,
              0.50226,
              0.80351
            ],
            [
              0.15493,
              0.17856,
              0.19556,
              0.22359,
              0.27053,
              0.35267,
              0.50587,
              0.80695
            ],
            [
              0.15962,
              0.18331,
              0.20033,
              0.22838,
              0.27534,
              0.35749,
              0.51072,
              0.81181
            ],
            [
              0.16518,
              0.18893,
              0.20598,
              0.23406,
              0.28106,
              0.36325,
              0.51652,
              0.81738
            ],
            [
              0.17084,
              0.19468,
              0.21178,
              0.23992,
              0.28698,
              0.36923,
              0.52249,
              0.82347
            ],
            [
              0.17562,
              0.19952,
              0.21668,
              0.24489,
              0.29203,
              0.37434,
              0.52768,
              0.82875
            ],
            [
              0.17795,
              0.2019,
              0.21914,
              0.24744,
              0.29474,
              0.37711,
              0.53044,
              0.83169
            ],
            [
              0.17547,
              0.19951,
              0.21683,
              0.24528,
              0.29275,
              0.37537,
              0.52882,
              0.82982
            ],
            [
              0.16481,
              0.18907,
              0.20647,
              0.23507,
              0.28277,
              0.36567,
              0.51937,
              0.82037
            ],
            [
              0.1411,
              0.1656,
              0.1832,
              0.2121,
              0.2602,
              0.3433,
              0.4973,
              0.7985
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.14073,
              0.16228,
              0.17955,
              0.21064,
              0.26982,
              0.38667,
              0.61989,
              1.08667
            ],
            [
              0.14257,
              0.16411,
              0.18139,
              0.21248,
              0.27167,
              0.38851,
              0.62173,
              1.08844
            ],
            [
              0.14496,
              0.1665,
              0.18377,
              0.21487,
              0.274,
              0.39091,
              0.62405,
              1.09072
            ],
            [
              0.14869,
              0.17025,
              0.18751,
              0.2186,
              0.2778,
              0.39464,
              0.62786,
              1.09458
            ],
            [
              0.15443,
              0.17598,
              0.19325,
              0.22434,
              0.28352,
              0.40038,
              0.63359,
              1.10031
            ],
            [
              0.16286,
              0.18441,
              0.20168,
              0.23277,
              0.2919,
              0.40872,
              0.642,
              1.10872
            ],
            [
              0.17472,
              0.19628,
              0.21354,
              0.24462,
              0.30373,
              0.42058,
              0.65382,
              1.12053
            ],
            [
              0.19091,
              0.21251,
              0.22977,
              0.26081,
              0.3199,
              0.43676,
              0.66996,
              1.13676
            ],
            [
              0.21244,
              0.23414,
              0.25143,
              0.28247,
              0.34159,
              0.45835,
              0.69152,
              1.15825
            ],
            [
              0.24142,
              0.26328,
              0.28061,
              0.31166,
              0.37066,
              0.4874,
              0.72059,
              1.18719
            ],
            [
              0.2804,
              0.30255,
              0.31997,
              0.35105,
              0.41004,
              0.52662,
              0.75982,
              1.22622
            ],
            [
              0.33267,
              0.35527,
              0.37287,
              0.40397,
              0.46297,
              0.57947,
              0.81247,
              1.27887
            ],
            [
              0.4028,
              0.426,
              0.4439,
              0.4753,
              0.5341,
              0.6506,
              0.8837,
              1.3499
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02282,
              0.04114,
              0.0552,
              0.08073,
              0.12884,
              0.2241,
              0.41958,
              0.82114
            ],
            [
              0.02283,
              0.04114,
              0.05521,
              0.08077,
              0.12887,
              0.22381,
              0.41985,
              0.82145
            ],
            [
              0.02283,
              0.04114,
              0.05522,
              0.08076,
              0.12889,
              0.22394,
              0.41978,
              0.82223
            ],
            [
              0.02285,
              0.04116,
              0.05523,
              0.08072,
              0.12888,
              0.22413,
              0.41965,
              0.82141
            ],
            [
              0.02292,
              0.04121,
              0.05525,
              0.08082,
              0.12893,
              0.22391,
              0.41984,
              0.82178
            ],
            [
              0.02309,
              0.04133,
              0.05534,
              0.08088,
              0.12898,
              0.22398,
              0.41984,
              0.82246
            ],
            [
              0.02335,
              0.04153,
              0.05555,
              0.08102,
              0.12906,
              0.22405,
              0.41976,
              0.82122
            ],
            [
              0.0238,
              0.04193,
              0.05589,
              0.08127,
              0.1293,
              0.22438,
              0.41988,
              0.82155
            ],
            [
              0.02447,
              0.04242,
              0.05629,
              0.08155,
              0.12956,
              0.22461,
              0.41986,
              0.82216
            ],
            [
              0.02545,
              0.04324,
              0.05701,
              0.08221,
              0.13003,
              0.22457,
              0.42014,
              0.82227
            ],
            [
              0.02672,
              0.04439,
              0.05804,
              0.08309,
              0.13073,
              0.2254,
              0.41982,
              0.8211
            ],
            [
              0.02827,
              0.046,
              0.0595,
              0.0842,
              0.1316,
              0.2261,
              0.4208,
              0.8206
            ],
            [
              0.0301,
              0.0481,
              0.0614,
              0.0859,
              0.133,
              0.2269,
              0.4211,
              0.822
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.0173,
              0.04105,
              0.06267,
              0.10584,
              0.19547,
              0.37938,
              0.75006,
              1.49162
            ],
            [
              0.01729,
              0.04105,
              0.06267,
              0.10584,
              0.19543,
              0.37937,
              0.75109,
              1.49261
            ],
            [
              0.01731,
              0.04109,
              0.06265,
              0.10582,
              0.19543,
              0.37906,
              0.7501,
              1.49206
            ],
            [
              0.01729,
              0.04106,
              0.06268,
              0.10584,
              0.1957,
              0.37937,
              0.7497,
              1.49081
            ],
            [
              0.0173,
              0.04107,
              0.06267,
              0.10584,
              0.19548,
              0.37938,
              0.75,
              1.49434
            ],
            [
              0.01736,
              0.04111,
              0.06267,
              0.10582,
              0.19543,
              0.37951,
              0.7505,
              1.49128
            ],
            [
              0.01747,
              0.04116,
              0.06275,
              0.10587,
              0.19545,
              0.37933,
              0.74949,
              1.49556
            ],
            [
              0.01778,
              0.04141,
              0.06292,
              0.106,
              0.19553,
              0.37931,
              0.75048,
              1.49352
            ],
            [
              0.01829,
              0.04186,
              0.06328,
              0.10627,
              0.19582,
              0.37908,
              0.74952,
              1.4922
            ],
            [
              0.01904,
              0.04238,
              0.06381,
              0.10663,
              0.19585,
              0.37915,
              0.75011,
              1.49089
            ],
            [
              0.0202,
              0.04337,
              0.06467,
              0.1073,
              0.19605,
              0.37963,
              0.7505,
              1.4908
            ],
            [
              0.0219,
              0.0448,
              0.066,
              0.1082,
              0.1967,
              0.3799,
              0.7501,
              1.4918
            ],
            [
              0.0241,
              0.0469,
              0.0679,
              0.1096,
              0.1975,
              0.3802,
              0.7502,
              1.4915
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.15546,
              0.17798,
              0.19403,
              0.22043,
              0.26501,
              0.34444,
              0.49597,
              0.79648
            ],
            [
              0.15733,
              0.17985,
              0.1959,
              0.2223,
              0.26689,
              0.34631,
              0.49786,
              0.79842
            ],
            [
              0.1598,
              0.18232,
              0.19838,
              0.22477,
              0.26936,
              0.34884,
              0.50027,
              0.80076
            ],
            [
              0.16365,
              0.18616,
              0.20222,
              0.22862,
              0.2732,
              0.35268,
              0.50421,
              0.80493
            ],
            [
              0.16928,
              0.19179,
              0.20785,
              0.23424,
              0.27883,
              0.35826,
              0.50978,
              0.8103
            ],
            [
              0.17721,
              0.19969,
              0.21574,
              0.24211,
              0.28668,
              0.36616,
              0.5176,
              0.81836
            ],
            [
              0.18823,
              0.21066,
              0.22667,
              0.25301,
              0.29755,
              0.37699,
              0.52833,
              0.8295
            ],
            [
              0.20359,
              0.22589,
              0.24183,
              0.26811,
              0.31262,
              0.39198,
              0.54334,
              0.84406
            ],
            [
              0.22432,
              0.24645,
              0.26229,
              0.28849,
              0.33292,
              0.41224,
              0.56368,
              0.86445
            ],
            [
              0.25198,
              0.27393,
              0.2897,
              0.31582,
              0.36016,
              0.43937,
              0.59079,
              0.89149
            ],
            [
              0.28853,
              0.31034,
              0.32606,
              0.35211,
              0.39636,
              0.47552,
              0.62662,
              0.92752
            ],
            [
              0.33687,
              0.35867,
              0.37437,
              0.40037,
              0.44467,
              0.52367,
              0.67497,
              0.97527
            ],
            [
              0.402,
              0.4239,
              0.4396,
              0.4657,
              0.51,
              0.5892,
              0.7403,
              1.0407
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.13907,
              0.16076,
              0.17828,
              0.20972,
              0.26874,
              0.38436,
              0.61431,
              1.07477
            ],
            [
              0.14054,
              0.16224,
              0.17975,
              0.21118,
              0.2701,
              0.38554,
              0.61635,
              1.07634
            ],
            [
              0.14233,
              0.16403,
              0.18154,
              0.21299,
              0.27194,
              0.38758,
              0.61782,
              1.07862
            ],
            [
              0.14477,
              0.16647,
              0.18399,
              0.21541,
              0.27443,
              0.39006,
              0.61998,
              1.08098
            ],
            [
              0.14765,
              0.16933,
              0.18685,
              0.21828,
              0.27731,
              0.39293,
              0.62302,
              1.08421
            ],
            [
              0.15083,
              0.1725,
              0.19002,
              0.22144,
              0.28048,
              0.39611,
              0.62644,
              1.08762
            ],
            [
              0.15414,
              0.17578,
              0.19328,
              0.22471,
              0.28377,
              0.3994,
              0.62957,
              1.09123
            ],
            [
              0.15706,
              0.17863,
              0.19608,
              0.2275,
              0.28644,
              0.40205,
              0.63267,
              1.09276
            ],
            [
              0.15847,
              0.17993,
              0.19734,
              0.2287,
              0.28752,
              0.40319,
              0.63329,
              1.09455
            ],
            [
              0.15668,
              0.178,
              0.19532,
              0.22659,
              0.28543,
              0.40077,
              0.63139,
              1.09299
            ],
            [
              0.14937,
              0.17059,
              0.18783,
              0.21899,
              0.27779,
              0.3934,
              0.62322,
              1.08522
            ],
            [
              0.13348,
              0.15467,
              0.17187,
              0.20297,
              0.26157,
              0.37717,
              0.60727,
              1.06757
            ],
            [
              0.1045,
              0.1257,
              0.1429,
              0.174,
              0.2326,
              0.348,
              0.5782,
              1.0391
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02112,
              0.03838,
              0.05168,
              0.0761,
              0.12308,
              0.21847,
              0.41611,
              0.82088
            ],
            [
              0.02112,
              0.03836,
              0.05169,
              0.0761,
              0.12309,
              0.21846,
              0.41606,
              0.82087
            ],
            [
              0.02112,
              0.03839,
              0.05166,
              0.07612,
              0.1232,
              0.2184,
              0.4161,
              0.81966
            ],
            [
              0.02113,
              0.03838,
              0.0517,
              0.07607,
              0.12318,
              0.21828,
              0.41555,
              0.82059
            ],
            [
              0.02112,
              0.03838,
              0.05168,
              0.0761,
              0.12309,
              0.21847,
              0.4161,
              0.8209
            ],
            [
              0.02112,
              0.03837,
              0.05162,
              0.07607,
              0.12317,
              0.21837,
              0.41601,
              0.82036
            ],
            [
              0.02113,
              0.03831,
              0.05156,
              0.07603,
              0.12308,
              0.21842,
              0.4162,
              0.82079
            ],
            [
              0.02116,
              0.0382,
              0.05147,
              0.07592,
              0.12294,
              0.21835,
              0.41618,
              0.82054
            ],
            [
              0.02122,
              0.03814,
              0.0513,
              0.07572,
              0.12285,
              0.21821,
              0.41586,
              0.82069
            ],
            [
              0.02124,
              0.03801,
              0.05121,
              0.07562,
              0.12255,
              0.21782,
              0.41592,
              0.82071
            ],
            [
              0.02125,
              0.03794,
              0.05107,
              0.07548,
              0.12248,
              0.21759,
              0.41536,
              0.8202
            ],
            [
              0.0213,
              0.038,
              0.0511,
              0.0754,
              0.1224,
              0.2176,
              0.4147,
              0.8199
            ],
            [
              0.0215,
              0.0383,
              0.0514,
              0.0757,
              0.1225,
              0.2174,
              0.4154,
              0.8182
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01808,
              0.04168,
              0.0635,
              0.10652,
              0.19498,
              0.37658,
              0.74361,
              1.47896
            ],
            [
              0.01809,
              0.04155,
              0.06353,
              0.10674,
              0.19495,
              0.37584,
              0.74236,
              1.47752
            ],
            [
              0.01808,
              0.04162,
              0.06353,
              0.10674,
              0.1949,
              0.37644,
              0.74285,
              1.47788
            ],
            [
              0.01807,
              0.04167,
              0.06349,
              0.10654,
              0.19501,
              0.37657,
              0.74351,
              1.48152
            ],
            [
              0.01804,
              0.04164,
              0.06347,
              0.1066,
              0.19509,
              0.37656,
              0.74327,
              1.47789
            ],
            [
              0.01793,
              0.04157,
              0.06341,
              0.10659,
              0.19511,
              0.37661,
              0.74249,
              1.47997
            ],
            [
              0.01778,
              0.04145,
              0.06333,
              0.1066,
              0.19498,
              0.37659,
              0.74196,
              1.47694
            ],
            [
              0.01761,
              0.04118,
              0.06317,
              0.10623,
              0.19491,
              0.37633,
              0.74303,
              1.47578
            ],
            [
              0.01736,
              0.04103,
              0.06291,
              0.10621,
              0.19491,
              0.37661,
              0.74363,
              1.47715
            ],
            [
              0.01715,
              0.04081,
              0.06268,
              0.10589,
              0.19458,
              0.37571,
              0.74391,
              1.47738
            ],
            [
              0.01703,
              0.04064,
              0.06251,
              0.10574,
              0.19471,
              0.37587,
              0.74189,
              1.4771
            ],
            [
              0.01712,
              0.0407,
              0.06245,
              0.10591,
              0.1944,
              0.3763,
              0.7431,
              1.4758
            ],
            [
              0.0174,
              0.0408,
              0.0628,
              0.1057,
              0.1944,
              0.377,
              0.7431,
              1.4783
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.14151,
              0.16529,
              0.18234,
              0.21027,
              0.25714,
              0.3393,
              0.49229,
              0.79253
            ],
            [
              0.14296,
              0.16676,
              0.18381,
              0.21176,
              0.25863,
              0.34079,
              0.49392,
              0.7944
            ],
            [
              0.14502,
              0.16884,
              0.1859,
              0.21386,
              0.26075,
              0.34289,
              0.49596,
              0.79625
            ],
            [
              0.14847,
              0.17231,
              0.18938,
              0.21737,
              0.26426,
              0.34642,
              0.49956,
              0.80029
            ],
            [
              0.1539,
              0.17777,
              0.19486,
              0.22284,
              0.26975,
              0.35193,
              0.50488,
              0.80543
            ],
            [
              0.16196,
              0.18582,
              0.20292,
              0.2309,
              0.27781,
              0.35998,
              0.51299,
              0.81348
            ],
            [
              0.17342,
              0.19723,
              0.21428,
              0.24223,
              0.28912,
              0.3713,
              0.52443,
              0.82488
            ],
            [
              0.18855,
              0.21215,
              0.22909,
              0.25694,
              0.30375,
              0.38588,
              0.5388,
              0.83956
            ],
            [
              0.20732,
              0.23086,
              0.24776,
              0.27554,
              0.32223,
              0.40427,
              0.55727,
              0.85765
            ],
            [
              0.23189,
              0.25528,
              0.2721,
              0.29983,
              0.34654,
              0.42846,
              0.58147,
              0.88189
            ],
            [
              0.26416,
              0.28737,
              0.30411,
              0.33176,
              0.3784,
              0.46042,
              0.61322,
              0.91332
            ],
            [
              0.30647,
              0.32947,
              0.34617,
              0.37387,
              0.42047,
              0.50237,
              0.65537,
              0.95527
            ],
            [
              0.3621,
              0.3852,
              0.4019,
              0.4295,
              0.4762,
              0.5582,
              0.7113,
              1.0115
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.11619,
              0.13765,
              0.15481,
              0.1858,
              0.24494,
              0.36187,
              0.59573,
              1.06317
            ],
            [
              0.11793,
              0.13939,
              0.15655,
              0.18754,
              0.24664,
              0.36361,
              0.59747,
              1.06504
            ],
            [
              0.12011,
              0.14157,
              0.15873,
              0.18969,
              0.24882,
              0.36568,
              0.59987,
              1.06692
            ],
            [
              0.12341,
              0.14488,
              0.16204,
              0.19303,
              0.2521,
              0.36889,
              0.60267,
              1.07038
            ],
            [
              0.12821,
              0.14968,
              0.16684,
              0.1978,
              0.25697,
              0.37389,
              0.60736,
              1.07491
            ],
            [
              0.1348,
              0.15626,
              0.17341,
              0.20437,
              0.2635,
              0.38042,
              0.614,
              1.08242
            ],
            [
              0.14407,
              0.16551,
              0.18263,
              0.21352,
              0.27251,
              0.38929,
              0.623,
              1.09053
            ],
            [
              0.15493,
              0.17633,
              0.19338,
              0.2241,
              0.28299,
              0.39972,
              0.63315,
              1.10066
            ],
            [
              0.16391,
              0.1854,
              0.20244,
              0.23308,
              0.2917,
              0.40842,
              0.64196,
              1.10915
            ],
            [
              0.17142,
              0.19297,
              0.20998,
              0.24056,
              0.29902,
              0.41533,
              0.64839,
              1.11639
            ],
            [
              0.17743,
              0.19908,
              0.21608,
              0.24651,
              0.30471,
              0.4208,
              0.65372,
              1.12162
            ],
            [
              0.18217,
              0.20397,
              0.22087,
              0.25117,
              0.30907,
              0.42437,
              0.65727,
              1.12327
            ],
            [
              0.1865,
              0.2084,
              0.2253,
              0.2555,
              0.3128,
              0.4277,
              0.6599,
              1.1261
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.0236,
              0.04192,
              0.05591,
              0.08129,
              0.12929,
              0.22438,
              0.41949,
              0.82044
            ],
            [
              0.02361,
              0.04191,
              0.05594,
              0.08125,
              0.12932,
              0.22414,
              0.4192,
              0.82081
            ],
            [
              0.02362,
              0.04196,
              0.05597,
              0.08134,
              0.12933,
              0.22436,
              0.41942,
              0.82086
            ],
            [
              0.02363,
              0.04197,
              0.05601,
              0.08133,
              0.12936,
              0.22419,
              0.41924,
              0.82038
            ],
            [
              0.02364,
              0.04203,
              0.05601,
              0.08142,
              0.12939,
              0.22444,
              0.41952,
              0.82022
            ],
            [
              0.02364,
              0.04203,
              0.05602,
              0.08142,
              0.12938,
              0.22443,
              0.41949,
              0.82017
            ],
            [
              0.02359,
              0.04192,
              0.05595,
              0.08128,
              0.12934,
              0.22418,
              0.41895,
              0.8206
            ],
            [
              0.02363,
              0.04179,
              0.05572,
              0.08114,
              0.1292,
              0.22432,
              0.41947,
              0.81975
            ],
            [
              0.0238,
              0.04185,
              0.05571,
              0.081,
              0.12897,
              0.22413,
              0.41911,
              0.82058
            ],
            [
              0.0238,
              0.04176,
              0.05561,
              0.08099,
              0.12886,
              0.22376,
              0.41895,
              0.82021
            ],
            [
              0.02395,
              0.04173,
              0.05558,
              0.0809,
              0.1289,
              0.22374,
              0.41893,
              0.8207
            ],
            [
              0.0242,
              0.0419,
              0.0557,
              0.081,
              0.129,
              0.2239,
              0.4185,
              0.8197
            ],
            [
              0.0244,
              0.0422,
              0.0559,
              0.0812,
              0.1292,
              0.2242,
              0.4188,
              0.8188
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01746,
              0.04074,
              0.06228,
              0.10558,
              0.19532,
              0.37938,
              0.74976,
              1.4934
            ],
            [
              0.01749,
              0.04078,
              0.06226,
              0.10547,
              0.19536,
              0.38015,
              0.75008,
              1.49454
            ],
            [
              0.01748,
              0.04083,
              0.06232,
              0.10572,
              0.19568,
              0.37955,
              0.75105,
              1.49332
            ],
            [
              0.0175,
              0.04081,
              0.06225,
              0.10558,
              0.19566,
              0.37949,
              0.75023,
              1.49707
            ],
            [
              0.01747,
              0.04077,
              0.06234,
              0.10568,
              0.19562,
              0.38004,
              0.75034,
              1.49222
            ],
            [
              0.0175,
              0.04076,
              0.06234,
              0.10568,
              0.19548,
              0.37988,
              0.7504,
              1.49291
            ],
            [
              0.01759,
              0.04093,
              0.06243,
              0.10576,
              0.19566,
              0.3796,
              0.7515,
              1.49582
            ],
            [
              0.01808,
              0.04127,
              0.06262,
              0.10597,
              0.1954,
              0.38042,
              0.74987,
              1.49309
            ],
            [
              0.01863,
              0.0417,
              0.06311,
              0.10614,
              0.19585,
              0.37947,
              0.75168,
              1.49345
            ],
            [
              0.01928,
              0.04221,
              0.0636,
              0.10667,
              0.19597,
              0.37921,
              0.75044,
              1.49194
            ],
            [
              0.0201,
              0.0428,
              0.06419,
              0.10688,
              0.1961,
              0.37989,
              0.75057,
              1.4921
            ],
            [
              0.0211,
              0.0437,
              0.0649,
              0.1077,
              0.1963,
              0.3796,
              0.7512,
              1.4932
            ],
            [
              0.0222,
              0.0446,
              0.0657,
              0.1084,
              0.1967,
              0.381,
              0.7522,
              1.4945
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.11982,
              0.14249,
              0.15875,
              0.18544,
              0.23018,
              0.30953,
              0.46084,
              0.76133
            ],
            [
              0.1214,
              0.14406,
              0.16031,
              0.187,
              0.23174,
              0.3111,
              0.46239,
              0.76256
            ],
            [
              0.12337,
              0.14602,
              0.16227,
              0.18895,
              0.23369,
              0.31306,
              0.46435,
              0.76486
            ],
            [
              0.12632,
              0.14896,
              0.16522,
              0.1919,
              0.23661,
              0.31598,
              0.46737,
              0.76751
            ],
            [
              0.13059,
              0.15321,
              0.16944,
              0.19612,
              0.24084,
              0.32016,
              0.47153,
              0.77166
            ],
            [
              0.13596,
              0.15855,
              0.17478,
              0.20145,
              0.24616,
              0.32552,
              0.47672,
              0.77715
            ],
            [
              0.14125,
              0.16372,
              0.17991,
              0.20657,
              0.25128,
              0.33064,
              0.48189,
              0.78225
            ],
            [
              0.14376,
              0.1659,
              0.18201,
              0.20868,
              0.2534,
              0.33273,
              0.48414,
              0.78453
            ],
            [
              0.14343,
              0.16531,
              0.1813,
              0.20782,
              0.25243,
              0.3317,
              0.48303,
              0.78355
            ],
            [
              0.13936,
              0.16107,
              0.17691,
              0.20333,
              0.24792,
              0.32709,
              0.47822,
              0.77879
            ],
            [
              0.12887,
              0.15049,
              0.1662,
              0.19247,
              0.23702,
              0.31624,
              0.46722,
              0.76762
            ],
            [
              0.10748,
              0.12921,
              0.14486,
              0.17097,
              0.21547,
              0.29467,
              0.44577,
              0.74647
            ],
            [
              0.0683,
              0.0905,
              0.1064,
              0.1327,
              0.1773,
              0.2567,
              0.408,
              0.7091
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.13148,
              0.15318,
              0.17074,
              0.20244,
              0.26212,
              0.37912,
              0.61251,
              1.07937
            ],
            [
              0.13258,
              0.15427,
              0.17182,
              0.20353,
              0.26322,
              0.38019,
              0.61365,
              1.08044
            ],
            [
              0.13426,
              0.15595,
              0.1735,
              0.2052,
              0.26489,
              0.3819,
              0.61527,
              1.08212
            ],
            [
              0.13725,
              0.15892,
              0.17647,
              0.20816,
              0.26787,
              0.38488,
              0.61823,
              1.08518
            ],
            [
              0.14224,
              0.1639,
              0.18145,
              0.21314,
              0.27284,
              0.38985,
              0.62322,
              1.09011
            ],
            [
              0.15011,
              0.17177,
              0.18931,
              0.22098,
              0.28071,
              0.39771,
              0.63103,
              1.09792
            ],
            [
              0.16179,
              0.18345,
              0.20098,
              0.23266,
              0.29235,
              0.40932,
              0.64267,
              1.10983
            ],
            [
              0.17721,
              0.19897,
              0.21651,
              0.24818,
              0.30787,
              0.42485,
              0.65813,
              1.12496
            ],
            [
              0.197,
              0.2188,
              0.23638,
              0.26807,
              0.32777,
              0.44478,
              0.67804,
              1.14495
            ],
            [
              0.22345,
              0.24531,
              0.26291,
              0.29458,
              0.35423,
              0.47123,
              0.70449,
              1.17129
            ],
            [
              0.25928,
              0.28127,
              0.29893,
              0.33065,
              0.3903,
              0.50722,
              0.74052,
              1.20712
            ],
            [
              0.30887,
              0.33117,
              0.34897,
              0.38087,
              0.44057,
              0.55757,
              0.79077,
              1.25737
            ],
            [
              0.3782,
              0.4012,
              0.4193,
              0.4515,
              0.5116,
              0.6288,
              0.862,
              1.3285
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02121,
              0.03873,
              0.05217,
              0.07662,
              0.12335,
              0.21829,
              0.41585,
              0.81986
            ],
            [
              0.0212,
              0.03872,
              0.05215,
              0.0766,
              0.12336,
              0.2183,
              0.41586,
              0.81995
            ],
            [
              0.02118,
              0.03871,
              0.05216,
              0.07662,
              0.12326,
              0.21801,
              0.41584,
              0.8203
            ],
            [
              0.02116,
              0.03868,
              0.05212,
              0.07657,
              0.1233,
              0.2181,
              0.41547,
              0.82012
            ],
            [
              0.02113,
              0.03863,
              0.05205,
              0.07653,
              0.1233,
              0.21824,
              0.41564,
              0.81986
            ],
            [
              0.02106,
              0.03859,
              0.05205,
              0.07655,
              0.12326,
              0.21815,
              0.41583,
              0.81965
            ],
            [
              0.02088,
              0.03845,
              0.05195,
              0.07648,
              0.12318,
              0.21819,
              0.41572,
              0.82014
            ],
            [
              0.02051,
              0.03808,
              0.05174,
              0.07644,
              0.12333,
              0.21805,
              0.41573,
              0.82022
            ],
            [
              0.0205,
              0.0378,
              0.05144,
              0.07618,
              0.12298,
              0.21786,
              0.41569,
              0.81999
            ],
            [
              0.02069,
              0.03772,
              0.05129,
              0.07611,
              0.12308,
              0.2177,
              0.41512,
              0.82027
            ],
            [
              0.02119,
              0.03793,
              0.05134,
              0.07608,
              0.12315,
              0.21796,
              0.41482,
              0.82018
            ],
            [
              0.02237,
              0.03877,
              0.05185,
              0.07639,
              0.12339,
              0.2184,
              0.4162,
              0.819
            ],
            [
              0.0245,
              0.0409,
              0.0537,
              0.0777,
              0.1243,
              0.2192,
              0.4167,
              0.8213
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01736,
              0.0414,
              0.06346,
              0.10703,
              0.19648,
              0.37968,
              0.75018,
              1.49456
            ],
            [
              0.01734,
              0.04138,
              0.06342,
              0.10706,
              0.19646,
              0.38022,
              0.74984,
              1.49256
            ],
            [
              0.0173,
              0.04135,
              0.06343,
              0.107,
              0.19649,
              0.37972,
              0.75006,
              1.49183
            ],
            [
              0.01727,
              0.0413,
              0.0634,
              0.107,
              0.19649,
              0.37992,
              0.75005,
              1.49289
            ],
            [
              0.01724,
              0.04128,
              0.06338,
              0.10697,
              0.19634,
              0.38024,
              0.75119,
              1.49221
            ],
            [
              0.01723,
              0.04129,
              0.06339,
              0.10701,
              0.19651,
              0.38014,
              0.75007,
              1.49288
            ],
            [
              0.01736,
              0.04139,
              0.06349,
              0.10705,
              0.19651,
              0.37991,
              0.75115,
              1.49467
            ],
            [
              0.01791,
              0.04177,
              0.06382,
              0.10737,
              0.19661,
              0.38017,
              0.74963,
              1.49234
            ],
            [
              0.01822,
              0.04206,
              0.06412,
              0.10768,
              0.19694,
              0.38006,
              0.75132,
              1.49186
            ],
            [
              0.01871,
              0.0425,
              0.06449,
              0.1079,
              0.19726,
              0.38001,
              0.75028,
              1.49283
            ],
            [
              0.01955,
              0.04317,
              0.06522,
              0.10844,
              0.19737,
              0.38019,
              0.75045,
              1.4914
            ],
            [
              0.0211,
              0.0444,
              0.0665,
              0.1096,
              0.1982,
              0.3806,
              0.7504,
              1.4951
            ],
            [
              0.0238,
              0.0467,
              0.0688,
              0.1117,
              0.1999,
              0.3818,
              0.7507,
              1.4934
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.12227,
              0.14609,
              0.16317,
              0.19126,
              0.23827,
              0.32046,
              0.47363,
              0.7748
            ],
            [
              0.12378,
              0.14759,
              0.16467,
              0.19276,
              0.23976,
              0.32196,
              0.47522,
              0.77619
            ],
            [
              0.1256,
              0.1494,
              0.16648,
              0.19456,
              0.24156,
              0.32375,
              0.47691,
              0.77793
            ],
            [
              0.12829,
              0.15207,
              0.16914,
              0.19723,
              0.24421,
              0.32637,
              0.47963,
              0.78073
            ],
            [
              0.13219,
              0.15596,
              0.17302,
              0.20109,
              0.24808,
              0.33027,
              0.48354,
              0.78449
            ],
            [
              0.13768,
              0.16141,
              0.17846,
              0.20651,
              0.25348,
              0.33566,
              0.48894,
              0.78994
            ],
            [
              0.14461,
              0.16817,
              0.18516,
              0.21317,
              0.26011,
              0.34224,
              0.49548,
              0.79637
            ],
            [
              0.14905,
              0.17227,
              0.1892,
              0.21723,
              0.26417,
              0.3463,
              0.49941,
              0.80039
            ],
            [
              0.14958,
              0.17253,
              0.18938,
              0.21732,
              0.26417,
              0.3463,
              0.49955,
              0.80075
            ],
            [
              0.14582,
              0.16874,
              0.1855,
              0.21342,
              0.26035,
              0.34238,
              0.49548,
              0.79639
            ],
            [
              0.13639,
              0.15929,
              0.17597,
              0.20377,
              0.25078,
              0.33297,
              0.48612,
              0.78712
            ],
            [
              0.11746,
              0.1408,
              0.15763,
              0.18547,
              0.23247,
              0.31497,
              0.46837,
              0.76977
            ],
            [
              0.0809,
              0.1059,
              0.1241,
              0.154,
              0.2033,
              0.2874,
              0.442,
              0.744
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.13086,
              0.15234,
              0.16948,
              0.20046,
              0.25948,
              0.37624,
              0.60955,
              1.07607
            ],
            [
              0.13207,
              0.15354,
              0.17068,
              0.20166,
              0.26069,
              0.37745,
              0.61076,
              1.07744
            ],
            [
              0.13383,
              0.15529,
              0.17241,
              0.20337,
              0.26243,
              0.37922,
              0.61247,
              1.07902
            ],
            [
              0.13695,
              0.1584,
              0.17552,
              0.20649,
              0.26554,
              0.38233,
              0.61557,
              1.08218
            ],
            [
              0.14234,
              0.16378,
              0.18089,
              0.21187,
              0.27089,
              0.38768,
              0.62097,
              1.08761
            ],
            [
              0.15114,
              0.17257,
              0.18969,
              0.22065,
              0.27966,
              0.39643,
              0.62964,
              1.09632
            ],
            [
              0.16417,
              0.1856,
              0.20271,
              0.23361,
              0.2926,
              0.40936,
              0.64257,
              1.10923
            ],
            [
              0.18145,
              0.20295,
              0.22007,
              0.25095,
              0.30986,
              0.42654,
              0.65981,
              1.12646
            ],
            [
              0.20356,
              0.2251,
              0.24223,
              0.27309,
              0.33203,
              0.44864,
              0.68186,
              1.14855
            ],
            [
              0.23305,
              0.25461,
              0.27174,
              0.30262,
              0.36141,
              0.478,
              0.71109,
              1.17759
            ],
            [
              0.27263,
              0.29421,
              0.31136,
              0.3422,
              0.40093,
              0.51742,
              0.75042,
              1.21692
            ],
            [
              0.32587,
              0.34757,
              0.36477,
              0.39557,
              0.45427,
              0.57067,
              0.80367,
              1.26997
            ],
            [
              0.398,
              0.4199,
              0.4374,
              0.4684,
              0.5272,
              0.6437,
              0.8766,
              1.3428
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02322,
              0.0415,
              0.05553,
              0.08099,
              0.12905,
              0.22397,
              0.41991,
              0.82205
            ],
            [
              0.02319,
              0.04148,
              0.0555,
              0.08101,
              0.12907,
              0.22418,
              0.41979,
              0.82125
            ],
            [
              0.02317,
              0.04146,
              0.0555,
              0.08097,
              0.12903,
              0.22395,
              0.41989,
              0.82142
            ],
            [
              0.02312,
              0.04142,
              0.05544,
              0.08096,
              0.12905,
              0.22414,
              0.41986,
              0.82192
            ],
            [
              0.02306,
              0.04139,
              0.05543,
              0.08095,
              0.12903,
              0.22418,
              0.41961,
              0.82261
            ],
            [
              0.02292,
              0.04129,
              0.05535,
              0.08086,
              0.12893,
              0.2241,
              0.41953,
              0.82251
            ],
            [
              0.02265,
              0.04111,
              0.0552,
              0.08077,
              0.12886,
              0.2238,
              0.41969,
              0.82204
            ],
            [
              0.02246,
              0.04096,
              0.05518,
              0.08079,
              0.12883,
              0.22393,
              0.41983,
              0.82235
            ],
            [
              0.02281,
              0.04093,
              0.05508,
              0.08063,
              0.12878,
              0.22406,
              0.41977,
              0.82234
            ],
            [
              0.02336,
              0.04118,
              0.05528,
              0.08097,
              0.12906,
              0.22362,
              0.41918,
              0.8221
            ],
            [
              0.02408,
              0.04172,
              0.05562,
              0.08129,
              0.1295,
              0.22431,
              0.41919,
              0.82132
            ],
            [
              0.02639,
              0.04386,
              0.05736,
              0.08233,
              0.1303,
              0.2253,
              0.4207,
              0.8213
            ],
            [
              0.0309,
              0.0498,
              0.0642,
              0.0895,
              0.1364,
              0.2296,
              0.4231,
              0.8247
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01654,
              0.04034,
              0.06198,
              0.1053,
              0.19532,
              0.3795,
              0.75,
              1.49127
            ],
            [
              0.01651,
              0.04031,
              0.06196,
              0.10529,
              0.19518,
              0.37913,
              0.74997,
              1.4912
            ],
            [
              0.01649,
              0.04032,
              0.06193,
              0.1053,
              0.19518,
              0.37934,
              0.74981,
              1.49083
            ],
            [
              0.01648,
              0.04028,
              0.06193,
              0.10522,
              0.19542,
              0.37978,
              0.74976,
              1.49146
            ],
            [
              0.01642,
              0.04027,
              0.06191,
              0.10525,
              0.19525,
              0.37952,
              0.74992,
              1.49072
            ],
            [
              0.0164,
              0.04024,
              0.06185,
              0.10525,
              0.19512,
              0.3792,
              0.74962,
              1.4907
            ],
            [
              0.01648,
              0.04029,
              0.06187,
              0.10535,
              0.1955,
              0.38008,
              0.7498,
              1.49365
            ],
            [
              0.01691,
              0.0405,
              0.06209,
              0.10537,
              0.19528,
              0.37917,
              0.74994,
              1.49034
            ],
            [
              0.01732,
              0.04078,
              0.06244,
              0.10577,
              0.19541,
              0.3792,
              0.74981,
              1.49522
            ],
            [
              0.01791,
              0.04127,
              0.06278,
              0.1059,
              0.19555,
              0.37921,
              0.7494,
              1.49394
            ],
            [
              0.01878,
              0.04184,
              0.0633,
              0.10622,
              0.19567,
              0.37951,
              0.7498,
              1.4916
            ],
            [
              0.0201,
              0.0431,
              0.0642,
              0.107,
              0.1962,
              0.3796,
              0.7497,
              1.4918
            ],
            [
              0.0223,
              0.0451,
              0.0663,
              0.1088,
              0.1974,
              0.3806,
              0.7503,
              1.4933
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.14159,
              0.16426,
              0.18041,
              0.20691,
              0.25157,
              0.33107,
              0.4825,
              0.78281
            ],
            [
              0.14299,
              0.16567,
              0.18182,
              0.20832,
              0.253,
              0.33252,
              0.48398,
              0.78476
            ],
            [
              0.14498,
              0.16767,
              0.18382,
              0.21034,
              0.25502,
              0.33451,
              0.48596,
              0.78649
            ],
            [
              0.14844,
              0.17112,
              0.18729,
              0.21382,
              0.25849,
              0.33803,
              0.48955,
              0.79022
            ],
            [
              0.15432,
              0.17701,
              0.19318,
              0.2197,
              0.2644,
              0.34394,
              0.49531,
              0.7958
            ],
            [
              0.16377,
              0.18647,
              0.20263,
              0.22916,
              0.27388,
              0.35341,
              0.50496,
              0.80551
            ],
            [
              0.17761,
              0.20029,
              0.21644,
              0.24297,
              0.28769,
              0.3672,
              0.51876,
              0.81914
            ],
            [
              0.19609,
              0.21862,
              0.2347,
              0.26117,
              0.30586,
              0.38541,
              0.5369,
              0.83766
            ],
            [
              0.21906,
              0.24146,
              0.25744,
              0.28381,
              0.32839,
              0.40788,
              0.55936,
              0.85975
            ],
            [
              0.24868,
              0.27091,
              0.28681,
              0.31311,
              0.35769,
              0.43706,
              0.58853,
              0.88919
            ],
            [
              0.28774,
              0.30974,
              0.32551,
              0.3517,
              0.39619,
              0.47552,
              0.62682,
              0.92762
            ],
            [
              0.33917,
              0.36087,
              0.37657,
              0.40257,
              0.44697,
              0.52637,
              0.67757,
              0.97787
            ],
            [
              0.4066,
              0.4282,
              0.4437,
              0.4697,
              0.514,
              0.5933,
              0.7448,
              1.0451
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.1103,
              0.13196,
              0.14947,
              0.18095,
              0.23998,
              0.35564,
              0.58569,
              1.04757
            ],
            [
              0.11207,
              0.13373,
              0.15125,
              0.18269,
              0.24169,
              0.35733,
              0.58791,
              1.04804
            ],
            [
              0.11423,
              0.1359,
              0.15341,
              0.18488,
              0.24388,
              0.35956,
              0.58967,
              1.05132
            ],
            [
              0.11743,
              0.13909,
              0.15662,
              0.18805,
              0.24704,
              0.36268,
              0.59335,
              1.05358
            ],
            [
              0.122,
              0.14367,
              0.1612,
              0.19263,
              0.25167,
              0.36739,
              0.59808,
              1.05871
            ],
            [
              0.12859,
              0.15026,
              0.16778,
              0.19924,
              0.25828,
              0.37393,
              0.60399,
              1.06572
            ],
            [
              0.13776,
              0.15942,
              0.17689,
              0.2083,
              0.26728,
              0.3829,
              0.61278,
              1.07433
            ],
            [
              0.14566,
              0.16727,
              0.18471,
              0.216,
              0.27479,
              0.39018,
              0.62046,
              1.08226
            ],
            [
              0.1501,
              0.17178,
              0.18922,
              0.22052,
              0.27926,
              0.39468,
              0.62484,
              1.08675
            ],
            [
              0.15105,
              0.17277,
              0.19022,
              0.2215,
              0.28029,
              0.3954,
              0.626,
              1.08599
            ],
            [
              0.147,
              0.16878,
              0.18623,
              0.21748,
              0.27621,
              0.3914,
              0.62132,
              1.08262
            ],
            [
              0.13508,
              0.15692,
              0.17437,
              0.20557,
              0.26427,
              0.37947,
              0.61027,
              1.06977
            ],
            [
              0.1109,
              0.1328,
              0.1502,
              0.1814,
              0.24,
              0.3552,
              0.5858,
              1.0464
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02194,
              0.03909,
              0.05226,
              0.07656,
              0.12348,
              0.21851,
              0.41615,
              0.81989
            ],
            [
              0.02194,
              0.03908,
              0.05231,
              0.07654,
              0.12347,
              0.2185,
              0.41615,
              0.82075
            ],
            [
              0.02195,
              0.03912,
              0.05229,
              0.0766,
              0.12351,
              0.21853,
              0.41615,
              0.81968
            ],
            [
              0.02194,
              0.03915,
              0.05232,
              0.07661,
              0.12352,
              0.2186,
              0.41603,
              0.82045
            ],
            [
              0.02196,
              0.03918,
              0.05235,
              0.07661,
              0.12353,
              0.2184,
              0.41627,
              0.82026
            ],
            [
              0.02199,
              0.03918,
              0.05243,
              0.07666,
              0.12346,
              0.21866,
              0.41585,
              0.82011
            ],
            [
              0.02201,
              0.0392,
              0.05244,
              0.07669,
              0.12352,
              0.21864,
              0.41573,
              0.81968
            ],
            [
              0.022,
              0.03913,
              0.05237,
              0.07664,
              0.12348,
              0.21859,
              0.41613,
              0.82055
            ],
            [
              0.02217,
              0.03916,
              0.05226,
              0.07645,
              0.12333,
              0.21845,
              0.41609,
              0.81983
            ],
            [
              0.02222,
              0.03913,
              0.05231,
              0.07649,
              0.12317,
              0.21815,
              0.41596,
              0.81996
            ],
            [
              0.02229,
              0.0391,
              0.05226,
              0.07648,
              0.12327,
              0.21798,
              0.41579,
              0.8205
            ],
            [
              0.0224,
              0.0391,
              0.0523,
              0.0766,
              0.1233,
              0.2181,
              0.415,
              0.8194
            ],
            [
              0.0226,
              0.0394,
              0.0525,
              0.0768,
              0.1235,
              0.2187,
              0.416,
              0.819
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01786,
              0.04147,
              0.06335,
              0.10649,
              0.1947,
              0.37657,
              0.74382,
              1.47624
            ],
            [
              0.01784,
              0.04146,
              0.06334,
              0.1066,
              0.19501,
              0.3758,
              0.74246,
              1.47878
            ],
            [
              0.01786,
              0.04143,
              0.06339,
              0.1066,
              0.19483,
              0.37677,
              0.74242,
              1.4771
            ],
            [
              0.01785,
              0.04148,
              0.06335,
              0.1066,
              0.19499,
              0.37597,
              0.74233,
              1.47855
            ],
            [
              0.01783,
              0.0415,
              0.06334,
              0.10653,
              0.19509,
              0.37599,
              0.74259,
              1.4777
            ],
            [
              0.01782,
              0.04149,
              0.06332,
              0.10635,
              0.19492,
              0.37655,
              0.74406,
              1.47682
            ],
            [
              0.01786,
              0.04142,
              0.06338,
              0.10667,
              0.19489,
              0.37654,
              0.7418,
              1.47824
            ],
            [
              0.01815,
              0.04167,
              0.06349,
              0.10653,
              0.19494,
              0.37591,
              0.74279,
              1.47823
            ],
            [
              0.01844,
              0.04184,
              0.06377,
              0.10679,
              0.19506,
              0.37618,
              0.7431,
              1.47898
            ],
            [
              0.01877,
              0.04213,
              0.06402,
              0.10706,
              0.19514,
              0.37654,
              0.74255,
              1.47635
            ],
            [
              0.01924,
              0.04254,
              0.06437,
              0.10745,
              0.1952,
              0.37639,
              0.74195,
              1.476
            ],
            [
              0.01979,
              0.04304,
              0.06476,
              0.10766,
              0.1959,
              0.3768,
              0.7438,
              1.4784
            ],
            [
              0.0205,
              0.0436,
              0.0653,
              0.1082,
              0.1963,
              0.3768,
              0.7432,
              1.4787
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.09381,
              0.11849,
              0.13649,
              0.16594,
              0.21418,
              0.2972,
              0.45047,
              0.75112
            ],
            [
              0.09556,
              0.12023,
              0.13823,
              0.16767,
              0.21591,
              0.29894,
              0.45239,
              0.75325
            ],
            [
              0.09785,
              0.12252,
              0.14052,
              0.16996,
              0.2182,
              0.30124,
              0.45466,
              0.75488
            ],
            [
              0.1015,
              0.12616,
              0.14416,
              0.17361,
              0.22184,
              0.30489,
              0.45832,
              0.75884
            ],
            [
              0.10726,
              0.13191,
              0.1499,
              0.17934,
              0.22759,
              0.31062,
              0.46406,
              0.76436
            ],
            [
              0.11624,
              0.14087,
              0.15883,
              0.18826,
              0.23653,
              0.31958,
              0.47304,
              0.7734
            ],
            [
              0.12973,
              0.15429,
              0.17222,
              0.20164,
              0.24993,
              0.33301,
              0.4864,
              0.78739
            ],
            [
              0.14763,
              0.17275,
              0.19091,
              0.22055,
              0.26899,
              0.35215,
              0.50554,
              0.8058
            ],
            [
              0.17064,
              0.19659,
              0.21519,
              0.24553,
              0.29468,
              0.37821,
              0.53162,
              0.83205
            ],
            [
              0.20101,
              0.22804,
              0.24724,
              0.27837,
              0.32854,
              0.41299,
              0.56686,
              0.86709
            ],
            [
              0.2419,
              0.27038,
              0.29041,
              0.32275,
              0.3744,
              0.46012,
              0.61482,
              0.91522
            ],
            [
              0.29717,
              0.32767,
              0.34897,
              0.38317,
              0.43727,
              0.52547,
              0.68147,
              0.98217
            ],
            [
              0.3722,
              0.4052,
              0.4283,
              0.4651,
              0.5232,
              0.616,
              0.7757,
              1.0776
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.07892,
              0.10088,
              0.11864,
              0.15046,
              0.21019,
              0.32747,
              0.56126,
              1.02917
            ],
            [
              0.0804,
              0.10237,
              0.12011,
              0.15193,
              0.21167,
              0.3288,
              0.56292,
              1.03084
            ],
            [
              0.08226,
              0.10421,
              0.12198,
              0.15379,
              0.21353,
              0.33075,
              0.56421,
              1.03192
            ],
            [
              0.08514,
              0.10709,
              0.12484,
              0.15662,
              0.21638,
              0.33342,
              0.56725,
              1.03448
            ],
            [
              0.08959,
              0.11152,
              0.12925,
              0.16098,
              0.22071,
              0.33794,
              0.57185,
              1.04011
            ],
            [
              0.09612,
              0.11798,
              0.13564,
              0.1673,
              0.22692,
              0.34394,
              0.57824,
              1.04492
            ],
            [
              0.1044,
              0.1264,
              0.14401,
              0.17555,
              0.23492,
              0.3522,
              0.58535,
              1.05413
            ],
            [
              0.11286,
              0.13537,
              0.15323,
              0.18489,
              0.24415,
              0.36089,
              0.59471,
              1.06286
            ],
            [
              0.12044,
              0.14385,
              0.16212,
              0.19423,
              0.25362,
              0.37024,
              0.60376,
              1.07135
            ],
            [
              0.12542,
              0.15019,
              0.16915,
              0.20209,
              0.26205,
              0.37848,
              0.61137,
              1.07879
            ],
            [
              0.12515,
              0.1518,
              0.17171,
              0.20601,
              0.26706,
              0.38424,
              0.61702,
              1.08322
            ],
            [
              0.1157,
              0.14474,
              0.16591,
              0.20217,
              0.26517,
              0.38397,
              0.61837,
              1.08427
            ],
            [
              0.0912,
              0.1231,
              0.146,
              0.1847,
              0.251,
              0.3722,
              0.6091,
              1.0786
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.024,
              0.04339,
              0.0584,
              0.08442,
              0.13214,
              0.22605,
              0.42017,
              0.82016
            ],
            [
              0.02401,
              0.0434,
              0.05839,
              0.08449,
              0.13214,
              0.2261,
              0.41973,
              0.82085
            ],
            [
              0.02401,
              0.04341,
              0.05841,
              0.08444,
              0.13214,
              0.22607,
              0.41998,
              0.81978
            ],
            [
              0.02402,
              0.04341,
              0.05842,
              0.08446,
              0.13216,
              0.22601,
              0.41974,
              0.82067
            ],
            [
              0.02406,
              0.04345,
              0.05851,
              0.08453,
              0.13217,
              0.2259,
              0.41999,
              0.81996
            ],
            [
              0.0242,
              0.04361,
              0.05857,
              0.08463,
              0.13223,
              0.22613,
              0.41977,
              0.82022
            ],
            [
              0.02507,
              0.04428,
              0.05921,
              0.08506,
              0.13252,
              0.22627,
              0.42013,
              0.82058
            ],
            [
              0.02771,
              0.04671,
              0.06115,
              0.08651,
              0.13349,
              0.22679,
              0.42035,
              0.81972
            ],
            [
              0.03109,
              0.05017,
              0.06465,
              0.08978,
              0.13586,
              0.22818,
              0.42093,
              0.82115
            ],
            [
              0.03552,
              0.05477,
              0.06918,
              0.09402,
              0.13959,
              0.23063,
              0.42184,
              0.82072
            ],
            [
              0.0417,
              0.06134,
              0.07574,
              0.10033,
              0.14529,
              0.23478,
              0.42398,
              0.8217
            ],
            [
              0.0506,
              0.071,
              0.0856,
              0.1104,
              0.1546,
              0.2422,
              0.4275,
              0.8231
            ],
            [
              0.0633,
              0.0849,
              0.1003,
              0.1257,
              0.1701,
              0.2561,
              0.4373,
              0.8261
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01614,
              0.0405,
              0.06258,
              0.1063,
              0.1959,
              0.38086,
              0.75091,
              1.49482
            ],
            [
              0.01614,
              0.04051,
              0.06262,
              0.10629,
              0.19591,
              0.38087,
              0.75221,
              1.4934
            ],
            [
              0.01612,
              0.04061,
              0.06269,
              0.10635,
              0.19606,
              0.37986,
              0.75045,
              1.49738
            ],
            [
              0.01617,
              0.04053,
              0.06262,
              0.10655,
              0.19619,
              0.38072,
              0.75048,
              1.4939
            ],
            [
              0.01619,
              0.04065,
              0.06272,
              0.10653,
              0.19626,
              0.37961,
              0.75232,
              1.49577
            ],
            [
              0.01641,
              0.04084,
              0.0629,
              0.10661,
              0.19607,
              0.3809,
              0.74991,
              1.49446
            ],
            [
              0.01772,
              0.0417,
              0.06354,
              0.10709,
              0.19637,
              0.37977,
              0.75042,
              1.49413
            ],
            [
              0.01992,
              0.04353,
              0.06535,
              0.1083,
              0.19704,
              0.38011,
              0.75063,
              1.49416
            ],
            [
              0.02318,
              0.04651,
              0.06819,
              0.11061,
              0.19834,
              0.38042,
              0.75063,
              1.49412
            ],
            [
              0.02772,
              0.05076,
              0.07262,
              0.11455,
              0.20098,
              0.38187,
              0.75122,
              1.49446
            ],
            [
              0.03396,
              0.05685,
              0.07892,
              0.12087,
              0.20644,
              0.38513,
              0.75231,
              1.4942
            ],
            [
              0.04239,
              0.06547,
              0.08759,
              0.12994,
              0.2145,
              0.3914,
              0.7578,
              1.4934
            ],
            [
              0.0538,
              0.0774,
              0.0996,
              0.1425,
              0.2271,
              0.4028,
              0.7666,
              1.501
            ]
          ]
        },
        "sdf_cond": "(!A&!B)",
        "timing_sense": "positive_unate",
        "when": "(!A&!B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.1229,
              0.14456,
              0.16073,
              0.18763,
              0.23273,
              0.31244,
              0.46387,
              0.76422
            ],
            [
              0.1245,
              0.14615,
              0.16233,
              0.18922,
              0.23432,
              0.31403,
              0.4655,
              0.76599
            ],
            [
              0.12654,
              0.14818,
              0.16435,
              0.19124,
              0.23633,
              0.316,
              0.46742,
              0.768
            ],
            [
              0.12979,
              0.15141,
              0.16756,
              0.19445,
              0.23953,
              0.31922,
              0.47058,
              0.77136
            ],
            [
              0.13489,
              0.15648,
              0.17261,
              0.19948,
              0.24456,
              0.32425,
              0.47558,
              0.77629
            ],
            [
              0.14242,
              0.16397,
              0.18006,
              0.2069,
              0.25196,
              0.33165,
              0.48302,
              0.78367
            ],
            [
              0.15208,
              0.17355,
              0.18959,
              0.21639,
              0.26143,
              0.34111,
              0.49246,
              0.79295
            ],
            [
              0.16276,
              0.18412,
              0.20012,
              0.22687,
              0.27189,
              0.35155,
              0.50301,
              0.80333
            ],
            [
              0.17345,
              0.19465,
              0.21059,
              0.23729,
              0.28224,
              0.36184,
              0.51309,
              0.81355
            ],
            [
              0.18257,
              0.2036,
              0.21951,
              0.24622,
              0.29122,
              0.37076,
              0.52212,
              0.82249
            ],
            [
              0.18761,
              0.20844,
              0.22432,
              0.25111,
              0.29625,
              0.37602,
              0.52742,
              0.82752
            ],
            [
              0.18477,
              0.20537,
              0.22127,
              0.24807,
              0.29347,
              0.37357,
              0.52537,
              0.82567
            ],
            [
              0.1685,
              0.1888,
              0.2046,
              0.2316,
              0.2771,
              0.3576,
              0.5101,
              0.8116
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.13854,
              0.15845,
              0.17503,
              0.20541,
              0.26394,
              0.38045,
              0.61345,
              1.08007
            ],
            [
              0.14032,
              0.16024,
              0.17682,
              0.2072,
              0.26575,
              0.38218,
              0.6153,
              1.08174
            ],
            [
              0.14264,
              0.16256,
              0.17914,
              0.2095,
              0.26805,
              0.38454,
              0.61752,
              1.08412
            ],
            [
              0.14633,
              0.16623,
              0.18282,
              0.21319,
              0.27171,
              0.38822,
              0.62123,
              1.08788
            ],
            [
              0.15219,
              0.17211,
              0.18868,
              0.21905,
              0.2776,
              0.39401,
              0.62713,
              1.09361
            ],
            [
              0.16138,
              0.18129,
              0.19787,
              0.22823,
              0.28677,
              0.40318,
              0.6363,
              1.10292
            ],
            [
              0.17521,
              0.19508,
              0.21164,
              0.24197,
              0.30047,
              0.41687,
              0.64997,
              1.11633
            ],
            [
              0.19468,
              0.21443,
              0.23091,
              0.26113,
              0.3195,
              0.43588,
              0.66879,
              1.13526
            ],
            [
              0.22001,
              0.2396,
              0.25595,
              0.28605,
              0.3443,
              0.46044,
              0.69346,
              1.15975
            ],
            [
              0.25315,
              0.27257,
              0.28885,
              0.31877,
              0.37679,
              0.4928,
              0.72549,
              1.19189
            ],
            [
              0.29739,
              0.31667,
              0.33285,
              0.36262,
              0.42038,
              0.53612,
              0.76862,
              1.23492
            ],
            [
              0.35697,
              0.37617,
              0.39227,
              0.42197,
              0.47937,
              0.59467,
              0.82687,
              1.29267
            ],
            [
              0.4372,
              0.4565,
              0.4727,
              0.5023,
              0.5594,
              0.6743,
              0.906,
              1.3715
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02076,
              0.0387,
              0.05242,
              0.07708,
              0.12401,
              0.21863,
              0.41614,
              0.81927
            ],
            [
              0.02074,
              0.03872,
              0.05237,
              0.07712,
              0.1239,
              0.21883,
              0.41597,
              0.81963
            ],
            [
              0.02073,
              0.03873,
              0.05239,
              0.0771,
              0.12398,
              0.21876,
              0.41594,
              0.81857
            ],
            [
              0.02069,
              0.03871,
              0.05238,
              0.0771,
              0.12399,
              0.21866,
              0.41604,
              0.82016
            ],
            [
              0.02066,
              0.03866,
              0.05237,
              0.0771,
              0.12397,
              0.21864,
              0.41609,
              0.81959
            ],
            [
              0.0206,
              0.03864,
              0.05235,
              0.07706,
              0.1239,
              0.21863,
              0.41615,
              0.82003
            ],
            [
              0.02059,
              0.03866,
              0.0524,
              0.07716,
              0.12402,
              0.21863,
              0.41616,
              0.81978
            ],
            [
              0.02075,
              0.03889,
              0.05257,
              0.07733,
              0.12413,
              0.2187,
              0.41594,
              0.82021
            ],
            [
              0.02111,
              0.0392,
              0.05287,
              0.07751,
              0.12426,
              0.21906,
              0.41629,
              0.8198
            ],
            [
              0.02176,
              0.03986,
              0.05354,
              0.0782,
              0.12488,
              0.21903,
              0.41588,
              0.81988
            ],
            [
              0.02279,
              0.0409,
              0.05451,
              0.07919,
              0.12589,
              0.2202,
              0.41592,
              0.8201
            ],
            [
              0.0242,
              0.0423,
              0.0559,
              0.0806,
              0.1272,
              0.2215,
              0.4183,
              0.8192
            ],
            [
              0.026,
              0.0443,
              0.0579,
              0.0825,
              0.1291,
              0.2234,
              0.4204,
              0.8223
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01602,
              0.0397,
              0.06108,
              0.10459,
              0.19453,
              0.3791,
              0.74977,
              1.49286
            ],
            [
              0.01602,
              0.03965,
              0.06117,
              0.10454,
              0.19486,
              0.37893,
              0.74942,
              1.49145
            ],
            [
              0.01604,
              0.03964,
              0.06113,
              0.10444,
              0.1946,
              0.37902,
              0.74962,
              1.49423
            ],
            [
              0.01603,
              0.03965,
              0.0611,
              0.10457,
              0.19473,
              0.37973,
              0.74971,
              1.49319
            ],
            [
              0.016,
              0.03961,
              0.06119,
              0.10454,
              0.19519,
              0.37946,
              0.74915,
              1.49147
            ],
            [
              0.01602,
              0.03971,
              0.06118,
              0.10454,
              0.1945,
              0.37888,
              0.7491,
              1.49106
            ],
            [
              0.01604,
              0.03971,
              0.06118,
              0.10455,
              0.1949,
              0.37893,
              0.74935,
              1.49126
            ],
            [
              0.01616,
              0.03985,
              0.0613,
              0.10463,
              0.19458,
              0.37917,
              0.7508,
              1.49104
            ],
            [
              0.01657,
              0.04008,
              0.0617,
              0.10473,
              0.19469,
              0.37891,
              0.74943,
              1.49096
            ],
            [
              0.01712,
              0.04066,
              0.06202,
              0.10508,
              0.19478,
              0.379,
              0.74933,
              1.49185
            ],
            [
              0.01791,
              0.04136,
              0.06267,
              0.10564,
              0.19528,
              0.3789,
              0.7497,
              1.4925
            ],
            [
              0.0192,
              0.0426,
              0.0638,
              0.1063,
              0.1955,
              0.3794,
              0.7499,
              1.4916
            ],
            [
              0.0211,
              0.0444,
              0.0656,
              0.1079,
              0.1964,
              0.3798,
              0.7499,
              1.4912
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.12289,
              0.14454,
              0.1607,
              0.18759,
              0.23269,
              0.3124,
              0.46398,
              0.76436
            ],
            [
              0.12449,
              0.14613,
              0.16229,
              0.18917,
              0.23427,
              0.31398,
              0.46546,
              0.76594
            ],
            [
              0.12652,
              0.14815,
              0.16431,
              0.19119,
              0.23629,
              0.31595,
              0.46737,
              0.76794
            ],
            [
              0.12976,
              0.15138,
              0.16753,
              0.1944,
              0.23949,
              0.31917,
              0.47051,
              0.77116
            ],
            [
              0.13486,
              0.15644,
              0.17256,
              0.19942,
              0.2445,
              0.32421,
              0.47576,
              0.77609
            ],
            [
              0.14237,
              0.16392,
              0.18,
              0.20683,
              0.2519,
              0.33158,
              0.48292,
              0.78364
            ],
            [
              0.15201,
              0.17347,
              0.18951,
              0.2163,
              0.26133,
              0.34101,
              0.49235,
              0.79269
            ],
            [
              0.16264,
              0.184,
              0.2,
              0.22674,
              0.27176,
              0.35142,
              0.50288,
              0.80335
            ],
            [
              0.17329,
              0.19449,
              0.21042,
              0.23712,
              0.28207,
              0.36167,
              0.51291,
              0.81335
            ],
            [
              0.18237,
              0.2034,
              0.2193,
              0.24601,
              0.29101,
              0.37055,
              0.52191,
              0.82229
            ],
            [
              0.18739,
              0.20821,
              0.22409,
              0.25087,
              0.29601,
              0.37578,
              0.52722,
              0.82742
            ],
            [
              0.18457,
              0.20517,
              0.22097,
              0.24787,
              0.29317,
              0.37337,
              0.52517,
              0.82547
            ],
            [
              0.1683,
              0.1886,
              0.2044,
              0.2314,
              0.2769,
              0.3574,
              0.5099,
              0.8113
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.13841,
              0.15831,
              0.17489,
              0.20527,
              0.2638,
              0.3803,
              0.61329,
              1.07997
            ],
            [
              0.14018,
              0.1601,
              0.17668,
              0.20706,
              0.26561,
              0.38204,
              0.61518,
              1.08154
            ],
            [
              0.1425,
              0.16242,
              0.17899,
              0.20936,
              0.26791,
              0.3844,
              0.6174,
              1.08402
            ],
            [
              0.14619,
              0.16609,
              0.18266,
              0.21305,
              0.27158,
              0.38808,
              0.62108,
              1.08777
            ],
            [
              0.15205,
              0.17196,
              0.18854,
              0.2189,
              0.27745,
              0.3939,
              0.62699,
              1.09351
            ],
            [
              0.16124,
              0.18115,
              0.19773,
              0.22809,
              0.28663,
              0.40304,
              0.63615,
              1.10282
            ],
            [
              0.17506,
              0.19494,
              0.21149,
              0.24182,
              0.30031,
              0.41677,
              0.64973,
              1.11633
            ],
            [
              0.19453,
              0.21427,
              0.23075,
              0.26096,
              0.31933,
              0.43571,
              0.66863,
              1.13526
            ],
            [
              0.21984,
              0.23942,
              0.25577,
              0.28587,
              0.34412,
              0.46026,
              0.69328,
              1.15965
            ],
            [
              0.25295,
              0.27236,
              0.28864,
              0.31856,
              0.37658,
              0.49258,
              0.72539,
              1.19169
            ],
            [
              0.29714,
              0.31642,
              0.3326,
              0.36236,
              0.42012,
              0.53582,
              0.76832,
              1.23462
            ],
            [
              0.35667,
              0.37587,
              0.39197,
              0.42167,
              0.47907,
              0.59437,
              0.82657,
              1.29237
            ],
            [
              0.4368,
              0.4561,
              0.4723,
              0.5019,
              0.559,
              0.6739,
              0.9056,
              1.3711
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02072,
              0.0387,
              0.05235,
              0.07712,
              0.1239,
              0.21872,
              0.41592,
              0.81869
            ],
            [
              0.02072,
              0.03869,
              0.05235,
              0.07711,
              0.12389,
              0.21883,
              0.41596,
              0.81867
            ],
            [
              0.02071,
              0.03871,
              0.05236,
              0.0771,
              0.12396,
              0.21877,
              0.41596,
              0.81981
            ],
            [
              0.02068,
              0.0387,
              0.05236,
              0.07708,
              0.12398,
              0.21864,
              0.41609,
              0.81962
            ],
            [
              0.02063,
              0.03864,
              0.05236,
              0.07704,
              0.12394,
              0.21874,
              0.41587,
              0.81983
            ],
            [
              0.02058,
              0.03863,
              0.05233,
              0.07706,
              0.12389,
              0.21862,
              0.41614,
              0.8203
            ],
            [
              0.02056,
              0.03864,
              0.05239,
              0.07714,
              0.12402,
              0.21863,
              0.41615,
              0.81987
            ],
            [
              0.02074,
              0.03887,
              0.05256,
              0.07731,
              0.12416,
              0.2187,
              0.41603,
              0.81976
            ],
            [
              0.0211,
              0.03919,
              0.05287,
              0.07751,
              0.12427,
              0.21907,
              0.4163,
              0.81978
            ],
            [
              0.02174,
              0.03985,
              0.05355,
              0.0782,
              0.12488,
              0.21905,
              0.41589,
              0.81989
            ],
            [
              0.02279,
              0.04089,
              0.05451,
              0.07917,
              0.12589,
              0.22013,
              0.41595,
              0.8198
            ],
            [
              0.0242,
              0.0423,
              0.0559,
              0.0805,
              0.1273,
              0.2215,
              0.4182,
              0.819
            ],
            [
              0.0261,
              0.0443,
              0.0579,
              0.0825,
              0.1292,
              0.2235,
              0.4205,
              0.8223
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01602,
              0.03968,
              0.06108,
              0.10458,
              0.19474,
              0.37916,
              0.74961,
              1.4935
            ],
            [
              0.01601,
              0.03965,
              0.06117,
              0.10455,
              0.19494,
              0.37893,
              0.74916,
              1.49129
            ],
            [
              0.01604,
              0.03964,
              0.06114,
              0.10476,
              0.19458,
              0.37902,
              0.74956,
              1.4914
            ],
            [
              0.01604,
              0.03965,
              0.0611,
              0.1045,
              0.19476,
              0.37989,
              0.75035,
              1.49173
            ],
            [
              0.01604,
              0.03964,
              0.06118,
              0.10473,
              0.19462,
              0.3789,
              0.7497,
              1.49073
            ],
            [
              0.01603,
              0.03972,
              0.06118,
              0.10454,
              0.19488,
              0.3788,
              0.74925,
              1.49071
            ],
            [
              0.01599,
              0.03966,
              0.06114,
              0.10454,
              0.19475,
              0.37917,
              0.74993,
              1.49074
            ],
            [
              0.01616,
              0.03979,
              0.06129,
              0.10482,
              0.19458,
              0.37974,
              0.75027,
              1.49096
            ],
            [
              0.01658,
              0.04008,
              0.0617,
              0.10475,
              0.19475,
              0.37915,
              0.74941,
              1.49095
            ],
            [
              0.01713,
              0.04068,
              0.06202,
              0.1051,
              0.19481,
              0.37911,
              0.74955,
              1.49187
            ],
            [
              0.01792,
              0.04139,
              0.06269,
              0.10562,
              0.19524,
              0.37896,
              0.7496,
              1.4911
            ],
            [
              0.0192,
              0.0426,
              0.0638,
              0.1063,
              0.1954,
              0.3794,
              0.7498,
              1.4917
            ],
            [
              0.0211,
              0.0445,
              0.0656,
              0.108,
              0.1965,
              0.3797,
              0.7499,
              1.4914
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.0941,
              0.1188,
              0.13682,
              0.1663,
              0.2146,
              0.29779,
              0.45141,
              0.7529
            ],
            [
              0.09585,
              0.12054,
              0.13857,
              0.16804,
              0.21635,
              0.29953,
              0.45318,
              0.75471
            ],
            [
              0.09814,
              0.12284,
              0.14086,
              0.17033,
              0.21864,
              0.30182,
              0.45562,
              0.75665
            ],
            [
              0.10179,
              0.12648,
              0.1445,
              0.17397,
              0.22228,
              0.30546,
              0.45911,
              0.76067
            ],
            [
              0.10756,
              0.13223,
              0.15024,
              0.17972,
              0.22804,
              0.31122,
              0.46488,
              0.76636
            ],
            [
              0.11654,
              0.14118,
              0.15917,
              0.18864,
              0.23697,
              0.32017,
              0.47397,
              0.77492
            ],
            [
              0.13004,
              0.15461,
              0.17257,
              0.20204,
              0.25038,
              0.3336,
              0.48738,
              0.78859
            ],
            [
              0.14797,
              0.1731,
              0.19128,
              0.22096,
              0.26945,
              0.35276,
              0.50652,
              0.80756
            ],
            [
              0.17102,
              0.19697,
              0.2156,
              0.24596,
              0.29517,
              0.37885,
              0.53259,
              0.83385
            ],
            [
              0.20145,
              0.22846,
              0.24768,
              0.27885,
              0.32906,
              0.41366,
              0.56788,
              0.86889
            ],
            [
              0.24241,
              0.27086,
              0.29091,
              0.32327,
              0.37497,
              0.46082,
              0.61582,
              0.91702
            ],
            [
              0.29787,
              0.32827,
              0.34957,
              0.38377,
              0.43797,
              0.52627,
              0.68257,
              0.98397
            ],
            [
              0.373,
              0.4059,
              0.429,
              0.4659,
              0.524,
              0.6169,
              0.7769,
              1.0795
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.07908,
              0.10083,
              0.11839,
              0.14982,
              0.20873,
              0.32429,
              0.55486,
              1.01607
            ],
            [
              0.08057,
              0.10232,
              0.11987,
              0.15129,
              0.21025,
              0.32566,
              0.55623,
              1.01734
            ],
            [
              0.08242,
              0.10417,
              0.12172,
              0.15314,
              0.21207,
              0.32761,
              0.55812,
              1.01922
            ],
            [
              0.08529,
              0.10705,
              0.12458,
              0.15596,
              0.2149,
              0.33047,
              0.56071,
              1.02178
            ],
            [
              0.08974,
              0.11147,
              0.129,
              0.16034,
              0.21922,
              0.33465,
              0.56542,
              1.02671
            ],
            [
              0.09626,
              0.11792,
              0.13538,
              0.16665,
              0.22547,
              0.34088,
              0.5717,
              1.03302
            ],
            [
              0.10453,
              0.12633,
              0.14374,
              0.17488,
              0.23344,
              0.34874,
              0.57937,
              1.04113
            ],
            [
              0.11297,
              0.13529,
              0.15297,
              0.18422,
              0.24277,
              0.35802,
              0.58812,
              1.04986
            ],
            [
              0.12053,
              0.14377,
              0.16185,
              0.1936,
              0.2522,
              0.36717,
              0.59738,
              1.05835
            ],
            [
              0.12548,
              0.15009,
              0.16886,
              0.20145,
              0.26063,
              0.37544,
              0.60503,
              1.06589
            ],
            [
              0.12516,
              0.15165,
              0.17139,
              0.20533,
              0.26572,
              0.38142,
              0.61072,
              1.07062
            ],
            [
              0.11564,
              0.14452,
              0.16554,
              0.20137,
              0.26377,
              0.38097,
              0.61187,
              1.07147
            ],
            [
              0.091,
              0.1228,
              0.1455,
              0.1839,
              0.2494,
              0.3692,
              0.6029,
              1.065
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.02409,
              0.04351,
              0.05854,
              0.08455,
              0.13233,
              0.22646,
              0.42104,
              0.822
            ],
            [
              0.02406,
              0.04352,
              0.05853,
              0.08463,
              0.13228,
              0.22644,
              0.42103,
              0.8219
            ],
            [
              0.02407,
              0.04355,
              0.05854,
              0.08462,
              0.13234,
              0.22648,
              0.42074,
              0.82182
            ],
            [
              0.02411,
              0.04354,
              0.05853,
              0.08462,
              0.13232,
              0.22638,
              0.42102,
              0.82251
            ],
            [
              0.02415,
              0.04359,
              0.05861,
              0.08468,
              0.13237,
              0.2265,
              0.42104,
              0.82188
            ],
            [
              0.02428,
              0.04373,
              0.05873,
              0.08478,
              0.13243,
              0.22653,
              0.42083,
              0.82145
            ],
            [
              0.02513,
              0.04441,
              0.05931,
              0.08515,
              0.13272,
              0.2267,
              0.42095,
              0.82162
            ],
            [
              0.02776,
              0.04678,
              0.06127,
              0.08665,
              0.13369,
              0.22717,
              0.4212,
              0.82153
            ],
            [
              0.03112,
              0.05024,
              0.06476,
              0.08983,
              0.13609,
              0.22856,
              0.42182,
              0.82304
            ],
            [
              0.03558,
              0.05484,
              0.06927,
              0.09414,
              0.13979,
              0.23106,
              0.42272,
              0.82249
            ],
            [
              0.0417,
              0.06133,
              0.07581,
              0.10045,
              0.14549,
              0.23513,
              0.4248,
              0.8235
            ],
            [
              0.0506,
              0.071,
              0.0857,
              0.1104,
              0.1549,
              0.2427,
              0.4285,
              0.8249
            ],
            [
              0.0633,
              0.0848,
              0.1003,
              0.1256,
              0.1701,
              0.2563,
              0.4381,
              0.828
            ]
          ]
        },
        "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.00833,
            0.01666,
            0.03332,
            0.06664,
            0.13328,
            0.26655,
            0.53311
          ],
          "values": [
            [
              0.01608,
              0.04019,
              0.06205,
              0.10517,
              0.1938,
              0.37596,
              0.74297,
              1.4781
            ],
            [
              0.0161,
              0.04022,
              0.06208,
              0.10529,
              0.19419,
              0.37582,
              0.74369,
              1.47824
            ],
            [
              0.01609,
              0.04019,
              0.06207,
              0.10526,
              0.19397,
              0.37596,
              0.7428,
              1.47805
            ],
            [
              0.01612,
              0.04024,
              0.06207,
              0.10538,
              0.19421,
              0.37583,
              0.74394,
              1.47806
            ],
            [
              0.01614,
              0.04032,
              0.06217,
              0.10551,
              0.19422,
              0.37548,
              0.74346,
              1.47764
            ],
            [
              0.01638,
              0.04054,
              0.06233,
              0.10552,
              0.19429,
              0.37582,
              0.74217,
              1.47664
            ],
            [
              0.01766,
              0.04143,
              0.06305,
              0.10595,
              0.1944,
              0.3756,
              0.74239,
              1.47714
            ],
            [
              0.01987,
              0.0433,
              0.06481,
              0.10718,
              0.19495,
              0.37697,
              0.74213,
              1.47737
            ],
            [
              0.02314,
              0.04622,
              0.06766,
              0.10957,
              0.19629,
              0.3762,
              0.74242,
              1.47795
            ],
            [
              0.02768,
              0.05047,
              0.07214,
              0.1137,
              0.19896,
              0.3777,
              0.74203,
              1.47636
            ],
            [
              0.0339,
              0.05663,
              0.07846,
              0.11987,
              0.20445,
              0.38107,
              0.7436,
              1.4766
            ],
            [
              0.04236,
              0.06522,
              0.08721,
              0.12899,
              0.2126,
              0.3872,
              0.7496,
              1.4779
            ],
            [
              0.0538,
              0.0772,
              0.0993,
              0.1418,
              0.2252,
              0.3981,
              0.758,
              1.4861
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}