{
  "area": 46.3536,
  "cell_footprint": "sky130_fd_sc_ls__fah",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00536,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00758,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00281,
    "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.08137,
              0.09297,
              0.10436,
              0.1267,
              0.17081,
              0.25863
            ],
            [
              0.08126,
              0.09289,
              0.10423,
              0.12658,
              0.17076,
              0.25884
            ],
            [
              0.08114,
              0.09275,
              0.10408,
              0.12641,
              0.17056,
              0.25857
            ],
            [
              0.081,
              0.0926,
              0.10395,
              0.12628,
              0.17048,
              0.25846
            ],
            [
              0.08083,
              0.09244,
              0.10382,
              0.12611,
              0.17038,
              0.25821
            ],
            [
              0.08066,
              0.09227,
              0.1036,
              0.12594,
              0.17022,
              0.25821
            ],
            [
              0.08045,
              0.09205,
              0.1034,
              0.1257,
              0.17,
              0.25806
            ],
            [
              0.08028,
              0.09189,
              0.10325,
              0.12554,
              0.1697,
              0.2579
            ],
            [
              0.08017,
              0.09176,
              0.10311,
              0.12545,
              0.16958,
              0.25767
            ],
            [
              0.08013,
              0.09173,
              0.10308,
              0.1254,
              0.16963,
              0.25761
            ],
            [
              0.08031,
              0.09191,
              0.1033,
              0.12556,
              0.16973,
              0.25791
            ],
            [
              0.08083,
              0.09251,
              0.10384,
              0.12614,
              0.17041,
              0.25836
            ],
            [
              0.08191,
              0.09358,
              0.10486,
              0.12716,
              0.17137,
              0.25964
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.06493,
              0.07339,
              0.0817,
              0.09799,
              0.13014,
              0.19429
            ],
            [
              0.06479,
              0.07326,
              0.08158,
              0.09785,
              0.13003,
              0.19411
            ],
            [
              0.06466,
              0.07314,
              0.08144,
              0.09769,
              0.12982,
              0.19415
            ],
            [
              0.0645,
              0.07296,
              0.08127,
              0.09755,
              0.12966,
              0.19376
            ],
            [
              0.06424,
              0.07272,
              0.08101,
              0.09732,
              0.12949,
              0.1935
            ],
            [
              0.064,
              0.07248,
              0.08078,
              0.09712,
              0.12932,
              0.19338
            ],
            [
              0.06373,
              0.0722,
              0.08051,
              0.09683,
              0.12896,
              0.19311
            ],
            [
              0.06347,
              0.07195,
              0.08027,
              0.09656,
              0.12873,
              0.19283
            ],
            [
              0.06319,
              0.07169,
              0.07998,
              0.09626,
              0.1285,
              0.19254
            ],
            [
              0.06289,
              0.07139,
              0.0797,
              0.09602,
              0.12814,
              0.19216
            ],
            [
              0.06276,
              0.07126,
              0.07957,
              0.09592,
              0.12809,
              0.19215
            ],
            [
              0.0629,
              0.07144,
              0.07976,
              0.09607,
              0.12823,
              0.19222
            ],
            [
              0.06361,
              0.07218,
              0.08047,
              0.09679,
              0.12899,
              0.19291
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.07009,
              0.08156,
              0.09288,
              0.11521,
              0.15932,
              0.24738
            ],
            [
              0.07007,
              0.08155,
              0.09283,
              0.11516,
              0.15938,
              0.24753
            ],
            [
              0.06996,
              0.08144,
              0.09273,
              0.11504,
              0.15933,
              0.24739
            ],
            [
              0.06982,
              0.0813,
              0.0926,
              0.11494,
              0.15912,
              0.24734
            ],
            [
              0.06971,
              0.0812,
              0.09251,
              0.11486,
              0.159,
              0.24722
            ],
            [
              0.06959,
              0.08106,
              0.0924,
              0.11471,
              0.15896,
              0.24696
            ],
            [
              0.06947,
              0.08095,
              0.09226,
              0.11459,
              0.15877,
              0.24682
            ],
            [
              0.06943,
              0.0809,
              0.0922,
              0.1145,
              0.15873,
              0.24685
            ],
            [
              0.06943,
              0.0809,
              0.0922,
              0.11452,
              0.15882,
              0.24682
            ],
            [
              0.06953,
              0.08098,
              0.09227,
              0.11461,
              0.15876,
              0.24681
            ],
            [
              0.06979,
              0.08124,
              0.0925,
              0.11486,
              0.15902,
              0.24731
            ],
            [
              0.07035,
              0.08177,
              0.09301,
              0.11537,
              0.15957,
              0.24774
            ],
            [
              0.07136,
              0.08273,
              0.09395,
              0.11627,
              0.1605,
              0.2487
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.04818,
              0.0567,
              0.06503,
              0.08133,
              0.11355,
              0.17749
            ],
            [
              0.04815,
              0.05665,
              0.06498,
              0.08129,
              0.11351,
              0.17742
            ],
            [
              0.04807,
              0.05657,
              0.06494,
              0.08123,
              0.11334,
              0.17751
            ],
            [
              0.04805,
              0.05656,
              0.0649,
              0.08124,
              0.11322,
              0.17755
            ],
            [
              0.04799,
              0.05651,
              0.06487,
              0.08118,
              0.11327,
              0.1774
            ],
            [
              0.04797,
              0.05647,
              0.06485,
              0.08114,
              0.11322,
              0.17736
            ],
            [
              0.04796,
              0.05645,
              0.06478,
              0.08111,
              0.11325,
              0.1773
            ],
            [
              0.04792,
              0.05645,
              0.06477,
              0.08107,
              0.11324,
              0.1773
            ],
            [
              0.04793,
              0.05645,
              0.06479,
              0.08109,
              0.11326,
              0.17728
            ],
            [
              0.04812,
              0.05662,
              0.06496,
              0.08126,
              0.11345,
              0.17753
            ],
            [
              0.04855,
              0.05703,
              0.06532,
              0.08164,
              0.11378,
              0.17782
            ],
            [
              0.04924,
              0.05776,
              0.06604,
              0.08234,
              0.11441,
              0.17855
            ],
            [
              0.05056,
              0.05903,
              0.06729,
              0.08349,
              0.1156,
              0.17975
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.04737,
              0.05927,
              0.07075,
              0.09318,
              0.13753,
              0.22555
            ],
            [
              0.04732,
              0.05922,
              0.07075,
              0.09313,
              0.13741,
              0.22561
            ],
            [
              0.04728,
              0.05921,
              0.07069,
              0.09309,
              0.13737,
              0.22555
            ],
            [
              0.04724,
              0.05914,
              0.07062,
              0.09312,
              0.13726,
              0.22566
            ],
            [
              0.04721,
              0.0591,
              0.07063,
              0.09304,
              0.13731,
              0.22554
            ],
            [
              0.04714,
              0.05905,
              0.07055,
              0.09302,
              0.13725,
              0.22534
            ],
            [
              0.04708,
              0.05896,
              0.07048,
              0.09288,
              0.1372,
              0.22537
            ],
            [
              0.04699,
              0.05884,
              0.07033,
              0.09281,
              0.13705,
              0.22541
            ],
            [
              0.04688,
              0.05867,
              0.07013,
              0.0927,
              0.13694,
              0.22521
            ],
            [
              0.04672,
              0.05847,
              0.06991,
              0.09245,
              0.13661,
              0.22494
            ],
            [
              0.04661,
              0.05834,
              0.06978,
              0.0922,
              0.13661,
              0.22474
            ],
            [
              0.04671,
              0.05829,
              0.06969,
              0.09214,
              0.13652,
              0.22478
            ],
            [
              0.0471,
              0.05857,
              0.06985,
              0.09232,
              0.13673,
              0.22518
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.041,
              0.0498,
              0.05832,
              0.07474,
              0.10699,
              0.17113
            ],
            [
              0.04097,
              0.04976,
              0.05829,
              0.07471,
              0.107,
              0.17115
            ],
            [
              0.04093,
              0.04973,
              0.05826,
              0.07467,
              0.10693,
              0.17096
            ],
            [
              0.04086,
              0.04966,
              0.05818,
              0.07461,
              0.10688,
              0.17113
            ],
            [
              0.04083,
              0.04962,
              0.05816,
              0.07458,
              0.10685,
              0.17099
            ],
            [
              0.04074,
              0.04953,
              0.05807,
              0.0745,
              0.10678,
              0.1709
            ],
            [
              0.04061,
              0.0494,
              0.05793,
              0.07437,
              0.10663,
              0.17086
            ],
            [
              0.04044,
              0.04922,
              0.05774,
              0.07417,
              0.10645,
              0.17066
            ],
            [
              0.0402,
              0.04896,
              0.05746,
              0.07389,
              0.10615,
              0.17052
            ],
            [
              0.04001,
              0.04872,
              0.0572,
              0.07362,
              0.10593,
              0.17021
            ],
            [
              0.0399,
              0.04857,
              0.05702,
              0.07343,
              0.10568,
              0.16992
            ],
            [
              0.03985,
              0.04847,
              0.0569,
              0.07327,
              0.10562,
              0.16976
            ],
            [
              0.04009,
              0.04861,
              0.05701,
              0.07334,
              0.10564,
              0.16998
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.06363,
    "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.52776,
              0.59444,
              0.64271,
              0.72367,
              0.86723,
              1.13927
            ],
            [
              0.53047,
              0.59715,
              0.64543,
              0.72638,
              0.87003,
              1.14194
            ],
            [
              0.53376,
              0.60045,
              0.64873,
              0.72968,
              0.87327,
              1.14542
            ],
            [
              0.53892,
              0.6056,
              0.6539,
              0.73484,
              0.8785,
              1.15048
            ],
            [
              0.54692,
              0.61362,
              0.6619,
              0.74287,
              0.88643,
              1.15851
            ],
            [
              0.5593,
              0.62601,
              0.67429,
              0.75525,
              0.89889,
              1.17072
            ],
            [
              0.57825,
              0.64495,
              0.69324,
              0.77419,
              0.91783,
              1.18983
            ],
            [
              0.60651,
              0.67322,
              0.72151,
              0.80247,
              0.94616,
              1.21816
            ],
            [
              0.64453,
              0.71132,
              0.75965,
              0.84065,
              0.98435,
              1.25605
            ],
            [
              0.69109,
              0.75819,
              0.80659,
              0.88769,
              1.03139,
              1.30349
            ],
            [
              0.74482,
              0.81192,
              0.86052,
              0.94192,
              1.08582,
              1.35762
            ],
            [
              0.80687,
              0.87297,
              0.92137,
              1.00297,
              1.14717,
              1.41897
            ],
            [
              0.8791,
              0.9441,
              0.9917,
              1.073,
              1.2175,
              1.4894
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.54112,
              0.62753,
              0.70007,
              0.83641,
              1.10207,
              1.62887
            ],
            [
              0.54411,
              0.63052,
              0.70307,
              0.8394,
              1.10494,
              1.63174
            ],
            [
              0.54771,
              0.63413,
              0.70666,
              0.8431,
              1.10892,
              1.63502
            ],
            [
              0.55317,
              0.63958,
              0.71213,
              0.84849,
              1.11428,
              1.64068
            ],
            [
              0.56148,
              0.64791,
              0.72045,
              0.85678,
              1.12231,
              1.64911
            ],
            [
              0.5741,
              0.66053,
              0.73308,
              0.86949,
              1.13522,
              1.66182
            ],
            [
              0.5929,
              0.67933,
              0.75189,
              0.88832,
              1.15403,
              1.68053
            ],
            [
              0.61905,
              0.70553,
              0.7781,
              0.91456,
              1.18046,
              1.70666
            ],
            [
              0.65315,
              0.7398,
              0.81245,
              0.94895,
              1.21485,
              1.74135
            ],
            [
              0.69699,
              0.78389,
              0.85659,
              0.99319,
              1.25919,
              1.78599
            ],
            [
              0.75272,
              0.83982,
              0.91262,
              1.04952,
              1.31562,
              1.84232
            ],
            [
              0.82187,
              0.90877,
              0.98157,
              1.11867,
              1.38537,
              1.91237
            ],
            [
              0.9042,
              0.9905,
              1.063,
              1.2002,
              1.4671,
              1.9941
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.05248,
              0.10454,
              0.14925,
              0.23405,
              0.40503,
              0.75902
            ],
            [
              0.05253,
              0.10459,
              0.14919,
              0.23397,
              0.40511,
              0.75933
            ],
            [
              0.05249,
              0.10458,
              0.14885,
              0.23454,
              0.40513,
              0.75934
            ],
            [
              0.05255,
              0.10441,
              0.149,
              0.23401,
              0.40518,
              0.75949
            ],
            [
              0.05247,
              0.10456,
              0.1492,
              0.23416,
              0.40497,
              0.75916
            ],
            [
              0.05247,
              0.10457,
              0.14918,
              0.23397,
              0.40513,
              0.75915
            ],
            [
              0.05255,
              0.10442,
              0.14902,
              0.23397,
              0.40519,
              0.75938
            ],
            [
              0.05254,
              0.10439,
              0.14894,
              0.23401,
              0.40523,
              0.7595
            ],
            [
              0.05245,
              0.10459,
              0.14904,
              0.2341,
              0.4052,
              0.7583
            ],
            [
              0.0521,
              0.1045,
              0.1493,
              0.2345,
              0.4053,
              0.7595
            ],
            [
              0.0511,
              0.1042,
              0.1494,
              0.2347,
              0.4056,
              0.7588
            ],
            [
              0.0498,
              0.1029,
              0.1488,
              0.2349,
              0.4061,
              0.759
            ],
            [
              0.0491,
              0.1012,
              0.147,
              0.2344,
              0.4059,
              0.7592
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.06594,
              0.15724,
              0.24743,
              0.42943,
              0.79832,
              1.54314
            ],
            [
              0.06593,
              0.15725,
              0.24743,
              0.4295,
              0.79809,
              1.54149
            ],
            [
              0.06592,
              0.15719,
              0.2473,
              0.42916,
              0.79836,
              1.54147
            ],
            [
              0.06593,
              0.15725,
              0.24741,
              0.42917,
              0.79796,
              1.5429
            ],
            [
              0.06595,
              0.15724,
              0.24743,
              0.42949,
              0.79807,
              1.5416
            ],
            [
              0.06595,
              0.15722,
              0.24738,
              0.42947,
              0.79806,
              1.5428
            ],
            [
              0.06595,
              0.1572,
              0.24733,
              0.42918,
              0.79827,
              1.5414
            ],
            [
              0.06597,
              0.15716,
              0.24735,
              0.42928,
              0.79846,
              1.5413
            ],
            [
              0.06603,
              0.15713,
              0.24741,
              0.4296,
              0.7991,
              1.5424
            ],
            [
              0.0656,
              0.1572,
              0.2477,
              0.4301,
              0.8004,
              1.5422
            ],
            [
              0.0647,
              0.1569,
              0.2477,
              0.4308,
              0.8004,
              1.543
            ],
            [
              0.0634,
              0.1563,
              0.2478,
              0.4312,
              0.801,
              1.5442
            ],
            [
              0.0624,
              0.1551,
              0.2471,
              0.4316,
              0.8026,
              1.5462
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.52677,
              0.59899,
              0.65119,
              0.73837,
              0.89193,
              1.18027
            ],
            [
              0.52947,
              0.6017,
              0.65391,
              0.74108,
              0.8945,
              1.18314
            ],
            [
              0.53278,
              0.60501,
              0.65721,
              0.74439,
              0.89795,
              1.18622
            ],
            [
              0.53792,
              0.61016,
              0.66236,
              0.74955,
              0.90311,
              1.19148
            ],
            [
              0.54595,
              0.61819,
              0.67039,
              0.75758,
              0.91114,
              1.19941
            ],
            [
              0.55834,
              0.63058,
              0.68278,
              0.76997,
              0.92353,
              1.21182
            ],
            [
              0.57731,
              0.64955,
              0.70177,
              0.78894,
              0.94233,
              1.23103
            ],
            [
              0.60561,
              0.67784,
              0.73005,
              0.81724,
              0.97076,
              1.25916
            ],
            [
              0.64374,
              0.71602,
              0.76825,
              0.85545,
              1.00885,
              1.29755
            ],
            [
              0.69069,
              0.76309,
              0.81539,
              0.90269,
              1.05619,
              1.34459
            ],
            [
              0.74492,
              0.81712,
              0.86942,
              0.95692,
              1.11062,
              1.39902
            ],
            [
              0.80737,
              0.87807,
              0.93007,
              1.01747,
              1.17127,
              1.45987
            ],
            [
              0.8802,
              0.9492,
              0.9998,
              1.0864,
              1.2402,
              1.5284
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.54685,
              0.62858,
              0.69719,
              0.82692,
              1.08027,
              1.58347
            ],
            [
              0.54986,
              0.6316,
              0.70022,
              0.82981,
              1.08324,
              1.58654
            ],
            [
              0.55348,
              0.63522,
              0.70385,
              0.83339,
              1.08692,
              1.59022
            ],
            [
              0.55893,
              0.64067,
              0.7093,
              0.83889,
              1.09238,
              1.59568
            ],
            [
              0.56727,
              0.64899,
              0.71762,
              0.84725,
              1.10071,
              1.60401
            ],
            [
              0.57989,
              0.66162,
              0.73024,
              0.85988,
              1.11332,
              1.61662
            ],
            [
              0.59873,
              0.68045,
              0.74906,
              0.87875,
              1.13213,
              1.63533
            ],
            [
              0.62514,
              0.70685,
              0.77546,
              0.90506,
              1.15846,
              1.66166
            ],
            [
              0.65991,
              0.74165,
              0.81035,
              0.94005,
              1.19365,
              1.69695
            ],
            [
              0.70439,
              0.78649,
              0.85529,
              0.98539,
              1.23879,
              1.74189
            ],
            [
              0.76052,
              0.84322,
              0.91222,
              1.04232,
              1.29612,
              1.79912
            ],
            [
              0.82977,
              0.91297,
              0.98217,
              1.11237,
              1.36647,
              1.86957
            ],
            [
              0.9129,
              0.9959,
              1.0651,
              1.1955,
              1.4496,
              1.9528
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.05757,
              0.11414,
              0.16204,
              0.25229,
              0.43205,
              0.80309
            ],
            [
              0.05758,
              0.11425,
              0.16225,
              0.25271,
              0.43223,
              0.80313
            ],
            [
              0.05755,
              0.11419,
              0.16203,
              0.25231,
              0.43199,
              0.80282
            ],
            [
              0.05754,
              0.11415,
              0.16204,
              0.2523,
              0.43197,
              0.80301
            ],
            [
              0.05754,
              0.11418,
              0.16204,
              0.25231,
              0.43199,
              0.80283
            ],
            [
              0.05754,
              0.11417,
              0.16204,
              0.25231,
              0.43201,
              0.80284
            ],
            [
              0.05757,
              0.11421,
              0.16222,
              0.25274,
              0.43205,
              0.80322
            ],
            [
              0.05757,
              0.11413,
              0.16238,
              0.25216,
              0.43175,
              0.8032
            ],
            [
              0.05743,
              0.11412,
              0.162,
              0.25266,
              0.4323,
              0.8032
            ],
            [
              0.057,
              0.114,
              0.1622,
              0.2529,
              0.4319,
              0.8021
            ],
            [
              0.0557,
              0.1134,
              0.162,
              0.2527,
              0.4325,
              0.8023
            ],
            [
              0.0539,
              0.1114,
              0.1607,
              0.2528,
              0.4324,
              0.8036
            ],
            [
              0.0527,
              0.1085,
              0.1575,
              0.2505,
              0.432,
              0.8026
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.06157,
              0.14849,
              0.23443,
              0.41,
              0.76867,
              1.49337
            ],
            [
              0.06157,
              0.14835,
              0.23427,
              0.41006,
              0.76852,
              1.4916
            ],
            [
              0.06153,
              0.14852,
              0.23444,
              0.41012,
              0.76908,
              1.49183
            ],
            [
              0.06159,
              0.14836,
              0.23426,
              0.41012,
              0.76828,
              1.49165
            ],
            [
              0.06159,
              0.14837,
              0.23437,
              0.40992,
              0.76868,
              1.4945
            ],
            [
              0.0616,
              0.14837,
              0.23438,
              0.40991,
              0.76867,
              1.4941
            ],
            [
              0.06158,
              0.14848,
              0.23435,
              0.41008,
              0.76873,
              1.4933
            ],
            [
              0.06168,
              0.14842,
              0.23468,
              0.40997,
              0.76872,
              1.4933
            ],
            [
              0.06214,
              0.14853,
              0.23467,
              0.41,
              0.7687,
              1.4919
            ],
            [
              0.063,
              0.1485,
              0.2347,
              0.4104,
              0.7685,
              1.4927
            ],
            [
              0.0632,
              0.1485,
              0.2348,
              0.4107,
              0.7691,
              1.4951
            ],
            [
              0.0619,
              0.1481,
              0.2346,
              0.4108,
              0.7693,
              1.4939
            ],
            [
              0.0602,
              0.1472,
              0.2346,
              0.4108,
              0.7696,
              1.4955
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.4959,
              0.56178,
              0.60973,
              0.69044,
              0.83391,
              1.10597
            ],
            [
              0.49762,
              0.56349,
              0.61147,
              0.69217,
              0.83575,
              1.10774
            ],
            [
              0.50021,
              0.56608,
              0.61404,
              0.69475,
              0.83824,
              1.11012
            ],
            [
              0.5047,
              0.57056,
              0.61855,
              0.69924,
              0.84281,
              1.11488
            ],
            [
              0.51218,
              0.57803,
              0.62599,
              0.7067,
              0.85022,
              1.12231
            ],
            [
              0.52413,
              0.58997,
              0.63791,
              0.7186,
              0.86209,
              1.13392
            ],
            [
              0.543,
              0.60883,
              0.65675,
              0.73743,
              0.881,
              1.15293
            ],
            [
              0.57232,
              0.63814,
              0.68604,
              0.7667,
              0.91016,
              1.18216
            ],
            [
              0.61624,
              0.68206,
              0.72992,
              0.81055,
              0.95405,
              1.22615
            ],
            [
              0.67859,
              0.74439,
              0.79229,
              0.87289,
              1.01639,
              1.28849
            ],
            [
              0.76122,
              0.82702,
              0.87492,
              0.95552,
              1.09912,
              1.37112
            ],
            [
              0.86897,
              0.93557,
              0.98367,
              1.06457,
              1.20807,
              1.48017
            ],
            [
              0.9985,
              1.0695,
              1.1202,
              1.2037,
              1.3492,
              1.6221
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.44777,
              0.5345,
              0.60705,
              0.74356,
              1.00977,
              1.53617
            ],
            [
              0.44983,
              0.53655,
              0.6091,
              0.74561,
              1.01174,
              1.53814
            ],
            [
              0.45289,
              0.53961,
              0.61216,
              0.74867,
              1.01462,
              1.54142
            ],
            [
              0.45799,
              0.54468,
              0.61723,
              0.75372,
              1.01968,
              1.54658
            ],
            [
              0.46613,
              0.5528,
              0.62534,
              0.76186,
              1.02791,
              1.55451
            ],
            [
              0.47856,
              0.5652,
              0.63772,
              0.77422,
              1.04032,
              1.56662
            ],
            [
              0.4973,
              0.58388,
              0.65637,
              0.79274,
              1.05863,
              1.58563
            ],
            [
              0.52518,
              0.61168,
              0.68412,
              0.82049,
              1.08656,
              1.61316
            ],
            [
              0.56663,
              0.65298,
              0.72534,
              0.86165,
              1.12745,
              1.65425
            ],
            [
              0.62692,
              0.71299,
              0.78519,
              0.92139,
              1.18679,
              1.71359
            ],
            [
              0.70532,
              0.79132,
              0.86332,
              0.99902,
              1.26432,
              1.79112
            ],
            [
              0.79827,
              0.88467,
              0.95647,
              1.09197,
              1.35677,
              1.88327
            ],
            [
              0.9088,
              0.9962,
              1.0679,
              1.203,
              1.4674,
              1.9937
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.05169,
              0.10424,
              0.14886,
              0.23354,
              0.40481,
              0.75896
            ],
            [
              0.05181,
              0.10437,
              0.14859,
              0.23386,
              0.405,
              0.75936
            ],
            [
              0.05172,
              0.10422,
              0.14867,
              0.23356,
              0.40507,
              0.75841
            ],
            [
              0.05179,
              0.10435,
              0.14856,
              0.23372,
              0.40496,
              0.75941
            ],
            [
              0.05168,
              0.10429,
              0.14841,
              0.23352,
              0.40491,
              0.75949
            ],
            [
              0.05163,
              0.10428,
              0.14876,
              0.23354,
              0.40501,
              0.75885
            ],
            [
              0.05151,
              0.10424,
              0.14864,
              0.23401,
              0.40491,
              0.75929
            ],
            [
              0.05138,
              0.10428,
              0.14843,
              0.2335,
              0.40494,
              0.7591
            ],
            [
              0.05124,
              0.10415,
              0.14829,
              0.23342,
              0.405,
              0.7594
            ],
            [
              0.0511,
              0.1042,
              0.1484,
              0.2335,
              0.4049,
              0.7592
            ],
            [
              0.0514,
              0.1042,
              0.1486,
              0.2342,
              0.4049,
              0.7593
            ],
            [
              0.0529,
              0.105,
              0.1494,
              0.2341,
              0.405,
              0.7593
            ],
            [
              0.0573,
              0.1112,
              0.1562,
              0.2399,
              0.4089,
              0.7609
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.06736,
              0.15782,
              0.24781,
              0.4296,
              0.79879,
              1.54137
            ],
            [
              0.06735,
              0.15783,
              0.24785,
              0.42953,
              0.79871,
              1.54129
            ],
            [
              0.06732,
              0.15788,
              0.2479,
              0.42967,
              0.79844,
              1.54436
            ],
            [
              0.06733,
              0.15787,
              0.24792,
              0.42975,
              0.79872,
              1.54223
            ],
            [
              0.06735,
              0.15787,
              0.24786,
              0.42958,
              0.79835,
              1.54127
            ],
            [
              0.06734,
              0.15784,
              0.24784,
              0.42952,
              0.7986,
              1.54159
            ],
            [
              0.06738,
              0.15794,
              0.24788,
              0.42961,
              0.79819,
              1.5435
            ],
            [
              0.06733,
              0.15786,
              0.24778,
              0.42934,
              0.79833,
              1.5414
            ],
            [
              0.06723,
              0.15799,
              0.24774,
              0.42939,
              0.7976,
              1.5439
            ],
            [
              0.06667,
              0.1579,
              0.2476,
              0.4288,
              0.7978,
              1.5425
            ],
            [
              0.0654,
              0.1575,
              0.2471,
              0.4285,
              0.797,
              1.54
            ],
            [
              0.064,
              0.1568,
              0.2464,
              0.4271,
              0.7956,
              1.5392
            ],
            [
              0.064,
              0.156,
              0.2457,
              0.4266,
              0.7943,
              1.54
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.49432,
              0.5657,
              0.61773,
              0.70503,
              0.85883,
              1.14777
            ],
            [
              0.4961,
              0.56745,
              0.61949,
              0.70677,
              0.86048,
              1.14954
            ],
            [
              0.49878,
              0.57014,
              0.62218,
              0.70946,
              0.86331,
              1.15212
            ],
            [
              0.5035,
              0.57486,
              0.62687,
              0.71415,
              0.86798,
              1.15688
            ],
            [
              0.51125,
              0.58254,
              0.63456,
              0.72183,
              0.87559,
              1.16451
            ],
            [
              0.52343,
              0.59467,
              0.64667,
              0.73393,
              0.88778,
              1.17662
            ],
            [
              0.54242,
              0.61359,
              0.66557,
              0.75282,
              0.90663,
              1.19543
            ],
            [
              0.57101,
              0.64211,
              0.69406,
              0.78128,
              0.93516,
              1.22376
            ],
            [
              0.61352,
              0.68455,
              0.73647,
              0.82365,
              0.97745,
              1.26645
            ],
            [
              0.67539,
              0.74639,
              0.79829,
              0.88549,
              1.03939,
              1.32829
            ],
            [
              0.75722,
              0.82822,
              0.88012,
              0.96742,
              1.12142,
              1.41052
            ],
            [
              0.85517,
              0.92637,
              0.97837,
              1.06567,
              1.21977,
              1.50897
            ],
            [
              0.9717,
              1.0432,
              1.0954,
              1.1829,
              1.3368,
              1.6256
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.45644,
              0.53841,
              0.60715,
              0.73694,
              0.99063,
              1.49387
            ],
            [
              0.45879,
              0.54078,
              0.60952,
              0.7393,
              0.99294,
              1.49624
            ],
            [
              0.46203,
              0.54403,
              0.61281,
              0.74279,
              0.99612,
              1.49962
            ],
            [
              0.46732,
              0.54931,
              0.61809,
              0.74804,
              1.00137,
              1.50497
            ],
            [
              0.4757,
              0.55767,
              0.62645,
              0.75639,
              1.00981,
              1.51321
            ],
            [
              0.48875,
              0.57069,
              0.63945,
              0.76926,
              1.02282,
              1.52622
            ],
            [
              0.50861,
              0.5905,
              0.6592,
              0.78896,
              1.04263,
              1.54593
            ],
            [
              0.53808,
              0.61989,
              0.68859,
              0.81836,
              1.07196,
              1.57526
            ],
            [
              0.58103,
              0.66276,
              0.7314,
              0.86105,
              1.11475,
              1.61805
            ],
            [
              0.64139,
              0.72309,
              0.79169,
              0.92149,
              1.17479,
              1.67809
            ],
            [
              0.71702,
              0.79882,
              0.86732,
              0.99672,
              1.25012,
              1.75332
            ],
            [
              0.80937,
              0.89217,
              0.96057,
              1.08997,
              1.34317,
              1.84637
            ],
            [
              0.9208,
              1.007,
              1.0769,
              1.2072,
              1.4606,
              1.964
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.05888,
              0.11542,
              0.16328,
              0.25267,
              0.43285,
              0.80291
            ],
            [
              0.05888,
              0.11555,
              0.16279,
              0.25263,
              0.43194,
              0.80326
            ],
            [
              0.05886,
              0.11539,
              0.16309,
              0.25284,
              0.43215,
              0.80253
            ],
            [
              0.05882,
              0.1154,
              0.16328,
              0.25287,
              0.43201,
              0.80279
            ],
            [
              0.05883,
              0.11549,
              0.16269,
              0.25261,
              0.43172,
              0.80327
            ],
            [
              0.05877,
              0.1154,
              0.1631,
              0.25245,
              0.43205,
              0.80254
            ],
            [
              0.05857,
              0.11555,
              0.16311,
              0.25282,
              0.43277,
              0.80197
            ],
            [
              0.05842,
              0.1155,
              0.16297,
              0.25256,
              0.43211,
              0.8024
            ],
            [
              0.05845,
              0.1155,
              0.16262,
              0.25253,
              0.4318,
              0.8033
            ],
            [
              0.0584,
              0.1156,
              0.1632,
              0.2523,
              0.432,
              0.8032
            ],
            [
              0.0591,
              0.1159,
              0.1634,
              0.2533,
              0.4329,
              0.803
            ],
            [
              0.0597,
              0.1162,
              0.1634,
              0.2536,
              0.4322,
              0.8034
            ],
            [
              0.0594,
              0.1162,
              0.1642,
              0.2533,
              0.4324,
              0.8026
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.0629,
              0.1487,
              0.23468,
              0.41019,
              0.76853,
              1.49254
            ],
            [
              0.06292,
              0.1487,
              0.23497,
              0.41013,
              0.76862,
              1.49299
            ],
            [
              0.06292,
              0.14877,
              0.23481,
              0.41068,
              0.76874,
              1.49391
            ],
            [
              0.06291,
              0.14874,
              0.23464,
              0.4103,
              0.76841,
              1.49258
            ],
            [
              0.06285,
              0.14874,
              0.2346,
              0.41018,
              0.76859,
              1.49297
            ],
            [
              0.06286,
              0.14864,
              0.23478,
              0.4103,
              0.7687,
              1.49338
            ],
            [
              0.06264,
              0.14866,
              0.23472,
              0.41003,
              0.76846,
              1.4918
            ],
            [
              0.06247,
              0.14861,
              0.23452,
              0.41062,
              0.76896,
              1.492
            ],
            [
              0.06221,
              0.14851,
              0.23453,
              0.41,
              0.7686,
              1.4924
            ],
            [
              0.06166,
              0.1485,
              0.2344,
              0.4101,
              0.7687,
              1.4933
            ],
            [
              0.0609,
              0.1482,
              0.2343,
              0.4098,
              0.7687,
              1.4934
            ],
            [
              0.0612,
              0.1486,
              0.2344,
              0.4102,
              0.7683,
              1.4928
            ],
            [
              0.0634,
              0.1522,
              0.2383,
              0.4124,
              0.7693,
              1.4927
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.34645,
              0.42662,
              0.48229,
              0.57281,
              0.72838,
              1.01777
            ],
            [
              0.34941,
              0.42963,
              0.48531,
              0.57576,
              0.73136,
              1.02054
            ],
            [
              0.35301,
              0.4332,
              0.4888,
              0.5793,
              0.73487,
              1.02432
            ],
            [
              0.35831,
              0.43865,
              0.49434,
              0.58483,
              0.7405,
              1.02988
            ],
            [
              0.36676,
              0.44703,
              0.50275,
              0.59324,
              0.7488,
              1.03821
            ],
            [
              0.37944,
              0.45968,
              0.5154,
              0.60593,
              0.76157,
              1.05102
            ],
            [
              0.3987,
              0.47887,
              0.5346,
              0.62516,
              0.78078,
              1.06993
            ],
            [
              0.42777,
              0.50786,
              0.56362,
              0.65421,
              0.80987,
              1.09926
            ],
            [
              0.47138,
              0.55137,
              0.60714,
              0.69783,
              0.85355,
              1.14305
            ],
            [
              0.53575,
              0.61554,
              0.67139,
              0.76219,
              0.91809,
              1.20769
            ],
            [
              0.62652,
              0.70682,
              0.76282,
              0.85382,
              1.00992,
              1.29952
            ],
            [
              0.74137,
              0.82637,
              0.88417,
              0.97647,
              1.13327,
              1.42317
            ],
            [
              0.8802,
              0.9723,
              1.0338,
              1.1305,
              1.2907,
              1.582
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.25145,
              0.34329,
              0.41865,
              0.55697,
              0.82559,
              1.35417
            ],
            [
              0.25462,
              0.34646,
              0.42184,
              0.56017,
              0.8288,
              1.35734
            ],
            [
              0.25835,
              0.35021,
              0.4256,
              0.56395,
              0.83258,
              1.36102
            ],
            [
              0.26409,
              0.35592,
              0.43133,
              0.56969,
              0.83835,
              1.36698
            ],
            [
              0.27264,
              0.36449,
              0.43992,
              0.57831,
              0.84699,
              1.37551
            ],
            [
              0.28554,
              0.37739,
              0.4528,
              0.59123,
              0.85993,
              1.38822
            ],
            [
              0.3048,
              0.39661,
              0.47201,
              0.61047,
              0.87922,
              1.40773
            ],
            [
              0.33359,
              0.42528,
              0.50065,
              0.63912,
              0.90796,
              1.43666
            ],
            [
              0.37666,
              0.46818,
              0.54344,
              0.68185,
              0.95085,
              1.47965
            ],
            [
              0.43701,
              0.52846,
              0.6036,
              0.74199,
              1.01099,
              1.53999
            ],
            [
              0.51592,
              0.60932,
              0.68472,
              0.82302,
              1.09222,
              1.62142
            ],
            [
              0.61577,
              0.71317,
              0.78997,
              0.92907,
              1.19827,
              1.72707
            ],
            [
              0.7401,
              0.8437,
              0.9228,
              1.0636,
              1.3334,
              1.8623
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.06612,
              0.12253,
              0.17005,
              0.2593,
              0.43621,
              0.80458
            ],
            [
              0.06602,
              0.12254,
              0.17016,
              0.25902,
              0.43659,
              0.80377
            ],
            [
              0.06603,
              0.12252,
              0.17005,
              0.25926,
              0.43632,
              0.80456
            ],
            [
              0.06603,
              0.12254,
              0.17005,
              0.25967,
              0.43615,
              0.80499
            ],
            [
              0.06608,
              0.12254,
              0.17011,
              0.25952,
              0.43629,
              0.80463
            ],
            [
              0.06602,
              0.12254,
              0.17016,
              0.25939,
              0.4361,
              0.80505
            ],
            [
              0.06602,
              0.12256,
              0.17002,
              0.2594,
              0.43669,
              0.80377
            ],
            [
              0.06609,
              0.12261,
              0.17019,
              0.25934,
              0.43607,
              0.80481
            ],
            [
              0.06617,
              0.12276,
              0.17033,
              0.25943,
              0.43607,
              0.8047
            ],
            [
              0.06641,
              0.12315,
              0.17066,
              0.2598,
              0.4362,
              0.805
            ],
            [
              0.0686,
              0.1244,
              0.1716,
              0.2598,
              0.4366,
              0.8042
            ],
            [
              0.0755,
              0.1314,
              0.1772,
              0.2636,
              0.4378,
              0.8055
            ],
            [
              0.0853,
              0.1431,
              0.1891,
              0.2742,
              0.4458,
              0.8081
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.06412,
              0.16047,
              0.25133,
              0.43489,
              0.80607,
              1.55001
            ],
            [
              0.06412,
              0.16049,
              0.25133,
              0.43491,
              0.80604,
              1.55038
            ],
            [
              0.06408,
              0.16048,
              0.25135,
              0.43484,
              0.80604,
              1.54988
            ],
            [
              0.06412,
              0.16054,
              0.2513,
              0.43493,
              0.80605,
              1.5506
            ],
            [
              0.06414,
              0.16043,
              0.25133,
              0.43489,
              0.80604,
              1.5504
            ],
            [
              0.06413,
              0.16056,
              0.25132,
              0.43489,
              0.806,
              1.55016
            ],
            [
              0.06414,
              0.16052,
              0.25137,
              0.43494,
              0.80601,
              1.54993
            ],
            [
              0.06417,
              0.16053,
              0.2514,
              0.43491,
              0.8061,
              1.55063
            ],
            [
              0.06415,
              0.16072,
              0.25152,
              0.43489,
              0.80614,
              1.5503
            ],
            [
              0.06482,
              0.161,
              0.25171,
              0.43508,
              0.8061,
              1.55
            ],
            [
              0.0677,
              0.1631,
              0.2528,
              0.4354,
              0.8062,
              1.5502
            ],
            [
              0.0726,
              0.1682,
              0.257,
              0.4374,
              0.8066,
              1.5521
            ],
            [
              0.0802,
              0.1763,
              0.2637,
              0.442,
              0.8082,
              1.5522
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.34775,
              0.42777,
              0.48334,
              0.5737,
              0.72915,
              1.01827
            ],
            [
              0.35071,
              0.43078,
              0.48635,
              0.57666,
              0.73218,
              1.02154
            ],
            [
              0.35431,
              0.43434,
              0.48985,
              0.5802,
              0.73567,
              1.02462
            ],
            [
              0.35962,
              0.43979,
              0.49539,
              0.58574,
              0.74123,
              1.03058
            ],
            [
              0.36808,
              0.44819,
              0.5038,
              0.59412,
              0.74963,
              1.03891
            ],
            [
              0.38074,
              0.46083,
              0.51645,
              0.60683,
              0.76235,
              1.05162
            ],
            [
              0.39998,
              0.48,
              0.53564,
              0.62605,
              0.78158,
              1.07093
            ],
            [
              0.42904,
              0.50897,
              0.56462,
              0.65508,
              0.81062,
              1.09996
            ],
            [
              0.4726,
              0.55244,
              0.6081,
              0.69864,
              0.85415,
              1.14355
            ],
            [
              0.53685,
              0.6165,
              0.67219,
              0.76289,
              0.91869,
              1.20819
            ],
            [
              0.62742,
              0.70752,
              0.76342,
              0.85432,
              1.01032,
              1.29962
            ],
            [
              0.74217,
              0.82687,
              0.88457,
              0.97677,
              1.13327,
              1.42327
            ],
            [
              0.8808,
              0.9727,
              1.0341,
              1.1306,
              1.2906,
              1.5819
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.25098,
              0.34293,
              0.41838,
              0.55668,
              0.82527,
              1.35387
            ],
            [
              0.25415,
              0.3461,
              0.42157,
              0.55988,
              0.82848,
              1.35704
            ],
            [
              0.25788,
              0.34985,
              0.42532,
              0.56366,
              0.83226,
              1.36082
            ],
            [
              0.2636,
              0.35556,
              0.43105,
              0.56939,
              0.838,
              1.36658
            ],
            [
              0.27216,
              0.36413,
              0.43963,
              0.57801,
              0.84664,
              1.37481
            ],
            [
              0.28506,
              0.37702,
              0.45251,
              0.59093,
              0.85957,
              1.38802
            ],
            [
              0.30432,
              0.39622,
              0.47171,
              0.61015,
              0.87887,
              1.40753
            ],
            [
              0.3331,
              0.42489,
              0.50034,
              0.63879,
              0.90756,
              1.43626
            ],
            [
              0.37618,
              0.46779,
              0.54312,
              0.68153,
              0.95045,
              1.47925
            ],
            [
              0.43654,
              0.52807,
              0.60328,
              0.74159,
              1.01069,
              1.53959
            ],
            [
              0.51552,
              0.60892,
              0.68442,
              0.82272,
              1.09182,
              1.62112
            ],
            [
              0.61527,
              0.71277,
              0.78967,
              0.92877,
              1.19787,
              1.72677
            ],
            [
              0.7396,
              0.8433,
              0.9225,
              1.0633,
              1.3331,
              1.8619
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.06603,
              0.12234,
              0.16978,
              0.25886,
              0.43625,
              0.80373
            ],
            [
              0.06607,
              0.12233,
              0.16984,
              0.25886,
              0.43593,
              0.80492
            ],
            [
              0.06607,
              0.12233,
              0.16981,
              0.25869,
              0.43636,
              0.80411
            ],
            [
              0.06607,
              0.12233,
              0.16974,
              0.25883,
              0.43586,
              0.80477
            ],
            [
              0.06605,
              0.12233,
              0.16983,
              0.25888,
              0.43588,
              0.8047
            ],
            [
              0.06608,
              0.12233,
              0.16973,
              0.25884,
              0.43592,
              0.80496
            ],
            [
              0.06606,
              0.12234,
              0.16978,
              0.25883,
              0.4359,
              0.80493
            ],
            [
              0.066,
              0.1224,
              0.16992,
              0.25877,
              0.43583,
              0.80474
            ],
            [
              0.06609,
              0.12253,
              0.17004,
              0.25917,
              0.43585,
              0.8043
            ],
            [
              0.0664,
              0.12296,
              0.17036,
              0.259,
              0.436,
              0.8048
            ],
            [
              0.0684,
              0.1242,
              0.1713,
              0.2595,
              0.4366,
              0.8041
            ],
            [
              0.0753,
              0.1312,
              0.1769,
              0.2632,
              0.4378,
              0.8053
            ],
            [
              0.0849,
              0.1428,
              0.1888,
              0.2738,
              0.4455,
              0.8077
            ]
          ]
        },
        "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.00631,
            0.01263,
            0.02524,
            0.05048,
            0.10096
          ],
          "values": [
            [
              0.06419,
              0.16066,
              0.25141,
              0.43494,
              0.80605,
              1.55044
            ],
            [
              0.0642,
              0.16066,
              0.25141,
              0.43493,
              0.80602,
              1.55061
            ],
            [
              0.06418,
              0.16067,
              0.25142,
              0.43491,
              0.80602,
              1.55052
            ],
            [
              0.06418,
              0.16068,
              0.25141,
              0.43494,
              0.80602,
              1.55023
            ],
            [
              0.06421,
              0.16066,
              0.25144,
              0.43493,
              0.80592,
              1.55264
            ],
            [
              0.06422,
              0.16068,
              0.25145,
              0.43494,
              0.80589,
              1.5498
            ],
            [
              0.06422,
              0.16072,
              0.25143,
              0.43494,
              0.806,
              1.55058
            ],
            [
              0.06421,
              0.16073,
              0.25153,
              0.43486,
              0.806,
              1.55029
            ],
            [
              0.0642,
              0.16086,
              0.25163,
              0.43496,
              0.80604,
              1.5506
            ],
            [
              0.06483,
              0.16113,
              0.25183,
              0.43504,
              0.806,
              1.5499
            ],
            [
              0.0677,
              0.1632,
              0.2529,
              0.4354,
              0.8061,
              1.5504
            ],
            [
              0.0728,
              0.1684,
              0.2571,
              0.4375,
              0.8066,
              1.5524
            ],
            [
              0.0803,
              0.1764,
              0.2638,
              0.4419,
              0.8081,
              1.5523
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.07499,
              0.06578,
              0.05641,
              0.03743,
              -0.00081,
              -0.07751
            ],
            [
              0.07489,
              0.06568,
              0.05631,
              0.03733,
              -0.00091,
              -0.07761
            ],
            [
              0.07476,
              0.06555,
              0.05618,
              0.03721,
              -0.00104,
              -0.07775
            ],
            [
              0.07461,
              0.0654,
              0.05603,
              0.03706,
              -0.0012,
              -0.0779
            ],
            [
              0.07445,
              0.06524,
              0.05586,
              0.03688,
              -0.00135,
              -0.07805
            ],
            [
              0.07427,
              0.06505,
              0.05568,
              0.0367,
              -0.00154,
              -0.07823
            ],
            [
              0.07408,
              0.06487,
              0.05548,
              0.03651,
              -0.00173,
              -0.07843
            ],
            [
              0.07393,
              0.06472,
              0.05534,
              0.03637,
              -0.00188,
              -0.07858
            ],
            [
              0.0738,
              0.06459,
              0.05521,
              0.03624,
              -0.00201,
              -0.0787
            ],
            [
              0.07374,
              0.06455,
              0.05518,
              0.0362,
              -0.00205,
              -0.07875
            ],
            [
              0.07381,
              0.06462,
              0.05524,
              0.03628,
              -0.00197,
              -0.07868
            ],
            [
              0.07418,
              0.065,
              0.05563,
              0.03667,
              -0.0016,
              -0.07832
            ],
            [
              0.07498,
              0.06576,
              0.05638,
              0.03745,
              -0.00078,
              -0.07749
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05301,
              0.06269,
              0.07234,
              0.09143,
              0.12951,
              0.20585
            ],
            [
              0.05288,
              0.06257,
              0.07224,
              0.09132,
              0.1294,
              0.2055
            ],
            [
              0.05275,
              0.06242,
              0.07208,
              0.0912,
              0.12923,
              0.20546
            ],
            [
              0.05258,
              0.06224,
              0.07192,
              0.09099,
              0.12913,
              0.20532
            ],
            [
              0.05233,
              0.06199,
              0.07167,
              0.09075,
              0.1289,
              0.20501
            ],
            [
              0.0521,
              0.06177,
              0.07143,
              0.09053,
              0.12855,
              0.20476
            ],
            [
              0.05183,
              0.06151,
              0.07118,
              0.09024,
              0.12831,
              0.20452
            ],
            [
              0.05156,
              0.06125,
              0.07091,
              0.08998,
              0.12807,
              0.20436
            ],
            [
              0.05128,
              0.06094,
              0.07064,
              0.08972,
              0.12783,
              0.20407
            ],
            [
              0.05097,
              0.06064,
              0.07034,
              0.08942,
              0.12758,
              0.20373
            ],
            [
              0.05081,
              0.06052,
              0.07018,
              0.08928,
              0.12737,
              0.2036
            ],
            [
              0.05095,
              0.06066,
              0.07036,
              0.08948,
              0.12753,
              0.20365
            ],
            [
              0.05159,
              0.06135,
              0.07101,
              0.09007,
              0.12829,
              0.20423
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.06493,
              0.07188,
              0.07868,
              0.09193,
              0.11803,
              0.17008
            ],
            [
              0.06479,
              0.07175,
              0.07855,
              0.0918,
              0.11792,
              0.1699
            ],
            [
              0.06466,
              0.07162,
              0.07842,
              0.09164,
              0.11771,
              0.16995
            ],
            [
              0.0645,
              0.07145,
              0.07825,
              0.09149,
              0.11755,
              0.16956
            ],
            [
              0.06424,
              0.0712,
              0.07799,
              0.09126,
              0.11739,
              0.1693
            ],
            [
              0.064,
              0.07097,
              0.07776,
              0.09106,
              0.11721,
              0.16918
            ],
            [
              0.06373,
              0.07069,
              0.07749,
              0.09077,
              0.11685,
              0.16891
            ],
            [
              0.06347,
              0.07044,
              0.07724,
              0.09051,
              0.11662,
              0.16863
            ],
            [
              0.06319,
              0.07018,
              0.07696,
              0.0902,
              0.11639,
              0.16834
            ],
            [
              0.06289,
              0.06988,
              0.07668,
              0.08996,
              0.11603,
              0.16796
            ],
            [
              0.06276,
              0.06975,
              0.07655,
              0.08987,
              0.11598,
              0.16794
            ],
            [
              0.0629,
              0.06993,
              0.07674,
              0.09002,
              0.11612,
              0.16802
            ],
            [
              0.06361,
              0.07067,
              0.07745,
              0.09073,
              0.11688,
              0.1687
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.08137,
              0.09146,
              0.10134,
              0.12064,
              0.1587,
              0.23442
            ],
            [
              0.08126,
              0.09138,
              0.10121,
              0.12053,
              0.15865,
              0.23464
            ],
            [
              0.08114,
              0.09124,
              0.10106,
              0.12036,
              0.15845,
              0.23437
            ],
            [
              0.081,
              0.09109,
              0.10093,
              0.12023,
              0.15837,
              0.23426
            ],
            [
              0.08083,
              0.09093,
              0.1008,
              0.12006,
              0.15827,
              0.234
            ],
            [
              0.08066,
              0.09076,
              0.10058,
              0.11989,
              0.15811,
              0.23401
            ],
            [
              0.08045,
              0.09054,
              0.10038,
              0.11965,
              0.15789,
              0.23385
            ],
            [
              0.08028,
              0.09038,
              0.10023,
              0.11948,
              0.15759,
              0.2337
            ],
            [
              0.08017,
              0.09025,
              0.10009,
              0.11939,
              0.15748,
              0.23346
            ],
            [
              0.08013,
              0.09022,
              0.10006,
              0.11935,
              0.15752,
              0.2334
            ],
            [
              0.08031,
              0.0904,
              0.10028,
              0.11951,
              0.15762,
              0.2337
            ],
            [
              0.08083,
              0.091,
              0.10082,
              0.12009,
              0.1583,
              0.23416
            ],
            [
              0.08191,
              0.09207,
              0.10184,
              0.1211,
              0.15926,
              0.23544
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.06368,
              0.05444,
              0.04504,
              0.02608,
              -0.01215,
              -0.08882
            ],
            [
              0.06355,
              0.0543,
              0.04491,
              0.02593,
              -0.01228,
              -0.08896
            ],
            [
              0.0635,
              0.05426,
              0.04486,
              0.02589,
              -0.01233,
              -0.089
            ],
            [
              0.06345,
              0.05419,
              0.0448,
              0.02583,
              -0.01239,
              -0.08906
            ],
            [
              0.06333,
              0.05409,
              0.04469,
              0.02572,
              -0.0125,
              -0.08917
            ],
            [
              0.06324,
              0.05399,
              0.0446,
              0.02563,
              -0.01259,
              -0.08926
            ],
            [
              0.06319,
              0.05394,
              0.04455,
              0.02558,
              -0.01265,
              -0.08931
            ],
            [
              0.06327,
              0.054,
              0.0446,
              0.02563,
              -0.01259,
              -0.08926
            ],
            [
              0.06351,
              0.05424,
              0.04484,
              0.02587,
              -0.01235,
              -0.08902
            ],
            [
              0.06395,
              0.05467,
              0.04527,
              0.0263,
              -0.01192,
              -0.08858
            ],
            [
              0.06456,
              0.05529,
              0.04589,
              0.02693,
              -0.01131,
              -0.08797
            ],
            [
              0.06541,
              0.05618,
              0.04678,
              0.0278,
              -0.01042,
              -0.0871
            ],
            [
              0.06666,
              0.05737,
              0.04799,
              0.02902,
              -0.00921,
              -0.08587
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.03562,
              0.04528,
              0.05494,
              0.07404,
              0.11208,
              0.18837
            ],
            [
              0.03553,
              0.0452,
              0.05485,
              0.07395,
              0.11199,
              0.18827
            ],
            [
              0.03547,
              0.04514,
              0.05479,
              0.07391,
              0.11194,
              0.18821
            ],
            [
              0.03545,
              0.04511,
              0.05476,
              0.07389,
              0.11198,
              0.1882
            ],
            [
              0.03546,
              0.04512,
              0.0548,
              0.07392,
              0.11192,
              0.18812
            ],
            [
              0.03546,
              0.04513,
              0.05479,
              0.0739,
              0.11198,
              0.18819
            ],
            [
              0.03558,
              0.04524,
              0.0549,
              0.074,
              0.11212,
              0.18836
            ],
            [
              0.03578,
              0.04544,
              0.0551,
              0.07421,
              0.11229,
              0.1885
            ],
            [
              0.03619,
              0.04586,
              0.05554,
              0.07459,
              0.11266,
              0.18895
            ],
            [
              0.03689,
              0.04655,
              0.05622,
              0.07531,
              0.11336,
              0.18946
            ],
            [
              0.03791,
              0.04757,
              0.05725,
              0.07631,
              0.11437,
              0.19062
            ],
            [
              0.03927,
              0.04892,
              0.05855,
              0.07763,
              0.11567,
              0.19188
            ],
            [
              0.04123,
              0.05089,
              0.06052,
              0.07958,
              0.11756,
              0.19365
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.04818,
              0.05519,
              0.06201,
              0.07528,
              0.10144,
              0.15328
            ],
            [
              0.04815,
              0.05514,
              0.06196,
              0.07524,
              0.1014,
              0.15322
            ],
            [
              0.04807,
              0.05506,
              0.06192,
              0.07517,
              0.10123,
              0.15331
            ],
            [
              0.04805,
              0.05505,
              0.06188,
              0.07519,
              0.10111,
              0.15335
            ],
            [
              0.04799,
              0.055,
              0.06185,
              0.07513,
              0.10116,
              0.1532
            ],
            [
              0.04797,
              0.05496,
              0.06183,
              0.07509,
              0.10112,
              0.15316
            ],
            [
              0.04796,
              0.05494,
              0.06176,
              0.07505,
              0.10114,
              0.15309
            ],
            [
              0.04792,
              0.05494,
              0.06175,
              0.07502,
              0.10113,
              0.1531
            ],
            [
              0.04793,
              0.05494,
              0.06177,
              0.07503,
              0.10115,
              0.15307
            ],
            [
              0.04812,
              0.05511,
              0.06194,
              0.0752,
              0.10134,
              0.15332
            ],
            [
              0.04855,
              0.05552,
              0.0623,
              0.07558,
              0.10167,
              0.15361
            ],
            [
              0.04924,
              0.05624,
              0.06302,
              0.07629,
              0.1023,
              0.15435
            ],
            [
              0.05056,
              0.05752,
              0.06427,
              0.07743,
              0.10349,
              0.15555
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.07009,
              0.08005,
              0.08986,
              0.10916,
              0.14721,
              0.22317
            ],
            [
              0.07007,
              0.08004,
              0.08981,
              0.10911,
              0.14727,
              0.22332
            ],
            [
              0.06996,
              0.07993,
              0.08971,
              0.10898,
              0.14722,
              0.22319
            ],
            [
              0.06982,
              0.07979,
              0.08958,
              0.10888,
              0.14702,
              0.22314
            ],
            [
              0.06971,
              0.07969,
              0.08949,
              0.10881,
              0.1469,
              0.22302
            ],
            [
              0.06959,
              0.07954,
              0.08938,
              0.10865,
              0.14685,
              0.22275
            ],
            [
              0.06947,
              0.07944,
              0.08924,
              0.10854,
              0.14666,
              0.22261
            ],
            [
              0.06943,
              0.07939,
              0.08918,
              0.10844,
              0.14663,
              0.22265
            ],
            [
              0.06943,
              0.07939,
              0.08918,
              0.10847,
              0.14671,
              0.22262
            ],
            [
              0.06953,
              0.07947,
              0.08925,
              0.10856,
              0.14665,
              0.22261
            ],
            [
              0.06979,
              0.07973,
              0.08948,
              0.1088,
              0.14692,
              0.22311
            ],
            [
              0.07035,
              0.08026,
              0.08999,
              0.10931,
              0.14746,
              0.22354
            ],
            [
              0.07136,
              0.08122,
              0.09093,
              0.11022,
              0.14839,
              0.22449
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.03865,
              0.02907,
              0.01947,
              0.00029,
              -0.03814,
              -0.11494
            ],
            [
              0.03862,
              0.02903,
              0.01944,
              0.00025,
              -0.03818,
              -0.11499
            ],
            [
              0.03857,
              0.02899,
              0.0194,
              0.00021,
              -0.03821,
              -0.11502
            ],
            [
              0.03853,
              0.02893,
              0.01935,
              0.00016,
              -0.03826,
              -0.11507
            ],
            [
              0.03847,
              0.02889,
              0.0193,
              0.00012,
              -0.0383,
              -0.11511
            ],
            [
              0.03842,
              0.02883,
              0.01925,
              6e-05,
              -0.03835,
              -0.11516
            ],
            [
              0.03836,
              0.02876,
              0.01918,
              0.0,
              -0.03842,
              -0.11522
            ],
            [
              0.03828,
              0.02868,
              0.0191,
              -6e-05,
              -0.03847,
              -0.11527
            ],
            [
              0.03818,
              0.02857,
              0.01899,
              -0.00016,
              -0.03856,
              -0.11536
            ],
            [
              0.03811,
              0.02848,
              0.01892,
              -0.00023,
              -0.03861,
              -0.11541
            ],
            [
              0.03815,
              0.0285,
              0.01893,
              -0.00021,
              -0.03858,
              -0.11537
            ],
            [
              0.03836,
              0.02867,
              0.01909,
              -5e-05,
              -0.03842,
              -0.1152
            ],
            [
              0.0389,
              0.02909,
              0.01947,
              0.00033,
              -0.03802,
              -0.11478
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.02666,
              0.03627,
              0.04577,
              0.06453,
              0.10237,
              0.17805
            ],
            [
              0.02662,
              0.03621,
              0.04574,
              0.06449,
              0.10231,
              0.17823
            ],
            [
              0.02655,
              0.03616,
              0.04563,
              0.06443,
              0.10238,
              0.17814
            ],
            [
              0.02652,
              0.0361,
              0.04563,
              0.06439,
              0.10221,
              0.17818
            ],
            [
              0.02645,
              0.03607,
              0.04554,
              0.06434,
              0.10222,
              0.17811
            ],
            [
              0.02638,
              0.036,
              0.04547,
              0.06427,
              0.10215,
              0.17784
            ],
            [
              0.02631,
              0.03589,
              0.04543,
              0.06422,
              0.10209,
              0.17819
            ],
            [
              0.02618,
              0.03577,
              0.04526,
              0.06408,
              0.10203,
              0.17793
            ],
            [
              0.02604,
              0.03562,
              0.04517,
              0.06401,
              0.102,
              0.17768
            ],
            [
              0.02598,
              0.03555,
              0.04509,
              0.06395,
              0.10185,
              0.17782
            ],
            [
              0.02596,
              0.03551,
              0.04504,
              0.06395,
              0.10186,
              0.1779
            ],
            [
              0.02606,
              0.03559,
              0.04512,
              0.06406,
              0.10206,
              0.1781
            ],
            [
              0.02639,
              0.03595,
              0.04548,
              0.06437,
              0.10225,
              0.17846
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.041,
              0.04829,
              0.0553,
              0.06868,
              0.09488,
              0.14693
            ],
            [
              0.04097,
              0.04825,
              0.05527,
              0.06865,
              0.09489,
              0.14694
            ],
            [
              0.04093,
              0.04822,
              0.05524,
              0.06862,
              0.09482,
              0.14675
            ],
            [
              0.04086,
              0.04815,
              0.05516,
              0.06855,
              0.09477,
              0.14693
            ],
            [
              0.04083,
              0.04811,
              0.05514,
              0.06852,
              0.09474,
              0.14678
            ],
            [
              0.04074,
              0.04802,
              0.05505,
              0.06845,
              0.09467,
              0.14669
            ],
            [
              0.04061,
              0.04789,
              0.05491,
              0.06832,
              0.09453,
              0.14665
            ],
            [
              0.04044,
              0.04771,
              0.05472,
              0.06811,
              0.09434,
              0.14645
            ],
            [
              0.0402,
              0.04745,
              0.05444,
              0.06783,
              0.09404,
              0.14632
            ],
            [
              0.04001,
              0.04721,
              0.05418,
              0.06757,
              0.09382,
              0.146
            ],
            [
              0.0399,
              0.04706,
              0.054,
              0.06737,
              0.09357,
              0.14572
            ],
            [
              0.03985,
              0.04696,
              0.05388,
              0.06722,
              0.09351,
              0.14556
            ],
            [
              0.04009,
              0.0471,
              0.05399,
              0.06729,
              0.09353,
              0.14577
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.04737,
              0.05776,
              0.06773,
              0.08713,
              0.12543,
              0.20135
            ],
            [
              0.04732,
              0.05771,
              0.06773,
              0.08708,
              0.1253,
              0.20141
            ],
            [
              0.04728,
              0.0577,
              0.06767,
              0.08704,
              0.12526,
              0.20135
            ],
            [
              0.04724,
              0.05763,
              0.0676,
              0.08707,
              0.12515,
              0.20145
            ],
            [
              0.04721,
              0.05759,
              0.06761,
              0.08698,
              0.1252,
              0.20134
            ],
            [
              0.04714,
              0.05754,
              0.06753,
              0.08696,
              0.12514,
              0.20114
            ],
            [
              0.04708,
              0.05745,
              0.06746,
              0.08683,
              0.12509,
              0.20117
            ],
            [
              0.04699,
              0.05733,
              0.06731,
              0.08676,
              0.12494,
              0.20121
            ],
            [
              0.04688,
              0.05716,
              0.06711,
              0.08664,
              0.12483,
              0.20101
            ],
            [
              0.04672,
              0.05696,
              0.06689,
              0.08639,
              0.1245,
              0.20074
            ],
            [
              0.04661,
              0.05683,
              0.06676,
              0.08615,
              0.1245,
              0.20054
            ],
            [
              0.04671,
              0.05678,
              0.06667,
              0.08609,
              0.12441,
              0.20057
            ],
            [
              0.0471,
              0.05706,
              0.06682,
              0.08627,
              0.12462,
              0.20097
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.07685,
    "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.54972,
              0.63977,
              0.69951,
              0.79823,
              0.97184,
              1.29867
            ],
            [
              0.55247,
              0.64253,
              0.70229,
              0.80095,
              0.9744,
              1.30104
            ],
            [
              0.5558,
              0.64586,
              0.70561,
              0.80428,
              0.97774,
              1.30442
            ],
            [
              0.561,
              0.65106,
              0.71081,
              0.80947,
              0.98288,
              1.30947
            ],
            [
              0.56904,
              0.6591,
              0.71883,
              0.81754,
              0.99111,
              1.31801
            ],
            [
              0.58148,
              0.67158,
              0.73125,
              0.82997,
              1.00352,
              1.33042
            ],
            [
              0.60041,
              0.69045,
              0.7502,
              0.84892,
              1.02253,
              1.34933
            ],
            [
              0.6288,
              0.71886,
              0.77858,
              0.87726,
              1.05086,
              1.37776
            ],
            [
              0.66761,
              0.75765,
              0.81735,
              0.91605,
              1.08965,
              1.41655
            ],
            [
              0.71679,
              0.80679,
              0.86649,
              0.96519,
              1.13869,
              1.46539
            ],
            [
              0.77452,
              0.86432,
              0.92392,
              1.02252,
              1.19582,
              1.52252
            ],
            [
              0.83827,
              0.92757,
              0.98687,
              1.08517,
              1.25827,
              1.58487
            ],
            [
              0.9101,
              0.9987,
              1.0577,
              1.1553,
              1.3275,
              1.6541
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.54564,
              0.64242,
              0.71435,
              0.84751,
              1.10767,
              1.62437
            ],
            [
              0.54865,
              0.64542,
              0.71734,
              0.85049,
              1.11074,
              1.62834
            ],
            [
              0.55228,
              0.64906,
              0.72095,
              0.85407,
              1.11382,
              1.63102
            ],
            [
              0.55775,
              0.65453,
              0.72635,
              0.85947,
              1.11978,
              1.63828
            ],
            [
              0.56608,
              0.66285,
              0.73468,
              0.86779,
              1.12811,
              1.64661
            ],
            [
              0.57872,
              0.67549,
              0.74741,
              0.88056,
              1.14082,
              1.65822
            ],
            [
              0.59755,
              0.69432,
              0.76626,
              0.89943,
              1.15963,
              1.67633
            ],
            [
              0.62393,
              0.72069,
              0.79262,
              0.92576,
              1.18606,
              1.70306
            ],
            [
              0.65877,
              0.75545,
              0.82745,
              0.96055,
              1.22045,
              1.73765
            ],
            [
              0.70399,
              0.80069,
              0.87249,
              1.00559,
              1.26559,
              1.78279
            ],
            [
              0.76202,
              0.85852,
              0.93042,
              1.06342,
              1.32342,
              1.84042
            ],
            [
              0.83407,
              0.93027,
              1.00217,
              1.13527,
              1.39537,
              1.91337
            ],
            [
              0.92,
              1.016,
              1.088,
              1.2213,
              1.4812,
              1.9991
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.04801,
              0.11578,
              0.17023,
              0.27233,
              0.47679,
              0.89872
            ],
            [
              0.04794,
              0.11588,
              0.16983,
              0.27268,
              0.47659,
              0.89848
            ],
            [
              0.04794,
              0.11587,
              0.16986,
              0.27209,
              0.47643,
              0.89824
            ],
            [
              0.04793,
              0.11588,
              0.16984,
              0.27275,
              0.4765,
              0.8984
            ],
            [
              0.04799,
              0.11577,
              0.16991,
              0.27205,
              0.47669,
              0.89817
            ],
            [
              0.04793,
              0.11564,
              0.16994,
              0.27239,
              0.47684,
              0.89897
            ],
            [
              0.04799,
              0.11579,
              0.17036,
              0.27233,
              0.47678,
              0.899
            ],
            [
              0.048,
              0.11576,
              0.16989,
              0.27213,
              0.47669,
              0.8983
            ],
            [
              0.04793,
              0.11577,
              0.17035,
              0.2724,
              0.4768,
              0.899
            ],
            [
              0.0478,
              0.1155,
              0.1696,
              0.2723,
              0.4769,
              0.8989
            ],
            [
              0.0476,
              0.1152,
              0.1694,
              0.272,
              0.4763,
              0.8987
            ],
            [
              0.047,
              0.1146,
              0.1691,
              0.271,
              0.476,
              0.8981
            ],
            [
              0.0467,
              0.1139,
              0.1676,
              0.2695,
              0.4741,
              0.8979
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05123,
              0.13851,
              0.22345,
              0.40024,
              0.76394,
              1.49734
            ],
            [
              0.0512,
              0.1383,
              0.22367,
              0.4005,
              0.76441,
              1.49867
            ],
            [
              0.05121,
              0.13839,
              0.22412,
              0.40046,
              0.76467,
              1.5023
            ],
            [
              0.0512,
              0.13823,
              0.224,
              0.40051,
              0.76505,
              1.4972
            ],
            [
              0.05121,
              0.13823,
              0.22404,
              0.40051,
              0.76516,
              1.4969
            ],
            [
              0.0512,
              0.13859,
              0.22362,
              0.40041,
              0.76432,
              1.4986
            ],
            [
              0.0512,
              0.13851,
              0.22348,
              0.40029,
              0.7641,
              1.4976
            ],
            [
              0.05117,
              0.1385,
              0.22355,
              0.40035,
              0.7642,
              1.4985
            ],
            [
              0.05103,
              0.13835,
              0.22349,
              0.4004,
              0.7644,
              1.5032
            ],
            [
              0.0508,
              0.138,
              0.2239,
              0.4006,
              0.765,
              1.5028
            ],
            [
              0.0503,
              0.1379,
              0.2239,
              0.4006,
              0.765,
              1.5031
            ],
            [
              0.0496,
              0.1378,
              0.2239,
              0.4005,
              0.7641,
              1.4993
            ],
            [
              0.0491,
              0.1374,
              0.2237,
              0.3999,
              0.7635,
              1.501
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.54077,
              0.64348,
              0.71019,
              0.81829,
              1.00677,
              1.36287
            ],
            [
              0.54397,
              0.64667,
              0.71339,
              0.82149,
              1.00994,
              1.36594
            ],
            [
              0.54776,
              0.65049,
              0.71716,
              0.8253,
              1.01392,
              1.36952
            ],
            [
              0.55341,
              0.65612,
              0.72284,
              0.83093,
              1.01948,
              1.37528
            ],
            [
              0.56191,
              0.66462,
              0.73132,
              0.83943,
              1.02791,
              1.38391
            ],
            [
              0.57457,
              0.67728,
              0.74397,
              0.85208,
              1.04072,
              1.39652
            ],
            [
              0.5935,
              0.69621,
              0.76289,
              0.87101,
              1.05963,
              1.41543
            ],
            [
              0.62199,
              0.72469,
              0.79136,
              0.89946,
              1.08806,
              1.44386
            ],
            [
              0.66414,
              0.76685,
              0.83345,
              0.94155,
              1.13015,
              1.48595
            ],
            [
              0.72369,
              0.82649,
              0.89299,
              1.00109,
              1.18969,
              1.54569
            ],
            [
              0.80342,
              0.90652,
              0.97312,
              1.08112,
              1.26982,
              1.62592
            ],
            [
              0.90137,
              1.00517,
              1.07177,
              1.17997,
              1.36887,
              1.72457
            ],
            [
              1.0169,
              1.1213,
              1.1883,
              1.2968,
              1.4859,
              1.8423
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.53394,
              0.63125,
              0.70441,
              0.83852,
              1.09837,
              1.61487
            ],
            [
              0.53681,
              0.63412,
              0.70728,
              0.84138,
              1.10124,
              1.61784
            ],
            [
              0.54027,
              0.63756,
              0.71069,
              0.84488,
              1.10472,
              1.62132
            ],
            [
              0.54561,
              0.64289,
              0.71603,
              0.85016,
              1.10997,
              1.62668
            ],
            [
              0.55382,
              0.6511,
              0.72426,
              0.85838,
              1.11821,
              1.63481
            ],
            [
              0.56633,
              0.66362,
              0.73678,
              0.87088,
              1.13072,
              1.64732
            ],
            [
              0.58529,
              0.68256,
              0.7557,
              0.88983,
              1.14963,
              1.66633
            ],
            [
              0.61392,
              0.71119,
              0.78432,
              0.91846,
              1.17826,
              1.69496
            ],
            [
              0.65522,
              0.75243,
              0.82555,
              0.95965,
              1.21955,
              1.73605
            ],
            [
              0.71339,
              0.81039,
              0.88349,
              1.01759,
              1.27749,
              1.79419
            ],
            [
              0.79172,
              0.88942,
              0.96262,
              1.09672,
              1.35662,
              1.87352
            ],
            [
              0.89257,
              0.99247,
              1.06587,
              1.20027,
              1.46037,
              1.97717
            ],
            [
              1.0175,
              1.1187,
              1.1926,
              1.3271,
              1.5876,
              2.1046
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05576,
              0.12935,
              0.1863,
              0.29471,
              0.51313,
              0.96919
            ],
            [
              0.05577,
              0.12935,
              0.18633,
              0.29458,
              0.51332,
              0.96883
            ],
            [
              0.05574,
              0.12929,
              0.18637,
              0.29466,
              0.51308,
              0.97013
            ],
            [
              0.05575,
              0.12933,
              0.18633,
              0.29439,
              0.51331,
              0.96953
            ],
            [
              0.05574,
              0.12933,
              0.18628,
              0.29464,
              0.51334,
              0.96906
            ],
            [
              0.0557,
              0.12936,
              0.18614,
              0.29411,
              0.51264,
              0.9702
            ],
            [
              0.05569,
              0.12934,
              0.18623,
              0.2948,
              0.5126,
              0.9703
            ],
            [
              0.05562,
              0.12923,
              0.1863,
              0.29463,
              0.5131,
              0.9703
            ],
            [
              0.0553,
              0.1289,
              0.18571,
              0.2942,
              0.5125,
              0.9701
            ],
            [
              0.0545,
              0.1284,
              0.1854,
              0.2934,
              0.5122,
              0.9689
            ],
            [
              0.0535,
              0.1273,
              0.1845,
              0.2928,
              0.5124,
              0.9675
            ],
            [
              0.0533,
              0.1259,
              0.1833,
              0.2917,
              0.5115,
              0.9688
            ],
            [
              0.0534,
              0.1246,
              0.182,
              0.2915,
              0.5111,
              0.969
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05,
              0.13983,
              0.22548,
              0.40139,
              0.76172,
              1.49563
            ],
            [
              0.05005,
              0.14004,
              0.22534,
              0.40071,
              0.76152,
              1.49819
            ],
            [
              0.05,
              0.14019,
              0.22573,
              0.40073,
              0.76174,
              1.49536
            ],
            [
              0.05002,
              0.13987,
              0.22554,
              0.40085,
              0.76196,
              1.4959
            ],
            [
              0.04998,
              0.14008,
              0.22552,
              0.40077,
              0.7611,
              1.4958
            ],
            [
              0.04995,
              0.14003,
              0.22543,
              0.40078,
              0.76249,
              1.4927
            ],
            [
              0.04999,
              0.13984,
              0.22545,
              0.40083,
              0.76154,
              1.4964
            ],
            [
              0.05001,
              0.13987,
              0.22556,
              0.40083,
              0.762,
              1.4944
            ],
            [
              0.04972,
              0.13986,
              0.22548,
              0.4009,
              0.7618,
              1.4959
            ],
            [
              0.0488,
              0.1394,
              0.2253,
              0.4005,
              0.7624,
              1.4934
            ],
            [
              0.0472,
              0.1389,
              0.2253,
              0.4005,
              0.7615,
              1.4951
            ],
            [
              0.0492,
              0.1394,
              0.2253,
              0.401,
              0.7617,
              1.4944
            ],
            [
              0.0541,
              0.1411,
              0.2261,
              0.4013,
              0.7621,
              1.494
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.50797,
              0.60222,
              0.66344,
              0.76314,
              0.93689,
              1.26317
            ],
            [
              0.51116,
              0.60539,
              0.66662,
              0.76632,
              0.94008,
              1.26654
            ],
            [
              0.51495,
              0.60917,
              0.67042,
              0.77009,
              0.94383,
              1.27042
            ],
            [
              0.5206,
              0.61482,
              0.67605,
              0.77575,
              0.94951,
              1.27598
            ],
            [
              0.52914,
              0.62336,
              0.68457,
              0.78427,
              0.95801,
              1.28441
            ],
            [
              0.54188,
              0.63609,
              0.6973,
              0.79699,
              0.97072,
              1.29722
            ],
            [
              0.56096,
              0.65517,
              0.71638,
              0.81607,
              0.98983,
              1.31613
            ],
            [
              0.58977,
              0.68387,
              0.74507,
              0.84476,
              1.01846,
              1.34476
            ],
            [
              0.63243,
              0.72625,
              0.78735,
              0.88685,
              1.06065,
              1.38725
            ],
            [
              0.69259,
              0.78579,
              0.84669,
              0.94619,
              1.11999,
              1.44669
            ],
            [
              0.77332,
              0.86562,
              0.92632,
              1.02572,
              1.19962,
              1.52642
            ],
            [
              0.87207,
              0.96457,
              1.02527,
              1.12477,
              1.29887,
              1.62587
            ],
            [
              0.9885,
              1.0822,
              1.1432,
              1.243,
              1.4172,
              1.7441
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.54075,
              0.64363,
              0.71996,
              0.86054,
              1.13417,
              1.67777
            ],
            [
              0.54362,
              0.64649,
              0.72284,
              0.86343,
              1.13704,
              1.68064
            ],
            [
              0.54706,
              0.64993,
              0.72626,
              0.86685,
              1.14052,
              1.68412
            ],
            [
              0.55239,
              0.65526,
              0.73159,
              0.87216,
              1.14577,
              1.68938
            ],
            [
              0.56059,
              0.66345,
              0.73978,
              0.88036,
              1.15401,
              1.69761
            ],
            [
              0.57309,
              0.67595,
              0.75227,
              0.89286,
              1.16652,
              1.71012
            ],
            [
              0.59202,
              0.69489,
              0.77123,
              0.91183,
              1.18543,
              1.72903
            ],
            [
              0.62056,
              0.72342,
              0.79976,
              0.94026,
              1.21396,
              1.75756
            ],
            [
              0.66163,
              0.76445,
              0.84075,
              0.98135,
              1.25495,
              1.79855
            ],
            [
              0.71929,
              0.82209,
              0.89829,
              1.03879,
              1.31239,
              1.85589
            ],
            [
              0.79752,
              0.90082,
              0.97702,
              1.11732,
              1.39092,
              1.93442
            ],
            [
              0.89857,
              1.00357,
              1.07977,
              1.22017,
              1.49367,
              2.03717
            ],
            [
              1.0218,
              1.1288,
              1.2057,
              1.3462,
              1.6198,
              2.1636
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05108,
              0.11926,
              0.17217,
              0.27354,
              0.47547,
              0.89622
            ],
            [
              0.05109,
              0.11927,
              0.17218,
              0.27309,
              0.47542,
              0.89666
            ],
            [
              0.05108,
              0.11927,
              0.17219,
              0.27289,
              0.47535,
              0.8967
            ],
            [
              0.05108,
              0.11923,
              0.17217,
              0.27312,
              0.47543,
              0.89667
            ],
            [
              0.05108,
              0.11921,
              0.17214,
              0.27258,
              0.47536,
              0.89661
            ],
            [
              0.05108,
              0.11921,
              0.17214,
              0.27253,
              0.47534,
              0.89659
            ],
            [
              0.05109,
              0.1191,
              0.17212,
              0.27334,
              0.4754,
              0.8962
            ],
            [
              0.0511,
              0.11903,
              0.1723,
              0.27247,
              0.47556,
              0.8956
            ],
            [
              0.0511,
              0.11866,
              0.17173,
              0.27247,
              0.4754,
              0.8967
            ],
            [
              0.0506,
              0.1178,
              0.1712,
              0.2724,
              0.4753,
              0.8964
            ],
            [
              0.049,
              0.1164,
              0.17,
              0.272,
              0.4749,
              0.8967
            ],
            [
              0.0469,
              0.1154,
              0.1695,
              0.2712,
              0.4748,
              0.8967
            ],
            [
              0.0469,
              0.1147,
              0.169,
              0.2708,
              0.4749,
              0.896
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05365,
              0.1461,
              0.23452,
              0.4152,
              0.78726,
              1.5394
            ],
            [
              0.05366,
              0.1463,
              0.23443,
              0.41549,
              0.78748,
              1.5409
            ],
            [
              0.05365,
              0.14638,
              0.23442,
              0.41515,
              0.7879,
              1.5387
            ],
            [
              0.05364,
              0.14625,
              0.23447,
              0.41517,
              0.78673,
              1.5394
            ],
            [
              0.05363,
              0.14631,
              0.23408,
              0.41512,
              0.78798,
              1.5387
            ],
            [
              0.05362,
              0.1463,
              0.23447,
              0.41503,
              0.78779,
              1.5388
            ],
            [
              0.05363,
              0.14619,
              0.23411,
              0.41538,
              0.78696,
              1.5393
            ],
            [
              0.05357,
              0.14602,
              0.2342,
              0.4148,
              0.7892,
              1.5377
            ],
            [
              0.0535,
              0.14599,
              0.23394,
              0.4149,
              0.7872,
              1.5417
            ],
            [
              0.0529,
              0.1457,
              0.2341,
              0.4146,
              0.788,
              1.5399
            ],
            [
              0.0518,
              0.145,
              0.2327,
              0.4133,
              0.7867,
              1.5391
            ],
            [
              0.0533,
              0.1438,
              0.2312,
              0.4125,
              0.7835,
              1.5386
            ],
            [
              0.0567,
              0.1431,
              0.2294,
              0.4093,
              0.7822,
              1.5342
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.54872,
              0.64042,
              0.70046,
              0.79878,
              0.97127,
              1.29737
            ],
            [
              0.55147,
              0.64319,
              0.70316,
              0.80153,
              0.97409,
              1.29974
            ],
            [
              0.55481,
              0.64652,
              0.70654,
              0.80488,
              0.97739,
              1.30342
            ],
            [
              0.56,
              0.65172,
              0.71173,
              0.81007,
              0.98257,
              1.30858
            ],
            [
              0.5681,
              0.65982,
              0.71984,
              0.81815,
              0.99061,
              1.31681
            ],
            [
              0.58052,
              0.67224,
              0.73226,
              0.83057,
              1.00302,
              1.32922
            ],
            [
              0.59949,
              0.69121,
              0.75122,
              0.84951,
              1.02193,
              1.34813
            ],
            [
              0.62787,
              0.71959,
              0.77959,
              0.87796,
              1.05046,
              1.37646
            ],
            [
              0.66691,
              0.75865,
              0.81865,
              0.91695,
              1.08945,
              1.41555
            ],
            [
              0.71669,
              0.80849,
              0.86839,
              0.96669,
              1.13909,
              1.46539
            ],
            [
              0.77482,
              0.86652,
              0.92652,
              1.02482,
              1.19742,
              1.52322
            ],
            [
              0.83907,
              0.93047,
              0.99037,
              1.08847,
              1.26087,
              1.58677
            ],
            [
              0.912,
              1.0029,
              1.0625,
              1.1604,
              1.3322,
              1.6583
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.53723,
              0.63513,
              0.70805,
              0.84215,
              1.10247,
              1.62027
            ],
            [
              0.54024,
              0.63814,
              0.71117,
              0.84522,
              1.10514,
              1.62394
            ],
            [
              0.54385,
              0.64175,
              0.71478,
              0.8487,
              1.10912,
              1.62752
            ],
            [
              0.54931,
              0.64721,
              0.72025,
              0.8543,
              1.11438,
              1.63308
            ],
            [
              0.55764,
              0.65554,
              0.72857,
              0.86262,
              1.12251,
              1.64141
            ],
            [
              0.57026,
              0.66816,
              0.74104,
              0.87519,
              1.13562,
              1.65312
            ],
            [
              0.58911,
              0.687,
              0.76004,
              0.89413,
              1.15413,
              1.67283
            ],
            [
              0.61554,
              0.71343,
              0.78637,
              0.92046,
              1.18066,
              1.69876
            ],
            [
              0.65043,
              0.74827,
              0.82115,
              0.95535,
              1.21555,
              1.73365
            ],
            [
              0.69569,
              0.79339,
              0.86639,
              1.00049,
              1.26039,
              1.77929
            ],
            [
              0.75352,
              0.85102,
              0.92412,
              1.05802,
              1.31852,
              1.83622
            ],
            [
              0.82497,
              0.92227,
              0.99527,
              1.12927,
              1.38957,
              1.90707
            ],
            [
              0.91,
              1.007,
              1.0799,
              1.2139,
              1.4739,
              1.9916
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.04917,
              0.11677,
              0.17014,
              0.27144,
              0.47565,
              0.89753
            ],
            [
              0.04918,
              0.11674,
              0.1703,
              0.2717,
              0.47568,
              0.89795
            ],
            [
              0.04921,
              0.11676,
              0.17013,
              0.27139,
              0.4757,
              0.89709
            ],
            [
              0.04923,
              0.11675,
              0.1702,
              0.27196,
              0.47576,
              0.89734
            ],
            [
              0.04918,
              0.1168,
              0.17024,
              0.27207,
              0.47541,
              0.89789
            ],
            [
              0.04918,
              0.1168,
              0.17055,
              0.27206,
              0.4754,
              0.89798
            ],
            [
              0.04917,
              0.11686,
              0.17066,
              0.27183,
              0.47504,
              0.8985
            ],
            [
              0.04926,
              0.11675,
              0.17018,
              0.27202,
              0.47578,
              0.8972
            ],
            [
              0.04916,
              0.11687,
              0.17071,
              0.2717,
              0.4752,
              0.8986
            ],
            [
              0.0491,
              0.1167,
              0.1701,
              0.2714,
              0.4751,
              0.8983
            ],
            [
              0.049,
              0.1167,
              0.1704,
              0.272,
              0.4755,
              0.8985
            ],
            [
              0.0487,
              0.1161,
              0.1696,
              0.2712,
              0.4754,
              0.8984
            ],
            [
              0.0483,
              0.1155,
              0.1695,
              0.27,
              0.4737,
              0.898
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05148,
              0.14066,
              0.22663,
              0.40282,
              0.76559,
              1.49878
            ],
            [
              0.05148,
              0.14074,
              0.22647,
              0.40228,
              0.76504,
              1.50174
            ],
            [
              0.0515,
              0.14093,
              0.22657,
              0.4028,
              0.76449,
              1.50191
            ],
            [
              0.05153,
              0.14072,
              0.22641,
              0.40204,
              0.7646,
              1.5019
            ],
            [
              0.05148,
              0.14074,
              0.22647,
              0.40235,
              0.76511,
              1.5017
            ],
            [
              0.05144,
              0.14062,
              0.22653,
              0.40293,
              0.76529,
              1.5024
            ],
            [
              0.05146,
              0.14089,
              0.22644,
              0.4022,
              0.76486,
              1.5019
            ],
            [
              0.05142,
              0.14065,
              0.22675,
              0.4028,
              0.7656,
              1.4997
            ],
            [
              0.05126,
              0.14057,
              0.22656,
              0.4028,
              0.7656,
              1.4996
            ],
            [
              0.051,
              0.1405,
              0.2267,
              0.4027,
              0.7654,
              1.5016
            ],
            [
              0.0506,
              0.1403,
              0.2264,
              0.4028,
              0.7653,
              1.4994
            ],
            [
              0.0499,
              0.14,
              0.2259,
              0.4027,
              0.7654,
              1.499
            ],
            [
              0.0494,
              0.1395,
              0.2258,
              0.4015,
              0.7643,
              1.5017
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.50584,
              0.596,
              0.65582,
              0.75465,
              0.92829,
              1.25507
            ],
            [
              0.50757,
              0.59775,
              0.65755,
              0.7564,
              0.93013,
              1.25704
            ],
            [
              0.51019,
              0.60032,
              0.66016,
              0.759,
              0.9327,
              1.25952
            ],
            [
              0.51462,
              0.60479,
              0.66461,
              0.76345,
              0.93717,
              1.26408
            ],
            [
              0.52201,
              0.61219,
              0.67201,
              0.77082,
              0.9445,
              1.27131
            ],
            [
              0.5338,
              0.62395,
              0.68379,
              0.78264,
              0.95632,
              1.28312
            ],
            [
              0.55244,
              0.64263,
              0.70243,
              0.80128,
              0.97503,
              1.30193
            ],
            [
              0.5815,
              0.67168,
              0.73153,
              0.83039,
              1.00406,
              1.33096
            ],
            [
              0.62513,
              0.71532,
              0.77515,
              0.87405,
              1.04775,
              1.37465
            ],
            [
              0.68719,
              0.77739,
              0.83719,
              0.93609,
              1.10979,
              1.43659
            ],
            [
              0.76752,
              0.85762,
              0.91742,
              1.01622,
              1.18982,
              1.51662
            ],
            [
              0.86297,
              0.95277,
              1.01247,
              1.11107,
              1.28447,
              1.61147
            ],
            [
              0.9713,
              1.0609,
              1.1204,
              1.2188,
              1.3919,
              1.7186
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.45748,
              0.55507,
              0.62721,
              0.76051,
              1.02077,
              1.53807
            ],
            [
              0.45956,
              0.55715,
              0.62928,
              0.76259,
              1.02274,
              1.53984
            ],
            [
              0.46261,
              0.5602,
              0.63233,
              0.76564,
              1.02582,
              1.54292
            ],
            [
              0.46775,
              0.56536,
              0.63736,
              0.77067,
              1.03117,
              1.54798
            ],
            [
              0.47592,
              0.57354,
              0.64564,
              0.77894,
              1.03891,
              1.55601
            ],
            [
              0.48852,
              0.58615,
              0.65816,
              0.79143,
              1.05192,
              1.56972
            ],
            [
              0.50759,
              0.60523,
              0.6773,
              0.81045,
              1.07073,
              1.58933
            ],
            [
              0.53628,
              0.63394,
              0.70599,
              0.83916,
              1.09956,
              1.61826
            ],
            [
              0.57899,
              0.67667,
              0.74879,
              0.88205,
              1.14195,
              1.65925
            ],
            [
              0.64039,
              0.73819,
              0.81029,
              0.94349,
              1.20349,
              1.72079
            ],
            [
              0.72112,
              0.81882,
              0.89092,
              1.02422,
              1.28432,
              1.80132
            ],
            [
              0.81697,
              0.91447,
              0.98647,
              1.11977,
              1.37977,
              1.89797
            ],
            [
              0.9321,
              1.0299,
              1.102,
              1.235,
              1.495,
              2.0126
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.04829,
              0.11605,
              0.17007,
              0.27282,
              0.47718,
              0.89889
            ],
            [
              0.04832,
              0.11612,
              0.17055,
              0.27254,
              0.47688,
              0.8988
            ],
            [
              0.0483,
              0.11606,
              0.1702,
              0.27264,
              0.47691,
              0.89906
            ],
            [
              0.04832,
              0.11614,
              0.17021,
              0.2724,
              0.47685,
              0.89832
            ],
            [
              0.04834,
              0.11623,
              0.17017,
              0.27319,
              0.47667,
              0.89756
            ],
            [
              0.04833,
              0.11604,
              0.1702,
              0.27265,
              0.47707,
              0.89903
            ],
            [
              0.04839,
              0.11615,
              0.1706,
              0.27259,
              0.47689,
              0.89905
            ],
            [
              0.04838,
              0.11611,
              0.17023,
              0.27273,
              0.47698,
              0.8991
            ],
            [
              0.04841,
              0.11622,
              0.17032,
              0.27267,
              0.477,
              0.8991
            ],
            [
              0.0484,
              0.1161,
              0.1702,
              0.2728,
              0.477,
              0.8991
            ],
            [
              0.0482,
              0.116,
              0.17,
              0.2729,
              0.4772,
              0.8989
            ],
            [
              0.0479,
              0.1156,
              0.1696,
              0.2723,
              0.4763,
              0.8981
            ],
            [
              0.0476,
              0.1153,
              0.1697,
              0.2713,
              0.4761,
              0.8988
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05234,
              0.13928,
              0.22405,
              0.4005,
              0.7639,
              1.50335
            ],
            [
              0.05237,
              0.1393,
              0.22415,
              0.40023,
              0.76369,
              1.50226
            ],
            [
              0.05239,
              0.13929,
              0.22418,
              0.40037,
              0.76372,
              1.50239
            ],
            [
              0.05253,
              0.13906,
              0.22451,
              0.40105,
              0.76504,
              1.49834
            ],
            [
              0.05245,
              0.13927,
              0.22419,
              0.40073,
              0.76468,
              1.50119
            ],
            [
              0.05249,
              0.13912,
              0.22462,
              0.401,
              0.76519,
              1.4997
            ],
            [
              0.05254,
              0.13925,
              0.22473,
              0.40105,
              0.76532,
              1.497
            ],
            [
              0.05251,
              0.13924,
              0.22474,
              0.40098,
              0.76536,
              1.4983
            ],
            [
              0.05256,
              0.13945,
              0.22427,
              0.40077,
              0.7648,
              1.5012
            ],
            [
              0.05271,
              0.1394,
              0.2249,
              0.4011,
              0.7653,
              1.4985
            ],
            [
              0.0528,
              0.1395,
              0.2244,
              0.4005,
              0.7641,
              1.5015
            ],
            [
              0.0528,
              0.1393,
              0.2248,
              0.4007,
              0.7644,
              1.4991
            ],
            [
              0.0531,
              0.1398,
              0.2242,
              0.3999,
              0.7648,
              1.4999
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.4541,
              0.55652,
              0.62312,
              0.73107,
              0.91949,
              1.27507
            ],
            [
              0.45578,
              0.5582,
              0.62479,
              0.73274,
              0.92115,
              1.27674
            ],
            [
              0.4584,
              0.56083,
              0.6274,
              0.73536,
              0.92377,
              1.27952
            ],
            [
              0.46285,
              0.56527,
              0.63184,
              0.73981,
              0.92817,
              1.28398
            ],
            [
              0.47,
              0.57241,
              0.63899,
              0.74697,
              0.93542,
              1.29101
            ],
            [
              0.48096,
              0.58336,
              0.64994,
              0.75792,
              0.94632,
              1.30172
            ],
            [
              0.49749,
              0.59984,
              0.66643,
              0.77439,
              0.96273,
              1.31863
            ],
            [
              0.52206,
              0.62434,
              0.69094,
              0.79893,
              0.98736,
              1.34306
            ],
            [
              0.55768,
              0.65988,
              0.72648,
              0.83445,
              1.02285,
              1.37865
            ],
            [
              0.6041,
              0.70609,
              0.77269,
              0.88069,
              1.06909,
              1.42449
            ],
            [
              0.66202,
              0.76352,
              0.83012,
              0.93822,
              1.12662,
              1.48192
            ],
            [
              0.73277,
              0.83337,
              0.89997,
              1.00827,
              1.19657,
              1.55237
            ],
            [
              0.8186,
              0.9173,
              0.9835,
              1.0918,
              1.2799,
              1.6357
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.4693,
              0.56747,
              0.64091,
              0.77509,
              1.03487,
              1.55117
            ],
            [
              0.47119,
              0.56936,
              0.64275,
              0.77702,
              1.03664,
              1.55304
            ],
            [
              0.47373,
              0.5719,
              0.64535,
              0.77952,
              1.03922,
              1.55562
            ],
            [
              0.47787,
              0.57605,
              0.64946,
              0.78373,
              1.04338,
              1.55967
            ],
            [
              0.4846,
              0.58281,
              0.65622,
              0.79043,
              1.05011,
              1.56641
            ],
            [
              0.49532,
              0.59356,
              0.66702,
              0.80124,
              1.06092,
              1.57732
            ],
            [
              0.51238,
              0.61068,
              0.68416,
              0.81843,
              1.07803,
              1.59433
            ],
            [
              0.53915,
              0.63754,
              0.71104,
              0.84526,
              1.10496,
              1.62126
            ],
            [
              0.58011,
              0.67861,
              0.75213,
              0.88645,
              1.14615,
              1.66235
            ],
            [
              0.64189,
              0.74039,
              0.81389,
              0.94819,
              1.20789,
              1.72429
            ],
            [
              0.73062,
              0.82902,
              0.90252,
              1.03672,
              1.29652,
              1.81282
            ],
            [
              0.84567,
              0.94437,
              1.01787,
              1.15227,
              1.41207,
              1.92857
            ],
            [
              0.9845,
              1.0835,
              1.1571,
              1.2917,
              1.5519,
              2.0684
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05481,
              0.12854,
              0.18558,
              0.29376,
              0.51337,
              0.97011
            ],
            [
              0.05483,
              0.12856,
              0.18557,
              0.29378,
              0.51287,
              0.97
            ],
            [
              0.05485,
              0.12851,
              0.18564,
              0.2942,
              0.51227,
              0.96991
            ],
            [
              0.05484,
              0.12858,
              0.18561,
              0.2943,
              0.51241,
              0.96971
            ],
            [
              0.05487,
              0.12856,
              0.18572,
              0.29416,
              0.51229,
              0.97015
            ],
            [
              0.05491,
              0.12859,
              0.18577,
              0.29419,
              0.51301,
              0.96995
            ],
            [
              0.05496,
              0.12864,
              0.18583,
              0.29412,
              0.51307,
              0.96864
            ],
            [
              0.05497,
              0.12873,
              0.18583,
              0.29437,
              0.5133,
              0.9689
            ],
            [
              0.05495,
              0.12879,
              0.18602,
              0.29453,
              0.5128,
              0.9691
            ],
            [
              0.05479,
              0.129,
              0.1865,
              0.295,
              0.5127,
              0.97
            ],
            [
              0.0541,
              0.1291,
              0.1865,
              0.2949,
              0.514,
              0.9705
            ],
            [
              0.0529,
              0.1286,
              0.1868,
              0.2959,
              0.514,
              0.9705
            ],
            [
              0.0516,
              0.1273,
              0.1862,
              0.2961,
              0.5143,
              0.9706
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.0507,
              0.14093,
              0.22614,
              0.40112,
              0.76278,
              1.49496
            ],
            [
              0.05069,
              0.14089,
              0.22612,
              0.40092,
              0.76246,
              1.49722
            ],
            [
              0.0507,
              0.14088,
              0.22625,
              0.40114,
              0.76141,
              1.49352
            ],
            [
              0.05068,
              0.14112,
              0.22606,
              0.40126,
              0.76229,
              1.49604
            ],
            [
              0.0507,
              0.14097,
              0.22621,
              0.40104,
              0.76258,
              1.49403
            ],
            [
              0.05069,
              0.14096,
              0.22636,
              0.40118,
              0.76132,
              1.4954
            ],
            [
              0.05066,
              0.14109,
              0.2263,
              0.40128,
              0.76229,
              1.494
            ],
            [
              0.05068,
              0.14124,
              0.2264,
              0.40105,
              0.76124,
              1.4924
            ],
            [
              0.05063,
              0.14127,
              0.22643,
              0.40107,
              0.7613,
              1.4951
            ],
            [
              0.05068,
              0.1413,
              0.2265,
              0.4011,
              0.7627,
              1.495
            ],
            [
              0.0508,
              0.1412,
              0.2264,
              0.4011,
              0.7623,
              1.494
            ],
            [
              0.0519,
              0.1416,
              0.2268,
              0.4011,
              0.7627,
              1.4975
            ],
            [
              0.0532,
              0.142,
              0.2271,
              0.4021,
              0.7627,
              1.4951
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.43944,
              0.53286,
              0.59383,
              0.69331,
              0.86701,
              1.19367
            ],
            [
              0.44235,
              0.53576,
              0.59672,
              0.69619,
              0.86993,
              1.19644
            ],
            [
              0.44586,
              0.53926,
              0.60019,
              0.69969,
              0.87328,
              1.19992
            ],
            [
              0.45106,
              0.54446,
              0.6054,
              0.7049,
              0.87855,
              1.20508
            ],
            [
              0.45887,
              0.55229,
              0.61324,
              0.71273,
              0.8864,
              1.21281
            ],
            [
              0.47069,
              0.56415,
              0.62512,
              0.72461,
              0.89833,
              1.22462
            ],
            [
              0.48824,
              0.5818,
              0.64279,
              0.7423,
              0.91603,
              1.24263
            ],
            [
              0.51416,
              0.60786,
              0.66889,
              0.76842,
              0.94216,
              1.26876
            ],
            [
              0.55218,
              0.64607,
              0.70717,
              0.80675,
              0.98045,
              1.30705
            ],
            [
              0.60396,
              0.69819,
              0.75939,
              0.85909,
              1.03279,
              1.35909
            ],
            [
              0.66952,
              0.76412,
              0.82552,
              0.92532,
              1.09902,
              1.42512
            ],
            [
              0.74777,
              0.84277,
              0.90457,
              1.00477,
              1.17867,
              1.50527
            ],
            [
              0.8422,
              0.9371,
              0.9992,
              1.0998,
              1.2737,
              1.6003
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.4849,
              0.58718,
              0.66353,
              0.80422,
              1.07797,
              1.62147
            ],
            [
              0.48645,
              0.58873,
              0.66506,
              0.80574,
              1.07944,
              1.62304
            ],
            [
              0.48871,
              0.591,
              0.66739,
              0.80805,
              1.08172,
              1.62532
            ],
            [
              0.49256,
              0.59486,
              0.67124,
              0.81193,
              1.08567,
              1.62928
            ],
            [
              0.49893,
              0.60123,
              0.67758,
              0.81829,
              1.09201,
              1.63561
            ],
            [
              0.50913,
              0.61146,
              0.68783,
              0.82857,
              1.10232,
              1.64592
            ],
            [
              0.5254,
              0.62773,
              0.70416,
              0.84491,
              1.11873,
              1.66233
            ],
            [
              0.55093,
              0.6533,
              0.72976,
              0.87046,
              1.14426,
              1.68796
            ],
            [
              0.5905,
              0.69287,
              0.76925,
              0.91005,
              1.18395,
              1.72755
            ],
            [
              0.65129,
              0.75359,
              0.82999,
              0.97079,
              1.24469,
              1.78829
            ],
            [
              0.74002,
              0.84222,
              0.91862,
              1.05942,
              1.33322,
              1.87682
            ],
            [
              0.85617,
              0.95877,
              1.03517,
              1.17587,
              1.44947,
              1.99307
            ],
            [
              0.9985,
              1.1015,
              1.1779,
              1.3185,
              1.5923,
              2.1358
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05082,
              0.11794,
              0.17156,
              0.2722,
              0.4753,
              0.8964
            ],
            [
              0.05073,
              0.11791,
              0.17152,
              0.27218,
              0.47515,
              0.89529
            ],
            [
              0.05076,
              0.11793,
              0.17122,
              0.2725,
              0.47485,
              0.89663
            ],
            [
              0.05077,
              0.11793,
              0.17119,
              0.27227,
              0.47499,
              0.89659
            ],
            [
              0.0508,
              0.11796,
              0.17122,
              0.27218,
              0.47499,
              0.8963
            ],
            [
              0.05084,
              0.11804,
              0.17147,
              0.27204,
              0.47511,
              0.89584
            ],
            [
              0.05089,
              0.11817,
              0.17164,
              0.27229,
              0.4752,
              0.89674
            ],
            [
              0.05095,
              0.11836,
              0.17161,
              0.27275,
              0.4752,
              0.8965
            ],
            [
              0.05104,
              0.11865,
              0.1719,
              0.27246,
              0.4752,
              0.8968
            ],
            [
              0.05106,
              0.1191,
              0.1721,
              0.2734,
              0.4753,
              0.8965
            ],
            [
              0.0511,
              0.1196,
              0.1731,
              0.2735,
              0.4766,
              0.8961
            ],
            [
              0.0511,
              0.1208,
              0.174,
              0.2749,
              0.4763,
              0.897
            ],
            [
              0.0506,
              0.1211,
              0.1748,
              0.275,
              0.4766,
              0.8958
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05279,
              0.14597,
              0.23449,
              0.41594,
              0.78829,
              1.53882
            ],
            [
              0.0528,
              0.14591,
              0.23434,
              0.41565,
              0.7888,
              1.54044
            ],
            [
              0.05273,
              0.14595,
              0.23446,
              0.41587,
              0.78791,
              1.53906
            ],
            [
              0.05275,
              0.14598,
              0.2344,
              0.41595,
              0.78799,
              1.53942
            ],
            [
              0.05282,
              0.14591,
              0.23434,
              0.41591,
              0.78974,
              1.5407
            ],
            [
              0.05281,
              0.14594,
              0.23477,
              0.4159,
              0.78811,
              1.5392
            ],
            [
              0.05275,
              0.14612,
              0.23451,
              0.4162,
              0.78824,
              1.5402
            ],
            [
              0.05278,
              0.1461,
              0.23458,
              0.41639,
              0.78898,
              1.5397
            ],
            [
              0.05271,
              0.14615,
              0.23478,
              0.4171,
              0.7891,
              1.5412
            ],
            [
              0.05259,
              0.1461,
              0.2347,
              0.4166,
              0.7898,
              1.5419
            ],
            [
              0.0527,
              0.146,
              0.2346,
              0.4163,
              0.7883,
              1.5415
            ],
            [
              0.0535,
              0.1462,
              0.2347,
              0.4157,
              0.7874,
              1.5413
            ],
            [
              0.0533,
              0.1459,
              0.2338,
              0.4147,
              0.7875,
              1.5415
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.54222,
              0.63456,
              0.69474,
              0.7933,
              0.96611,
              1.29207
            ],
            [
              0.54395,
              0.63629,
              0.69647,
              0.79502,
              0.96776,
              1.29394
            ],
            [
              0.54649,
              0.63884,
              0.69901,
              0.79757,
              0.9704,
              1.29642
            ],
            [
              0.5509,
              0.64324,
              0.70342,
              0.80197,
              0.97467,
              1.30088
            ],
            [
              0.55813,
              0.65048,
              0.71064,
              0.80923,
              0.98201,
              1.30791
            ],
            [
              0.56969,
              0.66205,
              0.72222,
              0.8208,
              0.99362,
              1.31952
            ],
            [
              0.58806,
              0.68041,
              0.74059,
              0.83917,
              1.01193,
              1.33783
            ],
            [
              0.61666,
              0.70902,
              0.76921,
              0.86776,
              1.04066,
              1.36666
            ],
            [
              0.66092,
              0.75325,
              0.81345,
              0.91205,
              1.08485,
              1.41085
            ],
            [
              0.72699,
              0.81939,
              0.87959,
              0.97809,
              1.15089,
              1.47689
            ],
            [
              0.81632,
              0.90872,
              0.96892,
              1.06752,
              1.24032,
              1.56632
            ],
            [
              0.92527,
              1.01767,
              1.07787,
              1.17637,
              1.34927,
              1.67537
            ],
            [
              1.0553,
              1.1475,
              1.2076,
              1.306,
              1.4788,
              1.8048
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.44624,
              0.54409,
              0.61698,
              0.75117,
              1.01157,
              1.52847
            ],
            [
              0.44864,
              0.54647,
              0.61953,
              0.75356,
              1.01394,
              1.53244
            ],
            [
              0.45189,
              0.54974,
              0.62263,
              0.75682,
              1.01722,
              1.53402
            ],
            [
              0.4572,
              0.55502,
              0.62809,
              0.76214,
              1.02248,
              1.54108
            ],
            [
              0.46555,
              0.5634,
              0.63634,
              0.77048,
              1.03101,
              1.54851
            ],
            [
              0.47856,
              0.57641,
              0.64946,
              0.78342,
              1.04392,
              1.56242
            ],
            [
              0.49835,
              0.59621,
              0.6691,
              0.80328,
              1.06373,
              1.58063
            ],
            [
              0.52777,
              0.62564,
              0.69853,
              0.83271,
              1.09316,
              1.61046
            ],
            [
              0.57061,
              0.66851,
              0.74147,
              0.87555,
              1.13575,
              1.65425
            ],
            [
              0.63039,
              0.72829,
              0.80129,
              0.93529,
              1.19529,
              1.71409
            ],
            [
              0.70242,
              0.80032,
              0.87332,
              1.00732,
              1.26732,
              1.78592
            ],
            [
              0.78547,
              0.88317,
              0.95597,
              1.09007,
              1.35017,
              1.86797
            ],
            [
              0.8827,
              0.9804,
              1.0533,
              1.1873,
              1.447,
              1.9651
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05033,
              0.11775,
              0.17118,
              0.27236,
              0.47605,
              0.89871
            ],
            [
              0.05034,
              0.11778,
              0.17107,
              0.27286,
              0.47611,
              0.89739
            ],
            [
              0.05033,
              0.11783,
              0.17119,
              0.27238,
              0.47612,
              0.89878
            ],
            [
              0.05034,
              0.11779,
              0.17108,
              0.27288,
              0.47619,
              0.89736
            ],
            [
              0.05033,
              0.11774,
              0.17119,
              0.27269,
              0.47618,
              0.89845
            ],
            [
              0.05039,
              0.11777,
              0.17114,
              0.27203,
              0.47622,
              0.89799
            ],
            [
              0.05037,
              0.11776,
              0.17121,
              0.27267,
              0.47626,
              0.8983
            ],
            [
              0.0504,
              0.11796,
              0.17112,
              0.27243,
              0.47616,
              0.8988
            ],
            [
              0.05044,
              0.11786,
              0.17117,
              0.2722,
              0.4763,
              0.8977
            ],
            [
              0.0505,
              0.118,
              0.1713,
              0.2725,
              0.4762,
              0.8986
            ],
            [
              0.0505,
              0.1179,
              0.1713,
              0.2725,
              0.4762,
              0.8988
            ],
            [
              0.0502,
              0.1179,
              0.171,
              0.2722,
              0.4761,
              0.8975
            ],
            [
              0.0502,
              0.1175,
              0.171,
              0.2721,
              0.4759,
              0.8991
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05131,
              0.14055,
              0.22649,
              0.40292,
              0.76548,
              1.49753
            ],
            [
              0.05135,
              0.14073,
              0.22631,
              0.40254,
              0.76425,
              1.50193
            ],
            [
              0.0513,
              0.14053,
              0.22647,
              0.40296,
              0.76548,
              1.49742
            ],
            [
              0.05136,
              0.14072,
              0.22624,
              0.40241,
              0.76413,
              1.50201
            ],
            [
              0.05132,
              0.14055,
              0.22642,
              0.40299,
              0.7652,
              1.50237
            ],
            [
              0.05136,
              0.1407,
              0.22648,
              0.40276,
              0.7645,
              1.50127
            ],
            [
              0.05134,
              0.14057,
              0.22651,
              0.40292,
              0.76543,
              1.4986
            ],
            [
              0.05138,
              0.14058,
              0.22652,
              0.40293,
              0.76544,
              1.4994
            ],
            [
              0.05149,
              0.14068,
              0.22686,
              0.40271,
              0.7655,
              1.5005
            ],
            [
              0.05151,
              0.1407,
              0.2266,
              0.4026,
              0.7654,
              1.5011
            ],
            [
              0.0515,
              0.1407,
              0.2269,
              0.4028,
              0.7655,
              1.5006
            ],
            [
              0.0513,
              0.1407,
              0.2266,
              0.4022,
              0.7642,
              1.5013
            ],
            [
              0.0513,
              0.1405,
              0.2265,
              0.4024,
              0.7651,
              1.5003
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.34961,
              0.44378,
              0.50435,
              0.60359,
              0.77731,
              1.10417
            ],
            [
              0.35255,
              0.44676,
              0.50733,
              0.60658,
              0.78039,
              1.10714
            ],
            [
              0.35612,
              0.45033,
              0.51091,
              0.61016,
              0.78397,
              1.11072
            ],
            [
              0.36142,
              0.45576,
              0.51633,
              0.6156,
              0.78943,
              1.11607
            ],
            [
              0.36987,
              0.4641,
              0.52472,
              0.62398,
              0.79771,
              1.12451
            ],
            [
              0.38252,
              0.47676,
              0.53737,
              0.63667,
              0.8105,
              1.13722
            ],
            [
              0.40171,
              0.49592,
              0.55656,
              0.65588,
              0.82975,
              1.15643
            ],
            [
              0.43078,
              0.52498,
              0.58566,
              0.68501,
              0.85876,
              1.18566
            ],
            [
              0.47441,
              0.56858,
              0.6293,
              0.7287,
              0.90255,
              1.22935
            ],
            [
              0.53901,
              0.63329,
              0.69409,
              0.79359,
              0.96749,
              1.29429
            ],
            [
              0.63112,
              0.72592,
              0.78692,
              0.88652,
              1.06062,
              1.38742
            ],
            [
              0.74817,
              0.84777,
              0.91017,
              1.01087,
              1.18537,
              1.51237
            ],
            [
              0.8894,
              0.9958,
              1.0615,
              1.1661,
              1.3437,
              1.6716
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.24791,
              0.34527,
              0.41736,
              0.54949,
              0.80778,
              1.32427
            ],
            [
              0.25111,
              0.34849,
              0.42056,
              0.55264,
              0.81095,
              1.32674
            ],
            [
              0.25487,
              0.35224,
              0.42433,
              0.55648,
              0.81469,
              1.33052
            ],
            [
              0.26055,
              0.35794,
              0.43002,
              0.56214,
              0.82044,
              1.33608
            ],
            [
              0.269,
              0.36638,
              0.43846,
              0.57066,
              0.82853,
              1.34501
            ],
            [
              0.28189,
              0.37927,
              0.45142,
              0.58365,
              0.84199,
              1.35802
            ],
            [
              0.30096,
              0.39833,
              0.47052,
              0.6028,
              0.86116,
              1.37763
            ],
            [
              0.3298,
              0.4272,
              0.49939,
              0.63186,
              0.89026,
              1.40576
            ],
            [
              0.3725,
              0.46993,
              0.54229,
              0.6747,
              0.93345,
              1.45045
            ],
            [
              0.43286,
              0.53056,
              0.60294,
              0.73569,
              0.99399,
              1.51029
            ],
            [
              0.51272,
              0.61322,
              0.68622,
              0.81932,
              1.07822,
              1.59522
            ],
            [
              0.61307,
              0.71927,
              0.79417,
              0.92827,
              1.18767,
              1.70467
            ],
            [
              0.7384,
              0.8528,
              0.9305,
              1.067,
              1.3267,
              1.8435
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05619,
              0.12205,
              0.17559,
              0.27641,
              0.47921,
              0.89971
            ],
            [
              0.05622,
              0.12228,
              0.17545,
              0.27648,
              0.47906,
              0.89951
            ],
            [
              0.05623,
              0.12205,
              0.17546,
              0.27589,
              0.47896,
              0.89959
            ],
            [
              0.05621,
              0.12205,
              0.17518,
              0.27626,
              0.47882,
              0.89902
            ],
            [
              0.05618,
              0.12201,
              0.17557,
              0.27638,
              0.47913,
              0.89955
            ],
            [
              0.05619,
              0.12204,
              0.17516,
              0.27623,
              0.47878,
              0.89974
            ],
            [
              0.05617,
              0.12202,
              0.17514,
              0.27623,
              0.47873,
              0.89913
            ],
            [
              0.05618,
              0.12208,
              0.17553,
              0.27628,
              0.47918,
              0.89968
            ],
            [
              0.05624,
              0.1221,
              0.17558,
              0.27617,
              0.47922,
              0.8996
            ],
            [
              0.05656,
              0.1223,
              0.17552,
              0.2763,
              0.4791,
              0.8995
            ],
            [
              0.0579,
              0.1231,
              0.1757,
              0.2766,
              0.479,
              0.8992
            ],
            [
              0.0633,
              0.1281,
              0.1797,
              0.279,
              0.4804,
              0.8999
            ],
            [
              0.0705,
              0.1369,
              0.1892,
              0.2875,
              0.4866,
              0.9013
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.04846,
              0.14112,
              0.22666,
              0.40202,
              0.7645,
              1.50062
            ],
            [
              0.04846,
              0.14107,
              0.2268,
              0.40256,
              0.76425,
              1.49942
            ],
            [
              0.04857,
              0.14122,
              0.22666,
              0.40171,
              0.76496,
              1.49962
            ],
            [
              0.04846,
              0.14106,
              0.2268,
              0.40255,
              0.76428,
              1.49925
            ],
            [
              0.04844,
              0.1414,
              0.22688,
              0.40212,
              0.76491,
              1.49972
            ],
            [
              0.04851,
              0.14122,
              0.22661,
              0.40165,
              0.76491,
              1.49957
            ],
            [
              0.04851,
              0.14115,
              0.22684,
              0.40268,
              0.76385,
              1.49994
            ],
            [
              0.04858,
              0.14124,
              0.227,
              0.40194,
              0.76508,
              1.49953
            ],
            [
              0.04858,
              0.14133,
              0.22692,
              0.40258,
              0.76486,
              1.5008
            ],
            [
              0.04907,
              0.14157,
              0.2272,
              0.40262,
              0.7649,
              1.4998
            ],
            [
              0.0519,
              0.1436,
              0.2283,
              0.4025,
              0.7648,
              1.5011
            ],
            [
              0.0562,
              0.149,
              0.2322,
              0.4052,
              0.7655,
              1.5003
            ],
            [
              0.0628,
              0.1573,
              0.2394,
              0.4093,
              0.767,
              1.4995
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.49992,
              0.60375,
              0.67287,
              0.78358,
              0.97379,
              1.33077
            ],
            [
              0.50313,
              0.60696,
              0.67608,
              0.78679,
              0.97701,
              1.33394
            ],
            [
              0.5069,
              0.61074,
              0.6799,
              0.79058,
              0.98082,
              1.33782
            ],
            [
              0.51267,
              0.6165,
              0.68563,
              0.79632,
              0.98657,
              1.34348
            ],
            [
              0.5213,
              0.62512,
              0.69428,
              0.80501,
              0.99521,
              1.35191
            ],
            [
              0.53426,
              0.6381,
              0.70723,
              0.81796,
              1.00812,
              1.36512
            ],
            [
              0.55361,
              0.65743,
              0.72659,
              0.83729,
              1.02753,
              1.38453
            ],
            [
              0.58266,
              0.68644,
              0.75562,
              0.86636,
              1.05656,
              1.41356
            ],
            [
              0.62588,
              0.72969,
              0.79885,
              0.90955,
              1.09975,
              1.45675
            ],
            [
              0.68619,
              0.78989,
              0.85909,
              0.96979,
              1.15999,
              1.51699
            ],
            [
              0.76692,
              0.87052,
              0.93962,
              1.05032,
              1.24052,
              1.59752
            ],
            [
              0.87127,
              0.97447,
              1.04337,
              1.15397,
              1.34407,
              1.70087
            ],
            [
              1.0031,
              1.1056,
              1.1743,
              1.2845,
              1.4745,
              1.8312
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.44921,
              0.55034,
              0.62578,
              0.76553,
              1.03867,
              1.58187
            ],
            [
              0.45221,
              0.55333,
              0.62876,
              0.76855,
              1.04164,
              1.58494
            ],
            [
              0.45583,
              0.55696,
              0.63228,
              0.77204,
              1.04522,
              1.58832
            ],
            [
              0.46116,
              0.56244,
              0.63787,
              0.77765,
              1.05068,
              1.59408
            ],
            [
              0.46962,
              0.57082,
              0.64627,
              0.78603,
              1.05921,
              1.60231
            ],
            [
              0.48231,
              0.58348,
              0.65891,
              0.79873,
              1.07182,
              1.61512
            ],
            [
              0.50147,
              0.60262,
              0.67806,
              0.81781,
              1.09093,
              1.63423
            ],
            [
              0.53036,
              0.63153,
              0.70696,
              0.84676,
              1.11986,
              1.66306
            ],
            [
              0.57412,
              0.67533,
              0.75072,
              0.89045,
              1.16355,
              1.70675
            ],
            [
              0.63929,
              0.74039,
              0.81579,
              0.95549,
              1.22859,
              1.77189
            ],
            [
              0.72932,
              0.83042,
              0.90582,
              1.04552,
              1.31862,
              1.86182
            ],
            [
              0.84337,
              0.94487,
              1.02027,
              1.16007,
              1.43317,
              1.97647
            ],
            [
              0.9809,
              1.0831,
              1.1588,
              1.2988,
              1.5721,
              2.1156
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05163,
              0.12042,
              0.17729,
              0.2876,
              0.50829,
              0.96515
            ],
            [
              0.05163,
              0.12042,
              0.17729,
              0.2876,
              0.50835,
              0.96483
            ],
            [
              0.05165,
              0.12041,
              0.17772,
              0.28759,
              0.50833,
              0.9653
            ],
            [
              0.05163,
              0.12052,
              0.17729,
              0.28769,
              0.50842,
              0.96485
            ],
            [
              0.05162,
              0.12036,
              0.17731,
              0.2876,
              0.50838,
              0.96585
            ],
            [
              0.05162,
              0.12052,
              0.17729,
              0.28762,
              0.50832,
              0.96608
            ],
            [
              0.05163,
              0.12041,
              0.1773,
              0.28761,
              0.50833,
              0.9654
            ],
            [
              0.05163,
              0.12035,
              0.17726,
              0.28756,
              0.50837,
              0.9645
            ],
            [
              0.05161,
              0.12051,
              0.17724,
              0.2879,
              0.5084,
              0.9644
            ],
            [
              0.0516,
              0.1205,
              0.1773,
              0.2877,
              0.5082,
              0.9657
            ],
            [
              0.0517,
              0.1205,
              0.1773,
              0.2877,
              0.5084,
              0.965
            ],
            [
              0.052,
              0.1207,
              0.1779,
              0.2878,
              0.5085,
              0.9666
            ],
            [
              0.0525,
              0.1212,
              0.1779,
              0.2874,
              0.5083,
              0.9668
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.04829,
              0.14036,
              0.22897,
              0.41047,
              0.78448,
              1.53753
            ],
            [
              0.04823,
              0.14052,
              0.22886,
              0.41145,
              0.78383,
              1.53756
            ],
            [
              0.04824,
              0.14037,
              0.22908,
              0.41049,
              0.7849,
              1.53756
            ],
            [
              0.04829,
              0.14049,
              0.22897,
              0.41088,
              0.78366,
              1.53859
            ],
            [
              0.04826,
              0.14055,
              0.22888,
              0.41084,
              0.78501,
              1.53755
            ],
            [
              0.04835,
              0.14049,
              0.22902,
              0.41076,
              0.78395,
              1.5385
            ],
            [
              0.04826,
              0.14051,
              0.22888,
              0.41087,
              0.78345,
              1.5375
            ],
            [
              0.04839,
              0.14056,
              0.22888,
              0.41138,
              0.7841,
              1.5376
            ],
            [
              0.04827,
              0.14056,
              0.22889,
              0.41072,
              0.7842,
              1.5375
            ],
            [
              0.04831,
              0.1405,
              0.2288,
              0.4109,
              0.7839,
              1.5381
            ],
            [
              0.0484,
              0.1405,
              0.2291,
              0.4108,
              0.7842,
              1.5378
            ],
            [
              0.049,
              0.1415,
              0.2296,
              0.4115,
              0.7843,
              1.5359
            ],
            [
              0.0502,
              0.1432,
              0.2314,
              0.413,
              0.7863,
              1.5365
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.49998,
              0.60395,
              0.67312,
              0.78389,
              0.97419,
              1.33117
            ],
            [
              0.50319,
              0.60716,
              0.67633,
              0.7871,
              0.97741,
              1.33434
            ],
            [
              0.50695,
              0.61095,
              0.68012,
              0.79089,
              0.98122,
              1.33822
            ],
            [
              0.51274,
              0.6167,
              0.68588,
              0.79665,
              0.98698,
              1.34398
            ],
            [
              0.52135,
              0.62533,
              0.69453,
              0.80531,
              0.99561,
              1.35231
            ],
            [
              0.53432,
              0.63829,
              0.70748,
              0.81826,
              1.00852,
              1.36552
            ],
            [
              0.55366,
              0.65763,
              0.72681,
              0.8376,
              1.02793,
              1.38483
            ],
            [
              0.5827,
              0.68663,
              0.75586,
              0.86666,
              1.05696,
              1.41396
            ],
            [
              0.62596,
              0.72991,
              0.79915,
              0.90985,
              1.10015,
              1.45705
            ],
            [
              0.68629,
              0.79019,
              0.85939,
              0.97009,
              1.16039,
              1.51749
            ],
            [
              0.76712,
              0.87082,
              0.94002,
              1.05072,
              1.24102,
              1.59812
            ],
            [
              0.87147,
              0.97487,
              1.04387,
              1.15447,
              1.34467,
              1.70157
            ],
            [
              1.0034,
              1.1061,
              1.1748,
              1.2851,
              1.4751,
              1.8319
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.44905,
              0.55025,
              0.6257,
              0.76546,
              1.03857,
              1.58187
            ],
            [
              0.45204,
              0.55323,
              0.62869,
              0.76851,
              1.04154,
              1.58484
            ],
            [
              0.45566,
              0.55686,
              0.63221,
              0.77201,
              1.04502,
              1.58842
            ],
            [
              0.46099,
              0.56234,
              0.6378,
              0.77761,
              1.05068,
              1.59397
            ],
            [
              0.46946,
              0.57071,
              0.64619,
              0.78596,
              1.05901,
              1.60231
            ],
            [
              0.48213,
              0.58337,
              0.65884,
              0.79866,
              1.07172,
              1.61502
            ],
            [
              0.5013,
              0.60252,
              0.67798,
              0.81779,
              1.09083,
              1.63413
            ],
            [
              0.53019,
              0.63142,
              0.70686,
              0.84666,
              1.11966,
              1.66296
            ],
            [
              0.57396,
              0.67523,
              0.75063,
              0.89045,
              1.16355,
              1.70665
            ],
            [
              0.63919,
              0.74029,
              0.81569,
              0.95549,
              1.22849,
              1.77179
            ],
            [
              0.72912,
              0.83032,
              0.90562,
              1.04542,
              1.31852,
              1.86182
            ],
            [
              0.84317,
              0.94467,
              1.02007,
              1.15987,
              1.43317,
              1.97627
            ],
            [
              0.9807,
              1.083,
              1.1586,
              1.2987,
              1.572,
              2.1154
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.0518,
              0.12066,
              0.17743,
              0.28779,
              0.50849,
              0.96433
            ],
            [
              0.05179,
              0.12066,
              0.17743,
              0.28781,
              0.50854,
              0.9648
            ],
            [
              0.05179,
              0.12066,
              0.17742,
              0.28774,
              0.50853,
              0.96456
            ],
            [
              0.05179,
              0.12066,
              0.17743,
              0.28777,
              0.50853,
              0.96456
            ],
            [
              0.05177,
              0.12044,
              0.17744,
              0.28775,
              0.50837,
              0.9664
            ],
            [
              0.05179,
              0.12045,
              0.17743,
              0.28771,
              0.5082,
              0.96548
            ],
            [
              0.05177,
              0.12065,
              0.17741,
              0.28779,
              0.50846,
              0.9652
            ],
            [
              0.05177,
              0.12055,
              0.17741,
              0.28787,
              0.50843,
              0.9651
            ],
            [
              0.05179,
              0.12067,
              0.17738,
              0.2877,
              0.5086,
              0.9655
            ],
            [
              0.0519,
              0.1207,
              0.1774,
              0.2879,
              0.5084,
              0.9656
            ],
            [
              0.0519,
              0.1205,
              0.1775,
              0.2878,
              0.5085,
              0.9648
            ],
            [
              0.0521,
              0.1208,
              0.178,
              0.2879,
              0.5086,
              0.9666
            ],
            [
              0.0526,
              0.1214,
              0.178,
              0.2879,
              0.5085,
              0.9668
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.0483,
              0.14062,
              0.2292,
              0.41158,
              0.78396,
              1.5374
            ],
            [
              0.0483,
              0.14064,
              0.22897,
              0.41056,
              0.78382,
              1.53865
            ],
            [
              0.0483,
              0.14061,
              0.22896,
              0.41143,
              0.78369,
              1.53984
            ],
            [
              0.04838,
              0.14063,
              0.22895,
              0.41078,
              0.78395,
              1.53768
            ],
            [
              0.0483,
              0.14063,
              0.22897,
              0.4106,
              0.7839,
              1.53753
            ],
            [
              0.0484,
              0.14044,
              0.22895,
              0.41049,
              0.78375,
              1.5397
            ],
            [
              0.04841,
              0.14064,
              0.22916,
              0.41057,
              0.78374,
              1.5387
            ],
            [
              0.04831,
              0.14062,
              0.22912,
              0.41081,
              0.78399,
              1.5376
            ],
            [
              0.0483,
              0.14061,
              0.22913,
              0.41093,
              0.7846,
              1.5377
            ],
            [
              0.04828,
              0.1406,
              0.2291,
              0.4107,
              0.7839,
              1.5377
            ],
            [
              0.0485,
              0.1407,
              0.2292,
              0.4107,
              0.7839,
              1.5374
            ],
            [
              0.0491,
              0.1416,
              0.2296,
              0.4116,
              0.7838,
              1.5384
            ],
            [
              0.0502,
              0.1433,
              0.2313,
              0.4131,
              0.7862,
              1.5378
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.35008,
              0.44425,
              0.50482,
              0.60404,
              0.77777,
              1.10457
            ],
            [
              0.35302,
              0.44721,
              0.50777,
              0.60702,
              0.78073,
              1.10704
            ],
            [
              0.3566,
              0.45081,
              0.51139,
              0.61063,
              0.78435,
              1.11112
            ],
            [
              0.3619,
              0.45621,
              0.5168,
              0.61604,
              0.78987,
              1.11648
            ],
            [
              0.37034,
              0.46457,
              0.52516,
              0.62444,
              0.79816,
              1.12491
            ],
            [
              0.38297,
              0.47721,
              0.53784,
              0.63713,
              0.81096,
              1.13762
            ],
            [
              0.40217,
              0.49638,
              0.55702,
              0.65634,
              0.83019,
              1.15683
            ],
            [
              0.43124,
              0.52543,
              0.58611,
              0.68546,
              0.85926,
              1.18606
            ],
            [
              0.47486,
              0.56903,
              0.62972,
              0.72914,
              0.90305,
              1.22945
            ],
            [
              0.53943,
              0.63369,
              0.69449,
              0.79399,
              0.96799,
              1.29469
            ],
            [
              0.63152,
              0.72632,
              0.78722,
              0.88692,
              1.06102,
              1.38772
            ],
            [
              0.74847,
              0.84807,
              0.91047,
              1.01117,
              1.18567,
              1.51257
            ],
            [
              0.8897,
              0.996,
              1.0617,
              1.1663,
              1.3439,
              1.6717
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.24793,
              0.34528,
              0.41735,
              0.54944,
              0.80769,
              1.32427
            ],
            [
              0.25112,
              0.34849,
              0.42055,
              0.55259,
              0.81088,
              1.32604
            ],
            [
              0.25488,
              0.35224,
              0.42432,
              0.55643,
              0.81461,
              1.33122
            ],
            [
              0.26058,
              0.35794,
              0.43001,
              0.56208,
              0.82039,
              1.33598
            ],
            [
              0.26913,
              0.36638,
              0.43848,
              0.57064,
              0.82878,
              1.34541
            ],
            [
              0.2819,
              0.37927,
              0.45141,
              0.58361,
              0.84193,
              1.35802
            ],
            [
              0.30096,
              0.39834,
              0.47052,
              0.60276,
              0.86112,
              1.37763
            ],
            [
              0.32981,
              0.4272,
              0.49938,
              0.63182,
              0.89006,
              1.40666
            ],
            [
              0.37249,
              0.46992,
              0.54228,
              0.67471,
              0.93335,
              1.45035
            ],
            [
              0.43285,
              0.53054,
              0.60293,
              0.73589,
              0.99479,
              1.51169
            ],
            [
              0.51272,
              0.61322,
              0.68622,
              0.81932,
              1.07812,
              1.59522
            ],
            [
              0.61307,
              0.71927,
              0.79427,
              0.92837,
              1.18767,
              1.70467
            ],
            [
              0.7384,
              0.8528,
              0.9305,
              1.0671,
              1.3267,
              1.8436
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.05617,
              0.12211,
              0.17565,
              0.27631,
              0.47924,
              0.89956
            ],
            [
              0.05619,
              0.12204,
              0.17522,
              0.27606,
              0.47914,
              0.89894
            ],
            [
              0.05618,
              0.12211,
              0.17563,
              0.27631,
              0.47921,
              0.89953
            ],
            [
              0.05619,
              0.12202,
              0.17524,
              0.27626,
              0.47876,
              0.89896
            ],
            [
              0.05616,
              0.12209,
              0.17512,
              0.2763,
              0.47917,
              0.89959
            ],
            [
              0.05616,
              0.12207,
              0.17517,
              0.27624,
              0.47879,
              0.89891
            ],
            [
              0.05617,
              0.12209,
              0.17543,
              0.27623,
              0.47867,
              0.89908
            ],
            [
              0.05615,
              0.12212,
              0.17555,
              0.27629,
              0.47912,
              0.89963
            ],
            [
              0.05621,
              0.12224,
              0.17521,
              0.27601,
              0.47874,
              0.8988
            ],
            [
              0.05656,
              0.12249,
              0.17551,
              0.2769,
              0.4788,
              0.8997
            ],
            [
              0.0579,
              0.1232,
              0.1757,
              0.276,
              0.4789,
              0.8991
            ],
            [
              0.0633,
              0.1282,
              0.1798,
              0.279,
              0.4803,
              0.8998
            ],
            [
              0.0705,
              0.1369,
              0.1892,
              0.2876,
              0.4865,
              0.9017
            ]
          ]
        },
        "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.00749,
            0.01499,
            0.02997,
            0.05994,
            0.11987
          ],
          "values": [
            [
              0.04837,
              0.1411,
              0.22663,
              0.40202,
              0.76442,
              1.50089
            ],
            [
              0.04842,
              0.14103,
              0.22673,
              0.40246,
              0.76427,
              1.4978
            ],
            [
              0.04851,
              0.14115,
              0.22654,
              0.40157,
              0.76498,
              1.50105
            ],
            [
              0.04842,
              0.14101,
              0.22672,
              0.40257,
              0.76439,
              1.49922
            ],
            [
              0.04844,
              0.14116,
              0.22666,
              0.40172,
              0.76503,
              1.50107
            ],
            [
              0.04843,
              0.14116,
              0.22652,
              0.4017,
              0.76473,
              1.49955
            ],
            [
              0.04849,
              0.14111,
              0.22676,
              0.40263,
              0.76395,
              1.49998
            ],
            [
              0.04854,
              0.14119,
              0.22692,
              0.40172,
              0.7649,
              1.50107
            ],
            [
              0.04866,
              0.14135,
              0.2268,
              0.40267,
              0.76478,
              1.5009
            ],
            [
              0.04898,
              0.14152,
              0.2271,
              0.40219,
              0.7648,
              1.5014
            ],
            [
              0.052,
              0.1436,
              0.2283,
              0.4024,
              0.7648,
              1.501
            ],
            [
              0.0562,
              0.1491,
              0.2322,
              0.4052,
              0.7655,
              1.5003
            ],
            [
              0.0628,
              0.1572,
              0.2394,
              0.4092,
              0.767,
              1.4996
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}