{
  "area": 46.3536,
  "cell_footprint": "sky130_fd_sc_ls__fah",
  "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.00514,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00748,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00265,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CI) | (B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.08003,
              0.09096,
              0.10157,
              0.12241,
              0.16361,
              0.24591
            ],
            [
              0.07991,
              0.09082,
              0.10146,
              0.12229,
              0.16347,
              0.24574
            ],
            [
              0.07977,
              0.09071,
              0.10132,
              0.12215,
              0.16333,
              0.24565
            ],
            [
              0.07964,
              0.09056,
              0.10116,
              0.12205,
              0.16325,
              0.24548
            ],
            [
              0.07948,
              0.09039,
              0.10102,
              0.12185,
              0.16304,
              0.24521
            ],
            [
              0.07931,
              0.09021,
              0.10084,
              0.12165,
              0.16296,
              0.24513
            ],
            [
              0.0791,
              0.09005,
              0.10065,
              0.1215,
              0.1627,
              0.245
            ],
            [
              0.0789,
              0.08984,
              0.10045,
              0.12125,
              0.1625,
              0.2449
            ],
            [
              0.0787,
              0.08961,
              0.10027,
              0.12109,
              0.16228,
              0.24444
            ],
            [
              0.07853,
              0.08945,
              0.10006,
              0.1209,
              0.16214,
              0.24439
            ],
            [
              0.0785,
              0.08948,
              0.10012,
              0.12089,
              0.16223,
              0.24445
            ],
            [
              0.07857,
              0.0896,
              0.1002,
              0.121,
              0.16235,
              0.24453
            ],
            [
              0.07888,
              0.0899,
              0.10053,
              0.1213,
              0.16259,
              0.24489
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.06374,
              0.07182,
              0.07963,
              0.09492,
              0.12523,
              0.18553
            ],
            [
              0.06369,
              0.07179,
              0.07959,
              0.09491,
              0.12515,
              0.1855
            ],
            [
              0.06366,
              0.07174,
              0.07954,
              0.09489,
              0.12516,
              0.18541
            ],
            [
              0.06349,
              0.07156,
              0.0794,
              0.09472,
              0.12496,
              0.1852
            ],
            [
              0.0633,
              0.07138,
              0.07919,
              0.09454,
              0.12475,
              0.18498
            ],
            [
              0.06305,
              0.07113,
              0.07895,
              0.09429,
              0.12455,
              0.18474
            ],
            [
              0.06279,
              0.07087,
              0.07868,
              0.09404,
              0.1243,
              0.18457
            ],
            [
              0.0625,
              0.07058,
              0.0784,
              0.09372,
              0.12403,
              0.1842
            ],
            [
              0.06217,
              0.07024,
              0.07807,
              0.09341,
              0.12364,
              0.18385
            ],
            [
              0.06181,
              0.0699,
              0.07772,
              0.09304,
              0.12332,
              0.18349
            ],
            [
              0.06151,
              0.06961,
              0.07743,
              0.09277,
              0.1231,
              0.18339
            ],
            [
              0.06131,
              0.06941,
              0.07721,
              0.09262,
              0.12292,
              0.18322
            ],
            [
              0.06147,
              0.06961,
              0.07741,
              0.0928,
              0.12311,
              0.18336
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.06913,
              0.07992,
              0.09047,
              0.11132,
              0.15256,
              0.23472
            ],
            [
              0.06906,
              0.07985,
              0.0904,
              0.11121,
              0.15251,
              0.23486
            ],
            [
              0.06898,
              0.07977,
              0.09033,
              0.11114,
              0.15247,
              0.23468
            ],
            [
              0.06889,
              0.07969,
              0.09023,
              0.11105,
              0.15231,
              0.23449
            ],
            [
              0.06877,
              0.07957,
              0.09012,
              0.11091,
              0.1522,
              0.23441
            ],
            [
              0.06864,
              0.07943,
              0.08997,
              0.11078,
              0.15219,
              0.23428
            ],
            [
              0.06853,
              0.07932,
              0.08985,
              0.11068,
              0.15194,
              0.23416
            ],
            [
              0.06842,
              0.07921,
              0.08977,
              0.11058,
              0.1518,
              0.23414
            ],
            [
              0.06838,
              0.07917,
              0.08972,
              0.11053,
              0.15181,
              0.234
            ],
            [
              0.06838,
              0.07914,
              0.08968,
              0.11051,
              0.15177,
              0.23398
            ],
            [
              0.06843,
              0.07919,
              0.08972,
              0.11055,
              0.15179,
              0.23395
            ],
            [
              0.06862,
              0.07938,
              0.08989,
              0.11069,
              0.15195,
              0.23423
            ],
            [
              0.06894,
              0.07966,
              0.09018,
              0.11103,
              0.1523,
              0.23462
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.04772,
              0.05584,
              0.0637,
              0.07904,
              0.10926,
              0.16953
            ],
            [
              0.0477,
              0.05582,
              0.06366,
              0.07901,
              0.1092,
              0.16937
            ],
            [
              0.04766,
              0.05579,
              0.06365,
              0.079,
              0.10917,
              0.16938
            ],
            [
              0.04767,
              0.05576,
              0.06361,
              0.07897,
              0.10925,
              0.16947
            ],
            [
              0.04765,
              0.05576,
              0.06361,
              0.07897,
              0.10928,
              0.16935
            ],
            [
              0.04764,
              0.05575,
              0.06362,
              0.07894,
              0.10917,
              0.16958
            ],
            [
              0.04765,
              0.05576,
              0.06357,
              0.07899,
              0.10917,
              0.16951
            ],
            [
              0.04764,
              0.05574,
              0.06358,
              0.07892,
              0.10915,
              0.1693
            ],
            [
              0.04761,
              0.0557,
              0.06355,
              0.07889,
              0.10915,
              0.16931
            ],
            [
              0.04767,
              0.05578,
              0.06364,
              0.07898,
              0.10919,
              0.16947
            ],
            [
              0.04791,
              0.056,
              0.06386,
              0.07922,
              0.10948,
              0.16959
            ],
            [
              0.04832,
              0.05645,
              0.06428,
              0.07962,
              0.10985,
              0.17016
            ],
            [
              0.04906,
              0.05717,
              0.06493,
              0.08023,
              0.11044,
              0.17083
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.04663,
              0.05785,
              0.06859,
              0.08953,
              0.13088,
              0.21303
            ],
            [
              0.04657,
              0.05779,
              0.06853,
              0.08949,
              0.13083,
              0.21297
            ],
            [
              0.04655,
              0.05779,
              0.06851,
              0.08944,
              0.13081,
              0.2132
            ],
            [
              0.04653,
              0.05776,
              0.06849,
              0.08945,
              0.13079,
              0.21293
            ],
            [
              0.0465,
              0.05768,
              0.06841,
              0.0894,
              0.13077,
              0.21294
            ],
            [
              0.04643,
              0.05765,
              0.06837,
              0.08936,
              0.13067,
              0.21281
            ],
            [
              0.04633,
              0.05757,
              0.06829,
              0.08925,
              0.13064,
              0.21289
            ],
            [
              0.04629,
              0.05747,
              0.0682,
              0.08918,
              0.13054,
              0.2128
            ],
            [
              0.04614,
              0.0573,
              0.06803,
              0.08899,
              0.13046,
              0.21257
            ],
            [
              0.04595,
              0.05707,
              0.06778,
              0.08878,
              0.13014,
              0.21251
            ],
            [
              0.04576,
              0.05683,
              0.06749,
              0.08853,
              0.12988,
              0.21222
            ],
            [
              0.04565,
              0.05664,
              0.06732,
              0.08821,
              0.12971,
              0.21226
            ],
            [
              0.04564,
              0.05652,
              0.06712,
              0.08817,
              0.12952,
              0.212
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.04032,
              0.04869,
              0.05672,
              0.07219,
              0.1025,
              0.16291
            ],
            [
              0.04025,
              0.04862,
              0.05666,
              0.07213,
              0.10248,
              0.16275
            ],
            [
              0.04024,
              0.04861,
              0.05664,
              0.07212,
              0.10243,
              0.16277
            ],
            [
              0.0402,
              0.04857,
              0.05662,
              0.07209,
              0.10243,
              0.16279
            ],
            [
              0.04017,
              0.04854,
              0.05657,
              0.07205,
              0.1024,
              0.16257
            ],
            [
              0.0401,
              0.04846,
              0.0565,
              0.07198,
              0.10234,
              0.16272
            ],
            [
              0.03996,
              0.04832,
              0.05635,
              0.07184,
              0.10221,
              0.16241
            ],
            [
              0.03977,
              0.04813,
              0.05615,
              0.07164,
              0.10207,
              0.16223
            ],
            [
              0.03955,
              0.04787,
              0.05588,
              0.07136,
              0.10176,
              0.16206
            ],
            [
              0.0393,
              0.0476,
              0.05559,
              0.07105,
              0.10143,
              0.16187
            ],
            [
              0.03907,
              0.04733,
              0.0553,
              0.07077,
              0.10115,
              0.16147
            ],
            [
              0.03893,
              0.04717,
              0.05512,
              0.07055,
              0.10093,
              0.16129
            ],
            [
              0.0388,
              0.04699,
              0.05492,
              0.07032,
              0.10077,
              0.16126
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.05939,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.54784,
              0.61048,
              0.6551,
              0.72926,
              0.85885,
              1.10157
            ],
            [
              0.55072,
              0.61337,
              0.65799,
              0.73215,
              0.86173,
              1.10444
            ],
            [
              0.55428,
              0.61693,
              0.66156,
              0.73572,
              0.8653,
              1.10802
            ],
            [
              0.55981,
              0.62247,
              0.66709,
              0.74125,
              0.87084,
              1.11357
            ],
            [
              0.56846,
              0.63113,
              0.67576,
              0.74993,
              0.8795,
              1.12221
            ],
            [
              0.58184,
              0.64451,
              0.68913,
              0.7633,
              0.89295,
              1.13562
            ],
            [
              0.60234,
              0.66502,
              0.70963,
              0.7838,
              0.91343,
              1.15613
            ],
            [
              0.63347,
              0.69616,
              0.74076,
              0.81493,
              0.94456,
              1.18716
            ],
            [
              0.67761,
              0.74034,
              0.78495,
              0.85915,
              0.98875,
              1.23125
            ],
            [
              0.73459,
              0.79749,
              0.84229,
              0.91659,
              1.04629,
              1.28879
            ],
            [
              0.80432,
              0.86732,
              0.91222,
              0.98682,
              1.11672,
              1.35922
            ],
            [
              0.88997,
              0.95177,
              0.99667,
              1.07167,
              1.20197,
              1.44457
            ],
            [
              0.9964,
              1.0568,
              1.1006,
              1.1752,
              1.3061,
              1.549
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.56727,
              0.6519,
              0.72483,
              0.86438,
              1.13727,
              1.67877
            ],
            [
              0.57047,
              0.6551,
              0.72802,
              0.86758,
              1.14044,
              1.68194
            ],
            [
              0.57427,
              0.6589,
              0.73183,
              0.87127,
              1.14422,
              1.68572
            ],
            [
              0.57998,
              0.66461,
              0.73752,
              0.87704,
              1.14987,
              1.69138
            ],
            [
              0.58851,
              0.67315,
              0.74606,
              0.8856,
              1.15841,
              1.69991
            ],
            [
              0.60166,
              0.6863,
              0.75921,
              0.89874,
              1.17162,
              1.71312
            ],
            [
              0.62108,
              0.70572,
              0.77864,
              0.91813,
              1.19103,
              1.73253
            ],
            [
              0.64807,
              0.73275,
              0.80568,
              0.94516,
              1.21816,
              1.75956
            ],
            [
              0.68337,
              0.76815,
              0.84115,
              0.98075,
              1.25375,
              1.79535
            ],
            [
              0.72899,
              0.81409,
              0.88709,
              1.02679,
              1.30009,
              1.84169
            ],
            [
              0.78742,
              0.87282,
              0.94592,
              1.08582,
              1.35952,
              1.90132
            ],
            [
              0.86097,
              0.94617,
              1.01927,
              1.15937,
              1.43327,
              1.97537
            ],
            [
              0.9494,
              1.0343,
              1.1071,
              1.2473,
              1.5217,
              2.064
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.05247,
              0.09898,
              0.13865,
              0.21324,
              0.36224,
              0.67183
            ],
            [
              0.05247,
              0.09897,
              0.13868,
              0.21338,
              0.36222,
              0.67162
            ],
            [
              0.05246,
              0.09898,
              0.13868,
              0.21333,
              0.36223,
              0.67173
            ],
            [
              0.05244,
              0.09898,
              0.13866,
              0.21334,
              0.36225,
              0.67193
            ],
            [
              0.05243,
              0.09898,
              0.13867,
              0.21328,
              0.36222,
              0.6718
            ],
            [
              0.05243,
              0.09897,
              0.13838,
              0.21311,
              0.36233,
              0.67201
            ],
            [
              0.05244,
              0.09896,
              0.13841,
              0.21332,
              0.36239,
              0.672
            ],
            [
              0.05244,
              0.09897,
              0.13841,
              0.21332,
              0.3627,
              0.672
            ],
            [
              0.05238,
              0.09897,
              0.13845,
              0.21341,
              0.3627,
              0.6717
            ],
            [
              0.0521,
              0.099,
              0.1386,
              0.2134,
              0.3624,
              0.6719
            ],
            [
              0.051,
              0.0988,
              0.139,
              0.2139,
              0.363,
              0.6719
            ],
            [
              0.0494,
              0.0975,
              0.1385,
              0.2145,
              0.3641,
              0.6712
            ],
            [
              0.0485,
              0.0954,
              0.1364,
              0.2137,
              0.3641,
              0.6722
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.06428,
              0.15638,
              0.24738,
              0.4318,
              0.80146,
              1.54667
            ],
            [
              0.06425,
              0.15638,
              0.24767,
              0.43147,
              0.80143,
              1.5469
            ],
            [
              0.06428,
              0.15638,
              0.24764,
              0.43135,
              0.803,
              1.5462
            ],
            [
              0.06426,
              0.15643,
              0.24746,
              0.43099,
              0.80236,
              1.547
            ],
            [
              0.06428,
              0.15642,
              0.24747,
              0.43098,
              0.80284,
              1.5479
            ],
            [
              0.06427,
              0.15642,
              0.24748,
              0.43104,
              0.80261,
              1.5475
            ],
            [
              0.06429,
              0.15638,
              0.24741,
              0.43134,
              0.80309,
              1.5464
            ],
            [
              0.06437,
              0.15645,
              0.24769,
              0.43141,
              0.8015,
              1.5459
            ],
            [
              0.0645,
              0.15652,
              0.24768,
              0.4317,
              0.8029,
              1.5476
            ],
            [
              0.0644,
              0.1564,
              0.2479,
              0.4321,
              0.8032,
              1.5486
            ],
            [
              0.0636,
              0.1561,
              0.2481,
              0.433,
              0.8042,
              1.5502
            ],
            [
              0.0625,
              0.1554,
              0.2477,
              0.4339,
              0.8056,
              1.5499
            ],
            [
              0.0617,
              0.1544,
              0.2471,
              0.4343,
              0.8075,
              1.551
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.54825,
              0.61596,
              0.66404,
              0.74361,
              0.88165,
              1.13777
            ],
            [
              0.55113,
              0.61885,
              0.66693,
              0.7465,
              0.88455,
              1.14074
            ],
            [
              0.55468,
              0.62241,
              0.67049,
              0.75007,
              0.88809,
              1.14422
            ],
            [
              0.56027,
              0.62799,
              0.67607,
              0.75567,
              0.89365,
              1.15018
            ],
            [
              0.56894,
              0.63667,
              0.68475,
              0.76435,
              0.90233,
              1.15881
            ],
            [
              0.58232,
              0.65005,
              0.69814,
              0.77773,
              0.91573,
              1.17202
            ],
            [
              0.60284,
              0.67057,
              0.71865,
              0.79826,
              0.93623,
              1.19273
            ],
            [
              0.63399,
              0.70172,
              0.7498,
              0.8294,
              0.96736,
              1.22376
            ],
            [
              0.67824,
              0.74601,
              0.79405,
              0.87375,
              1.01175,
              1.26825
            ],
            [
              0.73549,
              0.80339,
              0.85159,
              0.93129,
              1.06939,
              1.32579
            ],
            [
              0.80582,
              0.87362,
              0.92192,
              1.00192,
              1.14022,
              1.39672
            ],
            [
              0.89157,
              0.95787,
              1.00597,
              1.08627,
              1.22487,
              1.48147
            ],
            [
              0.9978,
              1.062,
              1.1087,
              1.1882,
              1.3272,
              1.5837
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.57213,
              0.65219,
              0.72077,
              0.85237,
              1.11097,
              1.62477
            ],
            [
              0.57534,
              0.6554,
              0.72398,
              0.85556,
              1.11414,
              1.62794
            ],
            [
              0.57916,
              0.65922,
              0.7278,
              0.8594,
              1.11792,
              1.63182
            ],
            [
              0.58486,
              0.66492,
              0.73357,
              0.86511,
              1.12357,
              1.63738
            ],
            [
              0.59348,
              0.67352,
              0.74216,
              0.87372,
              1.13221,
              1.64601
            ],
            [
              0.60655,
              0.68659,
              0.75524,
              0.88679,
              1.14522,
              1.65902
            ],
            [
              0.62602,
              0.70606,
              0.7747,
              0.90623,
              1.16473,
              1.67853
            ],
            [
              0.6533,
              0.7333,
              0.80194,
              0.93356,
              1.19206,
              1.70576
            ],
            [
              0.68947,
              0.76935,
              0.83805,
              0.96975,
              1.22835,
              1.74215
            ],
            [
              0.73609,
              0.81609,
              0.88489,
              1.01679,
              1.27539,
              1.78929
            ],
            [
              0.79502,
              0.87562,
              0.94472,
              1.07682,
              1.33562,
              1.84942
            ],
            [
              0.86807,
              0.94947,
              1.01877,
              1.15117,
              1.41007,
              1.92377
            ],
            [
              0.9566,
              1.038,
              1.1075,
              1.2402,
              1.4994,
              2.0131
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.05771,
              0.10808,
              0.1502,
              0.22967,
              0.38602,
              0.70877
            ],
            [
              0.05771,
              0.10807,
              0.1503,
              0.2296,
              0.3863,
              0.70884
            ],
            [
              0.05769,
              0.10808,
              0.15021,
              0.2297,
              0.38593,
              0.70867
            ],
            [
              0.05769,
              0.10808,
              0.15029,
              0.22995,
              0.38623,
              0.70828
            ],
            [
              0.05767,
              0.10809,
              0.15027,
              0.23019,
              0.38628,
              0.70773
            ],
            [
              0.05767,
              0.10808,
              0.15022,
              0.22977,
              0.38619,
              0.70862
            ],
            [
              0.05769,
              0.10809,
              0.1503,
              0.22971,
              0.38621,
              0.70875
            ],
            [
              0.05767,
              0.10808,
              0.15025,
              0.22953,
              0.38627,
              0.708
            ],
            [
              0.05761,
              0.10806,
              0.15033,
              0.23,
              0.3863,
              0.7089
            ],
            [
              0.0572,
              0.1079,
              0.1505,
              0.2294,
              0.3867,
              0.7079
            ],
            [
              0.0559,
              0.1076,
              0.1505,
              0.2304,
              0.3871,
              0.7092
            ],
            [
              0.0539,
              0.106,
              0.1498,
              0.2307,
              0.3872,
              0.709
            ],
            [
              0.0523,
              0.1025,
              0.1463,
              0.2285,
              0.3874,
              0.7087
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.05916,
              0.14689,
              0.23344,
              0.41036,
              0.76936,
              1.49437
            ],
            [
              0.05902,
              0.14679,
              0.23344,
              0.41042,
              0.77002,
              1.49264
            ],
            [
              0.05921,
              0.14685,
              0.23343,
              0.41038,
              0.76948,
              1.4944
            ],
            [
              0.05916,
              0.14693,
              0.23349,
              0.41103,
              0.76973,
              1.4939
            ],
            [
              0.05917,
              0.14694,
              0.23342,
              0.41105,
              0.76925,
              1.4938
            ],
            [
              0.05917,
              0.14693,
              0.23342,
              0.41109,
              0.77009,
              1.4938
            ],
            [
              0.05915,
              0.14693,
              0.23343,
              0.41104,
              0.76933,
              1.4939
            ],
            [
              0.05928,
              0.14691,
              0.23381,
              0.41109,
              0.7692,
              1.494
            ],
            [
              0.05964,
              0.14704,
              0.23358,
              0.4104,
              0.7701,
              1.4953
            ],
            [
              0.0606,
              0.1473,
              0.2337,
              0.4104,
              0.7697,
              1.4937
            ],
            [
              0.0615,
              0.1475,
              0.234,
              0.4108,
              0.7702,
              1.4928
            ],
            [
              0.0608,
              0.1474,
              0.2342,
              0.4111,
              0.7698,
              1.4928
            ],
            [
              0.0593,
              0.1465,
              0.2341,
              0.4115,
              0.7701,
              1.4925
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.52482,
              0.5861,
              0.63022,
              0.704,
              0.83334,
              1.07607
            ],
            [
              0.52663,
              0.58792,
              0.63205,
              0.70582,
              0.83517,
              1.07794
            ],
            [
              0.52939,
              0.59067,
              0.6348,
              0.70858,
              0.83793,
              1.08072
            ],
            [
              0.53421,
              0.5955,
              0.63962,
              0.71339,
              0.84288,
              1.08558
            ],
            [
              0.54231,
              0.60358,
              0.64769,
              0.72144,
              0.8509,
              1.09371
            ],
            [
              0.55523,
              0.61649,
              0.66058,
              0.73432,
              0.86374,
              1.10652
            ],
            [
              0.57552,
              0.63673,
              0.68081,
              0.75454,
              0.88402,
              1.12663
            ],
            [
              0.60677,
              0.66795,
              0.712,
              0.78572,
              0.91516,
              1.15786
            ],
            [
              0.65457,
              0.71574,
              0.75975,
              0.83345,
              0.96285,
              1.20545
            ],
            [
              0.72439,
              0.78549,
              0.82949,
              0.90319,
              1.03259,
              1.27529
            ],
            [
              0.82062,
              0.88182,
              0.92582,
              0.99952,
              1.12902,
              1.37162
            ],
            [
              0.95017,
              1.01167,
              1.05577,
              1.12957,
              1.25897,
              1.50157
            ],
            [
              1.1176,
              1.1824,
              1.2282,
              1.3036,
              1.4339,
              1.6769
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.46975,
              0.55474,
              0.6277,
              0.76733,
              1.04057,
              1.58227
            ],
            [
              0.47199,
              0.55698,
              0.62993,
              0.76955,
              1.04284,
              1.58454
            ],
            [
              0.47528,
              0.56026,
              0.63321,
              0.77283,
              1.04612,
              1.58782
            ],
            [
              0.48073,
              0.56568,
              0.63863,
              0.77822,
              1.05148,
              1.59318
            ],
            [
              0.48924,
              0.57418,
              0.64712,
              0.78666,
              1.05991,
              1.60171
            ],
            [
              0.50222,
              0.58714,
              0.66007,
              0.79967,
              1.07292,
              1.61462
            ],
            [
              0.52151,
              0.60638,
              0.67929,
              0.81886,
              1.09203,
              1.63373
            ],
            [
              0.55025,
              0.63505,
              0.70792,
              0.84746,
              1.12046,
              1.66226
            ],
            [
              0.59282,
              0.67752,
              0.75034,
              0.88985,
              1.16275,
              1.70445
            ],
            [
              0.65539,
              0.73979,
              0.81249,
              0.95169,
              1.22449,
              1.76619
            ],
            [
              0.73802,
              0.82252,
              0.89512,
              1.03402,
              1.30652,
              1.84802
            ],
            [
              0.83637,
              0.92147,
              0.99387,
              1.13237,
              1.40447,
              1.94587
            ],
            [
              0.9546,
              1.0408,
              1.1131,
              1.2513,
              1.5231,
              2.0642
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.05153,
              0.09826,
              0.1376,
              0.21233,
              0.36212,
              0.67201
            ],
            [
              0.05154,
              0.09825,
              0.1376,
              0.21281,
              0.36216,
              0.67205
            ],
            [
              0.05153,
              0.09825,
              0.13759,
              0.21279,
              0.36219,
              0.67207
            ],
            [
              0.05157,
              0.09844,
              0.13753,
              0.21282,
              0.36198,
              0.67155
            ],
            [
              0.05146,
              0.09823,
              0.13777,
              0.21254,
              0.36209,
              0.67191
            ],
            [
              0.05144,
              0.09825,
              0.13781,
              0.21256,
              0.36232,
              0.67202
            ],
            [
              0.05129,
              0.09822,
              0.1375,
              0.21235,
              0.36196,
              0.67202
            ],
            [
              0.05114,
              0.09811,
              0.13743,
              0.21267,
              0.36194,
              0.6721
            ],
            [
              0.05095,
              0.09824,
              0.13774,
              0.21223,
              0.3619,
              0.6719
            ],
            [
              0.0508,
              0.0982,
              0.1373,
              0.2122,
              0.3621,
              0.6712
            ],
            [
              0.051,
              0.0981,
              0.1374,
              0.2127,
              0.3618,
              0.672
            ],
            [
              0.0518,
              0.0985,
              0.1376,
              0.2126,
              0.3623,
              0.6718
            ],
            [
              0.056,
              0.103,
              0.1422,
              0.2164,
              0.364,
              0.6727
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.06537,
              0.15683,
              0.24806,
              0.43203,
              0.80237,
              1.55002
            ],
            [
              0.0653,
              0.15693,
              0.24806,
              0.43186,
              0.8039,
              1.54647
            ],
            [
              0.06531,
              0.15693,
              0.24805,
              0.43186,
              0.8031,
              1.54607
            ],
            [
              0.06534,
              0.1569,
              0.24801,
              0.4318,
              0.80283,
              1.54641
            ],
            [
              0.06533,
              0.15692,
              0.24797,
              0.43206,
              0.80268,
              1.54776
            ],
            [
              0.06531,
              0.15684,
              0.24801,
              0.43174,
              0.80208,
              1.54765
            ],
            [
              0.0653,
              0.15686,
              0.24785,
              0.43175,
              0.8022,
              1.5468
            ],
            [
              0.06529,
              0.15688,
              0.248,
              0.4315,
              0.80337,
              1.5482
            ],
            [
              0.06516,
              0.15685,
              0.24781,
              0.43216,
              0.8016,
              1.5452
            ],
            [
              0.06456,
              0.1568,
              0.2474,
              0.431,
              0.8013,
              1.5458
            ],
            [
              0.0632,
              0.1563,
              0.247,
              0.43,
              0.8002,
              1.5443
            ],
            [
              0.062,
              0.1555,
              0.2464,
              0.4294,
              0.8007,
              1.5442
            ],
            [
              0.0619,
              0.1548,
              0.2449,
              0.4282,
              0.7976,
              1.5425
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.52237,
              0.58865,
              0.63632,
              0.71584,
              0.85413,
              1.11077
            ],
            [
              0.52427,
              0.59053,
              0.63822,
              0.71771,
              0.85589,
              1.11264
            ],
            [
              0.52721,
              0.59347,
              0.64115,
              0.72064,
              0.85885,
              1.11572
            ],
            [
              0.53236,
              0.59857,
              0.64623,
              0.72572,
              0.86399,
              1.12078
            ],
            [
              0.54079,
              0.60697,
              0.65463,
              0.73409,
              0.87225,
              1.12911
            ],
            [
              0.55407,
              0.62016,
              0.66779,
              0.74725,
              0.88554,
              1.14232
            ],
            [
              0.5745,
              0.6405,
              0.6881,
              0.76754,
              0.90573,
              1.16253
            ],
            [
              0.60552,
              0.67141,
              0.71897,
              0.7984,
              0.93666,
              1.19356
            ],
            [
              0.65204,
              0.71779,
              0.76535,
              0.84475,
              0.98295,
              1.23955
            ],
            [
              0.72119,
              0.78689,
              0.83439,
              0.91379,
              1.05209,
              1.30889
            ],
            [
              0.81772,
              0.88342,
              0.93092,
              1.01032,
              1.14872,
              1.40552
            ],
            [
              0.93947,
              1.00567,
              1.05337,
              1.13307,
              1.27147,
              1.52847
            ],
            [
              1.0924,
              1.1593,
              1.2072,
              1.2871,
              1.4256,
              1.6824
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.47493,
              0.55505,
              0.62394,
              0.75579,
              1.01457,
              1.52847
            ],
            [
              0.47748,
              0.55761,
              0.6265,
              0.75837,
              1.01714,
              1.53104
            ],
            [
              0.48094,
              0.56109,
              0.62996,
              0.76186,
              1.02062,
              1.53452
            ],
            [
              0.48655,
              0.56668,
              0.63557,
              0.76745,
              1.02618,
              1.54008
            ],
            [
              0.49534,
              0.57545,
              0.64434,
              0.77621,
              1.03491,
              1.54881
            ],
            [
              0.50895,
              0.58902,
              0.65789,
              0.78976,
              1.04842,
              1.56242
            ],
            [
              0.52945,
              0.60947,
              0.6783,
              0.81016,
              1.06883,
              1.58283
            ],
            [
              0.55975,
              0.63969,
              0.7085,
              0.84036,
              1.09896,
              1.61296
            ],
            [
              0.60398,
              0.68385,
              0.75261,
              0.88445,
              1.14295,
              1.65695
            ],
            [
              0.66689,
              0.74679,
              0.81539,
              0.94709,
              1.20569,
              1.71969
            ],
            [
              0.74682,
              0.82682,
              0.89542,
              1.02692,
              1.28542,
              1.79922
            ],
            [
              0.84437,
              0.92487,
              0.99337,
              1.12467,
              1.38317,
              1.89687
            ],
            [
              0.9633,
              1.0471,
              1.1166,
              1.2487,
              1.507,
              2.0208
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.05881,
              0.10887,
              0.15072,
              0.23018,
              0.38653,
              0.70917
            ],
            [
              0.0588,
              0.10884,
              0.15088,
              0.22926,
              0.38631,
              0.70823
            ],
            [
              0.05879,
              0.10883,
              0.1506,
              0.22947,
              0.38627,
              0.70859
            ],
            [
              0.05874,
              0.10884,
              0.15064,
              0.22974,
              0.38633,
              0.7092
            ],
            [
              0.05862,
              0.10879,
              0.15055,
              0.22948,
              0.38618,
              0.70803
            ],
            [
              0.05852,
              0.10876,
              0.15055,
              0.22967,
              0.38642,
              0.70887
            ],
            [
              0.05842,
              0.10873,
              0.15047,
              0.22944,
              0.38611,
              0.70798
            ],
            [
              0.05821,
              0.1086,
              0.15049,
              0.23005,
              0.38618,
              0.709
            ],
            [
              0.05801,
              0.10858,
              0.15041,
              0.22962,
              0.3861,
              0.7085
            ],
            [
              0.0579,
              0.1087,
              0.1504,
              0.2291,
              0.3859,
              0.7091
            ],
            [
              0.0584,
              0.1091,
              0.1508,
              0.2293,
              0.3861,
              0.7091
            ],
            [
              0.0596,
              0.1094,
              0.1512,
              0.23,
              0.3866,
              0.7093
            ],
            [
              0.0593,
              0.1099,
              0.1517,
              0.231,
              0.3868,
              0.7092
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.06103,
              0.1474,
              0.23382,
              0.41072,
              0.77043,
              1.49429
            ],
            [
              0.06107,
              0.14744,
              0.23389,
              0.41067,
              0.76983,
              1.4949
            ],
            [
              0.06111,
              0.14736,
              0.234,
              0.41077,
              0.77023,
              1.49192
            ],
            [
              0.06106,
              0.14743,
              0.23387,
              0.41065,
              0.77051,
              1.49528
            ],
            [
              0.06102,
              0.14732,
              0.23388,
              0.41071,
              0.77057,
              1.49376
            ],
            [
              0.06095,
              0.14743,
              0.23395,
              0.41057,
              0.77014,
              1.494
            ],
            [
              0.06088,
              0.14746,
              0.2338,
              0.41057,
              0.76985,
              1.4927
            ],
            [
              0.06057,
              0.1473,
              0.23378,
              0.41042,
              0.76973,
              1.4927
            ],
            [
              0.06034,
              0.14716,
              0.23374,
              0.41052,
              0.7697,
              1.4942
            ],
            [
              0.0597,
              0.1472,
              0.2336,
              0.4105,
              0.7691,
              1.4923
            ],
            [
              0.059,
              0.1468,
              0.2336,
              0.4102,
              0.7695,
              1.4964
            ],
            [
              0.0589,
              0.1468,
              0.2333,
              0.4102,
              0.7697,
              1.4928
            ],
            [
              0.0613,
              0.1499,
              0.236,
              0.4123,
              0.7703,
              1.494
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.37632,
              0.45138,
              0.50253,
              0.58489,
              0.72473,
              0.98172
            ],
            [
              0.37948,
              0.45455,
              0.50571,
              0.58806,
              0.72789,
              0.98495
            ],
            [
              0.38336,
              0.45843,
              0.50967,
              0.59202,
              0.73185,
              0.98882
            ],
            [
              0.38938,
              0.46448,
              0.51565,
              0.59803,
              0.73786,
              0.99477
            ],
            [
              0.39841,
              0.47333,
              0.52451,
              0.60688,
              0.7467,
              1.00371
            ],
            [
              0.41205,
              0.48717,
              0.53837,
              0.62075,
              0.76034,
              1.01732
            ],
            [
              0.43261,
              0.50782,
              0.55902,
              0.64142,
              0.78126,
              1.03823
            ],
            [
              0.46433,
              0.53933,
              0.59057,
              0.67302,
              0.81288,
              1.06986
            ],
            [
              0.5117,
              0.58656,
              0.6378,
              0.72033,
              0.86015,
              1.11745
            ],
            [
              0.58226,
              0.65699,
              0.70829,
              0.79089,
              0.93089,
              1.18829
            ],
            [
              0.68582,
              0.76052,
              0.81192,
              0.89472,
              1.03492,
              1.29232
            ],
            [
              0.82757,
              0.90457,
              0.95647,
              1.03957,
              1.18007,
              1.43737
            ],
            [
              1.0075,
              1.0905,
              1.1452,
              1.2313,
              1.3739,
              1.6322
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.24877,
              0.33869,
              0.41465,
              0.55516,
              0.83093,
              1.37467
            ],
            [
              0.25207,
              0.342,
              0.41797,
              0.5585,
              0.83425,
              1.37804
            ],
            [
              0.25596,
              0.34591,
              0.42189,
              0.56245,
              0.83823,
              1.38202
            ],
            [
              0.26192,
              0.35184,
              0.42783,
              0.56841,
              0.84422,
              1.38818
            ],
            [
              0.27077,
              0.36071,
              0.43672,
              0.57733,
              0.85313,
              1.39691
            ],
            [
              0.28409,
              0.37401,
              0.45001,
              0.59065,
              0.86649,
              1.41032
            ],
            [
              0.30394,
              0.39384,
              0.46981,
              0.61047,
              0.88641,
              1.43053
            ],
            [
              0.33373,
              0.42356,
              0.49945,
              0.64009,
              0.91616,
              1.46036
            ],
            [
              0.37776,
              0.46738,
              0.54315,
              0.68372,
              0.95985,
              1.50425
            ],
            [
              0.43955,
              0.52913,
              0.60479,
              0.74529,
              1.02149,
              1.56599
            ],
            [
              0.52172,
              0.61272,
              0.68862,
              0.82902,
              1.10532,
              1.64982
            ],
            [
              0.62607,
              0.72067,
              0.79767,
              0.93857,
              1.21487,
              1.75977
            ],
            [
              0.7583,
              0.8583,
              0.9372,
              1.0793,
              1.356,
              1.901
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.06571,
              0.11611,
              0.15775,
              0.23557,
              0.39001,
              0.70979
            ],
            [
              0.0657,
              0.11607,
              0.15775,
              0.2363,
              0.39055,
              0.71075
            ],
            [
              0.0657,
              0.1161,
              0.15774,
              0.23554,
              0.39001,
              0.70972
            ],
            [
              0.0657,
              0.11606,
              0.15774,
              0.236,
              0.3903,
              0.70999
            ],
            [
              0.0657,
              0.11608,
              0.15783,
              0.23554,
              0.39062,
              0.71073
            ],
            [
              0.06571,
              0.11609,
              0.15783,
              0.23553,
              0.39,
              0.70976
            ],
            [
              0.06569,
              0.11607,
              0.15783,
              0.23626,
              0.39073,
              0.7106
            ],
            [
              0.06569,
              0.11611,
              0.15774,
              0.23547,
              0.38997,
              0.70983
            ],
            [
              0.0657,
              0.11625,
              0.15789,
              0.23547,
              0.39026,
              0.7108
            ],
            [
              0.06584,
              0.11644,
              0.15806,
              0.2355,
              0.3901,
              0.7102
            ],
            [
              0.0666,
              0.1171,
              0.1585,
              0.2359,
              0.3899,
              0.71
            ],
            [
              0.0716,
              0.1204,
              0.1607,
              0.237,
              0.3905,
              0.7104
            ],
            [
              0.0807,
              0.1301,
              0.17,
              0.2447,
              0.3953,
              0.7123
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.06296,
              0.1597,
              0.25076,
              0.43631,
              0.81214,
              1.56065
            ],
            [
              0.06292,
              0.1597,
              0.25076,
              0.43633,
              0.81197,
              1.56099
            ],
            [
              0.06294,
              0.15971,
              0.25077,
              0.43632,
              0.81209,
              1.56062
            ],
            [
              0.06295,
              0.15969,
              0.25078,
              0.43642,
              0.81217,
              1.55872
            ],
            [
              0.06296,
              0.15972,
              0.25077,
              0.43632,
              0.81196,
              1.5606
            ],
            [
              0.06294,
              0.15973,
              0.25078,
              0.43632,
              0.812,
              1.56063
            ],
            [
              0.06296,
              0.15974,
              0.25079,
              0.43633,
              0.81213,
              1.55942
            ],
            [
              0.06296,
              0.15987,
              0.25082,
              0.43638,
              0.81194,
              1.55942
            ],
            [
              0.06301,
              0.15993,
              0.2509,
              0.43648,
              0.812,
              1.5595
            ],
            [
              0.06345,
              0.16014,
              0.25101,
              0.43651,
              0.8122,
              1.5585
            ],
            [
              0.0659,
              0.1617,
              0.2519,
              0.4368,
              0.8122,
              1.5608
            ],
            [
              0.0704,
              0.1662,
              0.2553,
              0.4386,
              0.8122,
              1.5588
            ],
            [
              0.0773,
              0.1732,
              0.2612,
              0.4423,
              0.8137,
              1.559
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "positive_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.37744,
              0.45226,
              0.50327,
              0.58549,
              0.7252,
              0.98213
            ],
            [
              0.38059,
              0.45543,
              0.50645,
              0.58867,
              0.72838,
              0.9853
            ],
            [
              0.38447,
              0.45931,
              0.5104,
              0.59262,
              0.73233,
              0.98912
            ],
            [
              0.3905,
              0.46536,
              0.5164,
              0.59864,
              0.73833,
              0.99547
            ],
            [
              0.39952,
              0.47421,
              0.52526,
              0.60749,
              0.74718,
              1.00411
            ],
            [
              0.41316,
              0.48805,
              0.53911,
              0.62111,
              0.76081,
              1.01762
            ],
            [
              0.43371,
              0.50869,
              0.55976,
              0.64202,
              0.78173,
              1.03863
            ],
            [
              0.46542,
              0.54019,
              0.59128,
              0.6736,
              0.81334,
              1.07026
            ],
            [
              0.51276,
              0.58736,
              0.63848,
              0.72085,
              0.86065,
              1.11775
            ],
            [
              0.58323,
              0.65769,
              0.70889,
              0.79139,
              0.93129,
              1.18859
            ],
            [
              0.68662,
              0.76112,
              0.81232,
              0.89492,
              1.03502,
              1.29252
            ],
            [
              0.82817,
              0.90487,
              0.95657,
              1.03957,
              1.17997,
              1.43727
            ],
            [
              1.0078,
              1.0905,
              1.1451,
              1.231,
              1.3736,
              1.6319
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.24845,
              0.33847,
              0.41449,
              0.55497,
              0.83069,
              1.37447
            ],
            [
              0.25175,
              0.34177,
              0.41781,
              0.5583,
              0.83403,
              1.37784
            ],
            [
              0.25564,
              0.34568,
              0.42173,
              0.56225,
              0.83798,
              1.38182
            ],
            [
              0.26159,
              0.35162,
              0.42767,
              0.5682,
              0.84396,
              1.38787
            ],
            [
              0.27045,
              0.36047,
              0.43655,
              0.57713,
              0.8529,
              1.39661
            ],
            [
              0.28376,
              0.37377,
              0.44984,
              0.59045,
              0.86627,
              1.41002
            ],
            [
              0.30361,
              0.39359,
              0.46964,
              0.61025,
              0.8861,
              1.42993
            ],
            [
              0.3334,
              0.42329,
              0.49927,
              0.63986,
              0.91576,
              1.45976
            ],
            [
              0.37741,
              0.4671,
              0.54294,
              0.68347,
              0.95955,
              1.50365
            ],
            [
              0.43923,
              0.52887,
              0.6046,
              0.74509,
              1.02119,
              1.56579
            ],
            [
              0.52132,
              0.61252,
              0.68832,
              0.82872,
              1.10492,
              1.64992
            ],
            [
              0.62577,
              0.72047,
              0.79747,
              0.93837,
              1.21457,
              1.75957
            ],
            [
              0.7577,
              0.8581,
              0.9368,
              1.0791,
              1.3558,
              1.9008
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.06546,
              0.11576,
              0.1574,
              0.23504,
              0.38975,
              0.70996
            ],
            [
              0.06547,
              0.11575,
              0.15738,
              0.23505,
              0.38976,
              0.70995
            ],
            [
              0.06547,
              0.11576,
              0.15736,
              0.23514,
              0.38992,
              0.71021
            ],
            [
              0.06547,
              0.11574,
              0.15736,
              0.23518,
              0.39034,
              0.70965
            ],
            [
              0.06547,
              0.11577,
              0.15735,
              0.23503,
              0.38975,
              0.70994
            ],
            [
              0.06547,
              0.11574,
              0.15735,
              0.23505,
              0.39009,
              0.71003
            ],
            [
              0.06546,
              0.11577,
              0.15737,
              0.23503,
              0.38968,
              0.70992
            ],
            [
              0.06544,
              0.11577,
              0.15736,
              0.23502,
              0.38969,
              0.70992
            ],
            [
              0.06546,
              0.11588,
              0.15753,
              0.23589,
              0.39017,
              0.7107
            ],
            [
              0.06561,
              0.11611,
              0.15772,
              0.2352,
              0.3896,
              0.7098
            ],
            [
              0.0663,
              0.1167,
              0.1581,
              0.2355,
              0.39,
              0.7104
            ],
            [
              0.0713,
              0.12,
              0.1603,
              0.2366,
              0.3904,
              0.7104
            ],
            [
              0.0802,
              0.1297,
              0.1696,
              0.2444,
              0.3952,
              0.7125
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00594,
            0.01187,
            0.02374,
            0.04748,
            0.09495
          ],
          "values": [
            [
              0.06301,
              0.15989,
              0.25084,
              0.43631,
              0.8121,
              1.5591
            ],
            [
              0.063,
              0.15988,
              0.25084,
              0.43628,
              0.81213,
              1.55914
            ],
            [
              0.06303,
              0.1599,
              0.25084,
              0.43631,
              0.81216,
              1.55907
            ],
            [
              0.06301,
              0.15993,
              0.25083,
              0.43634,
              0.81214,
              1.55857
            ],
            [
              0.06298,
              0.15989,
              0.25084,
              0.4363,
              0.81213,
              1.56035
            ],
            [
              0.06298,
              0.1599,
              0.25085,
              0.43628,
              0.81207,
              1.55919
            ],
            [
              0.063,
              0.15988,
              0.25086,
              0.4363,
              0.81191,
              1.56108
            ],
            [
              0.063,
              0.15992,
              0.2509,
              0.43631,
              0.81193,
              1.56089
            ],
            [
              0.06301,
              0.15999,
              0.25097,
              0.43643,
              0.8121,
              1.5592
            ],
            [
              0.06348,
              0.16026,
              0.25109,
              0.43634,
              0.812,
              1.5588
            ],
            [
              0.066,
              0.162,
              0.252,
              0.4368,
              0.812,
              1.5591
            ],
            [
              0.0704,
              0.1663,
              0.2554,
              0.4385,
              0.8123,
              1.5594
            ],
            [
              0.0773,
              0.1733,
              0.2612,
              0.4423,
              0.8137,
              1.5591
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CI) | (!A&B&!CI) | (!A&!B&CI) | (A&B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.0739,
              0.06534,
              0.05658,
              0.03882,
              0.00305,
              -0.06876
            ],
            [
              0.07377,
              0.0652,
              0.05646,
              0.0387,
              0.00291,
              -0.06889
            ],
            [
              0.07364,
              0.06508,
              0.05632,
              0.03856,
              0.00278,
              -0.06902
            ],
            [
              0.0735,
              0.06493,
              0.05619,
              0.03843,
              0.00264,
              -0.06916
            ],
            [
              0.07335,
              0.06478,
              0.05603,
              0.03827,
              0.00249,
              -0.06932
            ],
            [
              0.07317,
              0.0646,
              0.05586,
              0.0381,
              0.0023,
              -0.06949
            ],
            [
              0.07296,
              0.0644,
              0.05566,
              0.03789,
              0.0021,
              -0.06969
            ],
            [
              0.07278,
              0.06421,
              0.05547,
              0.0377,
              0.00192,
              -0.06988
            ],
            [
              0.0726,
              0.06403,
              0.05527,
              0.03752,
              0.00174,
              -0.07006
            ],
            [
              0.07242,
              0.06387,
              0.05512,
              0.03736,
              0.00157,
              -0.07023
            ],
            [
              0.07237,
              0.06381,
              0.05506,
              0.03731,
              0.00151,
              -0.07028
            ],
            [
              0.07232,
              0.06377,
              0.05503,
              0.03728,
              0.00149,
              -0.07034
            ],
            [
              0.07248,
              0.06389,
              0.05518,
              0.03744,
              0.00165,
              -0.07017
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05197,
              0.06112,
              0.07014,
              0.08806,
              0.12381,
              0.19511
            ],
            [
              0.05194,
              0.06108,
              0.07011,
              0.08799,
              0.12374,
              0.19506
            ],
            [
              0.05189,
              0.06102,
              0.07006,
              0.08804,
              0.12365,
              0.19498
            ],
            [
              0.05172,
              0.06084,
              0.06986,
              0.08783,
              0.12349,
              0.19478
            ],
            [
              0.05154,
              0.06066,
              0.06968,
              0.08764,
              0.12327,
              0.19464
            ],
            [
              0.05129,
              0.06041,
              0.06945,
              0.0874,
              0.12305,
              0.19438
            ],
            [
              0.05104,
              0.06018,
              0.0692,
              0.08714,
              0.12274,
              0.19427
            ],
            [
              0.05075,
              0.05989,
              0.06891,
              0.08688,
              0.12249,
              0.1937
            ],
            [
              0.0504,
              0.05955,
              0.06856,
              0.08649,
              0.1221,
              0.19347
            ],
            [
              0.05005,
              0.05918,
              0.06823,
              0.08616,
              0.12178,
              0.19311
            ],
            [
              0.04973,
              0.0589,
              0.06791,
              0.08589,
              0.12148,
              0.19287
            ],
            [
              0.04952,
              0.05868,
              0.06773,
              0.08568,
              0.12132,
              0.19285
            ],
            [
              0.04968,
              0.05888,
              0.06789,
              0.08583,
              0.12156,
              0.19287
            ]
          ]
        },
        "when": "(!B&!CI) | (B&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.06374,
              0.07044,
              0.07686,
              0.08939,
              0.11418,
              0.16342
            ],
            [
              0.06369,
              0.07041,
              0.07683,
              0.08938,
              0.1141,
              0.16339
            ],
            [
              0.06366,
              0.07036,
              0.07678,
              0.08936,
              0.11411,
              0.16331
            ],
            [
              0.06349,
              0.07018,
              0.07664,
              0.08919,
              0.11391,
              0.16309
            ],
            [
              0.0633,
              0.07,
              0.07643,
              0.08901,
              0.1137,
              0.16287
            ],
            [
              0.06305,
              0.06974,
              0.07618,
              0.08876,
              0.1135,
              0.16264
            ],
            [
              0.06279,
              0.06948,
              0.07592,
              0.08852,
              0.11326,
              0.16247
            ],
            [
              0.0625,
              0.0692,
              0.07564,
              0.08819,
              0.11299,
              0.16209
            ],
            [
              0.06217,
              0.06886,
              0.07531,
              0.08788,
              0.11259,
              0.16175
            ],
            [
              0.06181,
              0.06852,
              0.07496,
              0.08751,
              0.11227,
              0.16139
            ],
            [
              0.06151,
              0.06823,
              0.07467,
              0.08724,
              0.11205,
              0.16128
            ],
            [
              0.06131,
              0.06803,
              0.07445,
              0.08709,
              0.11187,
              0.16111
            ],
            [
              0.06147,
              0.06823,
              0.07465,
              0.08727,
              0.11207,
              0.16126
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.08003,
              0.08958,
              0.0988,
              0.11688,
              0.15257,
              0.2238
            ],
            [
              0.07991,
              0.08944,
              0.0987,
              0.11676,
              0.15243,
              0.22364
            ],
            [
              0.07977,
              0.08933,
              0.09855,
              0.11662,
              0.15228,
              0.22354
            ],
            [
              0.07964,
              0.08918,
              0.0984,
              0.11652,
              0.15221,
              0.22337
            ],
            [
              0.07948,
              0.08901,
              0.09825,
              0.11632,
              0.152,
              0.22311
            ],
            [
              0.07931,
              0.08883,
              0.09808,
              0.11612,
              0.15191,
              0.22303
            ],
            [
              0.0791,
              0.08867,
              0.09789,
              0.11597,
              0.15165,
              0.22289
            ],
            [
              0.0789,
              0.08845,
              0.09768,
              0.11572,
              0.15145,
              0.2228
            ],
            [
              0.0787,
              0.08823,
              0.09751,
              0.11556,
              0.15123,
              0.22234
            ],
            [
              0.07853,
              0.08807,
              0.0973,
              0.11537,
              0.1511,
              0.22228
            ],
            [
              0.0785,
              0.0881,
              0.09735,
              0.11536,
              0.15118,
              0.22235
            ],
            [
              0.07857,
              0.08822,
              0.09743,
              0.11547,
              0.15131,
              0.22243
            ],
            [
              0.07888,
              0.08852,
              0.09776,
              0.11577,
              0.15154,
              0.22278
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.06284,
              0.05424,
              0.04547,
              0.02772,
              -0.00805,
              -0.07982
            ],
            [
              0.06277,
              0.05417,
              0.0454,
              0.02764,
              -0.00812,
              -0.0799
            ],
            [
              0.06269,
              0.05409,
              0.04532,
              0.02756,
              -0.0082,
              -0.07997
            ],
            [
              0.06258,
              0.05397,
              0.04521,
              0.02745,
              -0.00831,
              -0.08009
            ],
            [
              0.06246,
              0.05387,
              0.04511,
              0.02735,
              -0.00841,
              -0.08018
            ],
            [
              0.06237,
              0.05377,
              0.04501,
              0.02725,
              -0.00853,
              -0.08029
            ],
            [
              0.0623,
              0.05369,
              0.04493,
              0.02717,
              -0.00859,
              -0.08037
            ],
            [
              0.06229,
              0.05368,
              0.0449,
              0.02715,
              -0.00861,
              -0.08038
            ],
            [
              0.06242,
              0.05381,
              0.04504,
              0.02728,
              -0.00849,
              -0.08025
            ],
            [
              0.06271,
              0.05409,
              0.04532,
              0.02756,
              -0.00821,
              -0.07997
            ],
            [
              0.06309,
              0.05448,
              0.04571,
              0.02795,
              -0.00782,
              -0.07959
            ],
            [
              0.06361,
              0.055,
              0.04623,
              0.02847,
              -0.00731,
              -0.07907
            ],
            [
              0.06421,
              0.05561,
              0.04685,
              0.02908,
              -0.00669,
              -0.07847
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.03475,
              0.04391,
              0.05293,
              0.07089,
              0.10655,
              0.17784
            ],
            [
              0.03473,
              0.04385,
              0.0529,
              0.07086,
              0.10647,
              0.17794
            ],
            [
              0.0347,
              0.04382,
              0.05286,
              0.07079,
              0.10642,
              0.17772
            ],
            [
              0.03468,
              0.04382,
              0.05285,
              0.07079,
              0.10643,
              0.17775
            ],
            [
              0.03466,
              0.0438,
              0.05284,
              0.07077,
              0.10643,
              0.1778
            ],
            [
              0.03471,
              0.04386,
              0.05287,
              0.07082,
              0.10643,
              0.17779
            ],
            [
              0.03486,
              0.04401,
              0.05304,
              0.07094,
              0.10667,
              0.1779
            ],
            [
              0.03507,
              0.04421,
              0.05323,
              0.07119,
              0.10683,
              0.1782
            ],
            [
              0.03542,
              0.04454,
              0.05356,
              0.07152,
              0.10718,
              0.17851
            ],
            [
              0.03598,
              0.0451,
              0.05413,
              0.07207,
              0.1077,
              0.17906
            ],
            [
              0.03675,
              0.04589,
              0.0549,
              0.07282,
              0.10849,
              0.17982
            ],
            [
              0.03771,
              0.04684,
              0.05586,
              0.07378,
              0.10947,
              0.18078
            ],
            [
              0.03904,
              0.04817,
              0.05715,
              0.07506,
              0.11068,
              0.182
            ]
          ]
        },
        "when": "(!A&!CI) | (A&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04772,
              0.05446,
              0.06093,
              0.07351,
              0.09821,
              0.14742
            ],
            [
              0.0477,
              0.05444,
              0.0609,
              0.07348,
              0.09816,
              0.14726
            ],
            [
              0.04766,
              0.05441,
              0.06089,
              0.07347,
              0.09813,
              0.14727
            ],
            [
              0.04767,
              0.05438,
              0.06084,
              0.07344,
              0.0982,
              0.14736
            ],
            [
              0.04765,
              0.05437,
              0.06085,
              0.07344,
              0.09823,
              0.14724
            ],
            [
              0.04764,
              0.05436,
              0.06085,
              0.07341,
              0.09813,
              0.14747
            ],
            [
              0.04765,
              0.05438,
              0.06081,
              0.07346,
              0.09812,
              0.14741
            ],
            [
              0.04764,
              0.05435,
              0.06082,
              0.07339,
              0.09811,
              0.14719
            ],
            [
              0.04761,
              0.05432,
              0.06078,
              0.07336,
              0.0981,
              0.14721
            ],
            [
              0.04767,
              0.0544,
              0.06088,
              0.07345,
              0.09815,
              0.14736
            ],
            [
              0.04791,
              0.05462,
              0.0611,
              0.07369,
              0.09843,
              0.14748
            ],
            [
              0.04832,
              0.05507,
              0.06151,
              0.07409,
              0.09881,
              0.14805
            ],
            [
              0.04906,
              0.05579,
              0.06217,
              0.0747,
              0.0994,
              0.14872
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.06913,
              0.07854,
              0.08771,
              0.1058,
              0.14151,
              0.21261
            ],
            [
              0.06906,
              0.07846,
              0.08763,
              0.10568,
              0.14146,
              0.21275
            ],
            [
              0.06898,
              0.07838,
              0.08756,
              0.10561,
              0.14143,
              0.21257
            ],
            [
              0.06889,
              0.07831,
              0.08747,
              0.10552,
              0.14127,
              0.21239
            ],
            [
              0.06877,
              0.07819,
              0.08735,
              0.10539,
              0.14115,
              0.21231
            ],
            [
              0.06864,
              0.07805,
              0.0872,
              0.10525,
              0.14114,
              0.21218
            ],
            [
              0.06853,
              0.07794,
              0.08708,
              0.10515,
              0.1409,
              0.21206
            ],
            [
              0.06842,
              0.07782,
              0.08701,
              0.10505,
              0.14076,
              0.21203
            ],
            [
              0.06838,
              0.07779,
              0.08696,
              0.105,
              0.14076,
              0.21189
            ],
            [
              0.06838,
              0.07776,
              0.08692,
              0.10498,
              0.14072,
              0.21188
            ],
            [
              0.06843,
              0.0778,
              0.08695,
              0.10502,
              0.14074,
              0.21184
            ],
            [
              0.06862,
              0.07799,
              0.08713,
              0.10516,
              0.14091,
              0.21212
            ],
            [
              0.06894,
              0.07828,
              0.08741,
              0.1055,
              0.14125,
              0.21252
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.03813,
              0.02926,
              0.02034,
              0.0024,
              -0.03352,
              -0.10541
            ],
            [
              0.03806,
              0.02919,
              0.02028,
              0.00234,
              -0.03358,
              -0.10547
            ],
            [
              0.03804,
              0.02916,
              0.02025,
              0.00231,
              -0.03361,
              -0.1055
            ],
            [
              0.03801,
              0.02914,
              0.02021,
              0.00228,
              -0.03364,
              -0.10553
            ],
            [
              0.03796,
              0.02906,
              0.02015,
              0.00222,
              -0.0337,
              -0.10559
            ],
            [
              0.03789,
              0.029,
              0.02008,
              0.00215,
              -0.03376,
              -0.10565
            ],
            [
              0.03781,
              0.02893,
              0.02002,
              0.00209,
              -0.03382,
              -0.10571
            ],
            [
              0.03775,
              0.02886,
              0.01995,
              0.00204,
              -0.03387,
              -0.10576
            ],
            [
              0.03765,
              0.02875,
              0.01984,
              0.00193,
              -0.03397,
              -0.10585
            ],
            [
              0.03751,
              0.02863,
              0.01973,
              0.00184,
              -0.03405,
              -0.10593
            ],
            [
              0.03742,
              0.02851,
              0.01961,
              0.00172,
              -0.03415,
              -0.10601
            ],
            [
              0.03743,
              0.02849,
              0.01957,
              0.0017,
              -0.03416,
              -0.10601
            ],
            [
              0.03755,
              0.02853,
              0.01962,
              0.00175,
              -0.0341,
              -0.10594
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.02627,
              0.03533,
              0.04416,
              0.06178,
              0.09704,
              0.1681
            ],
            [
              0.02619,
              0.03524,
              0.04408,
              0.06169,
              0.09705,
              0.16787
            ],
            [
              0.0262,
              0.03525,
              0.04407,
              0.06169,
              0.09703,
              0.16813
            ],
            [
              0.02613,
              0.03519,
              0.04402,
              0.06161,
              0.09699,
              0.1679
            ],
            [
              0.02611,
              0.03514,
              0.04397,
              0.06159,
              0.09696,
              0.16777
            ],
            [
              0.02603,
              0.03508,
              0.04392,
              0.06154,
              0.0969,
              0.16781
            ],
            [
              0.02594,
              0.03498,
              0.04384,
              0.06147,
              0.0969,
              0.1678
            ],
            [
              0.02581,
              0.03485,
              0.04372,
              0.06136,
              0.09684,
              0.16776
            ],
            [
              0.02567,
              0.0347,
              0.04357,
              0.06126,
              0.09669,
              0.16758
            ],
            [
              0.02552,
              0.03456,
              0.04345,
              0.06114,
              0.09656,
              0.16758
            ],
            [
              0.0254,
              0.03445,
              0.04334,
              0.06103,
              0.09653,
              0.16781
            ],
            [
              0.02538,
              0.03441,
              0.04328,
              0.06107,
              0.09649,
              0.16755
            ],
            [
              0.02535,
              0.03439,
              0.04335,
              0.06104,
              0.0965,
              0.16753
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04032,
              0.04731,
              0.05396,
              0.06666,
              0.09145,
              0.14081
            ],
            [
              0.04025,
              0.04724,
              0.05389,
              0.0666,
              0.09143,
              0.14064
            ],
            [
              0.04024,
              0.04723,
              0.05388,
              0.06659,
              0.09138,
              0.14066
            ],
            [
              0.0402,
              0.04719,
              0.05385,
              0.06656,
              0.09138,
              0.14069
            ],
            [
              0.04017,
              0.04715,
              0.05381,
              0.06652,
              0.09136,
              0.14046
            ],
            [
              0.0401,
              0.04708,
              0.05373,
              0.06645,
              0.09129,
              0.14062
            ],
            [
              0.03996,
              0.04694,
              0.05359,
              0.06631,
              0.09116,
              0.1403
            ],
            [
              0.03977,
              0.04674,
              0.05339,
              0.06611,
              0.09103,
              0.14012
            ],
            [
              0.03955,
              0.04649,
              0.05312,
              0.06584,
              0.09072,
              0.13995
            ],
            [
              0.0393,
              0.04621,
              0.05283,
              0.06552,
              0.09038,
              0.13976
            ],
            [
              0.03907,
              0.04595,
              0.05254,
              0.06524,
              0.09011,
              0.13936
            ],
            [
              0.03893,
              0.04578,
              0.05236,
              0.06502,
              0.08988,
              0.13919
            ],
            [
              0.0388,
              0.04561,
              0.05215,
              0.06479,
              0.08973,
              0.13916
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04663,
              0.05647,
              0.06582,
              0.084,
              0.11983,
              0.19092
            ],
            [
              0.04657,
              0.05641,
              0.06576,
              0.08396,
              0.11978,
              0.19086
            ],
            [
              0.04655,
              0.05641,
              0.06574,
              0.08391,
              0.11976,
              0.1911
            ],
            [
              0.04653,
              0.05638,
              0.06573,
              0.08392,
              0.11975,
              0.19083
            ],
            [
              0.0465,
              0.0563,
              0.06565,
              0.08387,
              0.11972,
              0.19084
            ],
            [
              0.04643,
              0.05627,
              0.0656,
              0.08383,
              0.11963,
              0.19071
            ],
            [
              0.04633,
              0.05618,
              0.06553,
              0.08372,
              0.1196,
              0.19079
            ],
            [
              0.04629,
              0.05608,
              0.06543,
              0.08365,
              0.11949,
              0.1907
            ],
            [
              0.04614,
              0.05592,
              0.06527,
              0.08346,
              0.11941,
              0.19046
            ],
            [
              0.04595,
              0.05569,
              0.06502,
              0.08325,
              0.11909,
              0.1904
            ],
            [
              0.04576,
              0.05545,
              0.06472,
              0.083,
              0.11884,
              0.19011
            ],
            [
              0.04565,
              0.05526,
              0.06456,
              0.08268,
              0.11867,
              0.19015
            ],
            [
              0.04564,
              0.05514,
              0.06436,
              0.08264,
              0.11848,
              0.18989
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.07185,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.57558,
              0.66039,
              0.71559,
              0.8058,
              0.96211,
              1.25277
            ],
            [
              0.5785,
              0.66331,
              0.71851,
              0.80873,
              0.96503,
              1.25574
            ],
            [
              0.5821,
              0.66691,
              0.7221,
              0.81232,
              0.96862,
              1.25932
            ],
            [
              0.58771,
              0.67253,
              0.72772,
              0.81795,
              0.97418,
              1.26497
            ],
            [
              0.59646,
              0.68127,
              0.73646,
              0.82669,
              0.98301,
              1.27371
            ],
            [
              0.60985,
              0.69466,
              0.74984,
              0.84008,
              0.99632,
              1.28712
            ],
            [
              0.63033,
              0.71515,
              0.77033,
              0.86057,
              1.01683,
              1.30763
            ],
            [
              0.66151,
              0.7463,
              0.80149,
              0.89176,
              1.04796,
              1.33886
            ],
            [
              0.70613,
              0.79095,
              0.84615,
              0.93635,
              1.09255,
              1.38345
            ],
            [
              0.76509,
              0.84979,
              0.90499,
              0.99529,
              1.15139,
              1.44229
            ],
            [
              0.83842,
              0.92302,
              0.97812,
              1.06822,
              1.22432,
              1.51512
            ],
            [
              0.92607,
              1.01037,
              1.06517,
              1.15507,
              1.31097,
              1.60177
            ],
            [
              1.0324,
              1.116,
              1.1705,
              1.2598,
              1.4149,
              1.7051
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.57276,
              0.66567,
              0.73709,
              0.87153,
              1.13587,
              1.66207
            ],
            [
              0.57596,
              0.66887,
              0.7403,
              0.87474,
              1.13904,
              1.66534
            ],
            [
              0.57978,
              0.67269,
              0.74408,
              0.87848,
              1.14272,
              1.66902
            ],
            [
              0.58549,
              0.67839,
              0.74982,
              0.88431,
              1.14858,
              1.67448
            ],
            [
              0.59406,
              0.68696,
              0.75839,
              0.89286,
              1.15721,
              1.68261
            ],
            [
              0.60721,
              0.70012,
              0.77155,
              0.90601,
              1.17032,
              1.69632
            ],
            [
              0.62666,
              0.71954,
              0.79088,
              0.92543,
              1.18933,
              1.71533
            ],
            [
              0.65383,
              0.74673,
              0.81814,
              0.95256,
              1.21686,
              1.74316
            ],
            [
              0.68969,
              0.78255,
              0.85405,
              0.98845,
              1.25285,
              1.77905
            ],
            [
              0.73639,
              0.82919,
              0.90059,
              1.03509,
              1.29919,
              1.82469
            ],
            [
              0.79672,
              0.88952,
              0.96092,
              1.09552,
              1.35982,
              1.88602
            ],
            [
              0.87247,
              0.96507,
              1.03647,
              1.17107,
              1.43517,
              1.96127
            ],
            [
              0.9642,
              1.0568,
              1.1283,
              1.2627,
              1.5266,
              2.053
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04857,
              0.1091,
              0.15719,
              0.24733,
              0.42555,
              0.79137
            ],
            [
              0.04856,
              0.10909,
              0.15719,
              0.24733,
              0.4256,
              0.79131
            ],
            [
              0.04855,
              0.10909,
              0.15719,
              0.24732,
              0.42549,
              0.7913
            ],
            [
              0.04855,
              0.10913,
              0.15719,
              0.24746,
              0.42533,
              0.79094
            ],
            [
              0.04855,
              0.10911,
              0.15719,
              0.24742,
              0.42532,
              0.79093
            ],
            [
              0.04855,
              0.10913,
              0.15719,
              0.24718,
              0.42535,
              0.79096
            ],
            [
              0.04856,
              0.10915,
              0.1572,
              0.24719,
              0.42548,
              0.7911
            ],
            [
              0.04853,
              0.10912,
              0.15723,
              0.24718,
              0.4255,
              0.792
            ],
            [
              0.04849,
              0.10904,
              0.1571,
              0.2472,
              0.4258,
              0.7924
            ],
            [
              0.0484,
              0.1092,
              0.1572,
              0.247,
              0.4255,
              0.792
            ],
            [
              0.0483,
              0.1087,
              0.1568,
              0.2469,
              0.4251,
              0.7912
            ],
            [
              0.0479,
              0.1081,
              0.156,
              0.2463,
              0.4246,
              0.7919
            ],
            [
              0.0475,
              0.1074,
              0.1553,
              0.2453,
              0.4235,
              0.7905
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04847,
              0.13539,
              0.22147,
              0.39956,
              0.76442,
              1.4988
            ],
            [
              0.04846,
              0.13541,
              0.22143,
              0.39963,
              0.76448,
              1.4991
            ],
            [
              0.0485,
              0.13564,
              0.22158,
              0.39949,
              0.76415,
              1.4993
            ],
            [
              0.04848,
              0.13543,
              0.22126,
              0.39963,
              0.76479,
              1.4993
            ],
            [
              0.04845,
              0.13543,
              0.22116,
              0.39971,
              0.76476,
              1.4999
            ],
            [
              0.04845,
              0.13543,
              0.22122,
              0.39966,
              0.76481,
              1.5005
            ],
            [
              0.0485,
              0.13564,
              0.22154,
              0.39909,
              0.76418,
              1.4994
            ],
            [
              0.04844,
              0.13536,
              0.22151,
              0.39958,
              0.7642,
              1.4991
            ],
            [
              0.04836,
              0.13535,
              0.22124,
              0.3996,
              0.7647,
              1.4991
            ],
            [
              0.0483,
              0.1356,
              0.2215,
              0.3991,
              0.7645,
              1.4992
            ],
            [
              0.0479,
              0.1353,
              0.2212,
              0.3997,
              0.7646,
              1.4989
            ],
            [
              0.0475,
              0.135,
              0.2215,
              0.3992,
              0.7638,
              1.4996
            ],
            [
              0.0471,
              0.1349,
              0.221,
              0.3988,
              0.7633,
              1.502
            ]
          ]
        },
        "sdf_cond": "(!B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.55783,
              0.65508,
              0.71673,
              0.81538,
              0.98422,
              1.29827
            ],
            [
              0.5612,
              0.65844,
              0.72009,
              0.81874,
              0.98754,
              1.30154
            ],
            [
              0.56515,
              0.6624,
              0.72404,
              0.82269,
              0.99152,
              1.30562
            ],
            [
              0.57103,
              0.66826,
              0.72991,
              0.82859,
              0.99728,
              1.31138
            ],
            [
              0.57973,
              0.67696,
              0.7386,
              0.83728,
              1.00601,
              1.31991
            ],
            [
              0.59289,
              0.69011,
              0.75176,
              0.85044,
              1.01912,
              1.33312
            ],
            [
              0.61236,
              0.70961,
              0.77125,
              0.86989,
              1.03873,
              1.35273
            ],
            [
              0.64168,
              0.73889,
              0.8005,
              0.89916,
              1.06786,
              1.38196
            ],
            [
              0.68506,
              0.78215,
              0.84375,
              0.94235,
              1.11105,
              1.42505
            ],
            [
              0.74689,
              0.84379,
              0.90529,
              1.00389,
              1.17259,
              1.48659
            ],
            [
              0.83192,
              0.92912,
              0.99052,
              1.08902,
              1.25792,
              1.57222
            ],
            [
              0.93877,
              1.03647,
              1.09797,
              1.19667,
              1.36577,
              1.67997
            ],
            [
              1.0622,
              1.1606,
              1.2225,
              1.3215,
              1.4908,
              1.8049
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.56483,
              0.65858,
              0.73106,
              0.86621,
              1.12997,
              1.65497
            ],
            [
              0.5679,
              0.66165,
              0.73414,
              0.86928,
              1.13304,
              1.65804
            ],
            [
              0.57164,
              0.66539,
              0.73788,
              0.87302,
              1.13672,
              1.66182
            ],
            [
              0.57742,
              0.67117,
              0.74365,
              0.87879,
              1.14258,
              1.66768
            ],
            [
              0.58632,
              0.68006,
              0.75253,
              0.88768,
              1.15141,
              1.67651
            ],
            [
              0.59987,
              0.6936,
              0.76607,
              0.9012,
              1.16502,
              1.69012
            ],
            [
              0.62043,
              0.71417,
              0.78664,
              0.92173,
              1.18553,
              1.71073
            ],
            [
              0.65159,
              0.74533,
              0.81779,
              0.95296,
              1.21666,
              1.74196
            ],
            [
              0.69743,
              0.79115,
              0.86365,
              0.99875,
              1.26255,
              1.78765
            ],
            [
              0.76309,
              0.85679,
              0.92929,
              1.06439,
              1.32819,
              1.85329
            ],
            [
              0.85482,
              0.94922,
              1.02182,
              1.15692,
              1.42082,
              1.94622
            ],
            [
              0.97997,
              1.07597,
              1.14877,
              1.28407,
              1.54797,
              2.07327
            ],
            [
              1.1449,
              1.2415,
              1.3145,
              1.4501,
              1.7143,
              2.2397
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05765,
              0.1226,
              0.17262,
              0.26754,
              0.45722,
              0.85018
            ],
            [
              0.05764,
              0.1226,
              0.17297,
              0.26753,
              0.45692,
              0.85029
            ],
            [
              0.05763,
              0.12258,
              0.17258,
              0.26668,
              0.45675,
              0.85012
            ],
            [
              0.05759,
              0.12264,
              0.17292,
              0.26676,
              0.45596,
              0.84928
            ],
            [
              0.05759,
              0.12263,
              0.17291,
              0.26673,
              0.45588,
              0.84971
            ],
            [
              0.05759,
              0.12263,
              0.17291,
              0.26679,
              0.45594,
              0.8496
            ],
            [
              0.05761,
              0.12256,
              0.17258,
              0.26668,
              0.45686,
              0.8502
            ],
            [
              0.05751,
              0.12248,
              0.17252,
              0.26655,
              0.4562,
              0.8488
            ],
            [
              0.05714,
              0.1222,
              0.17254,
              0.2663,
              0.4559,
              0.8491
            ],
            [
              0.0561,
              0.1215,
              0.1719,
              0.2659,
              0.456,
              0.8493
            ],
            [
              0.0544,
              0.1202,
              0.1709,
              0.2653,
              0.4556,
              0.8494
            ],
            [
              0.0536,
              0.1189,
              0.1696,
              0.2649,
              0.4555,
              0.8479
            ],
            [
              0.0537,
              0.1174,
              0.1685,
              0.2642,
              0.4554,
              0.8491
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04704,
              0.13704,
              0.22287,
              0.39938,
              0.76303,
              1.4932
            ],
            [
              0.04703,
              0.13704,
              0.22294,
              0.39979,
              0.76284,
              1.4934
            ],
            [
              0.04704,
              0.13702,
              0.22319,
              0.39962,
              0.76287,
              1.4937
            ],
            [
              0.04702,
              0.13681,
              0.22287,
              0.3992,
              0.76285,
              1.4929
            ],
            [
              0.04699,
              0.13682,
              0.22285,
              0.39944,
              0.76259,
              1.4945
            ],
            [
              0.04698,
              0.13687,
              0.22286,
              0.40029,
              0.76265,
              1.4937
            ],
            [
              0.04698,
              0.1369,
              0.22273,
              0.39933,
              0.76149,
              1.4955
            ],
            [
              0.04697,
              0.13691,
              0.2228,
              0.39931,
              0.7616,
              1.4934
            ],
            [
              0.04681,
              0.13694,
              0.2228,
              0.3992,
              0.7619,
              1.4937
            ],
            [
              0.0462,
              0.1366,
              0.2228,
              0.3995,
              0.7624,
              1.4946
            ],
            [
              0.045,
              0.1363,
              0.2226,
              0.3995,
              0.7625,
              1.4934
            ],
            [
              0.0467,
              0.1365,
              0.2225,
              0.3993,
              0.7611,
              1.4948
            ],
            [
              0.0502,
              0.1376,
              0.2235,
              0.401,
              0.7618,
              1.496
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "negative_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.52061,
              0.6104,
              0.66724,
              0.75858,
              0.91507,
              1.20537
            ],
            [
              0.52396,
              0.61375,
              0.67059,
              0.76193,
              0.9184,
              1.20864
            ],
            [
              0.52793,
              0.61772,
              0.67455,
              0.76589,
              0.92237,
              1.21272
            ],
            [
              0.5338,
              0.62358,
              0.68039,
              0.77173,
              0.92817,
              1.21878
            ],
            [
              0.54262,
              0.6324,
              0.6892,
              0.78054,
              0.93697,
              1.22761
            ],
            [
              0.55578,
              0.64556,
              0.70236,
              0.79369,
              0.95012,
              1.24072
            ],
            [
              0.57543,
              0.6652,
              0.72199,
              0.81333,
              0.96973,
              1.26043
            ],
            [
              0.60513,
              0.69482,
              0.75155,
              0.84286,
              0.99926,
              1.28986
            ],
            [
              0.64917,
              0.7385,
              0.79505,
              0.88635,
              1.04285,
              1.33345
            ],
            [
              0.71169,
              0.80019,
              0.85649,
              0.94759,
              1.10419,
              1.39459
            ],
            [
              0.79752,
              0.88472,
              0.94082,
              1.03182,
              1.18842,
              1.47902
            ],
            [
              0.90467,
              0.99147,
              1.04767,
              1.13877,
              1.29537,
              1.58657
            ],
            [
              1.0285,
              1.1165,
              1.1729,
              1.2643,
              1.4213,
              1.7126
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.57136,
              0.67027,
              0.74632,
              0.8892,
              1.16877,
              1.72427
            ],
            [
              0.57444,
              0.67334,
              0.7494,
              0.89227,
              1.17184,
              1.72734
            ],
            [
              0.57818,
              0.67708,
              0.75313,
              0.89601,
              1.17562,
              1.73112
            ],
            [
              0.58398,
              0.68288,
              0.75894,
              0.90182,
              1.18138,
              1.73687
            ],
            [
              0.59287,
              0.69177,
              0.76782,
              0.91071,
              1.19031,
              1.74581
            ],
            [
              0.60641,
              0.7053,
              0.78136,
              0.92423,
              1.20382,
              1.75932
            ],
            [
              0.62696,
              0.72587,
              0.80192,
              0.94483,
              1.22433,
              1.77993
            ],
            [
              0.65808,
              0.75697,
              0.83303,
              0.97586,
              1.25546,
              1.81096
            ],
            [
              0.70388,
              0.80275,
              0.87885,
              1.02165,
              1.30125,
              1.85685
            ],
            [
              0.76959,
              0.86849,
              0.94459,
              1.08729,
              1.36689,
              1.92229
            ],
            [
              0.86192,
              0.96132,
              1.03732,
              1.18002,
              1.45932,
              2.01482
            ],
            [
              0.98787,
              1.08857,
              1.16457,
              1.30697,
              1.58617,
              2.14137
            ],
            [
              1.1515,
              1.2535,
              1.3299,
              1.4725,
              1.7516,
              2.3071
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05255,
              0.11325,
              0.16008,
              0.24868,
              0.42426,
              0.79013
            ],
            [
              0.05255,
              0.11329,
              0.1601,
              0.24812,
              0.42437,
              0.78978
            ],
            [
              0.05257,
              0.11326,
              0.16007,
              0.24864,
              0.4243,
              0.79007
            ],
            [
              0.05257,
              0.11329,
              0.1604,
              0.24798,
              0.42448,
              0.78926
            ],
            [
              0.05257,
              0.11328,
              0.16034,
              0.24801,
              0.42441,
              0.78939
            ],
            [
              0.05258,
              0.11327,
              0.16035,
              0.248,
              0.42447,
              0.78925
            ],
            [
              0.05259,
              0.11326,
              0.16032,
              0.24799,
              0.42444,
              0.7893
            ],
            [
              0.05262,
              0.11311,
              0.16009,
              0.2479,
              0.42441,
              0.789
            ],
            [
              0.05273,
              0.11261,
              0.1595,
              0.2474,
              0.424,
              0.7904
            ],
            [
              0.0524,
              0.1117,
              0.1588,
              0.2471,
              0.4243,
              0.7901
            ],
            [
              0.0505,
              0.1101,
              0.1576,
              0.2461,
              0.4248,
              0.7892
            ],
            [
              0.0472,
              0.1085,
              0.1564,
              0.2463,
              0.4237,
              0.7899
            ],
            [
              0.0466,
              0.1078,
              0.1559,
              0.2457,
              0.4237,
              0.7896
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05054,
              0.1429,
              0.23208,
              0.41488,
              0.78786,
              1.5388
            ],
            [
              0.05053,
              0.14291,
              0.23192,
              0.41478,
              0.78785,
              1.5391
            ],
            [
              0.0505,
              0.14294,
              0.23207,
              0.41482,
              0.78859,
              1.5386
            ],
            [
              0.05051,
              0.14306,
              0.23213,
              0.41528,
              0.78764,
              1.5389
            ],
            [
              0.05047,
              0.14306,
              0.23213,
              0.41512,
              0.78719,
              1.5393
            ],
            [
              0.05046,
              0.14294,
              0.23206,
              0.41499,
              0.78756,
              1.5381
            ],
            [
              0.05048,
              0.14312,
              0.23209,
              0.41444,
              0.78811,
              1.5385
            ],
            [
              0.05046,
              0.14305,
              0.23213,
              0.41487,
              0.7874,
              1.5383
            ],
            [
              0.05037,
              0.14308,
              0.232,
              0.4151,
              0.7881,
              1.5386
            ],
            [
              0.0498,
              0.1427,
              0.2315,
              0.4144,
              0.7872,
              1.5384
            ],
            [
              0.0489,
              0.1418,
              0.2306,
              0.4131,
              0.7859,
              1.5375
            ],
            [
              0.0498,
              0.1402,
              0.2288,
              0.4113,
              0.7831,
              1.5345
            ],
            [
              0.052,
              0.1387,
              0.226,
              0.4075,
              0.7808,
              1.5318
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "negative_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.57635,
              0.66332,
              0.71888,
              0.80909,
              0.96464,
              1.25427
            ],
            [
              0.57932,
              0.66627,
              0.72186,
              0.81207,
              0.96763,
              1.25734
            ],
            [
              0.58289,
              0.66975,
              0.7254,
              0.81563,
              0.97115,
              1.26092
            ],
            [
              0.58852,
              0.67548,
              0.73106,
              0.82127,
              0.97688,
              1.26658
            ],
            [
              0.59726,
              0.68423,
              0.73979,
              0.83,
              0.98551,
              1.27521
            ],
            [
              0.61071,
              0.69753,
              0.75326,
              0.84347,
              0.99892,
              1.28902
            ],
            [
              0.63125,
              0.71809,
              0.77381,
              0.86401,
              1.01943,
              1.30953
            ],
            [
              0.66239,
              0.74934,
              0.80493,
              0.89516,
              1.05066,
              1.34046
            ],
            [
              0.70711,
              0.79405,
              0.84965,
              0.93985,
              1.09545,
              1.38505
            ],
            [
              0.76649,
              0.85339,
              0.90909,
              0.99929,
              1.15469,
              1.44479
            ],
            [
              0.84022,
              0.92702,
              0.98272,
              1.07282,
              1.22822,
              1.51822
            ],
            [
              0.92807,
              1.01467,
              1.07027,
              1.16037,
              1.31567,
              1.60577
            ],
            [
              1.0352,
              1.1212,
              1.1765,
              1.2663,
              1.4213,
              1.7111
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.56279,
              0.65712,
              0.72953,
              0.86449,
              1.12867,
              1.65577
            ],
            [
              0.56599,
              0.66033,
              0.73275,
              0.86768,
              1.13194,
              1.65674
            ],
            [
              0.56981,
              0.66413,
              0.73652,
              0.87154,
              1.13552,
              1.66222
            ],
            [
              0.57551,
              0.66983,
              0.74225,
              0.87735,
              1.14148,
              1.66758
            ],
            [
              0.58411,
              0.67844,
              0.75086,
              0.88596,
              1.15001,
              1.67621
            ],
            [
              0.59718,
              0.69151,
              0.76394,
              0.89901,
              1.16312,
              1.68932
            ],
            [
              0.61663,
              0.71094,
              0.78331,
              0.91843,
              1.18223,
              1.70893
            ],
            [
              0.64385,
              0.73817,
              0.81061,
              0.94556,
              1.20986,
              1.73496
            ],
            [
              0.67984,
              0.77415,
              0.84645,
              0.98165,
              1.24565,
              1.77125
            ],
            [
              0.72669,
              0.82089,
              0.89339,
              1.02839,
              1.29269,
              1.81879
            ],
            [
              0.78712,
              0.88122,
              0.95362,
              1.08862,
              1.35262,
              1.87902
            ],
            [
              0.86257,
              0.95657,
              1.02897,
              1.16407,
              1.42767,
              1.95457
            ],
            [
              0.9534,
              1.0472,
              1.1196,
              1.2545,
              1.5183,
              2.0441
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05029,
              0.1107,
              0.1583,
              0.24731,
              0.42499,
              0.79182
            ],
            [
              0.05025,
              0.11069,
              0.1582,
              0.24746,
              0.42523,
              0.79134
            ],
            [
              0.05025,
              0.11079,
              0.15848,
              0.24724,
              0.42482,
              0.79191
            ],
            [
              0.05025,
              0.11069,
              0.15818,
              0.24742,
              0.42538,
              0.79146
            ],
            [
              0.05028,
              0.1107,
              0.15832,
              0.24728,
              0.42502,
              0.79185
            ],
            [
              0.05023,
              0.11079,
              0.15829,
              0.24803,
              0.42462,
              0.79103
            ],
            [
              0.05023,
              0.1108,
              0.15856,
              0.24789,
              0.4246,
              0.7912
            ],
            [
              0.05024,
              0.11069,
              0.15822,
              0.2475,
              0.4251,
              0.7912
            ],
            [
              0.0503,
              0.1107,
              0.1582,
              0.2474,
              0.4252,
              0.7916
            ],
            [
              0.0501,
              0.1107,
              0.1584,
              0.247,
              0.4246,
              0.792
            ],
            [
              0.05,
              0.1106,
              0.1582,
              0.2478,
              0.4245,
              0.791
            ],
            [
              0.0498,
              0.1101,
              0.1576,
              0.2473,
              0.4242,
              0.7917
            ],
            [
              0.0494,
              0.1096,
              0.1572,
              0.2461,
              0.4235,
              0.7906
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.0489,
              0.13814,
              0.22423,
              0.40116,
              0.76458,
              1.4977
            ],
            [
              0.04888,
              0.13776,
              0.22419,
              0.40123,
              0.76483,
              1.4974
            ],
            [
              0.0489,
              0.13788,
              0.22423,
              0.40107,
              0.7641,
              1.502
            ],
            [
              0.04887,
              0.13788,
              0.22392,
              0.40147,
              0.76506,
              1.5025
            ],
            [
              0.04886,
              0.13787,
              0.22393,
              0.4014,
              0.76509,
              1.5022
            ],
            [
              0.04887,
              0.13787,
              0.22384,
              0.40144,
              0.76513,
              1.4995
            ],
            [
              0.0489,
              0.13785,
              0.22421,
              0.40085,
              0.76399,
              1.5019
            ],
            [
              0.04883,
              0.13784,
              0.22405,
              0.4013,
              0.7651,
              1.5004
            ],
            [
              0.04886,
              0.13781,
              0.22404,
              0.4011,
              0.7649,
              1.498
            ],
            [
              0.0487,
              0.1377,
              0.2238,
              0.4014,
              0.7651,
              1.4992
            ],
            [
              0.0483,
              0.1376,
              0.2239,
              0.401,
              0.7639,
              1.5021
            ],
            [
              0.048,
              0.1372,
              0.2237,
              0.4013,
              0.7643,
              1.497
            ],
            [
              0.0475,
              0.1371,
              0.2235,
              0.4002,
              0.7639,
              1.5013
            ]
          ]
        },
        "sdf_cond": "(B&CI)",
        "timing_sense": "positive_unate",
        "when": "(B&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.53773,
              0.62275,
              0.678,
              0.76822,
              0.92455,
              1.21547
            ],
            [
              0.53959,
              0.62461,
              0.67986,
              0.77007,
              0.92641,
              1.21724
            ],
            [
              0.54234,
              0.62723,
              0.68244,
              0.77281,
              0.92916,
              1.22002
            ],
            [
              0.5471,
              0.63199,
              0.68727,
              0.77761,
              0.93393,
              1.22478
            ],
            [
              0.55506,
              0.63996,
              0.69521,
              0.78553,
              0.94188,
              1.23251
            ],
            [
              0.56776,
              0.65267,
              0.70791,
              0.79823,
              0.95462,
              1.24522
            ],
            [
              0.58775,
              0.67276,
              0.7279,
              0.81828,
              0.97463,
              1.26553
            ],
            [
              0.61862,
              0.70352,
              0.75875,
              0.84916,
              1.00546,
              1.29646
            ],
            [
              0.66602,
              0.75092,
              0.80625,
              0.89655,
              1.05295,
              1.34385
            ],
            [
              0.73539,
              0.82039,
              0.87559,
              0.96589,
              1.12239,
              1.41309
            ],
            [
              0.83102,
              0.91602,
              0.97112,
              1.06152,
              1.21782,
              1.50872
            ],
            [
              0.95267,
              1.03757,
              1.09277,
              1.18307,
              1.33937,
              1.63007
            ],
            [
              1.0986,
              1.183,
              1.238,
              1.3281,
              1.484,
              1.775
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.47831,
              0.57175,
              0.64331,
              0.77783,
              1.04227,
              1.56857
            ],
            [
              0.48058,
              0.57402,
              0.64556,
              0.78009,
              1.04454,
              1.57064
            ],
            [
              0.48388,
              0.57732,
              0.64888,
              0.78344,
              1.04792,
              1.57372
            ],
            [
              0.48934,
              0.58276,
              0.65421,
              0.7888,
              1.05278,
              1.57958
            ],
            [
              0.4979,
              0.59135,
              0.66291,
              0.79745,
              1.06191,
              1.58781
            ],
            [
              0.51098,
              0.60444,
              0.676,
              0.81057,
              1.07502,
              1.60052
            ],
            [
              0.53059,
              0.62403,
              0.69552,
              0.83017,
              1.09433,
              1.62063
            ],
            [
              0.55991,
              0.65338,
              0.72495,
              0.85956,
              1.12396,
              1.65026
            ],
            [
              0.60349,
              0.69697,
              0.76845,
              0.90315,
              1.16745,
              1.69285
            ],
            [
              0.66689,
              0.76029,
              0.83189,
              0.96649,
              1.23069,
              1.75669
            ],
            [
              0.75162,
              0.84512,
              0.91652,
              1.05112,
              1.31522,
              1.84162
            ],
            [
              0.85227,
              0.94567,
              1.01707,
              1.15167,
              1.41567,
              1.94177
            ],
            [
              0.9742,
              1.0676,
              1.1391,
              1.2733,
              1.5376,
              2.0642
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04887,
              0.10951,
              0.1575,
              0.2483,
              0.42575,
              0.79113
            ],
            [
              0.04887,
              0.10951,
              0.15748,
              0.24832,
              0.42576,
              0.79104
            ],
            [
              0.04886,
              0.1095,
              0.15757,
              0.24758,
              0.42569,
              0.79117
            ],
            [
              0.04886,
              0.10951,
              0.15745,
              0.24749,
              0.42591,
              0.79205
            ],
            [
              0.04887,
              0.10948,
              0.15754,
              0.24762,
              0.42616,
              0.7925
            ],
            [
              0.04889,
              0.10949,
              0.15755,
              0.24764,
              0.42652,
              0.7924
            ],
            [
              0.0489,
              0.10956,
              0.15776,
              0.2473,
              0.42588,
              0.7919
            ],
            [
              0.04894,
              0.10958,
              0.15766,
              0.24753,
              0.4258,
              0.7917
            ],
            [
              0.04894,
              0.10955,
              0.15767,
              0.2475,
              0.4259,
              0.792
            ],
            [
              0.049,
              0.1096,
              0.1576,
              0.2477,
              0.4259,
              0.7917
            ],
            [
              0.049,
              0.1096,
              0.1578,
              0.2474,
              0.4259,
              0.7926
            ],
            [
              0.0486,
              0.1093,
              0.1573,
              0.2472,
              0.4259,
              0.7917
            ],
            [
              0.0483,
              0.1088,
              0.1567,
              0.2467,
              0.425,
              0.792
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04916,
              0.1359,
              0.22185,
              0.39983,
              0.76462,
              1.4991
            ],
            [
              0.04919,
              0.13592,
              0.2219,
              0.39984,
              0.76474,
              1.50007
            ],
            [
              0.04917,
              0.13594,
              0.22168,
              0.39992,
              0.7649,
              1.50003
            ],
            [
              0.04929,
              0.13615,
              0.22198,
              0.39939,
              0.7638,
              1.49875
            ],
            [
              0.04919,
              0.13594,
              0.22175,
              0.39989,
              0.76487,
              1.5
            ],
            [
              0.0492,
              0.13596,
              0.22163,
              0.39991,
              0.76489,
              1.4998
            ],
            [
              0.04924,
              0.13595,
              0.22199,
              0.39958,
              0.76458,
              1.4987
            ],
            [
              0.04921,
              0.136,
              0.22155,
              0.40001,
              0.76498,
              1.4986
            ],
            [
              0.04924,
              0.13599,
              0.22196,
              0.39979,
              0.765,
              1.4988
            ],
            [
              0.0494,
              0.136,
              0.2221,
              0.3998,
              0.7648,
              1.4984
            ],
            [
              0.0494,
              0.1361,
              0.2221,
              0.3995,
              0.7644,
              1.4985
            ],
            [
              0.0493,
              0.1361,
              0.2221,
              0.4,
              0.764,
              1.4999
            ],
            [
              0.0495,
              0.1361,
              0.2217,
              0.3993,
              0.7642,
              1.499
            ]
          ]
        },
        "sdf_cond": "(!A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.47613,
              0.57306,
              0.63461,
              0.73314,
              0.90179,
              1.21587
            ],
            [
              0.47793,
              0.57487,
              0.6364,
              0.73493,
              0.90354,
              1.21714
            ],
            [
              0.48072,
              0.57766,
              0.6392,
              0.73772,
              0.90634,
              1.22002
            ],
            [
              0.48542,
              0.58237,
              0.64392,
              0.74245,
              0.91112,
              1.22498
            ],
            [
              0.49285,
              0.58981,
              0.65134,
              0.74988,
              0.91851,
              1.23241
            ],
            [
              0.50425,
              0.60119,
              0.66276,
              0.7613,
              0.92992,
              1.24372
            ],
            [
              0.52122,
              0.61817,
              0.67971,
              0.77827,
              0.94693,
              1.26083
            ],
            [
              0.54658,
              0.64352,
              0.70508,
              0.80365,
              0.97226,
              1.28596
            ],
            [
              0.5834,
              0.68036,
              0.74195,
              0.84045,
              1.00915,
              1.32265
            ],
            [
              0.63169,
              0.72869,
              0.79029,
              0.88889,
              1.05749,
              1.37149
            ],
            [
              0.69252,
              0.78942,
              0.85112,
              0.94992,
              1.11862,
              1.43242
            ],
            [
              0.76807,
              0.86447,
              0.92637,
              1.02537,
              1.19407,
              1.50787
            ],
            [
              0.8614,
              0.9561,
              1.0178,
              1.1169,
              1.2855,
              1.5994
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.50023,
              0.59498,
              0.66779,
              0.80309,
              1.06667,
              1.59147
            ],
            [
              0.50219,
              0.59694,
              0.66974,
              0.80506,
              1.06864,
              1.59334
            ],
            [
              0.50485,
              0.5996,
              0.6724,
              0.80771,
              1.07122,
              1.59602
            ],
            [
              0.50926,
              0.60403,
              0.67683,
              0.81219,
              1.07567,
              1.60068
            ],
            [
              0.51653,
              0.61133,
              0.68419,
              0.81945,
              1.08301,
              1.60791
            ],
            [
              0.5282,
              0.62304,
              0.69588,
              0.83118,
              1.09472,
              1.61952
            ],
            [
              0.54672,
              0.64162,
              0.71447,
              0.84981,
              1.11333,
              1.63813
            ],
            [
              0.57558,
              0.67056,
              0.74343,
              0.87886,
              1.14236,
              1.66706
            ],
            [
              0.6203,
              0.71539,
              0.78835,
              0.92365,
              1.18725,
              1.71195
            ],
            [
              0.68789,
              0.78309,
              0.85599,
              0.99149,
              1.25499,
              1.77979
            ],
            [
              0.78852,
              0.88352,
              0.95642,
              1.09182,
              1.35532,
              1.88012
            ],
            [
              0.92897,
              1.02377,
              1.09657,
              1.23187,
              1.49557,
              2.02047
            ],
            [
              1.1068,
              1.2019,
              1.2748,
              1.4104,
              1.6743,
              2.1993
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05646,
              0.12166,
              0.17198,
              0.26602,
              0.45626,
              0.8494
            ],
            [
              0.05647,
              0.12162,
              0.17202,
              0.26587,
              0.45527,
              0.84987
            ],
            [
              0.0565,
              0.12165,
              0.17204,
              0.26585,
              0.45527,
              0.84995
            ],
            [
              0.0565,
              0.12169,
              0.17196,
              0.2668,
              0.45618,
              0.84874
            ],
            [
              0.05657,
              0.1217,
              0.17198,
              0.26692,
              0.45598,
              0.84914
            ],
            [
              0.05663,
              0.12179,
              0.17214,
              0.26611,
              0.45608,
              0.85008
            ],
            [
              0.0567,
              0.12182,
              0.17207,
              0.26621,
              0.45667,
              0.84991
            ],
            [
              0.05681,
              0.12196,
              0.17215,
              0.26633,
              0.45548,
              0.8495
            ],
            [
              0.057,
              0.12211,
              0.17217,
              0.26722,
              0.4566,
              0.8499
            ],
            [
              0.05697,
              0.1226,
              0.1728,
              0.2675,
              0.4563,
              0.85
            ],
            [
              0.0563,
              0.1227,
              0.1734,
              0.2673,
              0.4575,
              0.8491
            ],
            [
              0.0551,
              0.1229,
              0.1741,
              0.2681,
              0.4566,
              0.8506
            ],
            [
              0.0534,
              0.1219,
              0.1741,
              0.2688,
              0.4569,
              0.8502
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04862,
              0.13825,
              0.22364,
              0.39955,
              0.76176,
              1.49558
            ],
            [
              0.04862,
              0.13823,
              0.22365,
              0.40006,
              0.76187,
              1.4959
            ],
            [
              0.04862,
              0.13824,
              0.22366,
              0.39989,
              0.762,
              1.49382
            ],
            [
              0.04859,
              0.13817,
              0.22373,
              0.4002,
              0.76103,
              1.49427
            ],
            [
              0.04858,
              0.13831,
              0.22377,
              0.39993,
              0.76125,
              1.49352
            ],
            [
              0.04859,
              0.13824,
              0.22395,
              0.39993,
              0.76184,
              1.4974
            ],
            [
              0.0486,
              0.13834,
              0.22373,
              0.39987,
              0.76115,
              1.4961
            ],
            [
              0.04865,
              0.13841,
              0.2238,
              0.39964,
              0.76122,
              1.4942
            ],
            [
              0.04861,
              0.13858,
              0.22408,
              0.39969,
              0.7612,
              1.4931
            ],
            [
              0.0487,
              0.1387,
              0.224,
              0.3999,
              0.7613,
              1.4945
            ],
            [
              0.0487,
              0.1384,
              0.2239,
              0.4004,
              0.7618,
              1.4929
            ],
            [
              0.0491,
              0.1383,
              0.2237,
              0.4001,
              0.762,
              1.4945
            ],
            [
              0.0498,
              0.1386,
              0.2241,
              0.4004,
              0.762,
              1.4935
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "negative_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.45823,
              0.54635,
              0.60266,
              0.69369,
              0.85011,
              1.14077
            ],
            [
              0.46131,
              0.54941,
              0.60572,
              0.69673,
              0.85322,
              1.14394
            ],
            [
              0.46492,
              0.55301,
              0.60932,
              0.70035,
              0.85679,
              1.14722
            ],
            [
              0.47032,
              0.55844,
              0.61474,
              0.70576,
              0.86226,
              1.15298
            ],
            [
              0.47843,
              0.56656,
              0.62289,
              0.7139,
              0.87041,
              1.16121
            ],
            [
              0.49065,
              0.57886,
              0.63518,
              0.72623,
              0.88261,
              1.17322
            ],
            [
              0.50869,
              0.59702,
              0.65339,
              0.74442,
              0.90083,
              1.19133
            ],
            [
              0.53525,
              0.62377,
              0.68016,
              0.77123,
              0.92776,
              1.21796
            ],
            [
              0.57449,
              0.66328,
              0.71974,
              0.81085,
              0.96735,
              1.25795
            ],
            [
              0.62812,
              0.71739,
              0.77399,
              0.86519,
              1.02159,
              1.31189
            ],
            [
              0.69672,
              0.78662,
              0.84342,
              0.93472,
              1.09122,
              1.38182
            ],
            [
              0.77997,
              0.87047,
              0.92777,
              1.01947,
              1.17617,
              1.46667
            ],
            [
              0.8816,
              0.972,
              1.0295,
              1.1217,
              1.2784,
              1.569
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.51589,
              0.61448,
              0.69061,
              0.83377,
              1.11357,
              1.66917
            ],
            [
              0.51752,
              0.61611,
              0.69228,
              0.83537,
              1.11524,
              1.67074
            ],
            [
              0.51992,
              0.61851,
              0.69466,
              0.83779,
              1.11762,
              1.67322
            ],
            [
              0.52406,
              0.62267,
              0.69881,
              0.84198,
              1.12178,
              1.67738
            ],
            [
              0.53095,
              0.62957,
              0.70573,
              0.84889,
              1.12871,
              1.68441
            ],
            [
              0.54202,
              0.64066,
              0.71683,
              0.86002,
              1.13992,
              1.69552
            ],
            [
              0.55966,
              0.65832,
              0.73451,
              0.8777,
              1.15763,
              1.71333
            ],
            [
              0.5874,
              0.68608,
              0.76227,
              0.90556,
              1.18546,
              1.74116
            ],
            [
              0.63054,
              0.72923,
              0.80545,
              0.94875,
              1.22865,
              1.78445
            ],
            [
              0.69689,
              0.79559,
              0.87179,
              1.01509,
              1.29519,
              1.85079
            ],
            [
              0.79742,
              0.89602,
              0.97232,
              1.11552,
              1.39552,
              1.95122
            ],
            [
              0.93977,
              1.03847,
              1.11457,
              1.25767,
              1.53747,
              2.09307
            ],
            [
              1.1222,
              1.2213,
              1.2974,
              1.4404,
              1.72,
              2.2754
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05203,
              0.11121,
              0.15833,
              0.24672,
              0.42404,
              0.78916
            ],
            [
              0.05199,
              0.11119,
              0.15814,
              0.24685,
              0.42426,
              0.78978
            ],
            [
              0.052,
              0.11117,
              0.15818,
              0.24681,
              0.42367,
              0.78961
            ],
            [
              0.05199,
              0.1112,
              0.15807,
              0.24691,
              0.42458,
              0.78998
            ],
            [
              0.05203,
              0.1111,
              0.15818,
              0.2469,
              0.42447,
              0.79007
            ],
            [
              0.05211,
              0.11133,
              0.15829,
              0.2468,
              0.42396,
              0.78887
            ],
            [
              0.0523,
              0.11135,
              0.15836,
              0.24769,
              0.42386,
              0.78948
            ],
            [
              0.0524,
              0.1116,
              0.15871,
              0.24718,
              0.42405,
              0.7898
            ],
            [
              0.05259,
              0.11192,
              0.15883,
              0.24729,
              0.4242,
              0.7893
            ],
            [
              0.05273,
              0.1125,
              0.1593,
              0.2476,
              0.4244,
              0.7899
            ],
            [
              0.0528,
              0.1133,
              0.1601,
              0.2482,
              0.425,
              0.7899
            ],
            [
              0.0526,
              0.1146,
              0.1613,
              0.2491,
              0.426,
              0.7897
            ],
            [
              0.0519,
              0.115,
              0.1623,
              0.2501,
              0.4255,
              0.7898
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05053,
              0.1432,
              0.23259,
              0.41708,
              0.7892,
              1.54063
            ],
            [
              0.05054,
              0.1432,
              0.2327,
              0.41621,
              0.78984,
              1.54079
            ],
            [
              0.05049,
              0.14314,
              0.2327,
              0.41617,
              0.78951,
              1.54053
            ],
            [
              0.05056,
              0.14322,
              0.23272,
              0.41608,
              0.7911,
              1.5428
            ],
            [
              0.05056,
              0.14333,
              0.23269,
              0.41631,
              0.78964,
              1.5415
            ],
            [
              0.05055,
              0.14327,
              0.2329,
              0.41642,
              0.78985,
              1.5414
            ],
            [
              0.05063,
              0.14349,
              0.23316,
              0.41658,
              0.78999,
              1.5419
            ],
            [
              0.05061,
              0.14343,
              0.233,
              0.41675,
              0.78935,
              1.5425
            ],
            [
              0.05063,
              0.14345,
              0.23304,
              0.4169,
              0.7897,
              1.5414
            ],
            [
              0.0506,
              0.1435,
              0.2333,
              0.4168,
              0.7906,
              1.542
            ],
            [
              0.0506,
              0.1435,
              0.2331,
              0.4168,
              0.7901,
              1.5408
            ],
            [
              0.0507,
              0.1432,
              0.2326,
              0.4156,
              0.7904,
              1.5397
            ],
            [
              0.0503,
              0.1428,
              0.232,
              0.4147,
              0.7883,
              1.5389
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "negative_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.57732,
              0.66456,
              0.72029,
              0.8106,
              0.96631,
              1.25647
            ],
            [
              0.57912,
              0.66633,
              0.7221,
              0.81243,
              0.96811,
              1.25814
            ],
            [
              0.5818,
              0.66906,
              0.72483,
              0.81512,
              0.97073,
              1.26102
            ],
            [
              0.58647,
              0.67373,
              0.7295,
              0.81983,
              0.97547,
              1.26558
            ],
            [
              0.59427,
              0.6815,
              0.73727,
              0.82759,
              0.98321,
              1.27341
            ],
            [
              0.60662,
              0.69387,
              0.74965,
              0.83998,
              0.99562,
              1.28582
            ],
            [
              0.62613,
              0.71336,
              0.76915,
              0.85948,
              1.01513,
              1.30533
            ],
            [
              0.65654,
              0.7438,
              0.79957,
              0.88986,
              1.04556,
              1.33576
            ],
            [
              0.70375,
              0.79105,
              0.84675,
              0.93715,
              1.09285,
              1.38295
            ],
            [
              0.77579,
              0.86309,
              0.91889,
              1.00919,
              1.16489,
              1.45509
            ],
            [
              0.87902,
              0.96632,
              1.02212,
              1.11252,
              1.26812,
              1.55832
            ],
            [
              1.01397,
              1.10127,
              1.15697,
              1.24727,
              1.40287,
              1.69307
            ],
            [
              1.182,
              1.2691,
              1.3248,
              1.415,
              1.5705,
              1.8605
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.46495,
              0.55919,
              0.63157,
              0.76678,
              1.03077,
              1.55687
            ],
            [
              0.46753,
              0.56178,
              0.63422,
              0.76926,
              1.03364,
              1.55964
            ],
            [
              0.471,
              0.56525,
              0.63769,
              0.77273,
              1.03712,
              1.56312
            ],
            [
              0.47659,
              0.57085,
              0.64328,
              0.77833,
              1.04268,
              1.56878
            ],
            [
              0.48537,
              0.57962,
              0.65207,
              0.78708,
              1.05151,
              1.57661
            ],
            [
              0.49893,
              0.59317,
              0.66555,
              0.80076,
              1.06472,
              1.59082
            ],
            [
              0.51937,
              0.61361,
              0.68596,
              0.82118,
              1.08523,
              1.61093
            ],
            [
              0.54962,
              0.64388,
              0.71629,
              0.85136,
              1.11536,
              1.64216
            ],
            [
              0.59381,
              0.68807,
              0.76045,
              0.89565,
              1.15985,
              1.68605
            ],
            [
              0.65629,
              0.75059,
              0.82299,
              0.95799,
              1.22229,
              1.74839
            ],
            [
              0.73352,
              0.82772,
              0.90012,
              1.03522,
              1.29912,
              1.82472
            ],
            [
              0.82267,
              0.91687,
              0.98917,
              1.12407,
              1.38827,
              1.91377
            ],
            [
              0.928,
              1.0222,
              1.0945,
              1.2296,
              1.4931,
              2.0186
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05111,
              0.11159,
              0.15916,
              0.24766,
              0.42535,
              0.7921
            ],
            [
              0.05113,
              0.1116,
              0.15899,
              0.24865,
              0.42561,
              0.79093
            ],
            [
              0.05115,
              0.11167,
              0.15919,
              0.24843,
              0.42507,
              0.79189
            ],
            [
              0.05116,
              0.11161,
              0.159,
              0.24865,
              0.42543,
              0.79086
            ],
            [
              0.05114,
              0.11154,
              0.1593,
              0.24845,
              0.4251,
              0.79153
            ],
            [
              0.05118,
              0.11164,
              0.15929,
              0.24848,
              0.42512,
              0.79165
            ],
            [
              0.05118,
              0.11162,
              0.15906,
              0.24858,
              0.4249,
              0.7911
            ],
            [
              0.05121,
              0.11173,
              0.15924,
              0.24843,
              0.4251,
              0.792
            ],
            [
              0.05122,
              0.11161,
              0.1592,
              0.2479,
              0.4254,
              0.7923
            ],
            [
              0.0513,
              0.1117,
              0.1593,
              0.2479,
              0.4252,
              0.7921
            ],
            [
              0.0513,
              0.1117,
              0.1591,
              0.2486,
              0.4252,
              0.7919
            ],
            [
              0.0512,
              0.1117,
              0.1592,
              0.2484,
              0.4251,
              0.7918
            ],
            [
              0.0509,
              0.1116,
              0.1589,
              0.2478,
              0.4251,
              0.7908
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04876,
              0.13774,
              0.22401,
              0.40115,
              0.76483,
              1.50181
            ],
            [
              0.04863,
              0.13775,
              0.22383,
              0.40139,
              0.76511,
              1.49863
            ],
            [
              0.04863,
              0.13775,
              0.22383,
              0.4014,
              0.76512,
              1.49874
            ],
            [
              0.04865,
              0.13775,
              0.22382,
              0.40136,
              0.76508,
              1.4989
            ],
            [
              0.04866,
              0.13775,
              0.22391,
              0.40131,
              0.76504,
              1.49886
            ],
            [
              0.04877,
              0.13774,
              0.22402,
              0.40116,
              0.7649,
              1.5018
            ],
            [
              0.04869,
              0.13774,
              0.224,
              0.40103,
              0.76477,
              1.498
            ],
            [
              0.04872,
              0.13805,
              0.22417,
              0.401,
              0.76397,
              1.5019
            ],
            [
              0.04876,
              0.13778,
              0.22381,
              0.40145,
              0.7651,
              1.4994
            ],
            [
              0.0488,
              0.1378,
              0.2239,
              0.4014,
              0.7651,
              1.4992
            ],
            [
              0.0489,
              0.1378,
              0.2241,
              0.401,
              0.7649,
              1.4981
            ],
            [
              0.0487,
              0.138,
              0.2239,
              0.4012,
              0.7649,
              1.5004
            ],
            [
              0.0487,
              0.1378,
              0.2241,
              0.4006,
              0.7645,
              1.5002
            ]
          ]
        },
        "sdf_cond": "(A&CI)",
        "timing_sense": "positive_unate",
        "when": "(A&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.37796,
              0.46645,
              0.52241,
              0.61328,
              0.76983,
              1.06067
            ],
            [
              0.38111,
              0.46961,
              0.52558,
              0.61643,
              0.7731,
              1.06394
            ],
            [
              0.38503,
              0.47355,
              0.52953,
              0.62038,
              0.77705,
              1.06792
            ],
            [
              0.39097,
              0.4795,
              0.53548,
              0.62635,
              0.78302,
              1.07388
            ],
            [
              0.39997,
              0.4883,
              0.5443,
              0.63518,
              0.79186,
              1.08271
            ],
            [
              0.4136,
              0.50188,
              0.5579,
              0.6488,
              0.80548,
              1.09632
            ],
            [
              0.43413,
              0.52264,
              0.57867,
              0.6696,
              0.82629,
              1.11713
            ],
            [
              0.46579,
              0.55427,
              0.61033,
              0.70128,
              0.85796,
              1.14886
            ],
            [
              0.51312,
              0.60118,
              0.6573,
              0.74831,
              0.90495,
              1.19585
            ],
            [
              0.58381,
              0.67189,
              0.72809,
              0.81909,
              0.97589,
              1.26689
            ],
            [
              0.68802,
              0.77662,
              0.83282,
              0.92402,
              1.08082,
              1.37152
            ],
            [
              0.83137,
              0.92217,
              0.97897,
              1.07057,
              1.22767,
              1.51847
            ],
            [
              1.0122,
              1.109,
              1.1684,
              1.2628,
              1.4218,
              1.7135
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.24614,
              0.34009,
              0.4115,
              0.5443,
              0.80609,
              1.33067
            ],
            [
              0.24943,
              0.34339,
              0.4148,
              0.54771,
              0.80903,
              1.33344
            ],
            [
              0.25332,
              0.34728,
              0.41872,
              0.55156,
              0.81297,
              1.33782
            ],
            [
              0.25927,
              0.35324,
              0.42466,
              0.55761,
              0.81893,
              1.34337
            ],
            [
              0.26804,
              0.362,
              0.43343,
              0.56643,
              0.82773,
              1.35201
            ],
            [
              0.28134,
              0.3753,
              0.44676,
              0.57981,
              0.84131,
              1.36542
            ],
            [
              0.30109,
              0.39504,
              0.46655,
              0.59968,
              0.86149,
              1.38633
            ],
            [
              0.33069,
              0.42463,
              0.49619,
              0.62951,
              0.89146,
              1.41626
            ],
            [
              0.37447,
              0.46845,
              0.54016,
              0.67359,
              0.93565,
              1.46005
            ],
            [
              0.43671,
              0.5309,
              0.60277,
              0.73619,
              0.99859,
              1.52229
            ],
            [
              0.51942,
              0.61592,
              0.68832,
              0.82222,
              1.08412,
              1.60892
            ],
            [
              0.62457,
              0.72627,
              0.80037,
              0.93517,
              1.19777,
              1.72317
            ],
            [
              0.7577,
              0.8669,
              0.9434,
              1.0802,
              1.3434,
              1.8685
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05624,
              0.11487,
              0.16209,
              0.25055,
              0.42785,
              0.79205
            ],
            [
              0.05634,
              0.11476,
              0.16193,
              0.25074,
              0.42849,
              0.79346
            ],
            [
              0.05625,
              0.11474,
              0.16189,
              0.25069,
              0.42873,
              0.7934
            ],
            [
              0.05623,
              0.11475,
              0.16191,
              0.25073,
              0.4285,
              0.79347
            ],
            [
              0.05624,
              0.11477,
              0.16192,
              0.25073,
              0.42849,
              0.79347
            ],
            [
              0.05624,
              0.11475,
              0.16188,
              0.25154,
              0.42847,
              0.79345
            ],
            [
              0.05631,
              0.11475,
              0.16187,
              0.2515,
              0.42837,
              0.79344
            ],
            [
              0.05621,
              0.11475,
              0.16188,
              0.25068,
              0.42837,
              0.79343
            ],
            [
              0.05621,
              0.11486,
              0.16195,
              0.25051,
              0.42775,
              0.7918
            ],
            [
              0.05639,
              0.11491,
              0.162,
              0.2506,
              0.4284,
              0.7934
            ],
            [
              0.0568,
              0.1152,
              0.1623,
              0.2508,
              0.4276,
              0.7928
            ],
            [
              0.0605,
              0.1173,
              0.1636,
              0.2515,
              0.4286,
              0.7934
            ],
            [
              0.0668,
              0.1245,
              0.171,
              0.2581,
              0.4321,
              0.7951
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04641,
              0.13845,
              0.22462,
              0.40095,
              0.76364,
              1.49944
            ],
            [
              0.04642,
              0.13891,
              0.22442,
              0.40125,
              0.76432,
              1.50039
            ],
            [
              0.04639,
              0.13855,
              0.22432,
              0.40127,
              0.76409,
              1.50005
            ],
            [
              0.04649,
              0.13891,
              0.22442,
              0.40124,
              0.76424,
              1.50042
            ],
            [
              0.0464,
              0.13856,
              0.22442,
              0.40123,
              0.76424,
              1.5004
            ],
            [
              0.04643,
              0.13893,
              0.22443,
              0.40123,
              0.76432,
              1.50035
            ],
            [
              0.04643,
              0.13864,
              0.22444,
              0.40122,
              0.76387,
              1.49942
            ],
            [
              0.04652,
              0.13896,
              0.22451,
              0.40112,
              0.76467,
              1.50025
            ],
            [
              0.04661,
              0.13894,
              0.22478,
              0.40059,
              0.76387,
              1.5004
            ],
            [
              0.04678,
              0.13896,
              0.22475,
              0.40118,
              0.7638,
              1.4989
            ],
            [
              0.0492,
              0.1407,
              0.2254,
              0.4009,
              0.7639,
              1.5
            ],
            [
              0.0532,
              0.1452,
              0.2292,
              0.4035,
              0.7652,
              1.4986
            ],
            [
              0.0592,
              0.1524,
              0.2351,
              0.4067,
              0.7661,
              1.4997
            ]
          ]
        },
        "sdf_cond": "(!A&!B)",
        "timing_sense": "positive_unate",
        "when": "(!A&!B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.5203,
              0.61905,
              0.68382,
              0.78557,
              0.95612,
              1.27107
            ],
            [
              0.52368,
              0.6224,
              0.68717,
              0.78892,
              0.95941,
              1.27444
            ],
            [
              0.52761,
              0.62636,
              0.69113,
              0.79288,
              0.96344,
              1.27832
            ],
            [
              0.53358,
              0.63233,
              0.6971,
              0.79885,
              0.96947,
              1.28428
            ],
            [
              0.54252,
              0.64126,
              0.70604,
              0.80778,
              0.97831,
              1.29321
            ],
            [
              0.55587,
              0.65461,
              0.71939,
              0.82113,
              0.99162,
              1.30662
            ],
            [
              0.5757,
              0.67443,
              0.73921,
              0.84096,
              1.01153,
              1.32653
            ],
            [
              0.60559,
              0.70433,
              0.7691,
              0.87086,
              1.04146,
              1.35656
            ],
            [
              0.64966,
              0.74838,
              0.81315,
              0.91495,
              1.08555,
              1.40055
            ],
            [
              0.71139,
              0.81019,
              0.87489,
              0.97669,
              1.14729,
              1.46199
            ],
            [
              0.79522,
              0.89382,
              0.95852,
              1.06032,
              1.23092,
              1.54582
            ],
            [
              0.90417,
              1.00227,
              1.06687,
              1.16847,
              1.33907,
              1.65397
            ],
            [
              1.0437,
              1.1411,
              1.2053,
              1.3064,
              1.4767,
              1.792
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.46019,
              0.55782,
              0.63326,
              0.77558,
              1.05457,
              1.60967
            ],
            [
              0.46338,
              0.56101,
              0.63645,
              0.77873,
              1.05774,
              1.61304
            ],
            [
              0.46729,
              0.56492,
              0.64042,
              0.78275,
              1.06172,
              1.61682
            ],
            [
              0.47336,
              0.57098,
              0.64641,
              0.7887,
              1.06768,
              1.62278
            ],
            [
              0.4824,
              0.57984,
              0.65529,
              0.79762,
              1.07661,
              1.63181
            ],
            [
              0.49606,
              0.5937,
              0.66916,
              0.81147,
              1.09012,
              1.64532
            ],
            [
              0.51653,
              0.61432,
              0.68976,
              0.83201,
              1.11103,
              1.66633
            ],
            [
              0.54807,
              0.64572,
              0.72115,
              0.86346,
              1.14236,
              1.69756
            ],
            [
              0.59522,
              0.69287,
              0.76825,
              0.91055,
              1.18945,
              1.74475
            ],
            [
              0.66639,
              0.76399,
              0.83939,
              0.98159,
              1.26059,
              1.81569
            ],
            [
              0.76942,
              0.86702,
              0.94242,
              1.08462,
              1.36362,
              1.91872
            ],
            [
              0.90687,
              1.00457,
              1.07987,
              1.22217,
              1.50127,
              2.05667
            ],
            [
              1.08,
              1.1783,
              1.2539,
              1.3964,
              1.6757,
              2.2313
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05235,
              0.11342,
              0.16403,
              0.26126,
              0.45209,
              0.84689
            ],
            [
              0.05236,
              0.11343,
              0.16403,
              0.26126,
              0.45259,
              0.84681
            ],
            [
              0.05233,
              0.11342,
              0.16403,
              0.26125,
              0.45202,
              0.84692
            ],
            [
              0.05235,
              0.11343,
              0.164,
              0.26132,
              0.45197,
              0.84747
            ],
            [
              0.05237,
              0.11341,
              0.16402,
              0.26126,
              0.4525,
              0.84691
            ],
            [
              0.05236,
              0.11341,
              0.16403,
              0.26124,
              0.45254,
              0.84686
            ],
            [
              0.05237,
              0.11341,
              0.16404,
              0.26122,
              0.45206,
              0.8475
            ],
            [
              0.05234,
              0.11347,
              0.164,
              0.26116,
              0.45236,
              0.8474
            ],
            [
              0.05233,
              0.11346,
              0.16404,
              0.2604,
              0.4523,
              0.8474
            ],
            [
              0.0523,
              0.1137,
              0.164,
              0.2613,
              0.4518,
              0.8474
            ],
            [
              0.0524,
              0.1134,
              0.1642,
              0.2605,
              0.4521,
              0.8469
            ],
            [
              0.0526,
              0.1137,
              0.1642,
              0.2608,
              0.4525,
              0.8476
            ],
            [
              0.0529,
              0.114,
              0.1643,
              0.2607,
              0.4524,
              0.8469
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04607,
              0.13862,
              0.22847,
              0.4114,
              0.78449,
              1.53855
            ],
            [
              0.04606,
              0.13866,
              0.22782,
              0.41159,
              0.78535,
              1.53625
            ],
            [
              0.04608,
              0.13863,
              0.22846,
              0.41129,
              0.78458,
              1.53833
            ],
            [
              0.04607,
              0.13868,
              0.22846,
              0.41153,
              0.78471,
              1.53716
            ],
            [
              0.04607,
              0.1387,
              0.22783,
              0.4114,
              0.78537,
              1.53626
            ],
            [
              0.04607,
              0.13863,
              0.22786,
              0.41137,
              0.7845,
              1.5384
            ],
            [
              0.04608,
              0.13868,
              0.22834,
              0.4116,
              0.78487,
              1.5356
            ],
            [
              0.04607,
              0.13866,
              0.22851,
              0.41122,
              0.78461,
              1.5386
            ],
            [
              0.04611,
              0.13874,
              0.22796,
              0.41123,
              0.7847,
              1.537
            ],
            [
              0.0461,
              0.1387,
              0.2281,
              0.4113,
              0.7857,
              1.5377
            ],
            [
              0.0462,
              0.1387,
              0.2281,
              0.4115,
              0.7854,
              1.5372
            ],
            [
              0.0464,
              0.1393,
              0.2285,
              0.4121,
              0.7864,
              1.5368
            ],
            [
              0.0475,
              0.1407,
              0.2301,
              0.4133,
              0.7871,
              1.54
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.52066,
              0.61957,
              0.68439,
              0.78622,
              0.95688,
              1.27177
            ],
            [
              0.52402,
              0.62292,
              0.68774,
              0.78956,
              0.96022,
              1.27514
            ],
            [
              0.52797,
              0.62688,
              0.69171,
              0.79353,
              0.96419,
              1.27912
            ],
            [
              0.53395,
              0.63285,
              0.69768,
              0.79951,
              0.97018,
              1.28498
            ],
            [
              0.54287,
              0.64177,
              0.7066,
              0.80842,
              0.97911,
              1.29401
            ],
            [
              0.55621,
              0.65512,
              0.71994,
              0.82176,
              0.99242,
              1.30732
            ],
            [
              0.57603,
              0.67491,
              0.73977,
              0.84157,
              1.01213,
              1.32723
            ],
            [
              0.60594,
              0.70483,
              0.76967,
              0.87146,
              1.04206,
              1.35716
            ],
            [
              0.65003,
              0.74891,
              0.81375,
              0.91555,
              1.08625,
              1.40115
            ],
            [
              0.71189,
              0.81079,
              0.87559,
              0.97739,
              1.14809,
              1.46299
            ],
            [
              0.79572,
              0.89442,
              0.95922,
              1.06102,
              1.23162,
              1.54702
            ],
            [
              0.90467,
              1.00287,
              1.06757,
              1.16927,
              1.33997,
              1.65497
            ],
            [
              1.0441,
              1.1418,
              1.2058,
              1.3072,
              1.4777,
              1.793
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.46012,
              0.55779,
              0.63326,
              0.77552,
              1.05447,
              1.60957
            ],
            [
              0.46331,
              0.56098,
              0.63645,
              0.77871,
              1.05764,
              1.61274
            ],
            [
              0.46722,
              0.56489,
              0.64042,
              0.78275,
              1.06162,
              1.61702
            ],
            [
              0.47329,
              0.57096,
              0.64641,
              0.78875,
              1.06768,
              1.62288
            ],
            [
              0.48233,
              0.57982,
              0.65529,
              0.79756,
              1.07651,
              1.63161
            ],
            [
              0.49599,
              0.59367,
              0.66914,
              0.81115,
              1.09022,
              1.64542
            ],
            [
              0.51646,
              0.61429,
              0.68974,
              0.83199,
              1.11093,
              1.66603
            ],
            [
              0.54799,
              0.64569,
              0.72115,
              0.86336,
              1.14236,
              1.69746
            ],
            [
              0.59515,
              0.69283,
              0.76825,
              0.91055,
              1.18955,
              1.74475
            ],
            [
              0.66629,
              0.76399,
              0.83939,
              0.98159,
              1.26059,
              1.81569
            ],
            [
              0.76932,
              0.86702,
              0.94242,
              1.08462,
              1.36352,
              1.91872
            ],
            [
              0.90687,
              1.00447,
              1.07987,
              1.22217,
              1.50127,
              2.05657
            ],
            [
              1.08,
              1.1783,
              1.2539,
              1.3964,
              1.6757,
              2.2312
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.0526,
              0.11373,
              0.16421,
              0.26133,
              0.452,
              0.84719
            ],
            [
              0.05255,
              0.1136,
              0.16421,
              0.26135,
              0.45202,
              0.84711
            ],
            [
              0.05256,
              0.11373,
              0.1642,
              0.26134,
              0.45203,
              0.84721
            ],
            [
              0.05257,
              0.11384,
              0.16412,
              0.26144,
              0.45182,
              0.84747
            ],
            [
              0.05254,
              0.1136,
              0.16422,
              0.26134,
              0.45211,
              0.8471
            ],
            [
              0.05255,
              0.1136,
              0.16421,
              0.26138,
              0.45208,
              0.84717
            ],
            [
              0.05255,
              0.11357,
              0.1642,
              0.26138,
              0.45264,
              0.8469
            ],
            [
              0.05256,
              0.11356,
              0.16421,
              0.26138,
              0.45264,
              0.8469
            ],
            [
              0.05255,
              0.11352,
              0.16423,
              0.2613,
              0.4521,
              0.8472
            ],
            [
              0.0525,
              0.1136,
              0.1641,
              0.2613,
              0.4523,
              0.8476
            ],
            [
              0.0526,
              0.1138,
              0.1643,
              0.2606,
              0.4527,
              0.8472
            ],
            [
              0.0529,
              0.1138,
              0.1643,
              0.2609,
              0.4524,
              0.8476
            ],
            [
              0.0531,
              0.1141,
              0.1643,
              0.2609,
              0.4526,
              0.847
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04609,
              0.13878,
              0.2282,
              0.41124,
              0.7848,
              1.53707
            ],
            [
              0.04611,
              0.13877,
              0.22819,
              0.41142,
              0.78478,
              1.53714
            ],
            [
              0.04611,
              0.13877,
              0.22812,
              0.41131,
              0.78478,
              1.53705
            ],
            [
              0.04611,
              0.13877,
              0.22817,
              0.41165,
              0.78522,
              1.53739
            ],
            [
              0.04611,
              0.13876,
              0.22815,
              0.41144,
              0.7849,
              1.53545
            ],
            [
              0.04611,
              0.13877,
              0.22818,
              0.41145,
              0.78641,
              1.5368
            ],
            [
              0.04611,
              0.13877,
              0.22819,
              0.41142,
              0.78489,
              1.5372
            ],
            [
              0.04611,
              0.13876,
              0.22807,
              0.41145,
              0.78453,
              1.5357
            ],
            [
              0.04617,
              0.13863,
              0.22823,
              0.41165,
              0.785,
              1.5368
            ],
            [
              0.0462,
              0.1388,
              0.228,
              0.4112,
              0.7852,
              1.5371
            ],
            [
              0.0462,
              0.1388,
              0.2281,
              0.4113,
              0.7851,
              1.5367
            ],
            [
              0.0464,
              0.1394,
              0.2288,
              0.4121,
              0.7863,
              1.5366
            ],
            [
              0.0476,
              0.1408,
              0.2302,
              0.4136,
              0.787,
              1.5415
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "negative_unate",
        "when": "(A&!B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.37845,
              0.46693,
              0.52289,
              0.61375,
              0.77027,
              1.06107
            ],
            [
              0.38159,
              0.47008,
              0.52605,
              0.61691,
              0.77352,
              1.06434
            ],
            [
              0.3855,
              0.47402,
              0.53,
              0.62084,
              0.77748,
              1.06832
            ],
            [
              0.39143,
              0.47997,
              0.53595,
              0.62682,
              0.78336,
              1.07408
            ],
            [
              0.40045,
              0.48878,
              0.54478,
              0.63565,
              0.79229,
              1.08311
            ],
            [
              0.41406,
              0.50235,
              0.55837,
              0.64926,
              0.80591,
              1.09672
            ],
            [
              0.4346,
              0.52311,
              0.57914,
              0.67006,
              0.82672,
              1.11753
            ],
            [
              0.46625,
              0.55474,
              0.61079,
              0.70174,
              0.85846,
              1.14926
            ],
            [
              0.51356,
              0.60164,
              0.65775,
              0.74875,
              0.90535,
              1.19625
            ],
            [
              0.58425,
              0.67229,
              0.72849,
              0.81959,
              0.97629,
              1.26729
            ],
            [
              0.68842,
              0.77702,
              0.83322,
              0.92442,
              1.08112,
              1.37192
            ],
            [
              0.83167,
              0.92247,
              0.97927,
              1.07087,
              1.22787,
              1.51877
            ],
            [
              1.0124,
              1.1092,
              1.1686,
              1.263,
              1.422,
              1.7137
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.24608,
              0.33999,
              0.41137,
              0.54409,
              0.80586,
              1.33047
            ],
            [
              0.24937,
              0.34329,
              0.41468,
              0.54752,
              0.80864,
              1.33334
            ],
            [
              0.25325,
              0.34717,
              0.41858,
              0.55134,
              0.81303,
              1.33742
            ],
            [
              0.25921,
              0.35313,
              0.42452,
              0.55741,
              0.81917,
              1.34258
            ],
            [
              0.26796,
              0.36189,
              0.4333,
              0.56624,
              0.8275,
              1.35201
            ],
            [
              0.28127,
              0.37519,
              0.44665,
              0.57947,
              0.84092,
              1.36542
            ],
            [
              0.30102,
              0.39493,
              0.46642,
              0.59949,
              0.86106,
              1.38513
            ],
            [
              0.33062,
              0.42452,
              0.49606,
              0.62933,
              0.89126,
              1.41516
            ],
            [
              0.37442,
              0.46834,
              0.54004,
              0.67333,
              0.93555,
              1.46035
            ],
            [
              0.43667,
              0.53083,
              0.6027,
              0.73619,
              0.99849,
              1.52249
            ],
            [
              0.51942,
              0.61592,
              0.68822,
              0.82222,
              1.08412,
              1.60862
            ],
            [
              0.62457,
              0.72627,
              0.80037,
              0.93517,
              1.19787,
              1.72307
            ],
            [
              0.7577,
              0.8669,
              0.9434,
              1.0802,
              1.3434,
              1.8685
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.05621,
              0.11478,
              0.16196,
              0.25049,
              0.42766,
              0.79209
            ],
            [
              0.05622,
              0.11473,
              0.16208,
              0.25049,
              0.42791,
              0.7934
            ],
            [
              0.05622,
              0.11474,
              0.16191,
              0.2507,
              0.42845,
              0.79334
            ],
            [
              0.05622,
              0.11486,
              0.16199,
              0.25052,
              0.42768,
              0.7922
            ],
            [
              0.05622,
              0.11477,
              0.16192,
              0.25072,
              0.42821,
              0.79341
            ],
            [
              0.05622,
              0.11477,
              0.16192,
              0.25074,
              0.4283,
              0.79339
            ],
            [
              0.0562,
              0.11477,
              0.16191,
              0.2515,
              0.42819,
              0.79338
            ],
            [
              0.0562,
              0.11477,
              0.16189,
              0.25069,
              0.4282,
              0.79339
            ],
            [
              0.05619,
              0.11489,
              0.16204,
              0.25037,
              0.42769,
              0.7918
            ],
            [
              0.05633,
              0.11497,
              0.1622,
              0.2507,
              0.4273,
              0.7933
            ],
            [
              0.0568,
              0.1153,
              0.1622,
              0.2505,
              0.4277,
              0.7926
            ],
            [
              0.0604,
              0.1173,
              0.1637,
              0.2514,
              0.428,
              0.7933
            ],
            [
              0.0668,
              0.1246,
              0.171,
              0.2581,
              0.432,
              0.7949
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00702,
            0.01403,
            0.02806,
            0.05611,
            0.11222
          ],
          "values": [
            [
              0.04634,
              0.13844,
              0.22448,
              0.40089,
              0.7637,
              1.49925
            ],
            [
              0.04635,
              0.13845,
              0.22447,
              0.40114,
              0.76408,
              1.50042
            ],
            [
              0.04634,
              0.13848,
              0.22423,
              0.40115,
              0.76454,
              1.49967
            ],
            [
              0.0464,
              0.13838,
              0.22454,
              0.40054,
              0.76471,
              1.49869
            ],
            [
              0.04637,
              0.13851,
              0.22432,
              0.40111,
              0.7641,
              1.50042
            ],
            [
              0.04635,
              0.13848,
              0.2244,
              0.40099,
              0.76408,
              1.50038
            ],
            [
              0.04637,
              0.13856,
              0.22431,
              0.40113,
              0.76423,
              1.50038
            ],
            [
              0.04642,
              0.1389,
              0.22438,
              0.40091,
              0.76462,
              1.49919
            ],
            [
              0.04644,
              0.13895,
              0.22464,
              0.40088,
              0.76413,
              1.4995
            ],
            [
              0.04675,
              0.13889,
              0.22457,
              0.40114,
              0.7637,
              1.4985
            ],
            [
              0.0491,
              0.1407,
              0.2253,
              0.401,
              0.7636,
              1.5
            ],
            [
              0.0531,
              0.1452,
              0.2291,
              0.4034,
              0.7647,
              1.499
            ],
            [
              0.0591,
              0.1524,
              0.235,
              0.4067,
              0.7661,
              1.4999
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}