{
  "area": 36.7632,
  "cell_footprint": "sky130_fd_sc_ls__fa",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.01144,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.01082,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CIN": {
    "capacitance": 0.00796,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CIN) | (B&CIN)",
    "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.08372,
              0.09034,
              0.09743,
              0.11193,
              0.14114,
              0.1992,
              0.31449,
              0.54341
            ],
            [
              0.08369,
              0.09029,
              0.09742,
              0.11189,
              0.14111,
              0.19913,
              0.31442,
              0.54388
            ],
            [
              0.08369,
              0.09029,
              0.09742,
              0.11191,
              0.14105,
              0.19919,
              0.3143,
              0.54307
            ],
            [
              0.08363,
              0.09024,
              0.09737,
              0.11187,
              0.14103,
              0.19915,
              0.31412,
              0.54285
            ],
            [
              0.08361,
              0.09021,
              0.09734,
              0.11182,
              0.14096,
              0.19907,
              0.3145,
              0.54304
            ],
            [
              0.08355,
              0.09012,
              0.09729,
              0.11176,
              0.14086,
              0.19905,
              0.31428,
              0.54318
            ],
            [
              0.08346,
              0.09006,
              0.0972,
              0.11168,
              0.14088,
              0.19899,
              0.31424,
              0.5435
            ],
            [
              0.08339,
              0.08999,
              0.09714,
              0.11162,
              0.14073,
              0.19889,
              0.31395,
              0.54387
            ],
            [
              0.08333,
              0.08991,
              0.09705,
              0.11156,
              0.14063,
              0.19876,
              0.31408,
              0.54374
            ],
            [
              0.08323,
              0.08983,
              0.09696,
              0.11146,
              0.14054,
              0.19868,
              0.31422,
              0.54258
            ],
            [
              0.08312,
              0.0897,
              0.09684,
              0.11129,
              0.14044,
              0.19852,
              0.3137,
              0.54305
            ],
            [
              0.0831,
              0.08968,
              0.09678,
              0.11118,
              0.14023,
              0.19828,
              0.31351,
              0.54193
            ],
            [
              0.08347,
              0.0899,
              0.09692,
              0.11123,
              0.14016,
              0.19816,
              0.31338,
              0.54255
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.05196,
              0.05974,
              0.0679,
              0.08455,
              0.11798,
              0.18346,
              0.31106,
              0.56566
            ],
            [
              0.05188,
              0.05966,
              0.06783,
              0.08449,
              0.11793,
              0.18338,
              0.31094,
              0.56545
            ],
            [
              0.05177,
              0.05952,
              0.06773,
              0.08438,
              0.11779,
              0.18325,
              0.31084,
              0.56585
            ],
            [
              0.05162,
              0.05936,
              0.06755,
              0.08422,
              0.11765,
              0.18312,
              0.31057,
              0.56537
            ],
            [
              0.05142,
              0.05919,
              0.06737,
              0.084,
              0.11746,
              0.18292,
              0.31057,
              0.56533
            ],
            [
              0.0512,
              0.05898,
              0.06713,
              0.08379,
              0.11725,
              0.18278,
              0.31039,
              0.5646
            ],
            [
              0.05099,
              0.05874,
              0.06692,
              0.08355,
              0.117,
              0.18247,
              0.31008,
              0.56437
            ],
            [
              0.05073,
              0.05848,
              0.06665,
              0.08327,
              0.11671,
              0.18216,
              0.30983,
              0.56446
            ],
            [
              0.05043,
              0.05817,
              0.06636,
              0.08304,
              0.11642,
              0.18189,
              0.30954,
              0.56447
            ],
            [
              0.05019,
              0.05794,
              0.06609,
              0.08268,
              0.11605,
              0.18148,
              0.3091,
              0.56407
            ],
            [
              0.05006,
              0.0577,
              0.06581,
              0.0824,
              0.11566,
              0.18099,
              0.30871,
              0.56335
            ],
            [
              0.05002,
              0.05764,
              0.06577,
              0.08217,
              0.1152,
              0.1805,
              0.30811,
              0.56343
            ],
            [
              0.05016,
              0.05766,
              0.06566,
              0.08201,
              0.1151,
              0.18031,
              0.30779,
              0.56304
            ]
          ]
        },
        "when": "(B&!CIN) | (!B&CIN)"
      },
      {
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.08121,
              0.08781,
              0.09492,
              0.1094,
              0.13856,
              0.19675,
              0.31174,
              0.54129
            ],
            [
              0.0812,
              0.0878,
              0.09491,
              0.10944,
              0.13853,
              0.19672,
              0.31174,
              0.54058
            ],
            [
              0.08111,
              0.08772,
              0.0948,
              0.10925,
              0.13839,
              0.19672,
              0.31159,
              0.54087
            ],
            [
              0.08094,
              0.08752,
              0.09464,
              0.10914,
              0.13829,
              0.19659,
              0.31188,
              0.54084
            ],
            [
              0.0809,
              0.08748,
              0.09466,
              0.10911,
              0.13826,
              0.19657,
              0.31177,
              0.54115
            ],
            [
              0.08073,
              0.08733,
              0.09446,
              0.10893,
              0.13808,
              0.19629,
              0.31128,
              0.54052
            ],
            [
              0.08059,
              0.08717,
              0.09432,
              0.1088,
              0.13795,
              0.19624,
              0.31138,
              0.54029
            ],
            [
              0.08039,
              0.087,
              0.09413,
              0.10867,
              0.13776,
              0.19599,
              0.31117,
              0.54014
            ],
            [
              0.08018,
              0.08676,
              0.0939,
              0.1084,
              0.13754,
              0.19575,
              0.31077,
              0.54042
            ],
            [
              0.07996,
              0.08655,
              0.09369,
              0.10818,
              0.13733,
              0.19557,
              0.31069,
              0.54
            ],
            [
              0.07971,
              0.08632,
              0.09344,
              0.10794,
              0.13706,
              0.19518,
              0.31048,
              0.53931
            ],
            [
              0.07957,
              0.08614,
              0.09324,
              0.10768,
              0.13671,
              0.19489,
              0.31006,
              0.53972
            ],
            [
              0.0799,
              0.08633,
              0.09335,
              0.10765,
              0.13656,
              0.19455,
              0.30981,
              0.53923
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.05593,
              0.06377,
              0.07191,
              0.08869,
              0.12213,
              0.18765,
              0.31513,
              0.5702
            ],
            [
              0.05586,
              0.06361,
              0.07181,
              0.08856,
              0.12201,
              0.18751,
              0.31495,
              0.56972
            ],
            [
              0.05577,
              0.06351,
              0.07177,
              0.08847,
              0.12192,
              0.18745,
              0.31494,
              0.56973
            ],
            [
              0.05561,
              0.06339,
              0.0716,
              0.08833,
              0.12181,
              0.18738,
              0.3148,
              0.56982
            ],
            [
              0.05544,
              0.06325,
              0.07147,
              0.08817,
              0.12164,
              0.18719,
              0.31466,
              0.56934
            ],
            [
              0.05526,
              0.06306,
              0.07124,
              0.08794,
              0.12144,
              0.18701,
              0.31444,
              0.56932
            ],
            [
              0.05506,
              0.06286,
              0.07101,
              0.08778,
              0.1212,
              0.18675,
              0.31432,
              0.56894
            ],
            [
              0.05474,
              0.06251,
              0.07074,
              0.08744,
              0.12088,
              0.18642,
              0.31388,
              0.56883
            ],
            [
              0.05433,
              0.06213,
              0.07035,
              0.08704,
              0.12045,
              0.18596,
              0.31344,
              0.56818
            ],
            [
              0.05398,
              0.06173,
              0.06987,
              0.08652,
              0.11987,
              0.18532,
              0.31286,
              0.56761
            ],
            [
              0.05371,
              0.06131,
              0.06946,
              0.08599,
              0.11924,
              0.18463,
              0.31214,
              0.56728
            ],
            [
              0.05352,
              0.06113,
              0.06921,
              0.08567,
              0.11862,
              0.18389,
              0.31141,
              0.56603
            ],
            [
              0.05359,
              0.06107,
              0.06901,
              0.08537,
              0.11836,
              0.18351,
              0.31107,
              0.56598
            ]
          ]
        },
        "when": "(A&!CIN) | (!A&CIN)"
      },
      {
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.07652,
              0.0831,
              0.09033,
              0.10487,
              0.13405,
              0.19218,
              0.3071,
              0.53655
            ],
            [
              0.07652,
              0.08312,
              0.09024,
              0.10477,
              0.13392,
              0.19206,
              0.30728,
              0.53594
            ],
            [
              0.07664,
              0.08324,
              0.09036,
              0.10487,
              0.13405,
              0.19217,
              0.30707,
              0.53638
            ],
            [
              0.07652,
              0.08313,
              0.09024,
              0.10475,
              0.13394,
              0.19204,
              0.30722,
              0.53588
            ],
            [
              0.07641,
              0.08302,
              0.09016,
              0.10463,
              0.13387,
              0.19195,
              0.30715,
              0.53573
            ],
            [
              0.07632,
              0.08291,
              0.09003,
              0.10457,
              0.13373,
              0.19194,
              0.30712,
              0.53553
            ],
            [
              0.07617,
              0.08277,
              0.08991,
              0.10441,
              0.13358,
              0.19169,
              0.30684,
              0.53582
            ],
            [
              0.07602,
              0.08263,
              0.08976,
              0.10426,
              0.13345,
              0.19156,
              0.30671,
              0.53569
            ],
            [
              0.07583,
              0.08245,
              0.08959,
              0.10412,
              0.13324,
              0.1914,
              0.30647,
              0.53587
            ],
            [
              0.07568,
              0.08229,
              0.08943,
              0.10392,
              0.13306,
              0.19111,
              0.30636,
              0.5349
            ],
            [
              0.0755,
              0.08209,
              0.08923,
              0.10372,
              0.13285,
              0.19088,
              0.30608,
              0.53451
            ],
            [
              0.07542,
              0.08201,
              0.08908,
              0.10349,
              0.13254,
              0.19053,
              0.30575,
              0.53443
            ],
            [
              0.076,
              0.08238,
              0.08934,
              0.1036,
              0.13249,
              0.19032,
              0.30535,
              0.53443
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.05708,
              0.06478,
              0.07296,
              0.0896,
              0.12304,
              0.18865,
              0.31615,
              0.57096
            ],
            [
              0.05712,
              0.06485,
              0.07307,
              0.08972,
              0.12313,
              0.18873,
              0.31618,
              0.57113
            ],
            [
              0.05711,
              0.06488,
              0.07303,
              0.08971,
              0.12312,
              0.18871,
              0.31616,
              0.57081
            ],
            [
              0.05706,
              0.06477,
              0.07296,
              0.08961,
              0.12305,
              0.18864,
              0.31614,
              0.57086
            ],
            [
              0.05704,
              0.0648,
              0.07294,
              0.08961,
              0.12303,
              0.18864,
              0.31609,
              0.57111
            ],
            [
              0.05699,
              0.06472,
              0.07288,
              0.08954,
              0.12297,
              0.18857,
              0.31611,
              0.57067
            ],
            [
              0.05689,
              0.06467,
              0.07282,
              0.08946,
              0.12287,
              0.18849,
              0.31592,
              0.57094
            ],
            [
              0.05679,
              0.06452,
              0.07269,
              0.0893,
              0.12271,
              0.18829,
              0.31578,
              0.57108
            ],
            [
              0.05658,
              0.06428,
              0.07244,
              0.08904,
              0.1224,
              0.18796,
              0.31545,
              0.57045
            ],
            [
              0.0563,
              0.064,
              0.07211,
              0.08862,
              0.12193,
              0.18744,
              0.31498,
              0.56981
            ],
            [
              0.05623,
              0.06374,
              0.07183,
              0.08825,
              0.12142,
              0.18684,
              0.31438,
              0.56893
            ],
            [
              0.05632,
              0.06376,
              0.07178,
              0.08803,
              0.12099,
              0.18628,
              0.31382,
              0.56875
            ],
            [
              0.05665,
              0.06393,
              0.07183,
              0.08804,
              0.12098,
              0.18609,
              0.31345,
              0.5689
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.26411,
    "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.68229,
              0.73033,
              0.76388,
              0.81477,
              0.89015,
              1.00267,
              1.17807,
              1.46787
            ],
            [
              0.68251,
              0.73054,
              0.76409,
              0.81497,
              0.89037,
              1.00284,
              1.17824,
              1.46814
            ],
            [
              0.68369,
              0.73174,
              0.76526,
              0.81615,
              0.89155,
              1.00402,
              1.17942,
              1.46922
            ],
            [
              0.68659,
              0.73464,
              0.76819,
              0.8191,
              0.89448,
              1.00697,
              1.18238,
              1.47218
            ],
            [
              0.6925,
              0.74055,
              0.77411,
              0.82497,
              0.90037,
              1.01291,
              1.18831,
              1.47811
            ],
            [
              0.70292,
              0.75097,
              0.7845,
              0.8354,
              0.9108,
              1.02332,
              1.19872,
              1.48862
            ],
            [
              0.71926,
              0.76731,
              0.80086,
              0.85176,
              0.92713,
              1.03963,
              1.21503,
              1.50493
            ],
            [
              0.74353,
              0.79159,
              0.82515,
              0.87596,
              0.95136,
              1.06396,
              1.23936,
              1.52916
            ],
            [
              0.77945,
              0.82745,
              0.86105,
              0.91185,
              0.98725,
              1.09975,
              1.27515,
              1.56495
            ],
            [
              0.83319,
              0.88119,
              0.91469,
              0.96559,
              1.04099,
              1.15349,
              1.32889,
              1.61879
            ],
            [
              0.91412,
              0.96212,
              0.99572,
              1.04652,
              1.12192,
              1.23432,
              1.40982,
              1.69962
            ],
            [
              1.03597,
              1.08397,
              1.11747,
              1.16827,
              1.24357,
              1.35607,
              1.53147,
              1.82137
            ],
            [
              1.2121,
              1.2615,
              1.2958,
              1.3474,
              1.4232,
              1.5361,
              1.7119,
              2.0019
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.29342,
              0.33417,
              0.364,
              0.41226,
              0.49202,
              0.63224,
              0.89578,
              1.41707
            ],
            [
              0.29649,
              0.33724,
              0.36708,
              0.41533,
              0.49512,
              0.63521,
              0.89886,
              1.42024
            ],
            [
              0.30019,
              0.34095,
              0.37079,
              0.41904,
              0.49877,
              0.63897,
              0.90257,
              1.42382
            ],
            [
              0.30573,
              0.34647,
              0.37631,
              0.42458,
              0.50431,
              0.64431,
              0.90812,
              1.42938
            ],
            [
              0.31376,
              0.35452,
              0.38436,
              0.43261,
              0.5124,
              0.65258,
              0.91616,
              1.43751
            ],
            [
              0.32505,
              0.3658,
              0.39563,
              0.4439,
              0.52363,
              0.66362,
              0.92742,
              1.44872
            ],
            [
              0.3411,
              0.38185,
              0.41169,
              0.45994,
              0.53972,
              0.67988,
              0.94353,
              1.46483
            ],
            [
              0.36454,
              0.40529,
              0.43513,
              0.48338,
              0.56311,
              0.70312,
              0.96696,
              1.48826
            ],
            [
              0.39931,
              0.44007,
              0.4699,
              0.51815,
              0.59782,
              0.73775,
              1.00165,
              1.52305
            ],
            [
              0.45096,
              0.49171,
              0.5215,
              0.5697,
              0.64939,
              0.78949,
              1.05309,
              1.57459
            ],
            [
              0.52372,
              0.56562,
              0.59592,
              0.64442,
              0.72432,
              0.86432,
              1.12822,
              1.64972
            ],
            [
              0.61817,
              0.66257,
              0.69437,
              0.74487,
              0.82647,
              0.96737,
              1.23157,
              1.75307
            ],
            [
              0.738,
              0.7859,
              0.8198,
              0.8728,
              0.9571,
              1.1005,
              1.3659,
              1.8875
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.09031,
              0.11742,
              0.13691,
              0.16831,
              0.21963,
              0.30933,
              0.47414,
              0.7929
            ],
            [
              0.09033,
              0.11737,
              0.13696,
              0.1683,
              0.2196,
              0.30939,
              0.47371,
              0.7928
            ],
            [
              0.0903,
              0.11746,
              0.13703,
              0.16826,
              0.21967,
              0.30933,
              0.47378,
              0.793
            ],
            [
              0.09031,
              0.11741,
              0.1369,
              0.1683,
              0.21961,
              0.30931,
              0.47412,
              0.7929
            ],
            [
              0.09031,
              0.11757,
              0.13696,
              0.16854,
              0.21961,
              0.30925,
              0.47374,
              0.793
            ],
            [
              0.09031,
              0.1175,
              0.13703,
              0.16856,
              0.2196,
              0.30924,
              0.4737,
              0.793
            ],
            [
              0.0903,
              0.1174,
              0.1369,
              0.16827,
              0.2196,
              0.30938,
              0.4737,
              0.7928
            ],
            [
              0.09031,
              0.1176,
              0.13698,
              0.16852,
              0.21963,
              0.3093,
              0.4737,
              0.793
            ],
            [
              0.09033,
              0.1176,
              0.137,
              0.1685,
              0.2196,
              0.3092,
              0.474,
              0.793
            ],
            [
              0.0903,
              0.1174,
              0.1371,
              0.1682,
              0.2196,
              0.3093,
              0.4737,
              0.793
            ],
            [
              0.0903,
              0.1173,
              0.137,
              0.1682,
              0.2196,
              0.3094,
              0.4737,
              0.7929
            ],
            [
              0.0903,
              0.1174,
              0.1368,
              0.1683,
              0.2197,
              0.3093,
              0.4737,
              0.793
            ],
            [
              0.0962,
              0.1228,
              0.1418,
              0.1722,
              0.2225,
              0.3113,
              0.4752,
              0.7932
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.05691,
              0.08644,
              0.11059,
              0.15474,
              0.24017,
              0.41316,
              0.77239,
              1.49838
            ],
            [
              0.05697,
              0.08641,
              0.11071,
              0.15466,
              0.24012,
              0.41309,
              0.77208,
              1.49747
            ],
            [
              0.05692,
              0.08638,
              0.1106,
              0.15492,
              0.24027,
              0.41313,
              0.77164,
              1.49814
            ],
            [
              0.05691,
              0.08638,
              0.11054,
              0.15471,
              0.24014,
              0.41305,
              0.77211,
              1.49766
            ],
            [
              0.05688,
              0.08643,
              0.11072,
              0.15468,
              0.24012,
              0.41313,
              0.77225,
              1.49704
            ],
            [
              0.05691,
              0.08635,
              0.11054,
              0.15471,
              0.24014,
              0.41306,
              0.77204,
              1.49758
            ],
            [
              0.057,
              0.08643,
              0.1107,
              0.15463,
              0.24011,
              0.41317,
              0.77224,
              1.49721
            ],
            [
              0.05689,
              0.08643,
              0.11066,
              0.1547,
              0.24014,
              0.4131,
              0.77173,
              1.49851
            ],
            [
              0.05691,
              0.08637,
              0.11056,
              0.15499,
              0.24016,
              0.41303,
              0.77197,
              1.4975
            ],
            [
              0.05711,
              0.08646,
              0.11071,
              0.1548,
              0.24028,
              0.41324,
              0.7725,
              1.4981
            ],
            [
              0.06,
              0.0891,
              0.1129,
              0.1567,
              0.2411,
              0.4137,
              0.7722,
              1.4975
            ],
            [
              0.0651,
              0.0952,
              0.1192,
              0.1624,
              0.2455,
              0.4162,
              0.7726,
              1.4982
            ],
            [
              0.0725,
              0.1036,
              0.128,
              0.1711,
              0.2538,
              0.4223,
              0.7757,
              1.4979
            ]
          ]
        },
        "sdf_cond": "(!B&CIN)",
        "timing_sense": "positive_unate",
        "when": "(!B&CIN)"
      },
      {
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.64373,
              0.69125,
              0.72446,
              0.77479,
              0.84954,
              0.96165,
              1.13777,
              1.42877
            ],
            [
              0.6459,
              0.69343,
              0.72664,
              0.77696,
              0.85171,
              0.96383,
              1.13994,
              1.43094
            ],
            [
              0.64869,
              0.69618,
              0.72941,
              0.77976,
              0.85452,
              0.96662,
              1.14282,
              1.43372
            ],
            [
              0.65322,
              0.70071,
              0.73391,
              0.78429,
              0.85906,
              0.97118,
              1.14728,
              1.43827
            ],
            [
              0.66054,
              0.70807,
              0.74128,
              0.79161,
              0.86636,
              0.97851,
              1.15461,
              1.44561
            ],
            [
              0.67208,
              0.71955,
              0.75276,
              0.80313,
              0.87791,
              0.99002,
              1.16612,
              1.45712
            ],
            [
              0.68923,
              0.73671,
              0.7699,
              0.82029,
              0.89503,
              1.00713,
              1.18333,
              1.47423
            ],
            [
              0.71349,
              0.76096,
              0.79415,
              0.84456,
              0.91926,
              1.03136,
              1.20756,
              1.49846
            ],
            [
              0.74728,
              0.79475,
              0.82795,
              0.87825,
              0.95305,
              1.06515,
              1.24135,
              1.53225
            ],
            [
              0.79539,
              0.84279,
              0.87599,
              0.92639,
              1.00109,
              1.11319,
              1.28939,
              1.58029
            ],
            [
              0.86542,
              0.91292,
              0.94612,
              0.99642,
              1.07112,
              1.18322,
              1.35942,
              1.65042
            ],
            [
              0.96887,
              1.01627,
              1.04947,
              1.09977,
              1.17447,
              1.28657,
              1.46277,
              1.75387
            ],
            [
              1.11,
              1.1597,
              1.1943,
              1.2464,
              1.3227,
              1.4359,
              1.613,
              1.9044
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.3078,
              0.34687,
              0.37553,
              0.42218,
              0.50007,
              0.63823,
              0.90165,
              1.42197
            ],
            [
              0.30855,
              0.3476,
              0.37627,
              0.42291,
              0.50073,
              0.63898,
              0.90235,
              1.42274
            ],
            [
              0.31005,
              0.3491,
              0.37776,
              0.42441,
              0.50232,
              0.64046,
              0.90383,
              1.42412
            ],
            [
              0.31328,
              0.35232,
              0.381,
              0.42763,
              0.50547,
              0.64367,
              0.90702,
              1.42738
            ],
            [
              0.31917,
              0.35822,
              0.38687,
              0.43351,
              0.51139,
              0.64956,
              0.91287,
              1.43321
            ],
            [
              0.32863,
              0.36767,
              0.39632,
              0.44295,
              0.52081,
              0.65925,
              0.92228,
              1.44252
            ],
            [
              0.34304,
              0.38209,
              0.41074,
              0.45737,
              0.53525,
              0.67333,
              0.93663,
              1.45683
            ],
            [
              0.36491,
              0.40397,
              0.43261,
              0.47923,
              0.55708,
              0.69521,
              0.95846,
              1.47866
            ],
            [
              0.39798,
              0.43702,
              0.46565,
              0.51224,
              0.59002,
              0.72842,
              0.99145,
              1.51175
            ],
            [
              0.44734,
              0.4864,
              0.51503,
              0.56158,
              0.63919,
              0.77729,
              1.04069,
              1.56099
            ],
            [
              0.51562,
              0.55612,
              0.58542,
              0.63252,
              0.71042,
              0.84862,
              1.11202,
              1.63242
            ],
            [
              0.60317,
              0.64617,
              0.67697,
              0.72587,
              0.80567,
              0.94487,
              1.20847,
              1.72887
            ],
            [
              0.7131,
              0.7595,
              0.7923,
              0.8437,
              0.9259,
              1.0673,
              1.3318,
              1.8522
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.08844,
              0.1156,
              0.13477,
              0.16637,
              0.21796,
              0.30857,
              0.4753,
              0.795
            ],
            [
              0.08844,
              0.11548,
              0.13498,
              0.16639,
              0.21797,
              0.30848,
              0.4754,
              0.795
            ],
            [
              0.08844,
              0.1154,
              0.13478,
              0.16629,
              0.21804,
              0.30854,
              0.47507,
              0.795
            ],
            [
              0.08847,
              0.1154,
              0.13501,
              0.16619,
              0.21812,
              0.30862,
              0.47572,
              0.7949
            ],
            [
              0.08844,
              0.11548,
              0.13498,
              0.16639,
              0.21795,
              0.3085,
              0.47551,
              0.795
            ],
            [
              0.08844,
              0.1154,
              0.13499,
              0.1662,
              0.21808,
              0.30861,
              0.47571,
              0.7948
            ],
            [
              0.08844,
              0.11538,
              0.13488,
              0.16615,
              0.21813,
              0.30866,
              0.4755,
              0.7949
            ],
            [
              0.08845,
              0.1154,
              0.13501,
              0.16622,
              0.21815,
              0.3086,
              0.4758,
              0.7943
            ],
            [
              0.08841,
              0.11536,
              0.135,
              0.1661,
              0.2182,
              0.3086,
              0.4759,
              0.7946
            ],
            [
              0.0885,
              0.1154,
              0.1349,
              0.1662,
              0.2181,
              0.3087,
              0.4759,
              0.7947
            ],
            [
              0.0884,
              0.1154,
              0.135,
              0.1661,
              0.218,
              0.3086,
              0.4756,
              0.795
            ],
            [
              0.0889,
              0.1157,
              0.1352,
              0.1666,
              0.2183,
              0.3087,
              0.4753,
              0.7949
            ],
            [
              0.0965,
              0.1235,
              0.1427,
              0.1737,
              0.2241,
              0.3128,
              0.4782,
              0.7954
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.05422,
              0.08264,
              0.10628,
              0.14995,
              0.23546,
              0.40891,
              0.76932,
              1.49647
            ],
            [
              0.05422,
              0.0826,
              0.10629,
              0.1501,
              0.23546,
              0.40889,
              0.76915,
              1.49493
            ],
            [
              0.05428,
              0.08288,
              0.10628,
              0.14989,
              0.23527,
              0.40884,
              0.76916,
              1.49503
            ],
            [
              0.05423,
              0.08267,
              0.10623,
              0.14995,
              0.23537,
              0.40883,
              0.76888,
              1.49529
            ],
            [
              0.05421,
              0.08259,
              0.10626,
              0.14991,
              0.23514,
              0.40882,
              0.76876,
              1.49516
            ],
            [
              0.05418,
              0.08262,
              0.10627,
              0.14992,
              0.23518,
              0.40908,
              0.76864,
              1.49545
            ],
            [
              0.0542,
              0.08267,
              0.10635,
              0.14987,
              0.23513,
              0.40876,
              0.76903,
              1.49626
            ],
            [
              0.05419,
              0.0826,
              0.1064,
              0.14987,
              0.23514,
              0.40878,
              0.76904,
              1.49625
            ],
            [
              0.05416,
              0.08256,
              0.10623,
              0.14989,
              0.23516,
              0.40897,
              0.769,
              1.4947
            ],
            [
              0.05453,
              0.08311,
              0.10645,
              0.15006,
              0.2356,
              0.40881,
              0.7686,
              1.4964
            ],
            [
              0.0579,
              0.086,
              0.1093,
              0.1523,
              0.2368,
              0.4093,
              0.7692,
              1.4963
            ],
            [
              0.0628,
              0.0919,
              0.1153,
              0.1583,
              0.2411,
              0.412,
              0.7701,
              1.4948
            ],
            [
              0.0701,
              0.1,
              0.1236,
              0.1665,
              0.2487,
              0.4174,
              0.7727,
              1.4954
            ]
          ]
        },
        "sdf_cond": "(B&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(B&!CIN)"
      },
      {
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.65034,
              0.69842,
              0.73198,
              0.78289,
              0.85833,
              0.9709,
              1.14647,
              1.43637
            ],
            [
              0.65268,
              0.70077,
              0.73435,
              0.78526,
              0.8607,
              0.97326,
              1.14884,
              1.43864
            ],
            [
              0.65542,
              0.70352,
              0.73711,
              0.78804,
              0.86347,
              0.97606,
              1.15162,
              1.44132
            ],
            [
              0.65955,
              0.70764,
              0.74123,
              0.79217,
              0.8676,
              0.98018,
              1.15568,
              1.44548
            ],
            [
              0.66575,
              0.71385,
              0.74744,
              0.79833,
              0.87377,
              0.98631,
              1.16191,
              1.45161
            ],
            [
              0.67534,
              0.7234,
              0.75698,
              0.80789,
              0.88335,
              0.99592,
              1.17152,
              1.46122
            ],
            [
              0.69022,
              0.73826,
              0.77182,
              0.82273,
              0.89813,
              1.01073,
              1.18633,
              1.47603
            ],
            [
              0.71358,
              0.76162,
              0.79516,
              0.84606,
              0.92146,
              1.03406,
              1.20966,
              1.49936
            ],
            [
              0.75038,
              0.79845,
              0.83195,
              0.88275,
              0.95815,
              1.07075,
              1.24625,
              1.53605
            ],
            [
              0.80799,
              0.85599,
              0.88959,
              0.94039,
              1.01579,
              1.12819,
              1.30379,
              1.59349
            ],
            [
              0.89782,
              0.94582,
              0.97942,
              1.03022,
              1.10552,
              1.21792,
              1.39352,
              1.68332
            ],
            [
              1.03627,
              1.08427,
              1.11777,
              1.16867,
              1.24387,
              1.35627,
              1.53187,
              1.82167
            ],
            [
              1.2446,
              1.2932,
              1.327,
              1.378,
              1.4534,
              1.566,
              1.7416,
              2.0316
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.26114,
              0.30207,
              0.33198,
              0.38027,
              0.45989,
              0.59925,
              0.86196,
              1.38217
            ],
            [
              0.26428,
              0.30522,
              0.33513,
              0.38341,
              0.46298,
              0.60253,
              0.86517,
              1.38534
            ],
            [
              0.26807,
              0.30903,
              0.33893,
              0.38723,
              0.46685,
              0.60625,
              0.86899,
              1.38912
            ],
            [
              0.27359,
              0.31455,
              0.34445,
              0.39275,
              0.47231,
              0.61176,
              0.87452,
              1.39468
            ],
            [
              0.28141,
              0.32237,
              0.35227,
              0.40057,
              0.48019,
              0.61957,
              0.88236,
              1.40251
            ],
            [
              0.29229,
              0.33322,
              0.36312,
              0.41141,
              0.49097,
              0.63042,
              0.8932,
              1.41342
            ],
            [
              0.30774,
              0.34865,
              0.37855,
              0.42682,
              0.50641,
              0.64586,
              0.90863,
              1.42883
            ],
            [
              0.33035,
              0.37126,
              0.40114,
              0.44937,
              0.52891,
              0.66844,
              0.93116,
              1.45136
            ],
            [
              0.36403,
              0.40487,
              0.4347,
              0.48287,
              0.56234,
              0.7019,
              0.96455,
              1.48485
            ],
            [
              0.41316,
              0.45411,
              0.48395,
              0.5321,
              0.61155,
              0.75089,
              1.01379,
              1.53419
            ],
            [
              0.47692,
              0.52002,
              0.55132,
              0.60092,
              0.68132,
              0.82112,
              1.08412,
              1.60442
            ],
            [
              0.55927,
              0.60407,
              0.63677,
              0.68857,
              0.77167,
              0.91397,
              1.17797,
              1.69837
            ],
            [
              0.6615,
              0.7094,
              0.7438,
              0.7983,
              0.8844,
              1.0293,
              1.2963,
              1.8172
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.09033,
              0.11745,
              0.13693,
              0.16837,
              0.2197,
              0.30957,
              0.47433,
              0.7931
            ],
            [
              0.09032,
              0.11743,
              0.1369,
              0.16835,
              0.21966,
              0.30953,
              0.47431,
              0.7927
            ],
            [
              0.09031,
              0.11742,
              0.13691,
              0.16832,
              0.21971,
              0.30944,
              0.47382,
              0.7929
            ],
            [
              0.0903,
              0.11736,
              0.13689,
              0.16829,
              0.21969,
              0.30944,
              0.47463,
              0.7922
            ],
            [
              0.0903,
              0.11741,
              0.13703,
              0.16829,
              0.21972,
              0.30929,
              0.47456,
              0.7928
            ],
            [
              0.09029,
              0.11735,
              0.13698,
              0.16826,
              0.21969,
              0.3094,
              0.474,
              0.7929
            ],
            [
              0.09029,
              0.11734,
              0.13689,
              0.16831,
              0.21964,
              0.30941,
              0.4743,
              0.7926
            ],
            [
              0.09029,
              0.11741,
              0.13693,
              0.16831,
              0.21964,
              0.3094,
              0.4744,
              0.7926
            ],
            [
              0.09029,
              0.11756,
              0.1368,
              0.1685,
              0.2196,
              0.3094,
              0.4742,
              0.7928
            ],
            [
              0.0903,
              0.1174,
              0.137,
              0.1682,
              0.2197,
              0.3094,
              0.4741,
              0.7928
            ],
            [
              0.0903,
              0.1173,
              0.1368,
              0.1685,
              0.2197,
              0.3095,
              0.4745,
              0.7926
            ],
            [
              0.0903,
              0.1173,
              0.1368,
              0.1683,
              0.2197,
              0.3095,
              0.4741,
              0.7926
            ],
            [
              0.0955,
              0.1211,
              0.1399,
              0.1707,
              0.2214,
              0.3107,
              0.4746,
              0.7928
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.05643,
              0.08568,
              0.10952,
              0.15361,
              0.2383,
              0.41074,
              0.76851,
              1.49447
            ],
            [
              0.0564,
              0.08567,
              0.10954,
              0.15335,
              0.23841,
              0.4107,
              0.76874,
              1.49478
            ],
            [
              0.05641,
              0.08559,
              0.10976,
              0.1536,
              0.23829,
              0.41076,
              0.76872,
              1.49463
            ],
            [
              0.05641,
              0.08568,
              0.10951,
              0.15356,
              0.23837,
              0.41073,
              0.76873,
              1.49466
            ],
            [
              0.05638,
              0.08559,
              0.10966,
              0.15335,
              0.23833,
              0.41074,
              0.76853,
              1.49446
            ],
            [
              0.05643,
              0.08555,
              0.10954,
              0.15334,
              0.23822,
              0.41077,
              0.7686,
              1.49452
            ],
            [
              0.05639,
              0.08558,
              0.10942,
              0.15355,
              0.23831,
              0.41071,
              0.76889,
              1.49541
            ],
            [
              0.05621,
              0.08542,
              0.10946,
              0.15329,
              0.23831,
              0.41068,
              0.76852,
              1.49439
            ],
            [
              0.05602,
              0.08533,
              0.10948,
              0.1535,
              0.23822,
              0.41075,
              0.76922,
              1.4942
            ],
            [
              0.05707,
              0.08606,
              0.11011,
              0.15377,
              0.23866,
              0.41084,
              0.7687,
              1.4945
            ],
            [
              0.06,
              0.091,
              0.1153,
              0.1581,
              0.2413,
              0.4121,
              0.769,
              1.495
            ],
            [
              0.0643,
              0.096,
              0.1212,
              0.1654,
              0.2489,
              0.4173,
              0.771,
              1.4949
            ],
            [
              0.0722,
              0.1039,
              0.1293,
              0.1742,
              0.2575,
              0.4251,
              0.7772,
              1.497
            ]
          ]
        },
        "sdf_cond": "(!A&CIN)",
        "timing_sense": "positive_unate",
        "when": "(!A&CIN)"
      },
      {
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.6065,
              0.65544,
              0.69049,
              0.7445,
              0.82494,
              0.94428,
              1.12887,
              1.42777
            ],
            [
              0.60924,
              0.6582,
              0.69328,
              0.74729,
              0.82774,
              0.9471,
              1.13164,
              1.43064
            ],
            [
              0.61253,
              0.6615,
              0.69657,
              0.75061,
              0.83107,
              0.95043,
              1.13502,
              1.43392
            ],
            [
              0.61747,
              0.66643,
              0.70152,
              0.75555,
              0.83595,
              0.95535,
              1.13998,
              1.43887
            ],
            [
              0.62504,
              0.67399,
              0.70907,
              0.76311,
              0.84358,
              0.96301,
              1.14751,
              1.44651
            ],
            [
              0.63663,
              0.68556,
              0.72063,
              0.77463,
              0.85504,
              0.97442,
              1.15902,
              1.45802
            ],
            [
              0.65394,
              0.70283,
              0.73789,
              0.79189,
              0.87226,
              0.99163,
              1.17623,
              1.47523
            ],
            [
              0.67897,
              0.72784,
              0.76286,
              0.81679,
              0.89716,
              1.01656,
              1.20106,
              1.50006
            ],
            [
              0.71497,
              0.76385,
              0.79875,
              0.85275,
              0.93295,
              1.05225,
              1.23675,
              1.53575
            ],
            [
              0.76759,
              0.81639,
              0.85129,
              0.90519,
              0.98529,
              1.10449,
              1.28909,
              1.58799
            ],
            [
              0.84572,
              0.89442,
              0.92932,
              0.98292,
              1.06292,
              1.18212,
              1.36662,
              1.66552
            ],
            [
              0.96277,
              1.01127,
              1.04587,
              1.09927,
              1.17907,
              1.29807,
              1.48257,
              1.78147
            ],
            [
              1.1222,
              1.1727,
              1.2084,
              1.2635,
              1.3454,
              1.466,
              1.6515,
              1.9509
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.28034,
              0.31944,
              0.34813,
              0.3948,
              0.47272,
              0.61119,
              0.87451,
              1.39497
            ],
            [
              0.28336,
              0.32244,
              0.35113,
              0.3978,
              0.4757,
              0.61417,
              0.87748,
              1.39794
            ],
            [
              0.28689,
              0.32596,
              0.35464,
              0.40131,
              0.47926,
              0.61763,
              0.88096,
              1.40132
            ],
            [
              0.29219,
              0.33126,
              0.35995,
              0.40659,
              0.48445,
              0.62311,
              0.88621,
              1.40657
            ],
            [
              0.29999,
              0.33905,
              0.36772,
              0.41436,
              0.4923,
              0.63068,
              0.89394,
              1.41421
            ],
            [
              0.31149,
              0.35053,
              0.3792,
              0.42584,
              0.50374,
              0.64226,
              0.90538,
              1.42562
            ],
            [
              0.32865,
              0.36769,
              0.39635,
              0.44299,
              0.52084,
              0.65926,
              0.92253,
              1.44283
            ],
            [
              0.35431,
              0.39336,
              0.42201,
              0.46864,
              0.54651,
              0.6848,
              0.94806,
              1.46826
            ],
            [
              0.39319,
              0.43223,
              0.46089,
              0.50747,
              0.58521,
              0.72363,
              0.98675,
              1.50705
            ],
            [
              0.45209,
              0.491,
              0.51959,
              0.56605,
              0.64369,
              0.78199,
              1.04509,
              1.56549
            ],
            [
              0.53512,
              0.57522,
              0.60412,
              0.65082,
              0.72852,
              0.86662,
              1.12992,
              1.65032
            ],
            [
              0.63607,
              0.67947,
              0.71017,
              0.75887,
              0.83827,
              0.97727,
              1.24067,
              1.76107
            ],
            [
              0.755,
              0.8036,
              0.837,
              0.8886,
              0.9705,
              1.1115,
              1.3763,
              1.8966
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.08899,
              0.11891,
              0.14105,
              0.17619,
              0.23142,
              0.32493,
              0.49327,
              0.8099
            ],
            [
              0.08899,
              0.11907,
              0.14097,
              0.17619,
              0.23141,
              0.32497,
              0.49267,
              0.8105
            ],
            [
              0.08899,
              0.11892,
              0.14117,
              0.17618,
              0.2314,
              0.32492,
              0.4928,
              0.8104
            ],
            [
              0.08907,
              0.11893,
              0.14094,
              0.17603,
              0.23156,
              0.32498,
              0.49282,
              0.8105
            ],
            [
              0.08904,
              0.11891,
              0.14092,
              0.17613,
              0.23144,
              0.32495,
              0.49331,
              0.8099
            ],
            [
              0.08898,
              0.11889,
              0.14116,
              0.17609,
              0.23155,
              0.32492,
              0.49266,
              0.8106
            ],
            [
              0.08903,
              0.11889,
              0.14114,
              0.17595,
              0.23148,
              0.32505,
              0.4931,
              0.8106
            ],
            [
              0.08895,
              0.11896,
              0.14094,
              0.176,
              0.23157,
              0.325,
              0.493,
              0.8106
            ],
            [
              0.08897,
              0.11884,
              0.14087,
              0.176,
              0.2314,
              0.325,
              0.4934,
              0.81
            ],
            [
              0.0888,
              0.1185,
              0.1405,
              0.1756,
              0.2313,
              0.3248,
              0.4934,
              0.8107
            ],
            [
              0.0885,
              0.1183,
              0.1402,
              0.1753,
              0.231,
              0.3247,
              0.4934,
              0.8101
            ],
            [
              0.0885,
              0.118,
              0.1398,
              0.175,
              0.2306,
              0.3245,
              0.4932,
              0.81
            ],
            [
              0.0965,
              0.1257,
              0.1474,
              0.1824,
              0.2375,
              0.3295,
              0.496,
              0.8116
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.05427,
              0.08268,
              0.10637,
              0.15005,
              0.23553,
              0.40916,
              0.769,
              1.49508
            ],
            [
              0.05427,
              0.0827,
              0.10634,
              0.15029,
              0.23551,
              0.40915,
              0.76906,
              1.49527
            ],
            [
              0.05424,
              0.08293,
              0.1064,
              0.14984,
              0.23521,
              0.40905,
              0.76978,
              1.49666
            ],
            [
              0.05422,
              0.08269,
              0.10628,
              0.15013,
              0.23542,
              0.40923,
              0.76902,
              1.49525
            ],
            [
              0.05423,
              0.08288,
              0.10631,
              0.14987,
              0.23511,
              0.40908,
              0.76881,
              1.49655
            ],
            [
              0.05421,
              0.08265,
              0.10628,
              0.14994,
              0.23535,
              0.40902,
              0.76883,
              1.49651
            ],
            [
              0.05422,
              0.08257,
              0.10627,
              0.15017,
              0.23536,
              0.40894,
              0.7687,
              1.49489
            ],
            [
              0.0542,
              0.08275,
              0.10629,
              0.14983,
              0.23504,
              0.40892,
              0.76916,
              1.49489
            ],
            [
              0.05417,
              0.08258,
              0.10617,
              0.15015,
              0.23535,
              0.40897,
              0.76874,
              1.4963
            ],
            [
              0.05406,
              0.08258,
              0.10616,
              0.15007,
              0.23512,
              0.40895,
              0.7687,
              1.4963
            ],
            [
              0.0579,
              0.0857,
              0.1086,
              0.1518,
              0.236,
              0.4092,
              0.7688,
              1.4961
            ],
            [
              0.066,
              0.0937,
              0.1164,
              0.1585,
              0.241,
              0.4118,
              0.7695,
              1.4961
            ],
            [
              0.0774,
              0.1061,
              0.1282,
              0.1688,
              0.2494,
              0.418,
              0.773,
              1.4959
            ]
          ]
        },
        "sdf_cond": "(A&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(A&!CIN)"
      },
      {
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.59506,
              0.64251,
              0.67564,
              0.72593,
              0.80066,
              0.91276,
              1.08887,
              1.37977
            ],
            [
              0.59776,
              0.64521,
              0.6784,
              0.72869,
              0.80344,
              0.91555,
              1.09164,
              1.38254
            ],
            [
              0.60077,
              0.64822,
              0.68143,
              0.73172,
              0.80647,
              0.91858,
              1.09472,
              1.38562
            ],
            [
              0.60525,
              0.6527,
              0.68592,
              0.73621,
              0.81098,
              0.92309,
              1.09928,
              1.39018
            ],
            [
              0.61202,
              0.65946,
              0.69263,
              0.74299,
              0.81774,
              0.92987,
              1.10601,
              1.39691
            ],
            [
              0.6224,
              0.66983,
              0.70302,
              0.75334,
              0.82811,
              0.94022,
              1.11642,
              1.40722
            ],
            [
              0.63841,
              0.68581,
              0.71897,
              0.76934,
              0.84408,
              0.95623,
              1.13243,
              1.42323
            ],
            [
              0.66326,
              0.71068,
              0.74384,
              0.79414,
              0.86886,
              0.98096,
              1.15716,
              1.44806
            ],
            [
              0.70176,
              0.74914,
              0.78235,
              0.83265,
              0.90735,
              1.01945,
              1.19555,
              1.48645
            ],
            [
              0.76139,
              0.80879,
              0.84199,
              0.89219,
              0.96689,
              1.07899,
              1.25509,
              1.54599
            ],
            [
              0.85332,
              0.90072,
              0.93392,
              0.98422,
              1.05882,
              1.17082,
              1.34702,
              1.63792
            ],
            [
              0.99397,
              1.04127,
              1.07437,
              1.12467,
              1.19917,
              1.31117,
              1.48737,
              1.77827
            ],
            [
              1.2017,
              1.2505,
              1.2841,
              1.3348,
              1.4097,
              1.5219,
              1.6984,
              1.9893
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.24851,
              0.29039,
              0.32057,
              0.36907,
              0.44874,
              0.58836,
              0.85098,
              1.37117
            ],
            [
              0.25136,
              0.29325,
              0.3234,
              0.3719,
              0.45159,
              0.5911,
              0.85383,
              1.37404
            ],
            [
              0.25477,
              0.29666,
              0.32684,
              0.37535,
              0.45507,
              0.59467,
              0.85727,
              1.37742
            ],
            [
              0.25993,
              0.30181,
              0.332,
              0.3805,
              0.46024,
              0.59976,
              0.86245,
              1.38258
            ],
            [
              0.26763,
              0.30951,
              0.33968,
              0.38818,
              0.46788,
              0.60758,
              0.87013,
              1.39031
            ],
            [
              0.27908,
              0.32096,
              0.35114,
              0.39964,
              0.4793,
              0.61888,
              0.88159,
              1.40182
            ],
            [
              0.29622,
              0.33811,
              0.36828,
              0.41677,
              0.49646,
              0.63598,
              0.89873,
              1.41893
            ],
            [
              0.32203,
              0.36391,
              0.39408,
              0.44253,
              0.52211,
              0.66157,
              0.92436,
              1.44466
            ],
            [
              0.36144,
              0.40329,
              0.43342,
              0.4818,
              0.56127,
              0.70084,
              0.96355,
              1.48395
            ],
            [
              0.41981,
              0.46162,
              0.4917,
              0.54001,
              0.61946,
              0.75899,
              1.02179,
              1.54219
            ],
            [
              0.49682,
              0.54112,
              0.57222,
              0.62132,
              0.70122,
              0.84092,
              1.10382,
              1.62432
            ],
            [
              0.58887,
              0.63787,
              0.67127,
              0.72297,
              0.80537,
              0.94647,
              1.20977,
              1.73017
            ],
            [
              0.6961,
              0.7518,
              0.7889,
              0.8445,
              0.9303,
              1.074,
              1.3393,
              1.8595
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.08833,
              0.1153,
              0.13484,
              0.16624,
              0.2179,
              0.30856,
              0.4754,
              0.7948
            ],
            [
              0.08835,
              0.11528,
              0.13485,
              0.16622,
              0.21798,
              0.30851,
              0.47507,
              0.7949
            ],
            [
              0.08834,
              0.11525,
              0.13483,
              0.16627,
              0.21793,
              0.3086,
              0.47542,
              0.7948
            ],
            [
              0.08834,
              0.11525,
              0.13483,
              0.16626,
              0.21788,
              0.30852,
              0.47535,
              0.7948
            ],
            [
              0.08835,
              0.11525,
              0.13493,
              0.16605,
              0.21802,
              0.3086,
              0.47551,
              0.795
            ],
            [
              0.08832,
              0.11537,
              0.13462,
              0.16621,
              0.21799,
              0.30849,
              0.47493,
              0.7948
            ],
            [
              0.08834,
              0.11525,
              0.13475,
              0.16607,
              0.21804,
              0.30858,
              0.4757,
              0.7942
            ],
            [
              0.0885,
              0.11531,
              0.13465,
              0.16629,
              0.21792,
              0.30851,
              0.4753,
              0.7948
            ],
            [
              0.08834,
              0.11527,
              0.13469,
              0.16603,
              0.218,
              0.3085,
              0.475,
              0.7948
            ],
            [
              0.0883,
              0.1153,
              0.1347,
              0.166,
              0.2181,
              0.3086,
              0.4756,
              0.7944
            ],
            [
              0.0883,
              0.1152,
              0.1346,
              0.1661,
              0.2179,
              0.3085,
              0.475,
              0.7947
            ],
            [
              0.0882,
              0.1151,
              0.1346,
              0.1661,
              0.2179,
              0.3088,
              0.4754,
              0.7947
            ],
            [
              0.0958,
              0.1212,
              0.1397,
              0.1699,
              0.2208,
              0.3105,
              0.4766,
              0.795
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.05881,
              0.08717,
              0.11065,
              0.15407,
              0.23886,
              0.41091,
              0.76852,
              1.49457
            ],
            [
              0.05874,
              0.08723,
              0.11074,
              0.154,
              0.23883,
              0.41087,
              0.76865,
              1.4945
            ],
            [
              0.05881,
              0.08712,
              0.11073,
              0.15427,
              0.23877,
              0.41089,
              0.76858,
              1.49444
            ],
            [
              0.05874,
              0.08717,
              0.11065,
              0.1543,
              0.23874,
              0.4109,
              0.76875,
              1.49472
            ],
            [
              0.05873,
              0.08715,
              0.11067,
              0.15408,
              0.23868,
              0.41093,
              0.76851,
              1.49447
            ],
            [
              0.05873,
              0.08717,
              0.11064,
              0.15431,
              0.23886,
              0.41088,
              0.76894,
              1.4941
            ],
            [
              0.05881,
              0.08711,
              0.11073,
              0.15432,
              0.23874,
              0.41092,
              0.76866,
              1.49448
            ],
            [
              0.05873,
              0.08718,
              0.11066,
              0.15411,
              0.23887,
              0.41096,
              0.76869,
              1.49457
            ],
            [
              0.05874,
              0.08725,
              0.11073,
              0.15416,
              0.23902,
              0.41097,
              0.7689,
              1.4942
            ],
            [
              0.0596,
              0.08784,
              0.11131,
              0.15461,
              0.23909,
              0.41114,
              0.769,
              1.4956
            ],
            [
              0.0664,
              0.0937,
              0.1164,
              0.1581,
              0.2413,
              0.412,
              0.7693,
              1.4943
            ],
            [
              0.0771,
              0.1045,
              0.1263,
              0.1673,
              0.2481,
              0.416,
              0.7702,
              1.4949
            ],
            [
              0.091,
              0.1205,
              0.142,
              0.181,
              0.2593,
              0.4238,
              0.7744,
              1.4961
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.55988,
              0.60933,
              0.64501,
              0.70084,
              0.78396,
              0.90527,
              1.09087,
              1.39027
            ],
            [
              0.56258,
              0.61204,
              0.64774,
              0.70357,
              0.78671,
              0.90801,
              1.09364,
              1.39304
            ],
            [
              0.56557,
              0.61504,
              0.65076,
              0.70659,
              0.78974,
              0.91105,
              1.09672,
              1.39612
            ],
            [
              0.57003,
              0.6195,
              0.65521,
              0.71105,
              0.79422,
              0.91553,
              1.10118,
              1.40058
            ],
            [
              0.57669,
              0.62614,
              0.66187,
              0.71771,
              0.80087,
              0.9222,
              1.10781,
              1.40731
            ],
            [
              0.58691,
              0.63635,
              0.67207,
              0.7279,
              0.81106,
              0.93242,
              1.11802,
              1.41752
            ],
            [
              0.60272,
              0.65216,
              0.68784,
              0.74367,
              0.82682,
              0.94813,
              1.13383,
              1.43323
            ],
            [
              0.62725,
              0.67665,
              0.71232,
              0.76815,
              0.85126,
              0.97246,
              1.15826,
              1.45766
            ],
            [
              0.66536,
              0.71475,
              0.75043,
              0.80615,
              0.88935,
              1.01065,
              1.19625,
              1.49555
            ],
            [
              0.72449,
              0.77379,
              0.80949,
              0.86529,
              0.94829,
              1.06959,
              1.25519,
              1.55469
            ],
            [
              0.81552,
              0.86492,
              0.90062,
              0.95632,
              1.03932,
              1.16052,
              1.34612,
              1.64562
            ],
            [
              0.95517,
              1.00447,
              1.04007,
              1.09567,
              1.17867,
              1.29987,
              1.48557,
              1.78497
            ],
            [
              1.1561,
              1.2077,
              1.2445,
              1.3012,
              1.3851,
              1.507,
              1.6933,
              1.9929
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.28015,
              0.3209,
              0.35073,
              0.399,
              0.47875,
              0.61877,
              0.88256,
              1.40387
            ],
            [
              0.28298,
              0.32374,
              0.35357,
              0.40183,
              0.48161,
              0.62184,
              0.8854,
              1.40664
            ],
            [
              0.28644,
              0.32718,
              0.357,
              0.40528,
              0.48504,
              0.62506,
              0.88885,
              1.41012
            ],
            [
              0.29158,
              0.33233,
              0.36218,
              0.41043,
              0.49023,
              0.63026,
              0.89404,
              1.41538
            ],
            [
              0.29928,
              0.34004,
              0.36986,
              0.41814,
              0.49787,
              0.63805,
              0.90172,
              1.42291
            ],
            [
              0.31078,
              0.35154,
              0.38136,
              0.42964,
              0.50937,
              0.64948,
              0.91323,
              1.43452
            ],
            [
              0.32787,
              0.36862,
              0.39846,
              0.44671,
              0.52648,
              0.66671,
              0.93033,
              1.45163
            ],
            [
              0.35367,
              0.39443,
              0.42427,
              0.47251,
              0.55226,
              0.6924,
              0.95606,
              1.47736
            ],
            [
              0.3925,
              0.43326,
              0.46309,
              0.5113,
              0.59098,
              0.73103,
              0.99475,
              1.51615
            ],
            [
              0.4512,
              0.49186,
              0.52161,
              0.56973,
              0.64929,
              0.78919,
              1.05299,
              1.57449
            ],
            [
              0.53362,
              0.57542,
              0.60562,
              0.65392,
              0.73362,
              0.87362,
              1.13742,
              1.65892
            ],
            [
              0.63357,
              0.67887,
              0.71077,
              0.76117,
              0.84277,
              0.98367,
              1.24767,
              1.76897
            ],
            [
              0.7509,
              0.8016,
              0.8364,
              0.8898,
              0.9739,
              1.1171,
              1.3828,
              1.904
            ]
          ]
        },
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.08986,
              0.12064,
              0.14399,
              0.18117,
              0.23746,
              0.32953,
              0.49597,
              0.8114
            ],
            [
              0.08985,
              0.12057,
              0.1442,
              0.18111,
              0.23744,
              0.32949,
              0.496,
              0.812
            ],
            [
              0.08985,
              0.12058,
              0.1441,
              0.18135,
              0.23739,
              0.3295,
              0.49525,
              0.8114
            ],
            [
              0.08976,
              0.12058,
              0.14413,
              0.18109,
              0.23739,
              0.32943,
              0.49563,
              0.8118
            ],
            [
              0.08985,
              0.12058,
              0.14407,
              0.1811,
              0.23741,
              0.32949,
              0.49527,
              0.8114
            ],
            [
              0.08986,
              0.12059,
              0.14407,
              0.18136,
              0.2374,
              0.3295,
              0.49528,
              0.8114
            ],
            [
              0.08985,
              0.1206,
              0.14405,
              0.18134,
              0.23737,
              0.32949,
              0.4961,
              0.8114
            ],
            [
              0.08984,
              0.12064,
              0.14398,
              0.18124,
              0.23757,
              0.32964,
              0.4959,
              0.8113
            ],
            [
              0.08983,
              0.12061,
              0.14402,
              0.1814,
              0.2374,
              0.3295,
              0.4961,
              0.8114
            ],
            [
              0.0898,
              0.1206,
              0.144,
              0.1812,
              0.2376,
              0.3297,
              0.496,
              0.8114
            ],
            [
              0.0899,
              0.1206,
              0.1441,
              0.1812,
              0.2376,
              0.3297,
              0.4957,
              0.8117
            ],
            [
              0.0897,
              0.1206,
              0.1441,
              0.1814,
              0.238,
              0.33,
              0.4959,
              0.8111
            ],
            [
              0.1003,
              0.1299,
              0.1525,
              0.1882,
              0.2429,
              0.3332,
              0.4979,
              0.812
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00628,
            0.01256,
            0.02513,
            0.05026,
            0.10053,
            0.20107,
            0.40214
          ],
          "values": [
            [
              0.05692,
              0.08637,
              0.11056,
              0.15469,
              0.24005,
              0.41307,
              0.77197,
              1.49743
            ],
            [
              0.05692,
              0.08633,
              0.11058,
              0.15498,
              0.24015,
              0.41313,
              0.77245,
              1.49806
            ],
            [
              0.05691,
              0.08637,
              0.11057,
              0.15498,
              0.24009,
              0.41302,
              0.77167,
              1.49809
            ],
            [
              0.05695,
              0.08662,
              0.11075,
              0.15468,
              0.24003,
              0.41303,
              0.77174,
              1.49786
            ],
            [
              0.05691,
              0.08633,
              0.11057,
              0.15498,
              0.24029,
              0.41309,
              0.77167,
              1.49789
            ],
            [
              0.05691,
              0.08636,
              0.11055,
              0.15468,
              0.24019,
              0.41307,
              0.77165,
              1.49769
            ],
            [
              0.05692,
              0.08641,
              0.11067,
              0.15472,
              0.24015,
              0.41309,
              0.77244,
              1.49812
            ],
            [
              0.05697,
              0.08644,
              0.11065,
              0.1546,
              0.24011,
              0.41308,
              0.77233,
              1.49697
            ],
            [
              0.05688,
              0.08655,
              0.11059,
              0.15467,
              0.24016,
              0.41312,
              0.77224,
              1.497
            ],
            [
              0.05689,
              0.08635,
              0.1107,
              0.15483,
              0.24035,
              0.41307,
              0.7722,
              1.4985
            ],
            [
              0.061,
              0.0896,
              0.1134,
              0.1565,
              0.2411,
              0.4136,
              0.772,
              1.4981
            ],
            [
              0.0694,
              0.0982,
              0.1213,
              0.1639,
              0.2467,
              0.4164,
              0.7731,
              1.4974
            ],
            [
              0.0814,
              0.1111,
              0.134,
              0.1749,
              0.2558,
              0.4232,
              0.7763,
              1.4985
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CIN) | (!A&B&!CIN) | (!A&!B&CIN) | (A&B&CIN)",
    "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.05309,
              0.04479,
              0.03697,
              0.02173,
              -0.00844,
              -0.0688,
              -0.19013,
              -0.43362
            ],
            [
              0.05306,
              0.04476,
              0.03694,
              0.0217,
              -0.00848,
              -0.06883,
              -0.19017,
              -0.43365
            ],
            [
              0.05299,
              0.0447,
              0.0369,
              0.02164,
              -0.00853,
              -0.06888,
              -0.19023,
              -0.43371
            ],
            [
              0.05298,
              0.04467,
              0.03685,
              0.0216,
              -0.00855,
              -0.06891,
              -0.19025,
              -0.43374
            ],
            [
              0.05293,
              0.04463,
              0.0368,
              0.02157,
              -0.0086,
              -0.06896,
              -0.1903,
              -0.43379
            ],
            [
              0.05286,
              0.04456,
              0.03675,
              0.02151,
              -0.00865,
              -0.06901,
              -0.19035,
              -0.43383
            ],
            [
              0.05284,
              0.04453,
              0.03669,
              0.02144,
              -0.00872,
              -0.06908,
              -0.19042,
              -0.4339
            ],
            [
              0.05274,
              0.04445,
              0.03661,
              0.02135,
              -0.00879,
              -0.06915,
              -0.19049,
              -0.43397
            ],
            [
              0.05266,
              0.04439,
              0.03657,
              0.0213,
              -0.00887,
              -0.06924,
              -0.19058,
              -0.43405
            ],
            [
              0.05262,
              0.04435,
              0.03653,
              0.02127,
              -0.00889,
              -0.06929,
              -0.19062,
              -0.43409
            ],
            [
              0.05259,
              0.0443,
              0.03648,
              0.02121,
              -0.00896,
              -0.06939,
              -0.19071,
              -0.43416
            ],
            [
              0.05258,
              0.04427,
              0.03644,
              0.02116,
              -0.00908,
              -0.06951,
              -0.19083,
              -0.43424
            ],
            [
              0.05283,
              0.04444,
              0.03655,
              0.0212,
              -0.00912,
              -0.06963,
              -0.19097,
              -0.43434
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.01674,
              0.02447,
              0.03225,
              0.04771,
              0.07851,
              0.1395,
              0.26093,
              0.50384
            ],
            [
              0.01658,
              0.02434,
              0.03211,
              0.04756,
              0.07835,
              0.13933,
              0.2611,
              0.50303
            ],
            [
              0.01644,
              0.02418,
              0.03196,
              0.04741,
              0.07822,
              0.1392,
              0.26079,
              0.50262
            ],
            [
              0.01626,
              0.024,
              0.03178,
              0.04723,
              0.07801,
              0.13901,
              0.26079,
              0.50283
            ],
            [
              0.016,
              0.02374,
              0.03151,
              0.04701,
              0.0777,
              0.13869,
              0.2606,
              0.50227
            ],
            [
              0.01574,
              0.02349,
              0.03127,
              0.04673,
              0.07752,
              0.13847,
              0.26003,
              0.50164
            ],
            [
              0.01548,
              0.02321,
              0.03099,
              0.04644,
              0.07722,
              0.13827,
              0.25979,
              0.5019
            ],
            [
              0.0152,
              0.02296,
              0.03074,
              0.04619,
              0.07692,
              0.13793,
              0.2596,
              0.50214
            ],
            [
              0.01496,
              0.02271,
              0.03046,
              0.04596,
              0.07663,
              0.13763,
              0.25928,
              0.50235
            ],
            [
              0.01476,
              0.02248,
              0.03024,
              0.04569,
              0.07638,
              0.13737,
              0.25899,
              0.50161
            ],
            [
              0.01465,
              0.02229,
              0.03001,
              0.0454,
              0.07603,
              0.13698,
              0.25867,
              0.50118
            ],
            [
              0.01462,
              0.02225,
              0.02995,
              0.04522,
              0.07567,
              0.13664,
              0.25816,
              0.50039
            ],
            [
              0.01474,
              0.02227,
              0.02991,
              0.0452,
              0.07587,
              0.1366,
              0.25746,
              0.50072
            ]
          ]
        },
        "when": "(!B&!CIN) | (B&CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.05196,
              0.06016,
              0.06873,
              0.08623,
              0.12134,
              0.19016,
              0.32448,
              0.5925
            ],
            [
              0.05188,
              0.06008,
              0.06866,
              0.08616,
              0.12128,
              0.19009,
              0.32436,
              0.59229
            ],
            [
              0.05177,
              0.05994,
              0.06857,
              0.08606,
              0.12115,
              0.18995,
              0.32425,
              0.5927
            ],
            [
              0.05162,
              0.05978,
              0.06838,
              0.08589,
              0.121,
              0.18982,
              0.32399,
              0.59221
            ],
            [
              0.05142,
              0.05961,
              0.0682,
              0.08567,
              0.12081,
              0.18963,
              0.32399,
              0.59217
            ],
            [
              0.0512,
              0.0594,
              0.06797,
              0.08547,
              0.1206,
              0.18949,
              0.3238,
              0.59144
            ],
            [
              0.05099,
              0.05917,
              0.06775,
              0.08523,
              0.12035,
              0.18918,
              0.3235,
              0.59121
            ],
            [
              0.05073,
              0.0589,
              0.06748,
              0.08495,
              0.12007,
              0.18887,
              0.32325,
              0.5913
            ],
            [
              0.05043,
              0.05859,
              0.06719,
              0.08472,
              0.11977,
              0.18859,
              0.32295,
              0.59131
            ],
            [
              0.05019,
              0.05836,
              0.06692,
              0.08436,
              0.11941,
              0.18818,
              0.32252,
              0.59091
            ],
            [
              0.05006,
              0.05813,
              0.06664,
              0.08408,
              0.11901,
              0.1877,
              0.32212,
              0.59019
            ],
            [
              0.05002,
              0.05806,
              0.0666,
              0.08384,
              0.11855,
              0.18721,
              0.32153,
              0.59027
            ],
            [
              0.05016,
              0.05808,
              0.06649,
              0.08369,
              0.11845,
              0.18702,
              0.3212,
              0.58989
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08372,
              0.09076,
              0.09826,
              0.11361,
              0.14449,
              0.20591,
              0.3279,
              0.57025
            ],
            [
              0.08369,
              0.09071,
              0.09825,
              0.11356,
              0.14446,
              0.20584,
              0.32783,
              0.57072
            ],
            [
              0.08369,
              0.09071,
              0.09825,
              0.11359,
              0.1444,
              0.2059,
              0.32772,
              0.56992
            ],
            [
              0.08363,
              0.09066,
              0.0982,
              0.11355,
              0.14438,
              0.20586,
              0.32754,
              0.56969
            ],
            [
              0.08361,
              0.09063,
              0.09817,
              0.1135,
              0.14431,
              0.20578,
              0.32792,
              0.56988
            ],
            [
              0.08355,
              0.09054,
              0.09812,
              0.11344,
              0.14421,
              0.20575,
              0.32769,
              0.57002
            ],
            [
              0.08346,
              0.09048,
              0.09803,
              0.11336,
              0.14423,
              0.20569,
              0.32766,
              0.57034
            ],
            [
              0.08339,
              0.09042,
              0.09797,
              0.1133,
              0.14409,
              0.2056,
              0.32736,
              0.57071
            ],
            [
              0.08333,
              0.09033,
              0.09789,
              0.11323,
              0.14399,
              0.20547,
              0.32749,
              0.57059
            ],
            [
              0.08323,
              0.09026,
              0.09779,
              0.11313,
              0.14389,
              0.20538,
              0.32764,
              0.56943
            ],
            [
              0.08312,
              0.09013,
              0.09767,
              0.11297,
              0.14379,
              0.20523,
              0.32711,
              0.56989
            ],
            [
              0.0831,
              0.0901,
              0.09761,
              0.11286,
              0.14359,
              0.20499,
              0.32692,
              0.56877
            ],
            [
              0.08347,
              0.09032,
              0.09776,
              0.11291,
              0.14351,
              0.20487,
              0.3268,
              0.56939
            ]
          ]
        },
        "when": "(B&!CIN) | (!B&CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.04733,
              0.03906,
              0.03124,
              0.016,
              -0.01414,
              -0.07449,
              -0.19583,
              -0.4393
            ],
            [
              0.04732,
              0.03902,
              0.0312,
              0.01598,
              -0.01419,
              -0.07454,
              -0.19587,
              -0.43933
            ],
            [
              0.04732,
              0.03903,
              0.0312,
              0.01596,
              -0.01417,
              -0.07454,
              -0.19586,
              -0.43933
            ],
            [
              0.0472,
              0.03889,
              0.03109,
              0.01587,
              -0.0143,
              -0.07464,
              -0.19597,
              -0.43943
            ],
            [
              0.04717,
              0.03888,
              0.03106,
              0.01583,
              -0.0143,
              -0.07466,
              -0.19599,
              -0.43947
            ],
            [
              0.04709,
              0.03881,
              0.03098,
              0.01577,
              -0.01438,
              -0.07474,
              -0.19606,
              -0.43954
            ],
            [
              0.04702,
              0.03873,
              0.03089,
              0.01568,
              -0.01446,
              -0.07482,
              -0.19614,
              -0.43961
            ],
            [
              0.04692,
              0.03862,
              0.0308,
              0.0156,
              -0.01457,
              -0.07493,
              -0.19625,
              -0.43971
            ],
            [
              0.04684,
              0.03855,
              0.03075,
              0.0155,
              -0.01463,
              -0.07501,
              -0.19633,
              -0.43979
            ],
            [
              0.04677,
              0.03847,
              0.03065,
              0.01543,
              -0.01474,
              -0.07511,
              -0.19643,
              -0.43988
            ],
            [
              0.04669,
              0.0384,
              0.03058,
              0.01533,
              -0.01485,
              -0.07526,
              -0.19657,
              -0.44
            ],
            [
              0.04668,
              0.03836,
              0.03052,
              0.01525,
              -0.01499,
              -0.07543,
              -0.19674,
              -0.44011
            ],
            [
              0.04698,
              0.03857,
              0.03067,
              0.0153,
              -0.01502,
              -0.07553,
              -0.19687,
              -0.44023
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.01984,
              0.02759,
              0.03537,
              0.05088,
              0.0816,
              0.14263,
              0.26429,
              0.50692
            ],
            [
              0.01976,
              0.0275,
              0.03529,
              0.05077,
              0.0815,
              0.14249,
              0.26407,
              0.50754
            ],
            [
              0.01967,
              0.02742,
              0.03519,
              0.05066,
              0.08148,
              0.14243,
              0.26408,
              0.50699
            ],
            [
              0.01959,
              0.02734,
              0.03511,
              0.05062,
              0.08137,
              0.14243,
              0.26407,
              0.50722
            ],
            [
              0.0194,
              0.02714,
              0.03492,
              0.0504,
              0.08118,
              0.14231,
              0.26405,
              0.50589
            ],
            [
              0.01926,
              0.027,
              0.03479,
              0.05025,
              0.08103,
              0.14207,
              0.26372,
              0.50645
            ],
            [
              0.01909,
              0.02684,
              0.03462,
              0.05013,
              0.08083,
              0.14179,
              0.26371,
              0.5063
            ],
            [
              0.01892,
              0.02666,
              0.03443,
              0.04993,
              0.08067,
              0.14167,
              0.26343,
              0.50676
            ],
            [
              0.01873,
              0.02648,
              0.03426,
              0.0497,
              0.08049,
              0.14142,
              0.2631,
              0.50659
            ],
            [
              0.01858,
              0.0263,
              0.03404,
              0.04948,
              0.08021,
              0.14112,
              0.26306,
              0.50545
            ],
            [
              0.0185,
              0.02616,
              0.03386,
              0.04925,
              0.07985,
              0.14091,
              0.26261,
              0.50514
            ],
            [
              0.01853,
              0.02615,
              0.03384,
              0.04914,
              0.07963,
              0.14063,
              0.26192,
              0.50445
            ],
            [
              0.01875,
              0.02624,
              0.03384,
              0.04917,
              0.07975,
              0.14052,
              0.2618,
              0.50409
            ]
          ]
        },
        "when": "(!A&!CIN) | (A&CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.05593,
              0.06419,
              0.07274,
              0.09037,
              0.12549,
              0.19435,
              0.32854,
              0.59704
            ],
            [
              0.05586,
              0.06403,
              0.07264,
              0.09023,
              0.12536,
              0.19422,
              0.32837,
              0.59657
            ],
            [
              0.05577,
              0.06394,
              0.0726,
              0.09015,
              0.12528,
              0.19416,
              0.32836,
              0.59657
            ],
            [
              0.05561,
              0.06381,
              0.07243,
              0.09,
              0.12516,
              0.19409,
              0.32821,
              0.59667
            ],
            [
              0.05544,
              0.06367,
              0.07231,
              0.08985,
              0.12499,
              0.19389,
              0.32807,
              0.59618
            ],
            [
              0.05526,
              0.06348,
              0.07208,
              0.08962,
              0.12479,
              0.19372,
              0.32785,
              0.59617
            ],
            [
              0.05506,
              0.06328,
              0.07184,
              0.08946,
              0.12455,
              0.19346,
              0.32773,
              0.59578
            ],
            [
              0.05474,
              0.06293,
              0.07157,
              0.08912,
              0.12423,
              0.19313,
              0.3273,
              0.59567
            ],
            [
              0.05433,
              0.06255,
              0.07118,
              0.08872,
              0.1238,
              0.19267,
              0.32686,
              0.59502
            ],
            [
              0.05398,
              0.06215,
              0.0707,
              0.08819,
              0.12322,
              0.19203,
              0.32627,
              0.59445
            ],
            [
              0.05371,
              0.06173,
              0.07029,
              0.08766,
              0.12259,
              0.19134,
              0.32556,
              0.59412
            ],
            [
              0.05352,
              0.06155,
              0.07004,
              0.08735,
              0.12197,
              0.1906,
              0.32483,
              0.59287
            ],
            [
              0.05359,
              0.06149,
              0.06984,
              0.08705,
              0.12172,
              0.19021,
              0.32449,
              0.59282
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08121,
              0.08823,
              0.09576,
              0.11108,
              0.14191,
              0.20346,
              0.32515,
              0.56813
            ],
            [
              0.0812,
              0.08823,
              0.09574,
              0.11111,
              0.14189,
              0.20343,
              0.32516,
              0.56742
            ],
            [
              0.08111,
              0.08814,
              0.09563,
              0.11093,
              0.14175,
              0.20343,
              0.32501,
              0.56771
            ],
            [
              0.08094,
              0.08794,
              0.09548,
              0.11082,
              0.14164,
              0.20329,
              0.3253,
              0.56768
            ],
            [
              0.0809,
              0.0879,
              0.09549,
              0.11079,
              0.14162,
              0.20327,
              0.32518,
              0.56799
            ],
            [
              0.08073,
              0.08775,
              0.09529,
              0.11061,
              0.14144,
              0.203,
              0.32469,
              0.56736
            ],
            [
              0.08059,
              0.08759,
              0.09515,
              0.11047,
              0.14131,
              0.20295,
              0.3248,
              0.56714
            ],
            [
              0.08039,
              0.08742,
              0.09496,
              0.11035,
              0.14111,
              0.2027,
              0.32458,
              0.56699
            ],
            [
              0.08018,
              0.08719,
              0.09473,
              0.11008,
              0.14089,
              0.20246,
              0.32418,
              0.56726
            ],
            [
              0.07996,
              0.08697,
              0.09452,
              0.10986,
              0.14068,
              0.20227,
              0.32411,
              0.56685
            ],
            [
              0.07971,
              0.08674,
              0.09427,
              0.10962,
              0.14042,
              0.20189,
              0.3239,
              0.56615
            ],
            [
              0.07957,
              0.08656,
              0.09408,
              0.10935,
              0.14006,
              0.2016,
              0.32347,
              0.56656
            ],
            [
              0.0799,
              0.08675,
              0.09418,
              0.10933,
              0.13991,
              0.20126,
              0.32323,
              0.56607
            ]
          ]
        },
        "when": "(A&!CIN) | (!A&CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.04296,
              0.03472,
              0.02692,
              0.01169,
              -0.0184,
              -0.07874,
              -0.20008,
              -0.44356
            ],
            [
              0.04303,
              0.03477,
              0.027,
              0.01178,
              -0.01834,
              -0.07868,
              -0.20002,
              -0.4435
            ],
            [
              0.04304,
              0.0348,
              0.02699,
              0.01178,
              -0.01833,
              -0.07866,
              -0.20001,
              -0.44348
            ],
            [
              0.04287,
              0.03461,
              0.02683,
              0.01166,
              -0.01847,
              -0.07882,
              -0.20015,
              -0.44363
            ],
            [
              0.04286,
              0.03461,
              0.02684,
              0.01162,
              -0.0185,
              -0.07884,
              -0.20017,
              -0.44365
            ],
            [
              0.04271,
              0.0345,
              0.02669,
              0.0115,
              -0.01862,
              -0.07896,
              -0.2003,
              -0.44377
            ],
            [
              0.04257,
              0.03433,
              0.02653,
              0.01132,
              -0.01876,
              -0.07912,
              -0.20045,
              -0.44392
            ],
            [
              0.0424,
              0.03415,
              0.02636,
              0.0112,
              -0.01893,
              -0.07928,
              -0.20061,
              -0.44408
            ],
            [
              0.04224,
              0.03399,
              0.02619,
              0.01099,
              -0.01909,
              -0.07946,
              -0.2008,
              -0.44426
            ],
            [
              0.04208,
              0.03382,
              0.02605,
              0.01083,
              -0.0193,
              -0.07964,
              -0.20097,
              -0.44442
            ],
            [
              0.04195,
              0.03369,
              0.0259,
              0.01068,
              -0.01948,
              -0.07986,
              -0.20118,
              -0.4446
            ],
            [
              0.04197,
              0.0337,
              0.02587,
              0.01061,
              -0.0196,
              -0.08003,
              -0.20135,
              -0.44474
            ],
            [
              0.04231,
              0.03393,
              0.02604,
              0.0107,
              -0.01961,
              -0.08012,
              -0.20147,
              -0.44482
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.02231,
              0.03006,
              0.03785,
              0.05339,
              0.08424,
              0.14522,
              0.26703,
              0.50919
            ],
            [
              0.02224,
              0.03,
              0.03779,
              0.05335,
              0.08413,
              0.14519,
              0.26697,
              0.51002
            ],
            [
              0.02231,
              0.03006,
              0.03785,
              0.05333,
              0.08421,
              0.14521,
              0.2669,
              0.50842
            ],
            [
              0.02229,
              0.03005,
              0.03784,
              0.05336,
              0.08417,
              0.14528,
              0.2671,
              0.50892
            ],
            [
              0.02225,
              0.03002,
              0.0378,
              0.05337,
              0.08416,
              0.14537,
              0.26685,
              0.50944
            ],
            [
              0.0222,
              0.02996,
              0.03776,
              0.05328,
              0.08415,
              0.14515,
              0.26685,
              0.50917
            ],
            [
              0.02213,
              0.02989,
              0.03768,
              0.05316,
              0.08399,
              0.14532,
              0.2665,
              0.5087
            ],
            [
              0.022,
              0.02974,
              0.03753,
              0.05305,
              0.08385,
              0.14493,
              0.26658,
              0.5087
            ],
            [
              0.02185,
              0.0296,
              0.03738,
              0.05288,
              0.08363,
              0.1447,
              0.26656,
              0.50903
            ],
            [
              0.02169,
              0.02942,
              0.03718,
              0.05263,
              0.08335,
              0.14438,
              0.26651,
              0.50887
            ],
            [
              0.02164,
              0.0293,
              0.03699,
              0.05236,
              0.08298,
              0.14393,
              0.26589,
              0.50792
            ],
            [
              0.02173,
              0.02931,
              0.037,
              0.05231,
              0.08279,
              0.14372,
              0.26502,
              0.50733
            ],
            [
              0.02203,
              0.02947,
              0.03705,
              0.05235,
              0.08287,
              0.14361,
              0.26471,
              0.50716
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.05708,
              0.0652,
              0.07379,
              0.09128,
              0.12639,
              0.19535,
              0.32957,
              0.5978
            ],
            [
              0.05712,
              0.06527,
              0.0739,
              0.0914,
              0.12649,
              0.19543,
              0.3296,
              0.59797
            ],
            [
              0.05711,
              0.0653,
              0.07386,
              0.09138,
              0.12648,
              0.19542,
              0.32958,
              0.59765
            ],
            [
              0.05706,
              0.06519,
              0.0738,
              0.09128,
              0.1264,
              0.19535,
              0.32955,
              0.5977
            ],
            [
              0.05704,
              0.06522,
              0.07377,
              0.09128,
              0.12639,
              0.19535,
              0.3295,
              0.59795
            ],
            [
              0.05699,
              0.06515,
              0.07371,
              0.09121,
              0.12632,
              0.19528,
              0.32952,
              0.59751
            ],
            [
              0.05689,
              0.06509,
              0.07365,
              0.09114,
              0.12623,
              0.19519,
              0.32933,
              0.59778
            ],
            [
              0.05679,
              0.06494,
              0.07352,
              0.09098,
              0.12606,
              0.195,
              0.32919,
              0.59793
            ],
            [
              0.05658,
              0.0647,
              0.07327,
              0.09071,
              0.12575,
              0.19467,
              0.32886,
              0.59729
            ],
            [
              0.0563,
              0.06442,
              0.07294,
              0.0903,
              0.12528,
              0.19414,
              0.3284,
              0.59665
            ],
            [
              0.05623,
              0.06417,
              0.07266,
              0.08993,
              0.12478,
              0.19355,
              0.32779,
              0.59577
            ],
            [
              0.05632,
              0.06419,
              0.07261,
              0.08971,
              0.12434,
              0.19299,
              0.32724,
              0.59559
            ],
            [
              0.05665,
              0.06435,
              0.07266,
              0.08972,
              0.12433,
              0.19279,
              0.32687,
              0.59574
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.07652,
              0.08353,
              0.09116,
              0.10655,
              0.1374,
              0.19888,
              0.32052,
              0.56339
            ],
            [
              0.07652,
              0.08354,
              0.09107,
              0.10644,
              0.13728,
              0.19877,
              0.32069,
              0.56279
            ],
            [
              0.07664,
              0.08366,
              0.09119,
              0.10654,
              0.1374,
              0.19888,
              0.32048,
              0.56322
            ],
            [
              0.07652,
              0.08355,
              0.09107,
              0.10643,
              0.1373,
              0.19875,
              0.32063,
              0.56272
            ],
            [
              0.07641,
              0.08344,
              0.09099,
              0.10631,
              0.13722,
              0.19866,
              0.32057,
              0.56257
            ],
            [
              0.07632,
              0.08333,
              0.09086,
              0.10624,
              0.13708,
              0.19865,
              0.32053,
              0.56237
            ],
            [
              0.07617,
              0.08319,
              0.09074,
              0.10608,
              0.13694,
              0.1984,
              0.32025,
              0.56266
            ],
            [
              0.07602,
              0.08306,
              0.09059,
              0.10594,
              0.1368,
              0.19827,
              0.32012,
              0.56253
            ],
            [
              0.07583,
              0.08287,
              0.09042,
              0.1058,
              0.1366,
              0.19811,
              0.31989,
              0.56271
            ],
            [
              0.07568,
              0.08271,
              0.09026,
              0.1056,
              0.13642,
              0.19782,
              0.31978,
              0.56174
            ],
            [
              0.0755,
              0.08252,
              0.09006,
              0.1054,
              0.13621,
              0.19758,
              0.31949,
              0.56135
            ],
            [
              0.07542,
              0.08243,
              0.08991,
              0.10517,
              0.13589,
              0.19724,
              0.31916,
              0.56127
            ],
            [
              0.076,
              0.0828,
              0.09017,
              0.10527,
              0.13584,
              0.19702,
              0.31876,
              0.56127
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.24972,
    "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.87515,
              0.92544,
              0.96071,
              1.01377,
              1.09147,
              1.20527,
              1.37767,
              1.65717
            ],
            [
              0.87562,
              0.92592,
              0.9612,
              1.01424,
              1.09204,
              1.20574,
              1.37824,
              1.65764
            ],
            [
              0.87669,
              0.927,
              0.9623,
              1.01532,
              1.09312,
              1.20682,
              1.37932,
              1.65872
            ],
            [
              0.87913,
              0.92942,
              0.96471,
              1.01778,
              1.09548,
              1.20928,
              1.38177,
              1.66108
            ],
            [
              0.88432,
              0.93461,
              0.96991,
              1.02301,
              1.10071,
              1.21451,
              1.38691,
              1.66631
            ],
            [
              0.8939,
              0.94422,
              0.97942,
              1.03252,
              1.11022,
              1.22402,
              1.39652,
              1.67592
            ],
            [
              0.90943,
              0.95973,
              0.99493,
              1.04803,
              1.12573,
              1.23943,
              1.41193,
              1.69143
            ],
            [
              0.93246,
              0.98266,
              1.01796,
              1.07096,
              1.14866,
              1.26246,
              1.43506,
              1.71436
            ],
            [
              0.96565,
              1.01595,
              1.05115,
              1.10425,
              1.18195,
              1.29575,
              1.46815,
              1.74765
            ],
            [
              1.01329,
              1.06349,
              1.09879,
              1.15179,
              1.22939,
              1.34329,
              1.51579,
              1.79519
            ],
            [
              1.08192,
              1.13222,
              1.16742,
              1.22052,
              1.29812,
              1.41202,
              1.58442,
              1.86382
            ],
            [
              1.18207,
              1.23237,
              1.26757,
              1.32057,
              1.39827,
              1.51217,
              1.68467,
              1.96417
            ],
            [
              1.3283,
              1.3787,
              1.414,
              1.4672,
              1.5449,
              1.6589,
              1.8315,
              2.1112
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.28194,
              0.31736,
              0.34401,
              0.38809,
              0.46337,
              0.59952,
              0.8618,
              1.38097
            ],
            [
              0.28297,
              0.3184,
              0.34504,
              0.38913,
              0.4644,
              0.60055,
              0.86279,
              1.38184
            ],
            [
              0.28465,
              0.32007,
              0.34673,
              0.39082,
              0.4661,
              0.60227,
              0.86455,
              1.38372
            ],
            [
              0.28802,
              0.32344,
              0.3501,
              0.39421,
              0.46948,
              0.60564,
              0.86786,
              1.38688
            ],
            [
              0.29423,
              0.32968,
              0.35634,
              0.40044,
              0.4757,
              0.6119,
              0.87405,
              1.39291
            ],
            [
              0.30458,
              0.34005,
              0.36671,
              0.41081,
              0.48601,
              0.62219,
              0.88405,
              1.40412
            ],
            [
              0.32034,
              0.35581,
              0.38249,
              0.42659,
              0.50189,
              0.63809,
              0.90033,
              1.42043
            ],
            [
              0.34355,
              0.37903,
              0.4057,
              0.44979,
              0.52494,
              0.66122,
              0.92336,
              1.44216
            ],
            [
              0.37786,
              0.41331,
              0.43995,
              0.48398,
              0.55914,
              0.69535,
              0.95775,
              1.47695
            ],
            [
              0.42796,
              0.46347,
              0.4901,
              0.53408,
              0.60913,
              0.74519,
              1.00739,
              1.52699
            ],
            [
              0.49492,
              0.53202,
              0.55932,
              0.60402,
              0.67942,
              0.81562,
              1.07792,
              1.59772
            ],
            [
              0.57947,
              0.61887,
              0.64757,
              0.69377,
              0.77077,
              0.90767,
              1.16977,
              1.69007
            ],
            [
              0.6837,
              0.7263,
              0.7568,
              0.8053,
              0.8843,
              1.0228,
              1.2855,
              1.8051
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.114,
              0.1401,
              0.15914,
              0.18945,
              0.23903,
              0.3238,
              0.478,
              0.7776
            ],
            [
              0.114,
              0.14007,
              0.15911,
              0.18945,
              0.23903,
              0.3238,
              0.4773,
              0.7778
            ],
            [
              0.11404,
              0.14006,
              0.15908,
              0.18941,
              0.23898,
              0.3238,
              0.478,
              0.7775
            ],
            [
              0.114,
              0.14008,
              0.15901,
              0.18942,
              0.23909,
              0.3239,
              0.4787,
              0.7771
            ],
            [
              0.11414,
              0.14004,
              0.15908,
              0.18962,
              0.2392,
              0.3239,
              0.4774,
              0.778
            ],
            [
              0.11419,
              0.14007,
              0.15902,
              0.1894,
              0.2394,
              0.3239,
              0.4777,
              0.7771
            ],
            [
              0.11401,
              0.14018,
              0.159,
              0.1893,
              0.239,
              0.3243,
              0.4781,
              0.7779
            ],
            [
              0.114,
              0.1401,
              0.159,
              0.1894,
              0.2391,
              0.3239,
              0.4788,
              0.777
            ],
            [
              0.114,
              0.14,
              0.1593,
              0.1894,
              0.239,
              0.3237,
              0.478,
              0.7775
            ],
            [
              0.114,
              0.14,
              0.1591,
              0.1894,
              0.2392,
              0.3243,
              0.4781,
              0.7777
            ],
            [
              0.114,
              0.14,
              0.159,
              0.1896,
              0.2393,
              0.3236,
              0.4773,
              0.7781
            ],
            [
              0.114,
              0.1402,
              0.1591,
              0.1894,
              0.2389,
              0.3242,
              0.4781,
              0.7772
            ],
            [
              0.1166,
              0.142,
              0.1606,
              0.1907,
              0.2402,
              0.3243,
              0.4784,
              0.7782
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.05071,
              0.07754,
              0.10057,
              0.14385,
              0.22936,
              0.40508,
              0.76631,
              1.49576
            ],
            [
              0.0507,
              0.07754,
              0.10056,
              0.14385,
              0.22934,
              0.40519,
              0.76604,
              1.49528
            ],
            [
              0.05072,
              0.07758,
              0.1006,
              0.14387,
              0.22936,
              0.40509,
              0.76631,
              1.49596
            ],
            [
              0.05075,
              0.0776,
              0.10055,
              0.14386,
              0.22941,
              0.40521,
              0.76598,
              1.49521
            ],
            [
              0.05079,
              0.07765,
              0.10054,
              0.14392,
              0.22978,
              0.40528,
              0.76566,
              1.49448
            ],
            [
              0.05081,
              0.07761,
              0.10067,
              0.14401,
              0.22976,
              0.40549,
              0.76637,
              1.49626
            ],
            [
              0.05084,
              0.07769,
              0.10068,
              0.14398,
              0.22962,
              0.40497,
              0.76667,
              1.49787
            ],
            [
              0.05085,
              0.07775,
              0.10084,
              0.14406,
              0.22977,
              0.40539,
              0.76554,
              1.495
            ],
            [
              0.05083,
              0.07775,
              0.10064,
              0.14425,
              0.22983,
              0.40525,
              0.76644,
              1.4958
            ],
            [
              0.05151,
              0.07817,
              0.10112,
              0.14426,
              0.22988,
              0.40541,
              0.7657,
              1.4956
            ],
            [
              0.055,
              0.0816,
              0.1041,
              0.1465,
              0.2309,
              0.4053,
              0.7666,
              1.497
            ],
            [
              0.0599,
              0.0873,
              0.1098,
              0.152,
              0.2352,
              0.408,
              0.7669,
              1.4968
            ],
            [
              0.0672,
              0.0953,
              0.1179,
              0.1595,
              0.2418,
              0.4119,
              0.7681,
              1.4941
            ]
          ]
        },
        "sdf_cond": "(!B&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.859,
              0.89809,
              0.92574,
              0.96777,
              1.02877,
              1.11747,
              1.26427,
              1.52127
            ],
            [
              0.86217,
              0.90121,
              0.92891,
              0.97094,
              1.03204,
              1.12064,
              1.26744,
              1.52444
            ],
            [
              0.86599,
              0.90503,
              0.93272,
              0.97475,
              1.03582,
              1.12452,
              1.27122,
              1.52832
            ],
            [
              0.87162,
              0.9107,
              0.93837,
              0.98037,
              1.04148,
              1.13017,
              1.27688,
              1.53368
            ],
            [
              0.87979,
              0.91884,
              0.94653,
              0.98861,
              1.04961,
              1.13831,
              1.28501,
              1.54211
            ],
            [
              0.89117,
              0.93022,
              0.95792,
              0.99992,
              1.06092,
              1.14972,
              1.29642,
              1.55322
            ],
            [
              0.90723,
              0.94633,
              0.97393,
              1.01603,
              1.07703,
              1.16573,
              1.31243,
              1.56953
            ],
            [
              0.93056,
              0.96956,
              0.99726,
              1.03926,
              1.10036,
              1.18906,
              1.33576,
              1.59276
            ],
            [
              0.96485,
              1.00395,
              1.03155,
              1.07365,
              1.13465,
              1.22335,
              1.37005,
              1.62685
            ],
            [
              1.01559,
              1.05469,
              1.08229,
              1.12429,
              1.18529,
              1.27399,
              1.42079,
              1.67779
            ],
            [
              1.08952,
              1.12842,
              1.15602,
              1.19792,
              1.25882,
              1.34752,
              1.49422,
              1.75102
            ],
            [
              1.19197,
              1.23017,
              1.25737,
              1.29887,
              1.35947,
              1.44797,
              1.59467,
              1.85167
            ],
            [
              1.3261,
              1.3635,
              1.3901,
              1.4309,
              1.4904,
              1.5782,
              1.7247,
              1.9816
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              1.09457,
              1.13027,
              1.15497,
              1.19317,
              1.25627,
              1.37957,
              1.63217,
              2.14447
            ],
            [
              1.09474,
              1.13054,
              1.15514,
              1.19344,
              1.25654,
              1.37974,
              1.63224,
              2.14474
            ],
            [
              1.09592,
              1.13172,
              1.15632,
              1.19462,
              1.25772,
              1.38092,
              1.63342,
              2.14582
            ],
            [
              1.09888,
              1.13458,
              1.15928,
              1.19748,
              1.26058,
              1.38377,
              1.63647,
              2.14877
            ],
            [
              1.10471,
              1.14051,
              1.16521,
              1.20341,
              1.26651,
              1.38971,
              1.64231,
              2.15461
            ],
            [
              1.11522,
              1.15092,
              1.17562,
              1.21382,
              1.27692,
              1.40032,
              1.65282,
              2.16502
            ],
            [
              1.13153,
              1.16723,
              1.19193,
              1.23023,
              1.29333,
              1.41653,
              1.66913,
              2.18153
            ],
            [
              1.15586,
              1.19156,
              1.21626,
              1.25446,
              1.31756,
              1.44086,
              1.69336,
              2.20566
            ],
            [
              1.19165,
              1.22735,
              1.25205,
              1.29025,
              1.35335,
              1.47665,
              1.72915,
              2.24155
            ],
            [
              1.24529,
              1.28099,
              1.30569,
              1.34389,
              1.40699,
              1.53029,
              1.78279,
              2.29509
            ],
            [
              1.32602,
              1.36172,
              1.38632,
              1.42462,
              1.48772,
              1.61102,
              1.86352,
              2.37592
            ],
            [
              1.44727,
              1.48297,
              1.50767,
              1.54597,
              1.60907,
              1.73247,
              1.98497,
              2.49727
            ],
            [
              1.6269,
              1.6625,
              1.6871,
              1.7252,
              1.7882,
              1.9114,
              2.1639,
              2.6762
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08352,
              0.10592,
              0.12254,
              0.14988,
              0.19631,
              0.27772,
              0.4276,
              0.7324
            ],
            [
              0.08346,
              0.10591,
              0.1225,
              0.14983,
              0.19652,
              0.27772,
              0.4276,
              0.7324
            ],
            [
              0.08346,
              0.10591,
              0.12261,
              0.14981,
              0.19648,
              0.2778,
              0.4275,
              0.7319
            ],
            [
              0.08353,
              0.10601,
              0.1225,
              0.15006,
              0.19638,
              0.2774,
              0.4279,
              0.7316
            ],
            [
              0.08346,
              0.10591,
              0.12249,
              0.14982,
              0.19633,
              0.2775,
              0.4275,
              0.7325
            ],
            [
              0.08349,
              0.10596,
              0.12242,
              0.14999,
              0.1964,
              0.2774,
              0.4278,
              0.7317
            ],
            [
              0.08354,
              0.10589,
              0.1225,
              0.1498,
              0.1966,
              0.2774,
              0.4275,
              0.7324
            ],
            [
              0.0835,
              0.1059,
              0.1225,
              0.1498,
              0.1964,
              0.2774,
              0.4276,
              0.7323
            ],
            [
              0.0836,
              0.106,
              0.1224,
              0.1499,
              0.1964,
              0.2775,
              0.4278,
              0.7317
            ],
            [
              0.0836,
              0.1059,
              0.1225,
              0.1498,
              0.1963,
              0.2775,
              0.4276,
              0.7323
            ],
            [
              0.0835,
              0.1058,
              0.1225,
              0.1498,
              0.1966,
              0.2775,
              0.4278,
              0.7318
            ],
            [
              0.0836,
              0.106,
              0.1225,
              0.1499,
              0.1966,
              0.2774,
              0.4274,
              0.7315
            ],
            [
              0.0837,
              0.1061,
              0.1228,
              0.1503,
              0.1968,
              0.2777,
              0.4276,
              0.7324
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.0698,
              0.0962,
              0.1188,
              0.1615,
              0.244,
              0.4128,
              0.7681,
              1.4917
            ],
            [
              0.0699,
              0.0962,
              0.1186,
              0.1613,
              0.244,
              0.4127,
              0.7671,
              1.4925
            ],
            [
              0.0698,
              0.0962,
              0.119,
              0.1615,
              0.2439,
              0.4124,
              0.7669,
              1.4913
            ],
            [
              0.0698,
              0.0962,
              0.1188,
              0.1616,
              0.244,
              0.4127,
              0.7681,
              1.4916
            ],
            [
              0.0699,
              0.0962,
              0.1188,
              0.1616,
              0.2436,
              0.4126,
              0.7671,
              1.4917
            ],
            [
              0.0699,
              0.0961,
              0.1188,
              0.1613,
              0.2436,
              0.4129,
              0.7671,
              1.4909
            ],
            [
              0.0698,
              0.0962,
              0.1186,
              0.1613,
              0.2439,
              0.4127,
              0.7671,
              1.4945
            ],
            [
              0.0698,
              0.0963,
              0.1188,
              0.1615,
              0.2436,
              0.413,
              0.7669,
              1.4924
            ],
            [
              0.0698,
              0.0963,
              0.1187,
              0.1617,
              0.2436,
              0.4129,
              0.7667,
              1.4924
            ],
            [
              0.0698,
              0.0963,
              0.1188,
              0.1616,
              0.2436,
              0.4128,
              0.7671,
              1.4918
            ],
            [
              0.0699,
              0.0962,
              0.1189,
              0.1614,
              0.2439,
              0.4124,
              0.767,
              1.4913
            ],
            [
              0.0699,
              0.0962,
              0.1189,
              0.1615,
              0.2436,
              0.413,
              0.7671,
              1.4917
            ],
            [
              0.07,
              0.0964,
              0.1191,
              0.1615,
              0.2438,
              0.4127,
              0.7681,
              1.4918
            ]
          ]
        },
        "sdf_cond": "(!B&CIN)",
        "timing_sense": "negative_unate",
        "when": "(!B&CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.8129,
              0.85275,
              0.88204,
              0.92818,
              0.99657,
              1.09487,
              1.25127,
              1.51607
            ],
            [
              0.81362,
              0.85349,
              0.88277,
              0.92889,
              0.99724,
              1.09564,
              1.25204,
              1.51664
            ],
            [
              0.81514,
              0.85501,
              0.88426,
              0.93042,
              0.99882,
              1.09722,
              1.25352,
              1.51822
            ],
            [
              0.81837,
              0.85823,
              0.8875,
              0.93364,
              1.00208,
              1.10048,
              1.25687,
              1.52178
            ],
            [
              0.82425,
              0.8641,
              0.89339,
              0.93954,
              1.00801,
              1.10641,
              1.26291,
              1.52771
            ],
            [
              0.8337,
              0.87356,
              0.90285,
              0.94902,
              1.01742,
              1.11572,
              1.27232,
              1.53722
            ],
            [
              0.84803,
              0.88793,
              0.91713,
              0.96333,
              1.03173,
              1.13023,
              1.28663,
              1.55153
            ],
            [
              0.86966,
              0.90956,
              0.93876,
              0.98496,
              1.05336,
              1.15176,
              1.30816,
              1.57316
            ],
            [
              0.90205,
              0.94195,
              0.97115,
              1.01735,
              1.08565,
              1.18395,
              1.34055,
              1.60535
            ],
            [
              0.95039,
              0.99029,
              1.01949,
              1.06569,
              1.13399,
              1.23239,
              1.38889,
              1.65379
            ],
            [
              1.02062,
              1.06022,
              1.08942,
              1.13532,
              1.20362,
              1.30192,
              1.45842,
              1.72332
            ],
            [
              1.11637,
              1.15527,
              1.18407,
              1.22947,
              1.29737,
              1.39547,
              1.55187,
              1.81657
            ],
            [
              1.2399,
              1.2779,
              1.3061,
              1.3508,
              1.4177,
              1.5151,
              1.6711,
              1.9356
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              1.07377,
              1.10617,
              1.12937,
              1.16597,
              1.22697,
              1.34787,
              1.59987,
              2.11247
            ],
            [
              1.07594,
              1.10834,
              1.13154,
              1.16814,
              1.22914,
              1.35004,
              1.60204,
              2.11464
            ],
            [
              1.07872,
              1.11122,
              1.13432,
              1.17092,
              1.23192,
              1.35292,
              1.60492,
              2.11732
            ],
            [
              1.08327,
              1.11568,
              1.13878,
              1.17548,
              1.23638,
              1.35757,
              1.60947,
              2.12197
            ],
            [
              1.09061,
              1.12301,
              1.14621,
              1.18281,
              1.24381,
              1.36471,
              1.61681,
              2.12931
            ],
            [
              1.10222,
              1.13462,
              1.15772,
              1.19442,
              1.25532,
              1.37642,
              1.62832,
              2.14082
            ],
            [
              1.11933,
              1.15183,
              1.17483,
              1.21153,
              1.27243,
              1.39363,
              1.64543,
              2.15793
            ],
            [
              1.14356,
              1.17606,
              1.19906,
              1.23576,
              1.29676,
              1.41786,
              1.66996,
              2.18216
            ],
            [
              1.17735,
              1.20975,
              1.23285,
              1.26955,
              1.33045,
              1.45155,
              1.70365,
              2.21605
            ],
            [
              1.22529,
              1.25769,
              1.28079,
              1.31749,
              1.37839,
              1.49959,
              1.75159,
              2.26399
            ],
            [
              1.29512,
              1.32752,
              1.35062,
              1.38732,
              1.44832,
              1.56932,
              1.82122,
              2.33382
            ],
            [
              1.39787,
              1.43037,
              1.45357,
              1.49027,
              1.55117,
              1.67227,
              1.92427,
              2.43677
            ],
            [
              1.5475,
              1.5797,
              1.6027,
              1.639,
              1.6996,
              1.8205,
              2.0721,
              2.5846
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08166,
              0.10704,
              0.12725,
              0.16091,
              0.21334,
              0.29527,
              0.4445,
              0.7444
            ],
            [
              0.08167,
              0.10704,
              0.12727,
              0.16088,
              0.21317,
              0.29542,
              0.4446,
              0.7451
            ],
            [
              0.08165,
              0.10705,
              0.12733,
              0.16114,
              0.21346,
              0.29621,
              0.4447,
              0.745
            ],
            [
              0.08155,
              0.10705,
              0.12725,
              0.16118,
              0.21326,
              0.29547,
              0.4444,
              0.7455
            ],
            [
              0.08167,
              0.10705,
              0.12726,
              0.16101,
              0.21322,
              0.29634,
              0.4445,
              0.7456
            ],
            [
              0.08156,
              0.10706,
              0.12732,
              0.16096,
              0.21328,
              0.2958,
              0.4445,
              0.7456
            ],
            [
              0.08156,
              0.10706,
              0.1273,
              0.16094,
              0.2133,
              0.2956,
              0.4448,
              0.7446
            ],
            [
              0.08164,
              0.1071,
              0.1272,
              0.1612,
              0.2132,
              0.2955,
              0.4448,
              0.7446
            ],
            [
              0.0815,
              0.1071,
              0.1273,
              0.1613,
              0.2132,
              0.2965,
              0.4448,
              0.7456
            ],
            [
              0.0815,
              0.107,
              0.1273,
              0.1612,
              0.2134,
              0.2963,
              0.4445,
              0.7451
            ],
            [
              0.0816,
              0.1071,
              0.1272,
              0.1609,
              0.2135,
              0.2963,
              0.4447,
              0.7448
            ],
            [
              0.0818,
              0.1072,
              0.1274,
              0.1611,
              0.2133,
              0.2956,
              0.4447,
              0.7456
            ],
            [
              0.0816,
              0.1072,
              0.1274,
              0.1612,
              0.2135,
              0.2956,
              0.4449,
              0.7457
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.0611,
              0.0881,
              0.1112,
              0.1541,
              0.2384,
              0.41,
              0.7665,
              1.4942
            ],
            [
              0.0611,
              0.0881,
              0.1112,
              0.1541,
              0.2383,
              0.4099,
              0.7669,
              1.4945
            ],
            [
              0.0611,
              0.0882,
              0.1111,
              0.1541,
              0.2385,
              0.4102,
              0.7666,
              1.492
            ],
            [
              0.0611,
              0.0882,
              0.1113,
              0.1544,
              0.2386,
              0.41,
              0.7679,
              1.4954
            ],
            [
              0.0611,
              0.0881,
              0.1112,
              0.1541,
              0.2383,
              0.4099,
              0.7671,
              1.4945
            ],
            [
              0.061,
              0.0881,
              0.1112,
              0.1544,
              0.2385,
              0.41,
              0.7679,
              1.4921
            ],
            [
              0.0611,
              0.0881,
              0.1112,
              0.1543,
              0.2384,
              0.4101,
              0.7677,
              1.4923
            ],
            [
              0.0611,
              0.0882,
              0.1113,
              0.1541,
              0.2383,
              0.4094,
              0.7658,
              1.492
            ],
            [
              0.0611,
              0.0881,
              0.1113,
              0.1542,
              0.2385,
              0.4096,
              0.7668,
              1.4948
            ],
            [
              0.0611,
              0.0882,
              0.1111,
              0.1543,
              0.2383,
              0.4095,
              0.7669,
              1.496
            ],
            [
              0.0611,
              0.0884,
              0.1112,
              0.1542,
              0.2384,
              0.4098,
              0.7674,
              1.4956
            ],
            [
              0.0611,
              0.0883,
              0.1112,
              0.1542,
              0.2385,
              0.4101,
              0.7664,
              1.496
            ],
            [
              0.0615,
              0.0885,
              0.1115,
              0.1544,
              0.2386,
              0.4102,
              0.7674,
              1.4928
            ]
          ]
        },
        "sdf_cond": "(B&!CIN)",
        "timing_sense": "negative_unate",
        "when": "(B&!CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.63408,
              0.6749,
              0.70349,
              0.74688,
              0.81129,
              0.90782,
              1.05967,
              1.31877
            ],
            [
              0.63492,
              0.67574,
              0.70433,
              0.74772,
              0.81213,
              0.90868,
              1.06044,
              1.31964
            ],
            [
              0.63649,
              0.67728,
              0.70591,
              0.74928,
              0.81368,
              0.91025,
              1.06202,
              1.32112
            ],
            [
              0.63955,
              0.68037,
              0.70898,
              0.75236,
              0.81678,
              0.91333,
              1.06518,
              1.32428
            ],
            [
              0.6457,
              0.68648,
              0.71511,
              0.75849,
              0.82289,
              0.91947,
              1.07131,
              1.33031
            ],
            [
              0.65656,
              0.69738,
              0.72598,
              0.76937,
              0.83378,
              0.93032,
              1.08212,
              1.34112
            ],
            [
              0.67417,
              0.71496,
              0.74363,
              0.78697,
              0.85137,
              0.94793,
              1.09983,
              1.35873
            ],
            [
              0.70065,
              0.74143,
              0.77005,
              0.81342,
              0.87786,
              0.97446,
              1.12626,
              1.38536
            ],
            [
              0.73877,
              0.77955,
              0.80815,
              0.85155,
              0.91595,
              1.01255,
              1.16435,
              1.42325
            ],
            [
              0.79419,
              0.83499,
              0.86359,
              0.90699,
              0.97129,
              1.06789,
              1.21979,
              1.47889
            ],
            [
              0.87602,
              0.91672,
              0.94542,
              0.98872,
              1.05312,
              1.14972,
              1.30152,
              1.56052
            ],
            [
              0.99797,
              1.03867,
              1.06737,
              1.11067,
              1.17507,
              1.27157,
              1.42357,
              1.68277
            ],
            [
              1.1706,
              1.2132,
              1.2429,
              1.2874,
              1.3528,
              1.4502,
              1.6026,
              1.8619
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.36959,
              0.41124,
              0.4419,
              0.49129,
              0.57242,
              0.71333,
              0.97733,
              1.49677
            ],
            [
              0.37037,
              0.41201,
              0.44267,
              0.49208,
              0.5732,
              0.7143,
              0.97827,
              1.49654
            ],
            [
              0.37173,
              0.41338,
              0.44404,
              0.49344,
              0.57457,
              0.71551,
              0.97962,
              1.49832
            ],
            [
              0.37461,
              0.41625,
              0.44692,
              0.49632,
              0.57744,
              0.71854,
              0.98247,
              1.50068
            ],
            [
              0.38008,
              0.42173,
              0.45238,
              0.5018,
              0.58288,
              0.72408,
              0.98781,
              1.50741
            ],
            [
              0.38902,
              0.43066,
              0.46132,
              0.51071,
              0.59185,
              0.73283,
              0.99692,
              1.51562
            ],
            [
              0.40215,
              0.44378,
              0.47445,
              0.52384,
              0.60495,
              0.74617,
              1.01003,
              1.52903
            ],
            [
              0.42093,
              0.46257,
              0.49323,
              0.54262,
              0.62374,
              0.76483,
              1.02886,
              1.54706
            ],
            [
              0.4482,
              0.48985,
              0.52051,
              0.5699,
              0.65096,
              0.79215,
              1.05605,
              1.57565
            ],
            [
              0.48843,
              0.5301,
              0.56075,
              0.61013,
              0.69119,
              0.83239,
              1.09609,
              1.61599
            ],
            [
              0.54512,
              0.58762,
              0.61872,
              0.66842,
              0.74962,
              0.89082,
              1.15492,
              1.67452
            ],
            [
              0.61847,
              0.66297,
              0.69527,
              0.74657,
              0.82927,
              0.97127,
              1.23587,
              1.75457
            ],
            [
              0.7118,
              0.7588,
              0.7927,
              0.8461,
              0.9312,
              1.0753,
              1.3404,
              1.8598
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08275,
              0.10482,
              0.12109,
              0.14761,
              0.19272,
              0.27248,
              0.42354,
              0.72897
            ],
            [
              0.08274,
              0.10481,
              0.12118,
              0.14764,
              0.19271,
              0.27248,
              0.42347,
              0.72841
            ],
            [
              0.08282,
              0.10476,
              0.12099,
              0.14765,
              0.19249,
              0.27241,
              0.42369,
              0.7293
            ],
            [
              0.08276,
              0.10481,
              0.12117,
              0.14763,
              0.19271,
              0.27247,
              0.42354,
              0.7287
            ],
            [
              0.0829,
              0.10475,
              0.121,
              0.14766,
              0.19251,
              0.27239,
              0.42366,
              0.7294
            ],
            [
              0.08277,
              0.10487,
              0.1211,
              0.14769,
              0.19271,
              0.27238,
              0.42386,
              0.7284
            ],
            [
              0.08278,
              0.10481,
              0.12101,
              0.14788,
              0.19283,
              0.27257,
              0.4239,
              0.7285
            ],
            [
              0.08281,
              0.10476,
              0.12099,
              0.14769,
              0.19249,
              0.27239,
              0.4236,
              0.7295
            ],
            [
              0.08276,
              0.10484,
              0.12105,
              0.1479,
              0.1928,
              0.2725,
              0.4238,
              0.7287
            ],
            [
              0.0828,
              0.1048,
              0.1211,
              0.1477,
              0.1926,
              0.2728,
              0.4237,
              0.7295
            ],
            [
              0.0828,
              0.1047,
              0.121,
              0.1478,
              0.1926,
              0.2725,
              0.4235,
              0.7285
            ],
            [
              0.0829,
              0.1049,
              0.1212,
              0.1477,
              0.1929,
              0.273,
              0.4236,
              0.7294
            ],
            [
              0.09,
              0.1117,
              0.1276,
              0.1534,
              0.1972,
              0.2755,
              0.4255,
              0.7294
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.06286,
              0.09265,
              0.11727,
              0.16158,
              0.24677,
              0.41877,
              0.77433,
              1.50102
            ],
            [
              0.06293,
              0.09287,
              0.11716,
              0.16152,
              0.24664,
              0.41873,
              0.77349,
              1.50009
            ],
            [
              0.0629,
              0.09291,
              0.11723,
              0.16152,
              0.24682,
              0.41876,
              0.77402,
              1.50025
            ],
            [
              0.0629,
              0.09265,
              0.11728,
              0.16152,
              0.24662,
              0.41872,
              0.77368,
              1.49939
            ],
            [
              0.0629,
              0.09267,
              0.11719,
              0.16184,
              0.24644,
              0.41879,
              0.7736,
              1.50201
            ],
            [
              0.0629,
              0.09264,
              0.11727,
              0.16161,
              0.24679,
              0.41873,
              0.77402,
              1.50024
            ],
            [
              0.06291,
              0.09266,
              0.11726,
              0.16148,
              0.24659,
              0.41855,
              0.77305,
              1.50143
            ],
            [
              0.06291,
              0.09268,
              0.11738,
              0.16147,
              0.24669,
              0.4187,
              0.77362,
              1.4999
            ],
            [
              0.06284,
              0.09265,
              0.11728,
              0.16167,
              0.24644,
              0.41867,
              0.77426,
              1.5021
            ],
            [
              0.06298,
              0.09267,
              0.11738,
              0.1619,
              0.24684,
              0.4188,
              0.774,
              1.5018
            ],
            [
              0.0654,
              0.0949,
              0.1191,
              0.1634,
              0.2474,
              0.4192,
              0.7736,
              1.502
            ],
            [
              0.0696,
              0.0999,
              0.1244,
              0.1682,
              0.2514,
              0.4216,
              0.7752,
              1.5002
            ],
            [
              0.0753,
              0.1065,
              0.1315,
              0.1754,
              0.2585,
              0.4264,
              0.777,
              1.5006
            ]
          ]
        },
        "sdf_cond": "(B&CIN)",
        "timing_sense": "positive_unate",
        "when": "(B&CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.81291,
              0.86325,
              0.89855,
              0.95167,
              1.02947,
              1.14327,
              1.31607,
              1.59567
            ],
            [
              0.81406,
              0.86442,
              0.89973,
              0.95286,
              1.03064,
              1.14454,
              1.31724,
              1.59694
            ],
            [
              0.81629,
              0.86666,
              0.90197,
              0.95512,
              1.03282,
              1.14682,
              1.31952,
              1.59922
            ],
            [
              0.82022,
              0.8706,
              0.90595,
              0.9591,
              1.03688,
              1.15088,
              1.32348,
              1.60328
            ],
            [
              0.8269,
              0.87727,
              0.91262,
              0.96571,
              1.04361,
              1.15741,
              1.33021,
              1.60981
            ],
            [
              0.83736,
              0.88772,
              0.92307,
              0.97622,
              1.05402,
              1.16792,
              1.34062,
              1.62032
            ],
            [
              0.85285,
              0.90323,
              0.93853,
              0.99163,
              1.06953,
              1.18343,
              1.35613,
              1.63583
            ],
            [
              0.87536,
              0.92566,
              0.96096,
              1.01416,
              1.09196,
              1.20586,
              1.37856,
              1.65836
            ],
            [
              0.90855,
              0.95885,
              0.99415,
              1.04735,
              1.12505,
              1.23905,
              1.41175,
              1.69155
            ],
            [
              0.95849,
              1.00889,
              1.04419,
              1.09729,
              1.17509,
              1.28899,
              1.46179,
              1.74149
            ],
            [
              1.03422,
              1.08452,
              1.11982,
              1.17292,
              1.25072,
              1.36482,
              1.53752,
              1.81732
            ],
            [
              1.14857,
              1.19887,
              1.23427,
              1.28737,
              1.36517,
              1.47917,
              1.65197,
              1.93187
            ],
            [
              1.3197,
              1.3701,
              1.4054,
              1.4586,
              1.5364,
              1.6506,
              1.8236,
              2.1036
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.2429,
              0.2785,
              0.30531,
              0.34964,
              0.42513,
              0.56121,
              0.82285,
              1.34157
            ],
            [
              0.24628,
              0.2819,
              0.30872,
              0.35304,
              0.42847,
              0.56459,
              0.82626,
              1.34524
            ],
            [
              0.25037,
              0.286,
              0.31282,
              0.35715,
              0.4326,
              0.56875,
              0.83042,
              1.34942
            ],
            [
              0.25638,
              0.29203,
              0.31887,
              0.36322,
              0.43867,
              0.57468,
              0.83618,
              1.35537
            ],
            [
              0.26487,
              0.30055,
              0.3274,
              0.37175,
              0.44731,
              0.58332,
              0.84458,
              1.36381
            ],
            [
              0.27662,
              0.31233,
              0.33919,
              0.38358,
              0.45901,
              0.59518,
              0.85664,
              1.37602
            ],
            [
              0.293,
              0.32874,
              0.35563,
              0.40003,
              0.47557,
              0.61174,
              0.87346,
              1.39273
            ],
            [
              0.31626,
              0.35204,
              0.37894,
              0.42336,
              0.49891,
              0.63507,
              0.89666,
              1.41546
            ],
            [
              0.34976,
              0.38554,
              0.41243,
              0.45681,
              0.53234,
              0.66853,
              0.93035,
              1.44935
            ],
            [
              0.39754,
              0.43342,
              0.46032,
              0.5047,
              0.58014,
              0.71639,
              0.97829,
              1.49649
            ],
            [
              0.45992,
              0.49752,
              0.52532,
              0.57062,
              0.64662,
              0.78302,
              1.04492,
              1.56382
            ],
            [
              0.53847,
              0.57837,
              0.60757,
              0.65447,
              0.73207,
              0.86957,
              1.13187,
              1.65027
            ],
            [
              0.6353,
              0.6784,
              0.7094,
              0.7586,
              0.8384,
              0.9778,
              1.2405,
              1.7596
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.1144,
              0.14034,
              0.15933,
              0.18996,
              0.23961,
              0.32431,
              0.4778,
              0.7785
            ],
            [
              0.11438,
              0.14036,
              0.15935,
              0.18984,
              0.23935,
              0.32424,
              0.4778,
              0.7784
            ],
            [
              0.11426,
              0.14034,
              0.1593,
              0.18969,
              0.23945,
              0.32468,
              0.4787,
              0.7789
            ],
            [
              0.11427,
              0.14037,
              0.15933,
              0.18968,
              0.2393,
              0.3242,
              0.4786,
              0.7781
            ],
            [
              0.11444,
              0.14037,
              0.15938,
              0.18969,
              0.23956,
              0.3243,
              0.478,
              0.7789
            ],
            [
              0.11437,
              0.1404,
              0.15934,
              0.18975,
              0.23962,
              0.3244,
              0.4782,
              0.7789
            ],
            [
              0.11428,
              0.14035,
              0.15939,
              0.18977,
              0.2396,
              0.3243,
              0.4793,
              0.7776
            ],
            [
              0.11433,
              0.1404,
              0.1593,
              0.1898,
              0.2393,
              0.3243,
              0.4779,
              0.7785
            ],
            [
              0.1143,
              0.1404,
              0.1593,
              0.1897,
              0.2395,
              0.3247,
              0.4788,
              0.7789
            ],
            [
              0.1143,
              0.1404,
              0.1594,
              0.1899,
              0.2396,
              0.3243,
              0.4782,
              0.7777
            ],
            [
              0.1143,
              0.1405,
              0.1594,
              0.19,
              0.2398,
              0.3242,
              0.478,
              0.779
            ],
            [
              0.1143,
              0.1404,
              0.1594,
              0.1899,
              0.2398,
              0.3247,
              0.4792,
              0.7777
            ],
            [
              0.1166,
              0.142,
              0.1607,
              0.1911,
              0.2405,
              0.3256,
              0.4799,
              0.7784
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.05079,
              0.0778,
              0.10117,
              0.14471,
              0.23017,
              0.40481,
              0.76549,
              1.49594
            ],
            [
              0.05081,
              0.07791,
              0.10109,
              0.14449,
              0.23026,
              0.40476,
              0.76576,
              1.49674
            ],
            [
              0.05086,
              0.07795,
              0.10103,
              0.14455,
              0.23027,
              0.40491,
              0.76587,
              1.49687
            ],
            [
              0.05087,
              0.078,
              0.1011,
              0.1446,
              0.23026,
              0.40544,
              0.76596,
              1.49677
            ],
            [
              0.05092,
              0.07804,
              0.10124,
              0.14463,
              0.2301,
              0.4055,
              0.76592,
              1.49586
            ],
            [
              0.05099,
              0.07817,
              0.10141,
              0.14475,
              0.23028,
              0.40562,
              0.76605,
              1.49693
            ],
            [
              0.05108,
              0.07813,
              0.1016,
              0.14503,
              0.23047,
              0.40529,
              0.76603,
              1.4971
            ],
            [
              0.05117,
              0.07839,
              0.10146,
              0.14487,
              0.23028,
              0.40557,
              0.76515,
              1.49543
            ],
            [
              0.0512,
              0.07839,
              0.10167,
              0.14496,
              0.23049,
              0.40507,
              0.76556,
              1.4963
            ],
            [
              0.05224,
              0.07902,
              0.10211,
              0.14542,
              0.23085,
              0.40536,
              0.766,
              1.4945
            ],
            [
              0.05594,
              0.083,
              0.1057,
              0.1486,
              0.2325,
              0.4067,
              0.7652,
              1.4959
            ],
            [
              0.0609,
              0.0885,
              0.1116,
              0.1541,
              0.2375,
              0.4093,
              0.7679,
              1.4944
            ],
            [
              0.0683,
              0.0967,
              0.1197,
              0.1622,
              0.2441,
              0.4137,
              0.7678,
              1.4956
            ]
          ]
        },
        "sdf_cond": "(!A&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.84128,
              0.88006,
              0.90756,
              0.9494,
              1.01047,
              1.09927,
              1.24517,
              1.50097
            ],
            [
              0.84498,
              0.8838,
              0.91128,
              0.95316,
              1.01424,
              1.10304,
              1.24884,
              1.50494
            ],
            [
              0.84944,
              0.88828,
              0.91575,
              0.95762,
              1.01872,
              1.10752,
              1.25332,
              1.50922
            ],
            [
              0.85577,
              0.89463,
              0.92212,
              0.96401,
              1.02518,
              1.11397,
              1.25978,
              1.51568
            ],
            [
              0.86449,
              0.90333,
              0.93082,
              0.97271,
              1.03391,
              1.12271,
              1.26851,
              1.52441
            ],
            [
              0.876,
              0.91483,
              0.94232,
              0.98422,
              1.04542,
              1.13422,
              1.28002,
              1.53602
            ],
            [
              0.89143,
              0.93023,
              0.95773,
              0.99963,
              1.06083,
              1.14973,
              1.29553,
              1.55163
            ],
            [
              0.91316,
              0.95196,
              0.97946,
              1.02136,
              1.08246,
              1.17126,
              1.31726,
              1.57316
            ],
            [
              0.94435,
              0.98315,
              1.01055,
              1.05245,
              1.11355,
              1.20235,
              1.34835,
              1.60435
            ],
            [
              0.98979,
              1.02849,
              1.05599,
              1.09779,
              1.15879,
              1.24759,
              1.39359,
              1.64959
            ],
            [
              1.05592,
              1.09432,
              1.12162,
              1.16322,
              1.22402,
              1.31272,
              1.45872,
              1.71492
            ],
            [
              1.14607,
              1.18377,
              1.21067,
              1.25167,
              1.31197,
              1.40027,
              1.54627,
              1.80247
            ],
            [
              1.2626,
              1.2993,
              1.3256,
              1.3657,
              1.4249,
              1.5123,
              1.6577,
              1.9136
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              1.05957,
              1.09467,
              1.11917,
              1.15717,
              1.22017,
              1.34367,
              1.59637,
              2.10867
            ],
            [
              1.06194,
              1.09704,
              1.12144,
              1.15954,
              1.22254,
              1.34594,
              1.59874,
              2.11124
            ],
            [
              1.06462,
              1.09972,
              1.12422,
              1.16222,
              1.22532,
              1.34872,
              1.60142,
              2.11382
            ],
            [
              1.06868,
              1.10387,
              1.12828,
              1.16638,
              1.22938,
              1.35288,
              1.60578,
              2.11797
            ],
            [
              1.07491,
              1.11001,
              1.13451,
              1.17251,
              1.23561,
              1.35911,
              1.61191,
              2.12421
            ],
            [
              1.08452,
              1.11962,
              1.14402,
              1.18212,
              1.24512,
              1.36872,
              1.62132,
              2.13372
            ],
            [
              1.09933,
              1.13443,
              1.15883,
              1.19683,
              1.25993,
              1.38343,
              1.63613,
              2.14863
            ],
            [
              1.12266,
              1.15766,
              1.18216,
              1.22016,
              1.28316,
              1.40666,
              1.65946,
              2.17196
            ],
            [
              1.15935,
              1.19445,
              1.21885,
              1.25685,
              1.31985,
              1.44335,
              1.69615,
              2.20845
            ],
            [
              1.21679,
              1.25189,
              1.27629,
              1.31429,
              1.37729,
              1.50079,
              1.75349,
              2.26579
            ],
            [
              1.30632,
              1.34142,
              1.36582,
              1.40382,
              1.46682,
              1.59042,
              1.84312,
              2.35542
            ],
            [
              1.44417,
              1.47927,
              1.50367,
              1.54167,
              1.60477,
              1.72827,
              1.98097,
              2.49347
            ],
            [
              1.6531,
              1.6881,
              1.7125,
              1.7504,
              1.8133,
              1.9367,
              2.1894,
              2.7019
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.0829,
              0.10502,
              0.12121,
              0.14808,
              0.19386,
              0.27455,
              0.4247,
              0.7287
            ],
            [
              0.08292,
              0.10484,
              0.12123,
              0.14805,
              0.19406,
              0.27489,
              0.4243,
              0.7284
            ],
            [
              0.08288,
              0.10509,
              0.12123,
              0.14808,
              0.1939,
              0.27459,
              0.4243,
              0.7286
            ],
            [
              0.08293,
              0.10506,
              0.12128,
              0.14803,
              0.19411,
              0.2747,
              0.4243,
              0.7286
            ],
            [
              0.08292,
              0.10493,
              0.12133,
              0.1483,
              0.19389,
              0.2746,
              0.4243,
              0.7287
            ],
            [
              0.08294,
              0.10493,
              0.12124,
              0.14832,
              0.194,
              0.2746,
              0.4248,
              0.7286
            ],
            [
              0.08301,
              0.10495,
              0.1214,
              0.1483,
              0.194,
              0.2748,
              0.4246,
              0.7297
            ],
            [
              0.083,
              0.1049,
              0.1214,
              0.1482,
              0.194,
              0.2746,
              0.4244,
              0.7289
            ],
            [
              0.083,
              0.105,
              0.1213,
              0.1481,
              0.1942,
              0.2747,
              0.4245,
              0.7296
            ],
            [
              0.0831,
              0.1049,
              0.1214,
              0.1482,
              0.1941,
              0.2749,
              0.4244,
              0.7289
            ],
            [
              0.0831,
              0.1052,
              0.1214,
              0.1483,
              0.1942,
              0.2747,
              0.4245,
              0.7287
            ],
            [
              0.0831,
              0.1052,
              0.1215,
              0.1483,
              0.1942,
              0.2748,
              0.4246,
              0.7298
            ],
            [
              0.0827,
              0.1047,
              0.1212,
              0.1484,
              0.1942,
              0.2745,
              0.4242,
              0.7297
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.0676,
              0.095,
              0.1182,
              0.1609,
              0.2437,
              0.4127,
              0.7674,
              1.4943
            ],
            [
              0.0676,
              0.0949,
              0.118,
              0.161,
              0.2435,
              0.4127,
              0.7676,
              1.4921
            ],
            [
              0.0676,
              0.095,
              0.1181,
              0.1609,
              0.2436,
              0.4123,
              0.7669,
              1.4925
            ],
            [
              0.0676,
              0.0949,
              0.118,
              0.1608,
              0.2436,
              0.4122,
              0.767,
              1.4912
            ],
            [
              0.0676,
              0.0949,
              0.1182,
              0.1609,
              0.2437,
              0.4122,
              0.7676,
              1.4917
            ],
            [
              0.0676,
              0.095,
              0.1181,
              0.1613,
              0.2436,
              0.4125,
              0.7671,
              1.4946
            ],
            [
              0.0676,
              0.0949,
              0.118,
              0.1609,
              0.2437,
              0.4123,
              0.7673,
              1.4919
            ],
            [
              0.0676,
              0.0949,
              0.1181,
              0.1611,
              0.2436,
              0.4124,
              0.7678,
              1.4921
            ],
            [
              0.0676,
              0.0949,
              0.1181,
              0.1609,
              0.2436,
              0.4124,
              0.768,
              1.4944
            ],
            [
              0.0676,
              0.0949,
              0.118,
              0.1612,
              0.2437,
              0.4123,
              0.7672,
              1.4909
            ],
            [
              0.0676,
              0.095,
              0.1181,
              0.1611,
              0.2437,
              0.4126,
              0.7677,
              1.4941
            ],
            [
              0.0677,
              0.0949,
              0.1181,
              0.1609,
              0.2437,
              0.4122,
              0.7672,
              1.4918
            ],
            [
              0.0678,
              0.0951,
              0.1183,
              0.1612,
              0.2438,
              0.4125,
              0.7663,
              1.4922
            ]
          ]
        },
        "sdf_cond": "(!A&CIN)",
        "timing_sense": "negative_unate",
        "when": "(!A&CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.78499,
              0.82469,
              0.85378,
              0.89934,
              0.96629,
              1.06347,
              1.21917,
              1.48387
            ],
            [
              0.78803,
              0.82771,
              0.85679,
              0.90239,
              0.9693,
              1.06644,
              1.22234,
              1.48684
            ],
            [
              0.79154,
              0.83125,
              0.86031,
              0.90591,
              0.97284,
              1.07002,
              1.22582,
              1.49062
            ],
            [
              0.79688,
              0.83657,
              0.86564,
              0.91119,
              0.97818,
              1.07517,
              1.23118,
              1.49578
            ],
            [
              0.80467,
              0.84436,
              0.87342,
              0.91901,
              0.98591,
              1.08301,
              1.23891,
              1.50371
            ],
            [
              0.81618,
              0.85585,
              0.88494,
              0.93052,
              0.99742,
              1.09452,
              1.25042,
              1.51522
            ],
            [
              0.83323,
              0.87293,
              0.90203,
              0.94753,
              1.01443,
              1.11163,
              1.26733,
              1.53203
            ],
            [
              0.85866,
              0.89836,
              0.92736,
              0.97296,
              1.03986,
              1.13696,
              1.29286,
              1.55746
            ],
            [
              0.89675,
              0.93645,
              0.96555,
              1.01115,
              1.07805,
              1.17515,
              1.33105,
              1.59575
            ],
            [
              0.95389,
              0.99359,
              1.02269,
              1.06819,
              1.13509,
              1.23219,
              1.38809,
              1.65289
            ],
            [
              1.03702,
              1.07642,
              1.10542,
              1.15082,
              1.21762,
              1.31472,
              1.47062,
              1.73522
            ],
            [
              1.14767,
              1.18567,
              1.21397,
              1.25877,
              1.32497,
              1.42187,
              1.57767,
              1.84227
            ],
            [
              1.2853,
              1.3213,
              1.3485,
              1.3919,
              1.4569,
              1.5529,
              1.7083,
              1.9728
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              1.05717,
              1.08987,
              1.11307,
              1.14957,
              1.21007,
              1.33077,
              1.58297,
              2.09617
            ],
            [
              1.06004,
              1.09274,
              1.11604,
              1.15254,
              1.21314,
              1.33374,
              1.58594,
              2.09894
            ],
            [
              1.06352,
              1.09622,
              1.11952,
              1.15602,
              1.21662,
              1.33722,
              1.58952,
              2.10252
            ],
            [
              1.06858,
              1.10137,
              1.12458,
              1.16108,
              1.22168,
              1.34238,
              1.59458,
              2.10757
            ],
            [
              1.07631,
              1.10901,
              1.13211,
              1.16871,
              1.22931,
              1.35001,
              1.60251,
              2.11551
            ],
            [
              1.08792,
              1.12062,
              1.14382,
              1.18042,
              1.24092,
              1.36162,
              1.61382,
              2.12682
            ],
            [
              1.10523,
              1.13793,
              1.16113,
              1.19773,
              1.25813,
              1.37893,
              1.63113,
              2.14423
            ],
            [
              1.13026,
              1.16296,
              1.18606,
              1.22256,
              1.28316,
              1.40386,
              1.65606,
              2.16906
            ],
            [
              1.16595,
              1.19865,
              1.22175,
              1.25825,
              1.31875,
              1.43925,
              1.69155,
              2.20475
            ],
            [
              1.21789,
              1.25049,
              1.27369,
              1.31019,
              1.37059,
              1.49139,
              1.74359,
              2.25669
            ],
            [
              1.29462,
              1.32722,
              1.35042,
              1.38682,
              1.44732,
              1.56822,
              1.82052,
              2.33362
            ],
            [
              1.40877,
              1.44127,
              1.46447,
              1.50097,
              1.56157,
              1.68247,
              1.93487,
              2.44797
            ],
            [
              1.5756,
              1.6078,
              1.6307,
              1.6668,
              1.7269,
              1.8475,
              2.0998,
              2.6128
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08137,
              0.10658,
              0.12645,
              0.15872,
              0.21035,
              0.29283,
              0.4432,
              0.7449
            ],
            [
              0.08134,
              0.1066,
              0.12636,
              0.15877,
              0.21029,
              0.2929,
              0.4432,
              0.745
            ],
            [
              0.08141,
              0.10658,
              0.12637,
              0.15898,
              0.21007,
              0.29296,
              0.4438,
              0.7445
            ],
            [
              0.08133,
              0.1067,
              0.12633,
              0.15883,
              0.21009,
              0.2937,
              0.4432,
              0.7449
            ],
            [
              0.08133,
              0.10668,
              0.12637,
              0.15863,
              0.21015,
              0.29367,
              0.4429,
              0.7445
            ],
            [
              0.08134,
              0.10676,
              0.12635,
              0.15878,
              0.21035,
              0.2934,
              0.4431,
              0.7446
            ],
            [
              0.0814,
              0.10654,
              0.12632,
              0.1587,
              0.2103,
              0.2929,
              0.4432,
              0.745
            ],
            [
              0.08133,
              0.1066,
              0.1263,
              0.1587,
              0.2101,
              0.2933,
              0.4435,
              0.7442
            ],
            [
              0.0814,
              0.1066,
              0.1264,
              0.1588,
              0.21,
              0.2935,
              0.4431,
              0.7443
            ],
            [
              0.0815,
              0.1065,
              0.1264,
              0.159,
              0.2101,
              0.2935,
              0.4431,
              0.7445
            ],
            [
              0.0813,
              0.1066,
              0.1264,
              0.1588,
              0.2102,
              0.2932,
              0.4431,
              0.7439
            ],
            [
              0.0816,
              0.1066,
              0.1264,
              0.1587,
              0.2104,
              0.2927,
              0.4431,
              0.7444
            ],
            [
              0.0816,
              0.1069,
              0.1268,
              0.1592,
              0.2105,
              0.293,
              0.4439,
              0.7449
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.0619,
              0.0885,
              0.111,
              0.1536,
              0.2374,
              0.4097,
              0.7666,
              1.4949
            ],
            [
              0.062,
              0.0884,
              0.111,
              0.1536,
              0.2374,
              0.4097,
              0.7672,
              1.4932
            ],
            [
              0.0619,
              0.0884,
              0.111,
              0.1536,
              0.2374,
              0.4097,
              0.7673,
              1.4934
            ],
            [
              0.0619,
              0.0885,
              0.111,
              0.1537,
              0.2376,
              0.4096,
              0.7668,
              1.497
            ],
            [
              0.0619,
              0.0883,
              0.1109,
              0.1534,
              0.2374,
              0.4093,
              0.7666,
              1.4952
            ],
            [
              0.0619,
              0.0885,
              0.1109,
              0.1535,
              0.2376,
              0.4097,
              0.7672,
              1.4929
            ],
            [
              0.0619,
              0.0884,
              0.111,
              0.1538,
              0.2375,
              0.4095,
              0.7675,
              1.4952
            ],
            [
              0.0618,
              0.0882,
              0.1109,
              0.1537,
              0.2376,
              0.4096,
              0.7668,
              1.4952
            ],
            [
              0.0619,
              0.0883,
              0.1109,
              0.1534,
              0.2376,
              0.4094,
              0.7666,
              1.4951
            ],
            [
              0.0619,
              0.0883,
              0.111,
              0.1533,
              0.2376,
              0.4093,
              0.7685,
              1.4962
            ],
            [
              0.062,
              0.0884,
              0.111,
              0.1536,
              0.2375,
              0.409,
              0.7659,
              1.4937
            ],
            [
              0.062,
              0.0886,
              0.111,
              0.1538,
              0.2377,
              0.4089,
              0.766,
              1.4937
            ],
            [
              0.0624,
              0.0889,
              0.1114,
              0.1539,
              0.2378,
              0.4097,
              0.7684,
              1.4961
            ]
          ]
        },
        "sdf_cond": "(A&!CIN)",
        "timing_sense": "negative_unate",
        "when": "(A&!CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.57789,
              0.61901,
              0.64788,
              0.69164,
              0.75654,
              0.85405,
              1.00697,
              1.26707
            ],
            [
              0.58122,
              0.62236,
              0.65123,
              0.695,
              0.7599,
              0.85741,
              1.01034,
              1.27054
            ],
            [
              0.5852,
              0.62634,
              0.65523,
              0.69892,
              0.76395,
              0.86142,
              1.01442,
              1.27462
            ],
            [
              0.5912,
              0.63235,
              0.66122,
              0.70503,
              0.76999,
              0.86747,
              1.02048,
              1.28038
            ],
            [
              0.60017,
              0.64132,
              0.67023,
              0.71403,
              0.77897,
              0.8765,
              1.02951,
              1.28961
            ],
            [
              0.61343,
              0.65456,
              0.68346,
              0.72718,
              0.79224,
              0.88975,
              1.04272,
              1.30292
            ],
            [
              0.63243,
              0.67354,
              0.70243,
              0.74618,
              0.81124,
              0.90873,
              1.06173,
              1.32193
            ],
            [
              0.65899,
              0.70009,
              0.72897,
              0.77278,
              0.83776,
              0.93526,
              1.08826,
              1.34846
            ],
            [
              0.69619,
              0.73729,
              0.76615,
              0.80995,
              0.87495,
              0.97245,
              1.12545,
              1.38565
            ],
            [
              0.74979,
              0.79089,
              0.81979,
              0.86349,
              0.92849,
              1.02599,
              1.17909,
              1.43899
            ],
            [
              0.82892,
              0.87002,
              0.89892,
              0.94262,
              1.00762,
              1.10522,
              1.25822,
              1.51832
            ],
            [
              0.94717,
              0.98817,
              1.01707,
              1.06077,
              1.12577,
              1.22337,
              1.37647,
              1.63687
            ],
            [
              1.1111,
              1.1545,
              1.1847,
              1.2301,
              1.2967,
              1.3955,
              1.5493,
              1.8101
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.32472,
              0.36644,
              0.39711,
              0.4466,
              0.52783,
              0.66926,
              0.93338,
              1.45317
            ],
            [
              0.32727,
              0.36896,
              0.39966,
              0.44915,
              0.53036,
              0.6717,
              0.93567,
              1.45584
            ],
            [
              0.33043,
              0.37216,
              0.40284,
              0.45233,
              0.53358,
              0.67478,
              0.93917,
              1.45852
            ],
            [
              0.3351,
              0.37682,
              0.40752,
              0.457,
              0.53821,
              0.67949,
              0.94354,
              1.46368
            ],
            [
              0.34183,
              0.38354,
              0.41424,
              0.46372,
              0.54496,
              0.6864,
              0.95058,
              1.47021
            ],
            [
              0.35155,
              0.39326,
              0.42397,
              0.47344,
              0.5547,
              0.69595,
              0.96032,
              1.47992
            ],
            [
              0.36592,
              0.40763,
              0.43834,
              0.48783,
              0.56904,
              0.71043,
              0.97443,
              1.49473
            ],
            [
              0.38744,
              0.42916,
              0.45988,
              0.50938,
              0.59058,
              0.732,
              0.99616,
              1.51626
            ],
            [
              0.41978,
              0.46152,
              0.49226,
              0.54173,
              0.62294,
              0.76415,
              1.02855,
              1.54845
            ],
            [
              0.46817,
              0.50989,
              0.54061,
              0.59008,
              0.67129,
              0.81269,
              1.07689,
              1.59719
            ],
            [
              0.53702,
              0.57962,
              0.61072,
              0.66042,
              0.74182,
              0.88322,
              1.14762,
              1.66782
            ],
            [
              0.62597,
              0.67067,
              0.70307,
              0.75437,
              0.83727,
              0.97967,
              1.24467,
              1.76427
            ],
            [
              0.7368,
              0.7846,
              0.8187,
              0.872,
              0.9569,
              1.1012,
              1.3673,
              1.8879
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08324,
              0.10557,
              0.12203,
              0.149,
              0.19446,
              0.27492,
              0.42642,
              0.73072
            ],
            [
              0.08319,
              0.10559,
              0.12205,
              0.14899,
              0.19447,
              0.275,
              0.42642,
              0.73092
            ],
            [
              0.08329,
              0.10558,
              0.12219,
              0.14938,
              0.19466,
              0.27481,
              0.42652,
              0.73197
            ],
            [
              0.08331,
              0.10554,
              0.12207,
              0.14899,
              0.19449,
              0.27491,
              0.42674,
              0.7314
            ],
            [
              0.0832,
              0.10575,
              0.12206,
              0.14925,
              0.1945,
              0.27507,
              0.42657,
              0.73136
            ],
            [
              0.08334,
              0.1056,
              0.12212,
              0.14939,
              0.19469,
              0.27478,
              0.42647,
              0.732
            ],
            [
              0.08325,
              0.10553,
              0.1221,
              0.14937,
              0.19466,
              0.27478,
              0.42646,
              0.732
            ],
            [
              0.08337,
              0.10554,
              0.12211,
              0.1491,
              0.19467,
              0.27479,
              0.4265,
              0.732
            ],
            [
              0.08337,
              0.10558,
              0.12211,
              0.14932,
              0.1947,
              0.2748,
              0.4265,
              0.732
            ],
            [
              0.0834,
              0.1056,
              0.1221,
              0.1491,
              0.1945,
              0.2753,
              0.4264,
              0.7311
            ],
            [
              0.0833,
              0.1056,
              0.1221,
              0.1491,
              0.1945,
              0.2751,
              0.4264,
              0.7309
            ],
            [
              0.0835,
              0.1058,
              0.1224,
              0.1493,
              0.1949,
              0.2755,
              0.4268,
              0.7314
            ],
            [
              0.0918,
              0.1141,
              0.1304,
              0.1568,
              0.2008,
              0.2792,
              0.4288,
              0.7327
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.06302,
              0.0928,
              0.11744,
              0.16195,
              0.24676,
              0.41875,
              0.77383,
              1.50273
            ],
            [
              0.06302,
              0.09283,
              0.11737,
              0.16195,
              0.24674,
              0.41946,
              0.77471,
              1.50248
            ],
            [
              0.06303,
              0.09277,
              0.1174,
              0.16183,
              0.24714,
              0.4192,
              0.77462,
              1.50131
            ],
            [
              0.06298,
              0.09284,
              0.1174,
              0.16224,
              0.24708,
              0.41942,
              0.77498,
              1.50194
            ],
            [
              0.06297,
              0.09284,
              0.11738,
              0.16185,
              0.24692,
              0.41888,
              0.77363,
              1.50231
            ],
            [
              0.06306,
              0.09282,
              0.11737,
              0.16178,
              0.24699,
              0.41921,
              0.77474,
              1.50151
            ],
            [
              0.06303,
              0.09285,
              0.11745,
              0.16193,
              0.24675,
              0.41947,
              0.77473,
              1.50258
            ],
            [
              0.06301,
              0.09287,
              0.11743,
              0.16221,
              0.24677,
              0.41938,
              0.7745,
              1.5027
            ],
            [
              0.06307,
              0.09284,
              0.11767,
              0.16188,
              0.24725,
              0.4194,
              0.77497,
              1.5015
            ],
            [
              0.06308,
              0.09309,
              0.11749,
              0.16205,
              0.24729,
              0.41933,
              0.7745,
              1.5028
            ],
            [
              0.0658,
              0.0953,
              0.1195,
              0.1633,
              0.2479,
              0.4199,
              0.7753,
              1.5018
            ],
            [
              0.0708,
              0.1007,
              0.1251,
              0.1687,
              0.2523,
              0.4224,
              0.7752,
              1.501
            ],
            [
              0.0786,
              0.1091,
              0.1336,
              0.1766,
              0.2591,
              0.4271,
              0.7781,
              1.5034
            ]
          ]
        },
        "sdf_cond": "(A&CIN)",
        "timing_sense": "positive_unate",
        "when": "(A&CIN)"
      },
      {
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.77845,
              0.82883,
              0.86414,
              0.91727,
              0.99497,
              1.10887,
              1.28157,
              1.56117
            ],
            [
              0.78055,
              0.83095,
              0.86629,
              0.91943,
              0.99714,
              1.11104,
              1.28364,
              1.56324
            ],
            [
              0.78282,
              0.83324,
              0.86858,
              0.92173,
              0.99942,
              1.11332,
              1.28592,
              1.56552
            ],
            [
              0.78602,
              0.8364,
              0.87174,
              0.9249,
              1.00267,
              1.11658,
              1.28918,
              1.56878
            ],
            [
              0.79075,
              0.84111,
              0.87645,
              0.92957,
              1.00741,
              1.12121,
              1.29381,
              1.57331
            ],
            [
              0.79826,
              0.8486,
              0.88389,
              0.93702,
              1.01482,
              1.12872,
              1.30132,
              1.58082
            ],
            [
              0.81049,
              0.8608,
              0.89613,
              0.94923,
              1.02683,
              1.14083,
              1.31343,
              1.59303
            ],
            [
              0.83033,
              0.88056,
              0.91576,
              0.96886,
              1.04666,
              1.16046,
              1.33306,
              1.61256
            ],
            [
              0.86255,
              0.91275,
              0.94795,
              1.00095,
              1.07865,
              1.19245,
              1.36515,
              1.64465
            ],
            [
              0.91389,
              0.96439,
              0.99969,
              1.05269,
              1.13039,
              1.24409,
              1.41669,
              1.69619
            ],
            [
              0.99572,
              1.04592,
              1.08142,
              1.13442,
              1.21212,
              1.32582,
              1.49842,
              1.77792
            ],
            [
              1.12367,
              1.17387,
              1.20907,
              1.26207,
              1.33977,
              1.45357,
              1.62617,
              1.90567
            ],
            [
              1.3205,
              1.3705,
              1.4056,
              1.4585,
              1.5361,
              1.6499,
              1.8225,
              2.1022
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.23251,
              0.27035,
              0.29856,
              0.34468,
              0.42202,
              0.55925,
              0.821,
              1.33987
            ],
            [
              0.23613,
              0.274,
              0.30222,
              0.34835,
              0.42572,
              0.56289,
              0.82474,
              1.34284
            ],
            [
              0.24033,
              0.27821,
              0.30643,
              0.35258,
              0.42994,
              0.56721,
              0.82894,
              1.34742
            ],
            [
              0.2463,
              0.28417,
              0.31239,
              0.35857,
              0.43587,
              0.57308,
              0.83496,
              1.35358
            ],
            [
              0.25452,
              0.29243,
              0.32068,
              0.36684,
              0.44423,
              0.5816,
              0.84331,
              1.36151
            ],
            [
              0.26571,
              0.30364,
              0.3319,
              0.37808,
              0.45547,
              0.59289,
              0.85459,
              1.37232
            ],
            [
              0.28123,
              0.31918,
              0.34745,
              0.39364,
              0.47103,
              0.60844,
              0.87024,
              1.38813
            ],
            [
              0.30312,
              0.34108,
              0.36935,
              0.41552,
              0.49289,
              0.63041,
              0.89196,
              1.40936
            ],
            [
              0.33487,
              0.37278,
              0.401,
              0.44709,
              0.52433,
              0.66183,
              0.92375,
              1.44225
            ],
            [
              0.37877,
              0.41744,
              0.44586,
              0.49207,
              0.56938,
              0.70689,
              0.96889,
              1.48719
            ],
            [
              0.43496,
              0.47522,
              0.50492,
              0.55282,
              0.63152,
              0.76962,
              1.03172,
              1.54982
            ],
            [
              0.50747,
              0.54897,
              0.57997,
              0.62957,
              0.71037,
              0.85077,
              1.11387,
              1.63187
            ],
            [
              0.5965,
              0.6408,
              0.6731,
              0.7251,
              0.8084,
              0.9507,
              1.2161,
              1.7349
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.11436,
              0.14021,
              0.15917,
              0.1895,
              0.23932,
              0.32452,
              0.4783,
              0.7785
            ],
            [
              0.11414,
              0.14017,
              0.15911,
              0.18947,
              0.23908,
              0.32387,
              0.4782,
              0.7777
            ],
            [
              0.11411,
              0.14014,
              0.15908,
              0.18944,
              0.23915,
              0.32444,
              0.4782,
              0.7778
            ],
            [
              0.11422,
              0.14014,
              0.15911,
              0.18947,
              0.23906,
              0.32389,
              0.4782,
              0.7775
            ],
            [
              0.11404,
              0.14013,
              0.15908,
              0.18942,
              0.23925,
              0.32391,
              0.4775,
              0.7783
            ],
            [
              0.11421,
              0.1401,
              0.15908,
              0.18967,
              0.2393,
              0.3239,
              0.4787,
              0.7769
            ],
            [
              0.11403,
              0.14007,
              0.15898,
              0.18936,
              0.2393,
              0.3243,
              0.478,
              0.7776
            ],
            [
              0.11401,
              0.14014,
              0.15909,
              0.1895,
              0.2393,
              0.3238,
              0.4775,
              0.778
            ],
            [
              0.1142,
              0.1401,
              0.159,
              0.1894,
              0.2391,
              0.3242,
              0.4785,
              0.7772
            ],
            [
              0.114,
              0.1401,
              0.159,
              0.1893,
              0.239,
              0.3243,
              0.478,
              0.7782
            ],
            [
              0.114,
              0.1401,
              0.1589,
              0.1894,
              0.2391,
              0.3238,
              0.4775,
              0.7782
            ],
            [
              0.1141,
              0.1399,
              0.1589,
              0.1893,
              0.2389,
              0.3241,
              0.4785,
              0.7781
            ],
            [
              0.1142,
              0.1404,
              0.1593,
              0.1899,
              0.2394,
              0.3246,
              0.4778,
              0.7782
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.05418,
              0.08187,
              0.10518,
              0.1487,
              0.23375,
              0.40709,
              0.76521,
              1.49632
            ],
            [
              0.05422,
              0.0818,
              0.10519,
              0.14895,
              0.23377,
              0.4075,
              0.76576,
              1.49508
            ],
            [
              0.05424,
              0.08209,
              0.1053,
              0.14872,
              0.23382,
              0.40714,
              0.765,
              1.49511
            ],
            [
              0.05424,
              0.08199,
              0.10527,
              0.14878,
              0.23388,
              0.40744,
              0.76538,
              1.49611
            ],
            [
              0.0543,
              0.0819,
              0.10532,
              0.14883,
              0.23389,
              0.40759,
              0.76596,
              1.49563
            ],
            [
              0.05436,
              0.08206,
              0.10554,
              0.14892,
              0.23361,
              0.40697,
              0.76495,
              1.49562
            ],
            [
              0.0544,
              0.08206,
              0.10545,
              0.14894,
              0.23402,
              0.40768,
              0.76607,
              1.49438
            ],
            [
              0.05439,
              0.0821,
              0.10558,
              0.14899,
              0.23377,
              0.4074,
              0.76559,
              1.49334
            ],
            [
              0.05424,
              0.08205,
              0.10552,
              0.14907,
              0.23408,
              0.40725,
              0.76532,
              1.4956
            ],
            [
              0.0563,
              0.08406,
              0.10691,
              0.15029,
              0.23456,
              0.40712,
              0.7654,
              1.4959
            ],
            [
              0.05834,
              0.08802,
              0.1119,
              0.1552,
              0.2379,
              0.409,
              0.7667,
              1.4943
            ],
            [
              0.0623,
              0.0924,
              0.1173,
              0.1613,
              0.2446,
              0.414,
              0.7698,
              1.4955
            ],
            [
              0.0702,
              0.1,
              0.1251,
              0.169,
              0.2519,
              0.4211,
              0.7723,
              1.4954
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.83149,
              0.87031,
              0.89778,
              0.93965,
              1.00077,
              1.08957,
              1.23547,
              1.49147
            ],
            [
              0.83453,
              0.87332,
              0.90084,
              0.94265,
              1.00384,
              1.09264,
              1.23854,
              1.49454
            ],
            [
              0.83811,
              0.87687,
              0.90442,
              0.94621,
              1.00742,
              1.09622,
              1.24212,
              1.49812
            ],
            [
              0.84352,
              0.88228,
              0.90978,
              0.95166,
              1.01278,
              1.10158,
              1.24748,
              1.50368
            ],
            [
              0.85144,
              0.89023,
              0.9177,
              0.95951,
              1.02071,
              1.10951,
              1.25541,
              1.51141
            ],
            [
              0.86304,
              0.90179,
              0.92932,
              0.97112,
              1.03232,
              1.12112,
              1.26702,
              1.52302
            ],
            [
              0.8801,
              0.91883,
              0.94633,
              0.98823,
              1.04933,
              1.13813,
              1.28403,
              1.54003
            ],
            [
              0.90516,
              0.94386,
              0.97136,
              1.01316,
              1.07426,
              1.16306,
              1.30906,
              1.56506
            ],
            [
              0.94245,
              0.98125,
              1.00865,
              1.05045,
              1.11155,
              1.20025,
              1.34625,
              1.60235
            ],
            [
              0.99739,
              1.03609,
              1.06349,
              1.10529,
              1.16629,
              1.25499,
              1.40099,
              1.65709
            ],
            [
              1.07582,
              1.11402,
              1.14122,
              1.18282,
              1.24352,
              1.33212,
              1.47812,
              1.73442
            ],
            [
              1.18007,
              1.21647,
              1.24287,
              1.28357,
              1.34367,
              1.43187,
              1.57787,
              1.83387
            ],
            [
              1.309,
              1.3433,
              1.3685,
              1.4078,
              1.4663,
              1.5535,
              1.6992,
              1.955
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              1.02177,
              1.05417,
              1.07737,
              1.11387,
              1.17467,
              1.29587,
              1.54797,
              2.06057
            ],
            [
              1.02444,
              1.05694,
              1.08004,
              1.11664,
              1.17744,
              1.29864,
              1.55074,
              2.06314
            ],
            [
              1.02752,
              1.05992,
              1.08312,
              1.11962,
              1.18052,
              1.30162,
              1.55382,
              2.06632
            ],
            [
              1.03198,
              1.06448,
              1.08758,
              1.12417,
              1.18498,
              1.30618,
              1.55828,
              2.07088
            ],
            [
              1.03881,
              1.07121,
              1.09431,
              1.13091,
              1.19181,
              1.31301,
              1.56501,
              2.07761
            ],
            [
              1.04912,
              1.08162,
              1.10472,
              1.14132,
              1.20212,
              1.32342,
              1.57542,
              2.08792
            ],
            [
              1.06513,
              1.09753,
              1.12063,
              1.15723,
              1.21813,
              1.33943,
              1.59163,
              2.10393
            ],
            [
              1.08996,
              1.12236,
              1.14546,
              1.18196,
              1.24286,
              1.36406,
              1.61616,
              2.12876
            ],
            [
              1.12835,
              1.16065,
              1.18375,
              1.22035,
              1.28115,
              1.40235,
              1.65445,
              2.16695
            ],
            [
              1.18759,
              1.21999,
              1.24299,
              1.27959,
              1.34049,
              1.46169,
              1.71369,
              2.22629
            ],
            [
              1.27862,
              1.31102,
              1.33412,
              1.37072,
              1.43152,
              1.55282,
              1.80492,
              2.31742
            ],
            [
              1.41727,
              1.44967,
              1.47287,
              1.50937,
              1.57027,
              1.69157,
              1.94377,
              2.45647
            ],
            [
              1.626,
              1.6581,
              1.681,
              1.7173,
              1.778,
              1.8993,
              2.1513,
              2.664
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08303,
              0.1052,
              0.12132,
              0.14847,
              0.1941,
              0.27471,
              0.4245,
              0.7289
            ],
            [
              0.08299,
              0.10497,
              0.12131,
              0.14818,
              0.19405,
              0.27498,
              0.4246,
              0.7289
            ],
            [
              0.08303,
              0.10501,
              0.12131,
              0.1483,
              0.19397,
              0.27461,
              0.4246,
              0.729
            ],
            [
              0.08301,
              0.10505,
              0.12143,
              0.14816,
              0.19403,
              0.27497,
              0.4245,
              0.7288
            ],
            [
              0.08298,
              0.10497,
              0.1213,
              0.1482,
              0.19411,
              0.2747,
              0.4245,
              0.729
            ],
            [
              0.08302,
              0.10503,
              0.12131,
              0.14822,
              0.1944,
              0.275,
              0.4247,
              0.7297
            ],
            [
              0.08306,
              0.10499,
              0.12132,
              0.1482,
              0.1941,
              0.2749,
              0.4245,
              0.729
            ],
            [
              0.083,
              0.105,
              0.1213,
              0.1483,
              0.1943,
              0.2748,
              0.4245,
              0.729
            ],
            [
              0.0831,
              0.1049,
              0.1214,
              0.1482,
              0.194,
              0.2748,
              0.4247,
              0.7297
            ],
            [
              0.083,
              0.105,
              0.1214,
              0.1482,
              0.1943,
              0.2747,
              0.4247,
              0.7298
            ],
            [
              0.0831,
              0.1051,
              0.1214,
              0.1485,
              0.1942,
              0.2748,
              0.4246,
              0.7299
            ],
            [
              0.0831,
              0.1052,
              0.1215,
              0.1484,
              0.1943,
              0.2748,
              0.4246,
              0.7289
            ],
            [
              0.0837,
              0.1057,
              0.1221,
              0.1492,
              0.195,
              0.2753,
              0.4249,
              0.7292
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.06132,
              0.0882,
              0.1114,
              0.1546,
              0.2386,
              0.41,
              0.7669,
              1.4943
            ],
            [
              0.0613,
              0.0883,
              0.1114,
              0.1546,
              0.2387,
              0.4102,
              0.7666,
              1.4922
            ],
            [
              0.0612,
              0.0884,
              0.1114,
              0.1542,
              0.2386,
              0.4099,
              0.7662,
              1.4943
            ],
            [
              0.0613,
              0.0884,
              0.1114,
              0.1543,
              0.2386,
              0.41,
              0.7666,
              1.494
            ],
            [
              0.0613,
              0.0885,
              0.1114,
              0.1542,
              0.2385,
              0.4096,
              0.7675,
              1.4951
            ],
            [
              0.0613,
              0.0883,
              0.1113,
              0.1546,
              0.2387,
              0.4101,
              0.7667,
              1.4924
            ],
            [
              0.0613,
              0.0884,
              0.1114,
              0.1544,
              0.2385,
              0.4094,
              0.7666,
              1.4925
            ],
            [
              0.0613,
              0.0883,
              0.1113,
              0.1543,
              0.2386,
              0.41,
              0.7666,
              1.494
            ],
            [
              0.0613,
              0.0884,
              0.1113,
              0.1546,
              0.2385,
              0.4101,
              0.7666,
              1.4917
            ],
            [
              0.0613,
              0.0884,
              0.1114,
              0.1545,
              0.2384,
              0.4094,
              0.7667,
              1.4962
            ],
            [
              0.0615,
              0.0884,
              0.1115,
              0.1546,
              0.2384,
              0.4102,
              0.7667,
              1.4922
            ],
            [
              0.0615,
              0.0886,
              0.1115,
              0.1544,
              0.2388,
              0.4101,
              0.7669,
              1.494
            ],
            [
              0.0618,
              0.0887,
              0.1118,
              0.1548,
              0.2386,
              0.4095,
              0.7677,
              1.4945
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.8428,
              0.88189,
              0.90957,
              0.95164,
              1.01267,
              1.10137,
              1.24817,
              1.50507
            ],
            [
              0.84571,
              0.88481,
              0.91249,
              0.95457,
              1.01564,
              1.10434,
              1.25114,
              1.50824
            ],
            [
              0.84925,
              0.88831,
              0.91601,
              0.9581,
              1.01912,
              1.10782,
              1.25462,
              1.51162
            ],
            [
              0.85452,
              0.8936,
              0.92129,
              0.96335,
              1.02438,
              1.11308,
              1.25988,
              1.51698
            ],
            [
              0.86231,
              0.90139,
              0.92909,
              0.97111,
              1.03221,
              1.12091,
              1.26771,
              1.52461
            ],
            [
              0.87384,
              0.91291,
              0.94062,
              0.98262,
              1.04372,
              1.13242,
              1.27922,
              1.53602
            ],
            [
              0.89073,
              0.92983,
              0.95753,
              0.99953,
              1.06063,
              1.14923,
              1.29613,
              1.55323
            ],
            [
              0.91586,
              0.95496,
              0.98256,
              1.02466,
              1.08566,
              1.17436,
              1.32116,
              1.57826
            ],
            [
              0.95285,
              0.99185,
              1.01955,
              1.06155,
              1.12255,
              1.21115,
              1.35805,
              1.61515
            ],
            [
              1.00739,
              1.04639,
              1.07409,
              1.11609,
              1.17689,
              1.26559,
              1.41249,
              1.66959
            ],
            [
              1.08712,
              1.12592,
              1.15342,
              1.19532,
              1.25602,
              1.34452,
              1.49152,
              1.74862
            ],
            [
              1.19467,
              1.23187,
              1.25867,
              1.29977,
              1.35987,
              1.44817,
              1.59517,
              1.85207
            ],
            [
              1.3294,
              1.3644,
              1.3901,
              1.4298,
              1.4884,
              1.5758,
              1.7224,
              1.9792
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              1.01707,
              1.05027,
              1.07357,
              1.11007,
              1.17037,
              1.29087,
              1.54317,
              2.05607
            ],
            [
              1.01974,
              1.05294,
              1.07634,
              1.11284,
              1.17314,
              1.29374,
              1.54584,
              2.05884
            ],
            [
              1.02272,
              1.05592,
              1.07932,
              1.11582,
              1.17612,
              1.29672,
              1.54872,
              2.06192
            ],
            [
              1.02728,
              1.06048,
              1.08378,
              1.12038,
              1.18067,
              1.30128,
              1.55338,
              2.06627
            ],
            [
              1.03391,
              1.06711,
              1.09041,
              1.12701,
              1.18731,
              1.30791,
              1.56001,
              2.07291
            ],
            [
              1.04412,
              1.07732,
              1.10062,
              1.13712,
              1.19752,
              1.31802,
              1.57022,
              2.08312
            ],
            [
              1.06003,
              1.09313,
              1.11643,
              1.15293,
              1.21333,
              1.33393,
              1.58613,
              2.09893
            ],
            [
              1.08446,
              1.11766,
              1.14096,
              1.17746,
              1.23776,
              1.35816,
              1.61066,
              2.12356
            ],
            [
              1.12255,
              1.15565,
              1.17895,
              1.21545,
              1.27575,
              1.39625,
              1.64845,
              2.16135
            ],
            [
              1.18129,
              1.21439,
              1.23769,
              1.27409,
              1.33439,
              1.45489,
              1.70719,
              2.22009
            ],
            [
              1.27162,
              1.30472,
              1.32802,
              1.36452,
              1.42482,
              1.54542,
              1.79752,
              2.31052
            ],
            [
              1.40947,
              1.44267,
              1.46597,
              1.50247,
              1.56287,
              1.68337,
              1.93557,
              2.44877
            ],
            [
              1.6157,
              1.6484,
              1.6715,
              1.7075,
              1.7675,
              1.8879,
              2.14,
              2.6529
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08356,
              0.10601,
              0.12249,
              0.14978,
              0.19657,
              0.27741,
              0.4278,
              0.7319
            ],
            [
              0.08355,
              0.10587,
              0.12253,
              0.14985,
              0.19646,
              0.27789,
              0.4277,
              0.7324
            ],
            [
              0.08356,
              0.10596,
              0.12249,
              0.15009,
              0.19638,
              0.27725,
              0.4277,
              0.7324
            ],
            [
              0.08362,
              0.10603,
              0.12246,
              0.1498,
              0.19651,
              0.2772,
              0.4277,
              0.7324
            ],
            [
              0.08356,
              0.10585,
              0.12251,
              0.15003,
              0.19672,
              0.2775,
              0.4274,
              0.7314
            ],
            [
              0.08355,
              0.10596,
              0.12253,
              0.14981,
              0.1963,
              0.2774,
              0.4274,
              0.7316
            ],
            [
              0.08362,
              0.10598,
              0.12255,
              0.1499,
              0.1965,
              0.2778,
              0.4276,
              0.7325
            ],
            [
              0.0835,
              0.1059,
              0.1225,
              0.1498,
              0.1966,
              0.2776,
              0.4275,
              0.7325
            ],
            [
              0.0835,
              0.106,
              0.1225,
              0.1499,
              0.1967,
              0.2775,
              0.4275,
              0.7325
            ],
            [
              0.0837,
              0.1059,
              0.1225,
              0.1499,
              0.1967,
              0.2776,
              0.4275,
              0.7325
            ],
            [
              0.0836,
              0.1061,
              0.1225,
              0.1502,
              0.1967,
              0.2774,
              0.4275,
              0.7325
            ],
            [
              0.0836,
              0.1061,
              0.1226,
              0.15,
              0.1969,
              0.2775,
              0.4277,
              0.7321
            ],
            [
              0.0838,
              0.1063,
              0.1231,
              0.1502,
              0.1971,
              0.2776,
              0.4278,
              0.7314
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.06227,
              0.0887,
              0.1113,
              0.1539,
              0.2379,
              0.4091,
              0.7661,
              1.4923
            ],
            [
              0.0623,
              0.0887,
              0.1113,
              0.1539,
              0.2378,
              0.4095,
              0.7684,
              1.4966
            ],
            [
              0.0623,
              0.0886,
              0.1113,
              0.1539,
              0.2377,
              0.4091,
              0.7673,
              1.4945
            ],
            [
              0.0623,
              0.0887,
              0.1113,
              0.1539,
              0.2376,
              0.4097,
              0.7671,
              1.4954
            ],
            [
              0.0623,
              0.0887,
              0.1112,
              0.1537,
              0.2376,
              0.4098,
              0.7668,
              1.4933
            ],
            [
              0.0623,
              0.0887,
              0.1114,
              0.1539,
              0.2376,
              0.4098,
              0.767,
              1.4933
            ],
            [
              0.0623,
              0.0886,
              0.1114,
              0.1539,
              0.2376,
              0.4091,
              0.7662,
              1.4933
            ],
            [
              0.0622,
              0.0888,
              0.1113,
              0.1539,
              0.2378,
              0.4092,
              0.7668,
              1.4944
            ],
            [
              0.0623,
              0.0889,
              0.1112,
              0.154,
              0.2377,
              0.4091,
              0.7662,
              1.4937
            ],
            [
              0.0623,
              0.0887,
              0.1113,
              0.1537,
              0.2379,
              0.4094,
              0.7683,
              1.4934
            ],
            [
              0.0624,
              0.0888,
              0.1113,
              0.154,
              0.2379,
              0.4096,
              0.7676,
              1.497
            ],
            [
              0.0625,
              0.089,
              0.1114,
              0.1539,
              0.2378,
              0.4096,
              0.7681,
              1.4935
            ],
            [
              0.0628,
              0.0893,
              0.1117,
              0.1541,
              0.2379,
              0.4091,
              0.7681,
              1.4932
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.51138,
              0.55282,
              0.58276,
              0.62926,
              0.69904,
              0.80277,
              0.96277,
              1.22957
            ],
            [
              0.51525,
              0.55671,
              0.58668,
              0.63318,
              0.70298,
              0.80676,
              0.96697,
              1.23394
            ],
            [
              0.5195,
              0.56095,
              0.59092,
              0.63742,
              0.70719,
              0.81094,
              0.97121,
              1.23812
            ],
            [
              0.5256,
              0.56703,
              0.59701,
              0.64351,
              0.71334,
              0.81717,
              0.97737,
              1.24438
            ],
            [
              0.53442,
              0.57584,
              0.60582,
              0.65236,
              0.72215,
              0.82594,
              0.98611,
              1.25261
            ],
            [
              0.5472,
              0.58859,
              0.61857,
              0.66507,
              0.7349,
              0.83872,
              0.99892,
              1.26572
            ],
            [
              0.56532,
              0.60668,
              0.63662,
              0.68309,
              0.75286,
              0.85672,
              1.01693,
              1.28403
            ],
            [
              0.59066,
              0.63201,
              0.66192,
              0.70836,
              0.77813,
              0.88196,
              1.04216,
              1.30916
            ],
            [
              0.62658,
              0.6679,
              0.6978,
              0.7442,
              0.81385,
              0.91745,
              1.07785,
              1.34465
            ],
            [
              0.67909,
              0.72039,
              0.75019,
              0.79659,
              0.86619,
              0.96989,
              1.12979,
              1.39679
            ],
            [
              0.75752,
              0.79872,
              0.82852,
              0.87472,
              0.94412,
              1.04772,
              1.20802,
              1.47492
            ],
            [
              0.87457,
              0.91577,
              0.94547,
              0.99137,
              1.06067,
              1.16427,
              1.32457,
              1.59167
            ],
            [
              1.029,
              1.0723,
              1.1031,
              1.1503,
              1.222,
              1.3292,
              1.4919,
              1.7601
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.31801,
              0.35971,
              0.39039,
              0.43983,
              0.52106,
              0.66221,
              0.92663,
              1.44587
            ],
            [
              0.32081,
              0.36251,
              0.39319,
              0.44265,
              0.52382,
              0.66518,
              0.92923,
              1.44934
            ],
            [
              0.32425,
              0.36592,
              0.39662,
              0.44603,
              0.52724,
              0.66843,
              0.93277,
              1.45172
            ],
            [
              0.32913,
              0.3708,
              0.40149,
              0.45093,
              0.53212,
              0.67339,
              0.93763,
              1.45618
            ],
            [
              0.33641,
              0.37807,
              0.40874,
              0.4581,
              0.53924,
              0.6806,
              0.94463,
              1.46441
            ],
            [
              0.34699,
              0.38864,
              0.41931,
              0.46872,
              0.54984,
              0.69104,
              0.95502,
              1.47492
            ],
            [
              0.36276,
              0.4044,
              0.43506,
              0.48447,
              0.56561,
              0.70693,
              0.97103,
              1.49023
            ],
            [
              0.38635,
              0.42799,
              0.45864,
              0.50806,
              0.58916,
              0.73047,
              0.99446,
              1.51426
            ],
            [
              0.42213,
              0.46377,
              0.49444,
              0.54385,
              0.62493,
              0.76625,
              1.03025,
              1.54995
            ],
            [
              0.47633,
              0.51796,
              0.54859,
              0.59795,
              0.67899,
              0.82019,
              1.08419,
              1.60409
            ],
            [
              0.55592,
              0.59792,
              0.62862,
              0.67792,
              0.75892,
              0.89992,
              1.16392,
              1.68312
            ],
            [
              0.65507,
              0.69927,
              0.73117,
              0.78197,
              0.86427,
              1.00597,
              1.27027,
              1.78937
            ],
            [
              0.7714,
              0.8199,
              0.8538,
              0.9067,
              0.9908,
              1.1344,
              1.3998,
              1.919
            ]
          ]
        },
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.08059,
              0.10532,
              0.12427,
              0.15528,
              0.20458,
              0.28795,
              0.4406,
              0.74365
            ],
            [
              0.08057,
              0.10532,
              0.12429,
              0.15501,
              0.20472,
              0.28794,
              0.44047,
              0.74366
            ],
            [
              0.08056,
              0.10537,
              0.12428,
              0.15503,
              0.20474,
              0.28845,
              0.44044,
              0.74272
            ],
            [
              0.08056,
              0.10546,
              0.12423,
              0.15512,
              0.20476,
              0.28789,
              0.44053,
              0.74333
            ],
            [
              0.08059,
              0.10541,
              0.12424,
              0.15527,
              0.20468,
              0.28784,
              0.44073,
              0.74362
            ],
            [
              0.08055,
              0.10541,
              0.12427,
              0.155,
              0.20474,
              0.28791,
              0.44027,
              0.7427
            ],
            [
              0.08065,
              0.10532,
              0.12428,
              0.15501,
              0.20479,
              0.28777,
              0.44076,
              0.7436
            ],
            [
              0.0806,
              0.10525,
              0.12426,
              0.15495,
              0.20437,
              0.2879,
              0.44025,
              0.7437
            ],
            [
              0.08061,
              0.10531,
              0.12407,
              0.15515,
              0.20434,
              0.2878,
              0.4403,
              0.7438
            ],
            [
              0.0805,
              0.1052,
              0.124,
              0.1547,
              0.2044,
              0.2877,
              0.4405,
              0.7437
            ],
            [
              0.0805,
              0.1051,
              0.1239,
              0.1544,
              0.2042,
              0.2875,
              0.4404,
              0.7437
            ],
            [
              0.0826,
              0.1061,
              0.1246,
              0.1548,
              0.2041,
              0.2878,
              0.4407,
              0.743
            ],
            [
              0.0902,
              0.1144,
              0.1324,
              0.1631,
              0.2135,
              0.2969,
              0.4469,
              0.7467
            ]
          ]
        },
        "related_pin": "CIN",
        "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.00595,
            0.01191,
            0.02382,
            0.04764,
            0.09529,
            0.19059,
            0.38117
          ],
          "values": [
            [
              0.06301,
              0.0928,
              0.11733,
              0.1619,
              0.24707,
              0.4191,
              0.77452,
              1.50101
            ],
            [
              0.06303,
              0.0927,
              0.11734,
              0.16199,
              0.24662,
              0.41922,
              0.77426,
              1.50256
            ],
            [
              0.06295,
              0.09271,
              0.11726,
              0.16173,
              0.24696,
              0.41898,
              0.77427,
              1.50051
            ],
            [
              0.06301,
              0.09287,
              0.11734,
              0.16156,
              0.24678,
              0.41892,
              0.77382,
              1.50026
            ],
            [
              0.06289,
              0.09269,
              0.11723,
              0.16187,
              0.24653,
              0.4186,
              0.77365,
              1.50245
            ],
            [
              0.06297,
              0.09265,
              0.11737,
              0.1617,
              0.24686,
              0.41902,
              0.77448,
              1.50137
            ],
            [
              0.06299,
              0.09282,
              0.11725,
              0.16151,
              0.24661,
              0.41867,
              0.7733,
              1.5013
            ],
            [
              0.06285,
              0.09266,
              0.11717,
              0.16175,
              0.24651,
              0.41866,
              0.77364,
              1.5022
            ],
            [
              0.06292,
              0.09286,
              0.11709,
              0.16165,
              0.24647,
              0.41812,
              0.77319,
              1.5021
            ],
            [
              0.06279,
              0.09275,
              0.1171,
              0.16152,
              0.24647,
              0.4188,
              0.7736,
              1.5021
            ],
            [
              0.065,
              0.0941,
              0.1184,
              0.1624,
              0.2473,
              0.4193,
              0.7739,
              1.5012
            ],
            [
              0.0723,
              0.1011,
              0.1249,
              0.1681,
              0.2515,
              0.4215,
              0.7748,
              1.4996
            ],
            [
              0.0839,
              0.1126,
              0.1354,
              0.1772,
              0.2587,
              0.4268,
              0.7793,
              1.5
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}