{
  "area": 36.7632,
  "cell_footprint": "sky130_fd_sc_ls__fa",
  "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.01111,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.01095,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CIN": {
    "capacitance": 0.00775,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CIN) | (B&CIN)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.07973,
              0.08651,
              0.09337,
              0.107,
              0.13417,
              0.18789,
              0.29383,
              0.50424
            ],
            [
              0.0797,
              0.08648,
              0.09333,
              0.10697,
              0.13408,
              0.18781,
              0.29396,
              0.50422
            ],
            [
              0.07972,
              0.08648,
              0.09332,
              0.10697,
              0.13411,
              0.18789,
              0.29383,
              0.50425
            ],
            [
              0.07966,
              0.08641,
              0.09326,
              0.10693,
              0.13408,
              0.1878,
              0.29359,
              0.50451
            ],
            [
              0.07962,
              0.08637,
              0.09323,
              0.10687,
              0.13399,
              0.18777,
              0.29366,
              0.50474
            ],
            [
              0.07957,
              0.08632,
              0.09318,
              0.10681,
              0.13396,
              0.18761,
              0.29367,
              0.50444
            ],
            [
              0.07947,
              0.08623,
              0.09307,
              0.10672,
              0.13387,
              0.18761,
              0.29356,
              0.50396
            ],
            [
              0.07942,
              0.08619,
              0.09303,
              0.1067,
              0.13378,
              0.18754,
              0.29364,
              0.50436
            ],
            [
              0.07933,
              0.08611,
              0.09295,
              0.10659,
              0.13372,
              0.18743,
              0.29346,
              0.50375
            ],
            [
              0.07926,
              0.086,
              0.09288,
              0.10651,
              0.13371,
              0.18737,
              0.29332,
              0.50377
            ],
            [
              0.07916,
              0.08591,
              0.09278,
              0.10642,
              0.13352,
              0.18723,
              0.2931,
              0.50373
            ],
            [
              0.07906,
              0.08581,
              0.09264,
              0.10627,
              0.1334,
              0.18702,
              0.29297,
              0.50346
            ],
            [
              0.07905,
              0.08577,
              0.09257,
              0.10615,
              0.13315,
              0.18684,
              0.29269,
              0.50355
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.05016,
              0.05802,
              0.06588,
              0.08162,
              0.113,
              0.17418,
              0.29275,
              0.52922
            ],
            [
              0.05006,
              0.05791,
              0.06578,
              0.08151,
              0.1129,
              0.17408,
              0.2927,
              0.5298
            ],
            [
              0.04996,
              0.05778,
              0.06569,
              0.08141,
              0.1128,
              0.17399,
              0.29262,
              0.52919
            ],
            [
              0.04984,
              0.05766,
              0.06555,
              0.0813,
              0.11267,
              0.17386,
              0.29248,
              0.52886
            ],
            [
              0.04967,
              0.05749,
              0.06536,
              0.08115,
              0.11249,
              0.1737,
              0.2923,
              0.52915
            ],
            [
              0.04944,
              0.05728,
              0.06518,
              0.0809,
              0.11228,
              0.17349,
              0.29214,
              0.5291
            ],
            [
              0.04921,
              0.05705,
              0.06493,
              0.08065,
              0.11206,
              0.17325,
              0.29191,
              0.52879
            ],
            [
              0.04901,
              0.05684,
              0.06471,
              0.08042,
              0.11179,
              0.17297,
              0.29158,
              0.52832
            ],
            [
              0.04873,
              0.05656,
              0.06444,
              0.08015,
              0.11148,
              0.17266,
              0.29132,
              0.52809
            ],
            [
              0.04845,
              0.05628,
              0.06415,
              0.07984,
              0.11114,
              0.17228,
              0.29093,
              0.52791
            ],
            [
              0.04823,
              0.05601,
              0.06383,
              0.07947,
              0.11069,
              0.17179,
              0.29042,
              0.52768
            ],
            [
              0.04802,
              0.05578,
              0.06362,
              0.07915,
              0.11017,
              0.17121,
              0.28984,
              0.52705
            ],
            [
              0.04785,
              0.05552,
              0.06327,
              0.07882,
              0.10995,
              0.17086,
              0.28948,
              0.52581
            ]
          ]
        },
        "when": "(B&!CIN) | (!B&CIN)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.0771,
              0.08389,
              0.09073,
              0.10441,
              0.13156,
              0.18528,
              0.29146,
              0.50166
            ],
            [
              0.07706,
              0.08383,
              0.09066,
              0.10433,
              0.1315,
              0.18525,
              0.29102,
              0.50204
            ],
            [
              0.07703,
              0.0838,
              0.09064,
              0.10437,
              0.1315,
              0.18521,
              0.29122,
              0.50131
            ],
            [
              0.077,
              0.08379,
              0.09061,
              0.10429,
              0.13148,
              0.18522,
              0.29113,
              0.50225
            ],
            [
              0.0769,
              0.08368,
              0.09052,
              0.10423,
              0.13138,
              0.18509,
              0.2911,
              0.5019
            ],
            [
              0.07676,
              0.08353,
              0.09039,
              0.10406,
              0.13124,
              0.18504,
              0.29096,
              0.50208
            ],
            [
              0.0766,
              0.08337,
              0.09022,
              0.10391,
              0.13114,
              0.18489,
              0.29071,
              0.5019
            ],
            [
              0.07639,
              0.08317,
              0.09002,
              0.10367,
              0.13085,
              0.18461,
              0.29055,
              0.50128
            ],
            [
              0.0762,
              0.08296,
              0.08984,
              0.10349,
              0.13065,
              0.18447,
              0.29046,
              0.50111
            ],
            [
              0.07599,
              0.08277,
              0.08961,
              0.1033,
              0.13049,
              0.18418,
              0.29034,
              0.5009
            ],
            [
              0.07575,
              0.08253,
              0.08938,
              0.10309,
              0.13021,
              0.18387,
              0.28974,
              0.50039
            ],
            [
              0.07553,
              0.0823,
              0.08912,
              0.10281,
              0.12986,
              0.18345,
              0.28929,
              0.50016
            ],
            [
              0.0754,
              0.08211,
              0.08893,
              0.1025,
              0.12952,
              0.18311,
              0.28916,
              0.50027
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.05367,
              0.06155,
              0.06944,
              0.08518,
              0.11662,
              0.17785,
              0.29639,
              0.53321
            ],
            [
              0.05366,
              0.06153,
              0.06943,
              0.08522,
              0.11661,
              0.17786,
              0.29642,
              0.53319
            ],
            [
              0.05362,
              0.06149,
              0.06938,
              0.08515,
              0.11656,
              0.17778,
              0.29649,
              0.53292
            ],
            [
              0.05353,
              0.0614,
              0.0693,
              0.08508,
              0.11647,
              0.17772,
              0.29632,
              0.53314
            ],
            [
              0.05339,
              0.06127,
              0.06917,
              0.0849,
              0.11635,
              0.1776,
              0.29624,
              0.53229
            ],
            [
              0.05327,
              0.06115,
              0.06904,
              0.08477,
              0.1162,
              0.17751,
              0.2961,
              0.53272
            ],
            [
              0.05307,
              0.06093,
              0.06882,
              0.08462,
              0.116,
              0.17727,
              0.29583,
              0.53217
            ],
            [
              0.0528,
              0.06067,
              0.06856,
              0.0843,
              0.1157,
              0.17692,
              0.29561,
              0.53227
            ],
            [
              0.05244,
              0.06029,
              0.06819,
              0.08392,
              0.11527,
              0.17646,
              0.29516,
              0.53188
            ],
            [
              0.05201,
              0.05983,
              0.0677,
              0.08341,
              0.11468,
              0.17583,
              0.29456,
              0.53117
            ],
            [
              0.05162,
              0.05935,
              0.06716,
              0.0828,
              0.11402,
              0.17511,
              0.29382,
              0.53066
            ],
            [
              0.05125,
              0.05898,
              0.06678,
              0.08231,
              0.11329,
              0.17433,
              0.29307,
              0.52989
            ],
            [
              0.05092,
              0.05853,
              0.06627,
              0.08181,
              0.11286,
              0.17383,
              0.29247,
              0.52942
            ]
          ]
        },
        "when": "(A&!CIN) | (!A&CIN)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.07279,
              0.07956,
              0.0864,
              0.10006,
              0.12727,
              0.18095,
              0.28682,
              0.49762
            ],
            [
              0.07266,
              0.07944,
              0.08628,
              0.09996,
              0.12715,
              0.18083,
              0.28682,
              0.49741
            ],
            [
              0.07277,
              0.07956,
              0.08641,
              0.10005,
              0.12724,
              0.18096,
              0.287,
              0.4975
            ],
            [
              0.07259,
              0.07937,
              0.08622,
              0.09989,
              0.12709,
              0.18079,
              0.28665,
              0.49767
            ],
            [
              0.07258,
              0.07936,
              0.08621,
              0.09986,
              0.12705,
              0.18072,
              0.28652,
              0.49759
            ],
            [
              0.07244,
              0.07921,
              0.08609,
              0.09975,
              0.12693,
              0.18052,
              0.2865,
              0.49723
            ],
            [
              0.07232,
              0.07912,
              0.08594,
              0.0996,
              0.12681,
              0.18048,
              0.28635,
              0.49735
            ],
            [
              0.07216,
              0.07892,
              0.08578,
              0.09944,
              0.12665,
              0.18032,
              0.28641,
              0.49676
            ],
            [
              0.07199,
              0.07876,
              0.0856,
              0.09931,
              0.12647,
              0.18007,
              0.28621,
              0.49709
            ],
            [
              0.07181,
              0.07859,
              0.08544,
              0.09911,
              0.12625,
              0.17988,
              0.28571,
              0.49664
            ],
            [
              0.07161,
              0.07838,
              0.08525,
              0.0989,
              0.12602,
              0.17961,
              0.28553,
              0.49657
            ],
            [
              0.07139,
              0.07816,
              0.085,
              0.09862,
              0.1257,
              0.17924,
              0.2852,
              0.49585
            ],
            [
              0.07131,
              0.07802,
              0.08479,
              0.09833,
              0.12535,
              0.17878,
              0.28459,
              0.49506
            ]
          ]
        },
        "related_pin": "CIN",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.05472,
              0.06255,
              0.07041,
              0.08612,
              0.11748,
              0.17877,
              0.29737,
              0.53454
            ],
            [
              0.05471,
              0.06253,
              0.07039,
              0.08608,
              0.11746,
              0.17877,
              0.29734,
              0.53443
            ],
            [
              0.05469,
              0.06251,
              0.07038,
              0.08607,
              0.11743,
              0.17877,
              0.29727,
              0.5341
            ],
            [
              0.05465,
              0.06248,
              0.07036,
              0.08605,
              0.11742,
              0.17875,
              0.29732,
              0.53415
            ],
            [
              0.05461,
              0.06244,
              0.07033,
              0.08603,
              0.1174,
              0.17871,
              0.29728,
              0.53355
            ],
            [
              0.05458,
              0.06241,
              0.07028,
              0.086,
              0.11735,
              0.17866,
              0.29717,
              0.53422
            ],
            [
              0.05451,
              0.06232,
              0.0702,
              0.0859,
              0.11728,
              0.17857,
              0.29721,
              0.53404
            ],
            [
              0.05437,
              0.06221,
              0.07007,
              0.08575,
              0.1171,
              0.17837,
              0.29697,
              0.5341
            ],
            [
              0.05415,
              0.06197,
              0.06984,
              0.08547,
              0.11675,
              0.17801,
              0.29659,
              0.53392
            ],
            [
              0.05384,
              0.06163,
              0.06946,
              0.08509,
              0.11628,
              0.17749,
              0.29611,
              0.53334
            ],
            [
              0.05355,
              0.06122,
              0.06899,
              0.08454,
              0.11572,
              0.17684,
              0.29547,
              0.53211
            ],
            [
              0.0533,
              0.06097,
              0.06873,
              0.08417,
              0.11511,
              0.17619,
              0.29478,
              0.53157
            ],
            [
              0.05317,
              0.0607,
              0.06839,
              0.08382,
              0.11485,
              0.17577,
              0.29428,
              0.53143
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.24568,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.7428,
              0.79151,
              0.82453,
              0.87372,
              0.94551,
              1.05127,
              1.21367,
              1.47727
            ],
            [
              0.74299,
              0.79165,
              0.82472,
              0.87389,
              0.94566,
              1.05144,
              1.21384,
              1.47744
            ],
            [
              0.74421,
              0.79288,
              0.82595,
              0.87514,
              0.94693,
              1.05272,
              1.21512,
              1.47862
            ],
            [
              0.7473,
              0.79602,
              0.82905,
              0.87826,
              0.95005,
              1.05588,
              1.21828,
              1.48178
            ],
            [
              0.75373,
              0.80241,
              0.83548,
              0.88467,
              0.95641,
              1.06221,
              1.22471,
              1.48821
            ],
            [
              0.76512,
              0.81383,
              0.84687,
              0.89607,
              0.96782,
              1.07372,
              1.23612,
              1.49962
            ],
            [
              0.78354,
              0.83226,
              0.8653,
              0.91453,
              0.98633,
              1.09213,
              1.25453,
              1.51803
            ],
            [
              0.81133,
              0.86006,
              0.89306,
              0.94226,
              1.01406,
              1.11986,
              1.28226,
              1.54586
            ],
            [
              0.85235,
              0.90105,
              0.93415,
              0.98325,
              1.05505,
              1.16085,
              1.32335,
              1.58685
            ],
            [
              0.91369,
              0.96239,
              0.99549,
              1.04459,
              1.11639,
              1.22219,
              1.38459,
              1.64819
            ],
            [
              1.00602,
              1.05462,
              1.08772,
              1.13692,
              1.20862,
              1.31442,
              1.47682,
              1.74032
            ],
            [
              1.14477,
              1.19337,
              1.22647,
              1.27567,
              1.34737,
              1.45307,
              1.61547,
              1.87907
            ],
            [
              1.3522,
              1.401,
              1.434,
              1.4832,
              1.5549,
              1.6607,
              1.8232,
              2.0868
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.28928,
              0.32742,
              0.35584,
              0.40247,
              0.48102,
              0.62145,
              0.88894,
              1.41957
            ],
            [
              0.29243,
              0.33058,
              0.359,
              0.40562,
              0.48419,
              0.62446,
              0.89211,
              1.42274
            ],
            [
              0.29625,
              0.33441,
              0.36282,
              0.40944,
              0.48797,
              0.62833,
              0.89594,
              1.42662
            ],
            [
              0.30203,
              0.34019,
              0.3686,
              0.41524,
              0.49379,
              0.63426,
              0.90173,
              1.43237
            ],
            [
              0.31043,
              0.34859,
              0.37698,
              0.42363,
              0.50213,
              0.6425,
              0.91015,
              1.44081
            ],
            [
              0.32228,
              0.36044,
              0.38886,
              0.43549,
              0.51398,
              0.65439,
              0.922,
              1.45262
            ],
            [
              0.33924,
              0.37738,
              0.4058,
              0.45242,
              0.53097,
              0.67144,
              0.93893,
              1.46963
            ],
            [
              0.36406,
              0.40223,
              0.4306,
              0.47722,
              0.55575,
              0.69619,
              0.96366,
              1.49436
            ],
            [
              0.40091,
              0.43905,
              0.46746,
              0.51405,
              0.59254,
              0.73294,
              1.00045,
              1.53125
            ],
            [
              0.45569,
              0.49383,
              0.52221,
              0.56876,
              0.64719,
              0.78759,
              1.05509,
              1.58589
            ],
            [
              0.53372,
              0.57282,
              0.60152,
              0.64842,
              0.72692,
              0.86722,
              1.13502,
              1.66582
            ],
            [
              0.63657,
              0.67797,
              0.70807,
              0.75647,
              0.83647,
              0.97747,
              1.24547,
              1.77637
            ],
            [
              0.769,
              0.8136,
              0.8455,
              0.8962,
              0.9785,
              1.1217,
              1.3904,
              1.9212
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.09728,
              0.12137,
              0.13853,
              0.16622,
              0.21226,
              0.29208,
              0.43699,
              0.7136
            ],
            [
              0.09717,
              0.12135,
              0.13838,
              0.16645,
              0.21212,
              0.29212,
              0.437,
              0.713
            ],
            [
              0.09723,
              0.12125,
              0.1385,
              0.16627,
              0.2122,
              0.29203,
              0.4369,
              0.7128
            ],
            [
              0.0973,
              0.12119,
              0.13854,
              0.16622,
              0.21222,
              0.29205,
              0.437,
              0.7136
            ],
            [
              0.09717,
              0.12133,
              0.13838,
              0.16649,
              0.21222,
              0.29211,
              0.4375,
              0.7132
            ],
            [
              0.09734,
              0.12126,
              0.1384,
              0.16615,
              0.21221,
              0.29202,
              0.4372,
              0.7133
            ],
            [
              0.09719,
              0.12128,
              0.13835,
              0.16614,
              0.2122,
              0.2921,
              0.4372,
              0.7133
            ],
            [
              0.09714,
              0.12127,
              0.13838,
              0.1664,
              0.2122,
              0.2921,
              0.4375,
              0.7133
            ],
            [
              0.0972,
              0.1212,
              0.1383,
              0.1661,
              0.2121,
              0.2921,
              0.4373,
              0.7132
            ],
            [
              0.0972,
              0.1213,
              0.1385,
              0.1662,
              0.2122,
              0.2922,
              0.4373,
              0.7136
            ],
            [
              0.0972,
              0.1212,
              0.1383,
              0.1661,
              0.2122,
              0.2922,
              0.4373,
              0.7129
            ],
            [
              0.0972,
              0.1213,
              0.1383,
              0.1662,
              0.2123,
              0.2922,
              0.4371,
              0.7127
            ],
            [
              0.0983,
              0.1221,
              0.139,
              0.1671,
              0.2127,
              0.2925,
              0.4378,
              0.7135
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.05458,
              0.08233,
              0.10594,
              0.14993,
              0.23589,
              0.41041,
              0.7712,
              1.49822
            ],
            [
              0.05467,
              0.08231,
              0.10595,
              0.14984,
              0.23589,
              0.4104,
              0.77084,
              1.49802
            ],
            [
              0.05463,
              0.08246,
              0.10614,
              0.15,
              0.23595,
              0.41039,
              0.7711,
              1.49828
            ],
            [
              0.05462,
              0.08236,
              0.10592,
              0.14995,
              0.23589,
              0.41044,
              0.77121,
              1.49803
            ],
            [
              0.05461,
              0.08245,
              0.10601,
              0.15013,
              0.23593,
              0.4104,
              0.77087,
              1.49806
            ],
            [
              0.05463,
              0.08254,
              0.10606,
              0.15007,
              0.23592,
              0.4104,
              0.77102,
              1.49811
            ],
            [
              0.05463,
              0.08229,
              0.10601,
              0.14985,
              0.23592,
              0.4105,
              0.77119,
              1.49837
            ],
            [
              0.0546,
              0.08231,
              0.10594,
              0.14992,
              0.2359,
              0.41046,
              0.77123,
              1.49831
            ],
            [
              0.0546,
              0.08235,
              0.10599,
              0.1499,
              0.23593,
              0.41041,
              0.77126,
              1.4983
            ],
            [
              0.05474,
              0.08242,
              0.10605,
              0.14999,
              0.23597,
              0.41048,
              0.7713,
              1.4983
            ],
            [
              0.0574,
              0.0847,
              0.1079,
              0.1514,
              0.2367,
              0.4108,
              0.771,
              1.4984
            ],
            [
              0.0622,
              0.09,
              0.1134,
              0.1565,
              0.2403,
              0.4127,
              0.7716,
              1.4985
            ],
            [
              0.0694,
              0.0976,
              0.1213,
              0.164,
              0.2471,
              0.4178,
              0.774,
              1.499
            ]
          ]
        },
        "sdf_cond": "(!B&CIN)",
        "timing_sense": "positive_unate",
        "when": "(!B&CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.69833,
              0.74609,
              0.77847,
              0.82678,
              0.89745,
              1.00217,
              1.16477,
              1.42887
            ],
            [
              0.70054,
              0.74829,
              0.78068,
              0.82898,
              0.89966,
              1.00444,
              1.16704,
              1.43104
            ],
            [
              0.70347,
              0.75121,
              0.78358,
              0.8319,
              0.90259,
              1.00732,
              1.16992,
              1.43392
            ],
            [
              0.70827,
              0.75602,
              0.78841,
              0.83673,
              0.90741,
              1.01218,
              1.17478,
              1.43878
            ],
            [
              0.71618,
              0.76387,
              0.79628,
              0.84461,
              0.91529,
              1.02011,
              1.18261,
              1.44671
            ],
            [
              0.72874,
              0.77646,
              0.80884,
              0.85716,
              0.92782,
              1.03262,
              1.19522,
              1.45922
            ],
            [
              0.74806,
              0.79575,
              0.82817,
              0.87648,
              0.94713,
              1.05193,
              1.21453,
              1.47853
            ],
            [
              0.77623,
              0.82395,
              0.85636,
              0.90466,
              0.97526,
              1.08006,
              1.24266,
              1.50676
            ],
            [
              0.81615,
              0.86385,
              0.89615,
              0.94445,
              1.01515,
              1.11995,
              1.28245,
              1.54655
            ],
            [
              0.87289,
              0.92059,
              0.95299,
              1.00129,
              1.07189,
              1.17669,
              1.33929,
              1.60329
            ],
            [
              0.95532,
              1.00302,
              1.03542,
              1.08372,
              1.15432,
              1.25902,
              1.42162,
              1.68572
            ],
            [
              1.07677,
              1.12457,
              1.15697,
              1.20517,
              1.27577,
              1.38047,
              1.54317,
              1.80727
            ],
            [
              1.2537,
              1.3024,
              1.3351,
              1.3837,
              1.4546,
              1.5595,
              1.7224,
              1.9866
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.30031,
              0.33666,
              0.3639,
              0.40892,
              0.48569,
              0.62468,
              0.89191,
              1.42147
            ],
            [
              0.30114,
              0.33749,
              0.36473,
              0.40974,
              0.48651,
              0.6255,
              0.89272,
              1.42224
            ],
            [
              0.30282,
              0.33917,
              0.36642,
              0.41142,
              0.4882,
              0.62715,
              0.89438,
              1.42392
            ],
            [
              0.30627,
              0.3426,
              0.36984,
              0.41485,
              0.49153,
              0.63053,
              0.8978,
              1.42728
            ],
            [
              0.31249,
              0.34883,
              0.37606,
              0.42108,
              0.4978,
              0.63683,
              0.90402,
              1.43351
            ],
            [
              0.32256,
              0.3589,
              0.38613,
              0.43115,
              0.5079,
              0.64691,
              0.91408,
              1.44352
            ],
            [
              0.33789,
              0.37425,
              0.40149,
              0.44648,
              0.52324,
              0.66217,
              0.92943,
              1.45893
            ],
            [
              0.36125,
              0.39763,
              0.4248,
              0.46981,
              0.54649,
              0.68544,
              0.95266,
              1.48216
            ],
            [
              0.39649,
              0.43281,
              0.46002,
              0.50498,
              0.58154,
              0.72048,
              0.98775,
              1.51735
            ],
            [
              0.4491,
              0.48547,
              0.51266,
              0.55759,
              0.63419,
              0.77309,
              1.04029,
              1.56989
            ],
            [
              0.52262,
              0.56022,
              0.58792,
              0.63332,
              0.71022,
              0.84902,
              1.11632,
              1.64592
            ],
            [
              0.61807,
              0.65797,
              0.68697,
              0.73397,
              0.81227,
              0.95177,
              1.21937,
              1.74907
            ],
            [
              0.7395,
              0.7825,
              0.8133,
              0.8624,
              0.9428,
              1.084,
              1.3522,
              1.8819
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.09441,
              0.11809,
              0.13514,
              0.16279,
              0.20902,
              0.28981,
              0.43681,
              0.7143
            ],
            [
              0.09443,
              0.11809,
              0.13514,
              0.16279,
              0.20898,
              0.28976,
              0.43676,
              0.7143
            ],
            [
              0.09436,
              0.11815,
              0.13526,
              0.16294,
              0.20909,
              0.28987,
              0.43718,
              0.7138
            ],
            [
              0.09436,
              0.11809,
              0.1352,
              0.16285,
              0.20911,
              0.28989,
              0.43702,
              0.7129
            ],
            [
              0.09443,
              0.11809,
              0.13533,
              0.16299,
              0.20908,
              0.28985,
              0.4373,
              0.7133
            ],
            [
              0.09443,
              0.11803,
              0.13529,
              0.16301,
              0.20914,
              0.28991,
              0.4372,
              0.7135
            ],
            [
              0.09439,
              0.11809,
              0.13501,
              0.16277,
              0.20903,
              0.2898,
              0.4369,
              0.7141
            ],
            [
              0.09434,
              0.11811,
              0.13516,
              0.16277,
              0.209,
              0.2897,
              0.4368,
              0.7143
            ],
            [
              0.0944,
              0.118,
              0.1352,
              0.1629,
              0.2091,
              0.2899,
              0.4373,
              0.7141
            ],
            [
              0.0943,
              0.1181,
              0.1351,
              0.1628,
              0.2091,
              0.2898,
              0.4372,
              0.7138
            ],
            [
              0.0943,
              0.118,
              0.135,
              0.1627,
              0.209,
              0.2897,
              0.4367,
              0.7142
            ],
            [
              0.0944,
              0.118,
              0.1349,
              0.1627,
              0.2091,
              0.2899,
              0.4372,
              0.713
            ],
            [
              0.0985,
              0.1214,
              0.1378,
              0.1648,
              0.2106,
              0.2909,
              0.4379,
              0.7139
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.05157,
              0.07841,
              0.10153,
              0.14511,
              0.23132,
              0.40661,
              0.76827,
              1.49625
            ],
            [
              0.05156,
              0.0784,
              0.10152,
              0.14511,
              0.2313,
              0.40659,
              0.76832,
              1.49621
            ],
            [
              0.05159,
              0.07835,
              0.10157,
              0.14505,
              0.23128,
              0.40656,
              0.76862,
              1.49623
            ],
            [
              0.05156,
              0.07853,
              0.10167,
              0.14535,
              0.23115,
              0.40656,
              0.76816,
              1.49616
            ],
            [
              0.05155,
              0.07846,
              0.10166,
              0.14522,
              0.23103,
              0.40654,
              0.76856,
              1.49587
            ],
            [
              0.05155,
              0.07845,
              0.10161,
              0.145,
              0.23097,
              0.40655,
              0.7683,
              1.49611
            ],
            [
              0.05163,
              0.0784,
              0.10159,
              0.14501,
              0.23127,
              0.40653,
              0.76817,
              1.4962
            ],
            [
              0.05153,
              0.07858,
              0.10167,
              0.14513,
              0.2312,
              0.40651,
              0.76855,
              1.49602
            ],
            [
              0.05152,
              0.07838,
              0.10164,
              0.14523,
              0.23105,
              0.40652,
              0.76856,
              1.4959
            ],
            [
              0.05185,
              0.07856,
              0.10163,
              0.1451,
              0.23112,
              0.40652,
              0.7682,
              1.4962
            ],
            [
              0.0549,
              0.0814,
              0.1041,
              0.1473,
              0.2322,
              0.4069,
              0.7681,
              1.4959
            ],
            [
              0.0597,
              0.0866,
              0.1094,
              0.1521,
              0.2361,
              0.409,
              0.7688,
              1.4961
            ],
            [
              0.0667,
              0.094,
              0.1168,
              0.1592,
              0.2423,
              0.4134,
              0.7712,
              1.4966
            ]
          ]
        },
        "sdf_cond": "(B&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(B&!CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.71193,
              0.76068,
              0.79374,
              0.84295,
              0.91477,
              1.02057,
              1.18317,
              1.44667
            ],
            [
              0.71451,
              0.76326,
              0.79633,
              0.84555,
              0.91737,
              1.02324,
              1.18584,
              1.44924
            ],
            [
              0.71747,
              0.76626,
              0.79932,
              0.84855,
              0.92038,
              1.02622,
              1.18882,
              1.45222
            ],
            [
              0.72186,
              0.77065,
              0.80371,
              0.85294,
              0.92478,
              1.03068,
              1.19328,
              1.45668
            ],
            [
              0.72857,
              0.77733,
              0.8104,
              0.85964,
              0.93148,
              1.03731,
              1.19991,
              1.46341
            ],
            [
              0.73898,
              0.78772,
              0.82077,
              0.87001,
              0.94182,
              1.04772,
              1.21032,
              1.47372
            ],
            [
              0.75519,
              0.80386,
              0.83694,
              0.88616,
              0.95803,
              1.06383,
              1.22643,
              1.48993
            ],
            [
              0.7806,
              0.82929,
              0.86236,
              0.91156,
              0.98336,
              1.08926,
              1.25186,
              1.51526
            ],
            [
              0.82065,
              0.86935,
              0.90235,
              0.95155,
              1.02335,
              1.12915,
              1.29175,
              1.55515
            ],
            [
              0.88349,
              0.93209,
              0.96519,
              1.01439,
              1.08609,
              1.19189,
              1.35449,
              1.61789
            ],
            [
              0.98092,
              1.02952,
              1.06262,
              1.11172,
              1.18342,
              1.28912,
              1.45172,
              1.71512
            ],
            [
              1.13067,
              1.17937,
              1.21237,
              1.26147,
              1.33317,
              1.43887,
              1.60147,
              1.86497
            ],
            [
              1.3591,
              1.4078,
              1.4407,
              1.4899,
              1.5615,
              1.6672,
              1.8298,
              2.0933
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.26009,
              0.29832,
              0.32674,
              0.37325,
              0.45152,
              0.59125,
              0.85767,
              1.38717
            ],
            [
              0.26333,
              0.30157,
              0.32998,
              0.37651,
              0.45474,
              0.59452,
              0.86095,
              1.39044
            ],
            [
              0.26728,
              0.30551,
              0.33392,
              0.38045,
              0.45868,
              0.59847,
              0.86491,
              1.39442
            ],
            [
              0.27307,
              0.31129,
              0.3397,
              0.38623,
              0.46448,
              0.60425,
              0.87072,
              1.40018
            ],
            [
              0.28128,
              0.31952,
              0.34793,
              0.39446,
              0.47273,
              0.61244,
              0.87896,
              1.40841
            ],
            [
              0.29279,
              0.33102,
              0.35942,
              0.40594,
              0.4842,
              0.62394,
              0.89044,
              1.41992
            ],
            [
              0.30925,
              0.34748,
              0.37588,
              0.42238,
              0.50053,
              0.64037,
              0.90693,
              1.43633
            ],
            [
              0.33338,
              0.37158,
              0.39997,
              0.44645,
              0.52463,
              0.66424,
              0.93086,
              1.46046
            ],
            [
              0.36928,
              0.40743,
              0.43577,
              0.48218,
              0.56021,
              0.7,
              0.96655,
              1.49625
            ],
            [
              0.42193,
              0.46014,
              0.48849,
              0.53487,
              0.61288,
              0.75249,
              1.01919,
              1.54889
            ],
            [
              0.49172,
              0.53212,
              0.56172,
              0.60932,
              0.68802,
              0.82782,
              1.09462,
              1.62442
            ],
            [
              0.58267,
              0.62497,
              0.65597,
              0.70557,
              0.78677,
              0.92877,
              1.19617,
              1.72597
            ],
            [
              0.6982,
              0.743,
              0.7759,
              0.8279,
              0.9116,
              1.056,
              1.326,
              1.8559
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.09722,
              0.12129,
              0.13842,
              0.16624,
              0.21229,
              0.29228,
              0.43737,
              0.7129
            ],
            [
              0.09735,
              0.12127,
              0.13839,
              0.16621,
              0.21226,
              0.29212,
              0.43764,
              0.7131
            ],
            [
              0.09731,
              0.12118,
              0.13856,
              0.16622,
              0.21223,
              0.2922,
              0.4376,
              0.7128
            ],
            [
              0.09736,
              0.12119,
              0.1384,
              0.16623,
              0.21224,
              0.29225,
              0.4374,
              0.7127
            ],
            [
              0.09735,
              0.12127,
              0.13839,
              0.16626,
              0.21218,
              0.29217,
              0.4374,
              0.7127
            ],
            [
              0.09728,
              0.12116,
              0.13855,
              0.1662,
              0.21216,
              0.2921,
              0.4376,
              0.713
            ],
            [
              0.09718,
              0.12143,
              0.13846,
              0.16627,
              0.21224,
              0.2922,
              0.4376,
              0.7127
            ],
            [
              0.09718,
              0.12139,
              0.13831,
              0.16645,
              0.2121,
              0.2923,
              0.4374,
              0.7128
            ],
            [
              0.0973,
              0.1212,
              0.1384,
              0.1662,
              0.2122,
              0.2922,
              0.4376,
              0.7127
            ],
            [
              0.0972,
              0.1214,
              0.1384,
              0.1663,
              0.2122,
              0.2923,
              0.4376,
              0.7129
            ],
            [
              0.0974,
              0.1213,
              0.1385,
              0.1663,
              0.2123,
              0.2923,
              0.4377,
              0.7129
            ],
            [
              0.0973,
              0.1211,
              0.1385,
              0.1661,
              0.2122,
              0.2923,
              0.4375,
              0.7126
            ],
            [
              0.0976,
              0.1216,
              0.1387,
              0.1666,
              0.2126,
              0.2927,
              0.4377,
              0.7126
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.05415,
              0.08136,
              0.1048,
              0.14836,
              0.23377,
              0.4079,
              0.76797,
              1.49487
            ],
            [
              0.05414,
              0.08139,
              0.10481,
              0.1482,
              0.23373,
              0.40791,
              0.7677,
              1.49488
            ],
            [
              0.05419,
              0.08136,
              0.10484,
              0.14855,
              0.23372,
              0.40788,
              0.76779,
              1.4947
            ],
            [
              0.05414,
              0.08137,
              0.10476,
              0.14836,
              0.2338,
              0.40786,
              0.76785,
              1.49476
            ],
            [
              0.0541,
              0.08134,
              0.10478,
              0.14822,
              0.23375,
              0.40793,
              0.76765,
              1.49515
            ],
            [
              0.05414,
              0.08133,
              0.10476,
              0.14818,
              0.23374,
              0.40793,
              0.76779,
              1.49537
            ],
            [
              0.05407,
              0.08137,
              0.10479,
              0.14836,
              0.2336,
              0.40782,
              0.76785,
              1.49542
            ],
            [
              0.05401,
              0.08129,
              0.10474,
              0.14817,
              0.23377,
              0.40782,
              0.76786,
              1.49508
            ],
            [
              0.05386,
              0.08145,
              0.1048,
              0.14822,
              0.23378,
              0.40793,
              0.76785,
              1.4948
            ],
            [
              0.05468,
              0.08176,
              0.10522,
              0.14868,
              0.2339,
              0.40795,
              0.7677,
              1.4953
            ],
            [
              0.0583,
              0.0865,
              0.1097,
              0.1528,
              0.2363,
              0.4088,
              0.7681,
              1.4951
            ],
            [
              0.0621,
              0.0916,
              0.1156,
              0.1591,
              0.2427,
              0.4132,
              0.7697,
              1.4954
            ],
            [
              0.0693,
              0.0988,
              0.1233,
              0.1669,
              0.2505,
              0.42,
              0.7745,
              1.4967
            ]
          ]
        },
        "sdf_cond": "(!A&CIN)",
        "timing_sense": "positive_unate",
        "when": "(!A&CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.66154,
              0.71014,
              0.74383,
              0.79511,
              0.87138,
              0.98402,
              1.15587,
              1.42877
            ],
            [
              0.66446,
              0.71308,
              0.74681,
              0.79811,
              0.8744,
              0.98704,
              1.15884,
              1.43174
            ],
            [
              0.66794,
              0.71657,
              0.75029,
              0.80153,
              0.87788,
              0.99052,
              1.16232,
              1.43522
            ],
            [
              0.67321,
              0.72184,
              0.75557,
              0.8069,
              0.88323,
              0.99587,
              1.16768,
              1.44058
            ],
            [
              0.68136,
              0.72997,
              0.7637,
              0.81499,
              0.89129,
              1.00401,
              1.17581,
              1.44871
            ],
            [
              0.69389,
              0.74249,
              0.77621,
              0.82754,
              0.90388,
              1.01642,
              1.18822,
              1.46122
            ],
            [
              0.71314,
              0.76174,
              0.79544,
              0.84673,
              0.92303,
              1.03573,
              1.20753,
              1.48043
            ],
            [
              0.74181,
              0.79039,
              0.82406,
              0.87536,
              0.95156,
              1.06426,
              1.23606,
              1.50896
            ],
            [
              0.78355,
              0.83205,
              0.86575,
              0.91705,
              0.99315,
              1.10585,
              1.27755,
              1.55045
            ],
            [
              0.84449,
              0.89299,
              0.92659,
              0.97779,
              1.05399,
              1.16649,
              1.33819,
              1.61109
            ],
            [
              0.93442,
              0.98292,
              1.01652,
              1.06762,
              1.14352,
              1.25592,
              1.42762,
              1.70042
            ],
            [
              1.06867,
              1.11697,
              1.15057,
              1.20147,
              1.27717,
              1.38937,
              1.56097,
              1.83387
            ],
            [
              1.2661,
              1.3153,
              1.349,
              1.3999,
              1.4755,
              1.5877,
              1.7593,
              2.0322
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.27277,
              0.30915,
              0.33639,
              0.38144,
              0.45826,
              0.59736,
              0.86467,
              1.39437
            ],
            [
              0.27589,
              0.31226,
              0.3395,
              0.38454,
              0.46134,
              0.60043,
              0.86772,
              1.39734
            ],
            [
              0.2796,
              0.31597,
              0.34322,
              0.38825,
              0.46507,
              0.6042,
              0.87138,
              1.40102
            ],
            [
              0.28517,
              0.32156,
              0.34875,
              0.3938,
              0.47058,
              0.60964,
              0.87687,
              1.40648
            ],
            [
              0.29335,
              0.32969,
              0.35692,
              0.40195,
              0.47874,
              0.6178,
              0.88502,
              1.41461
            ],
            [
              0.30537,
              0.34173,
              0.36897,
              0.41399,
              0.49079,
              0.62986,
              0.89705,
              1.42662
            ],
            [
              0.32328,
              0.35962,
              0.38686,
              0.43188,
              0.50863,
              0.64767,
              0.91493,
              1.44443
            ],
            [
              0.35006,
              0.38641,
              0.41366,
              0.45865,
              0.53538,
              0.67444,
              0.94156,
              1.47116
            ],
            [
              0.39055,
              0.42688,
              0.4541,
              0.49904,
              0.57565,
              0.71464,
              0.98185,
              1.51145
            ],
            [
              0.45177,
              0.488,
              0.51513,
              0.55998,
              0.63649,
              0.77539,
              1.04249,
              1.57229
            ],
            [
              0.53802,
              0.57522,
              0.60272,
              0.64782,
              0.72442,
              0.86332,
              1.13042,
              1.66022
            ],
            [
              0.64447,
              0.68447,
              0.71347,
              0.76027,
              0.83837,
              0.97787,
              1.24517,
              1.77497
            ],
            [
              0.7722,
              0.8169,
              0.8481,
              0.8972,
              0.9773,
              1.1185,
              1.387,
              1.9166
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.0943,
              0.12016,
              0.13964,
              0.17164,
              0.22303,
              0.30793,
              0.45643,
              0.7311
            ],
            [
              0.09447,
              0.12016,
              0.13969,
              0.17139,
              0.22297,
              0.30795,
              0.45657,
              0.7318
            ],
            [
              0.09433,
              0.12018,
              0.13973,
              0.17179,
              0.22295,
              0.30793,
              0.45643,
              0.732
            ],
            [
              0.0943,
              0.12016,
              0.13951,
              0.17141,
              0.22292,
              0.30784,
              0.45676,
              0.7321
            ],
            [
              0.09432,
              0.12016,
              0.1395,
              0.17146,
              0.22302,
              0.30793,
              0.45651,
              0.7311
            ],
            [
              0.09433,
              0.12019,
              0.13948,
              0.17137,
              0.22287,
              0.30789,
              0.4565,
              0.7309
            ],
            [
              0.09431,
              0.12016,
              0.13945,
              0.17141,
              0.22299,
              0.30785,
              0.4565,
              0.731
            ],
            [
              0.09431,
              0.12009,
              0.13949,
              0.17132,
              0.22281,
              0.3078,
              0.4567,
              0.7319
            ],
            [
              0.09432,
              0.1201,
              0.1394,
              0.1714,
              0.2227,
              0.3077,
              0.4568,
              0.7322
            ],
            [
              0.0942,
              0.1201,
              0.1393,
              0.1711,
              0.2226,
              0.3076,
              0.4568,
              0.7321
            ],
            [
              0.0941,
              0.1199,
              0.1391,
              0.171,
              0.2225,
              0.3076,
              0.4566,
              0.7321
            ],
            [
              0.094,
              0.1195,
              0.1387,
              0.1705,
              0.2219,
              0.3071,
              0.4562,
              0.7317
            ],
            [
              0.098,
              0.1226,
              0.1411,
              0.1719,
              0.2225,
              0.3074,
              0.4562,
              0.7307
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.0516,
              0.0786,
              0.10173,
              0.14509,
              0.2312,
              0.40679,
              0.76887,
              1.49624
            ],
            [
              0.05159,
              0.07847,
              0.10169,
              0.14525,
              0.2312,
              0.40672,
              0.76875,
              1.49647
            ],
            [
              0.05161,
              0.07846,
              0.10163,
              0.14503,
              0.23131,
              0.40666,
              0.76891,
              1.49598
            ],
            [
              0.05156,
              0.07839,
              0.10165,
              0.14502,
              0.23108,
              0.40664,
              0.76853,
              1.4962
            ],
            [
              0.05156,
              0.07848,
              0.10163,
              0.14501,
              0.23106,
              0.4066,
              0.76839,
              1.49588
            ],
            [
              0.05158,
              0.07845,
              0.10161,
              0.14495,
              0.2311,
              0.40675,
              0.76835,
              1.49597
            ],
            [
              0.05155,
              0.07846,
              0.10163,
              0.14516,
              0.23109,
              0.40656,
              0.76859,
              1.49608
            ],
            [
              0.05158,
              0.07838,
              0.10158,
              0.14504,
              0.23129,
              0.40655,
              0.76861,
              1.49628
            ],
            [
              0.0515,
              0.07829,
              0.1015,
              0.14508,
              0.23124,
              0.40652,
              0.76879,
              1.4958
            ],
            [
              0.05142,
              0.07824,
              0.10159,
              0.14521,
              0.23128,
              0.40645,
              0.7686,
              1.4958
            ],
            [
              0.055,
              0.0809,
              0.1037,
              0.1464,
              0.232,
              0.4067,
              0.7686,
              1.4963
            ],
            [
              0.0623,
              0.088,
              0.1102,
              0.1522,
              0.2361,
              0.4089,
              0.7692,
              1.4958
            ],
            [
              0.0735,
              0.0988,
              0.1204,
              0.161,
              0.2433,
              0.4142,
              0.7716,
              1.4972
            ]
          ]
        },
        "sdf_cond": "(A&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(A&!CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.64644,
              0.69411,
              0.72651,
              0.77475,
              0.84539,
              0.95015,
              1.11267,
              1.37667
            ],
            [
              0.64929,
              0.69702,
              0.72936,
              0.77767,
              0.84834,
              0.95309,
              1.11564,
              1.37964
            ],
            [
              0.65252,
              0.70024,
              0.73262,
              0.78092,
              0.85159,
              0.95635,
              1.11892,
              1.38292
            ],
            [
              0.65738,
              0.70512,
              0.7375,
              0.7858,
              0.85649,
              0.96125,
              1.12388,
              1.38777
            ],
            [
              0.66477,
              0.71245,
              0.74481,
              0.79314,
              0.86381,
              0.96861,
              1.13121,
              1.39511
            ],
            [
              0.67608,
              0.72378,
              0.75615,
              0.80446,
              0.87515,
              0.97992,
              1.14252,
              1.40642
            ],
            [
              0.69363,
              0.74131,
              0.77366,
              0.82196,
              0.89263,
              0.99743,
              1.16003,
              1.42393
            ],
            [
              0.72082,
              0.76847,
              0.80082,
              0.84916,
              0.91976,
              1.02456,
              1.18716,
              1.45106
            ],
            [
              0.76295,
              0.81065,
              0.84295,
              0.89125,
              0.96185,
              1.06665,
              1.22925,
              1.49315
            ],
            [
              0.82809,
              0.87569,
              0.90809,
              0.95639,
              1.02699,
              1.13169,
              1.29429,
              1.55819
            ],
            [
              0.92802,
              0.97562,
              1.00802,
              1.05622,
              1.12682,
              1.23152,
              1.39402,
              1.65802
            ],
            [
              1.08047,
              1.12807,
              1.16037,
              1.20867,
              1.27907,
              1.38377,
              1.54637,
              1.81037
            ],
            [
              1.3113,
              1.3588,
              1.3912,
              1.4394,
              1.5099,
              1.6145,
              1.7772,
              2.0411
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.2484,
              0.28724,
              0.31584,
              0.36251,
              0.44082,
              0.58058,
              0.84702,
              1.37657
            ],
            [
              0.25141,
              0.29025,
              0.31885,
              0.36553,
              0.44379,
              0.58364,
              0.85005,
              1.37954
            ],
            [
              0.25495,
              0.29379,
              0.32239,
              0.36907,
              0.44735,
              0.58708,
              0.8536,
              1.38312
            ],
            [
              0.26032,
              0.29916,
              0.32775,
              0.37443,
              0.45271,
              0.59256,
              0.85898,
              1.38848
            ],
            [
              0.26833,
              0.30715,
              0.33575,
              0.38242,
              0.46077,
              0.60051,
              0.86698,
              1.39651
            ],
            [
              0.28024,
              0.31908,
              0.34767,
              0.39434,
              0.47262,
              0.61243,
              0.8789,
              1.40842
            ],
            [
              0.29806,
              0.3369,
              0.36549,
              0.41214,
              0.49042,
              0.63014,
              0.89663,
              1.42623
            ],
            [
              0.32528,
              0.36412,
              0.3927,
              0.43932,
              0.51753,
              0.6571,
              0.92376,
              1.45336
            ],
            [
              0.366,
              0.40481,
              0.43335,
              0.47988,
              0.55794,
              0.69768,
              0.96425,
              1.49395
            ],
            [
              0.42672,
              0.46547,
              0.49398,
              0.54046,
              0.6185,
              0.75809,
              1.02479,
              1.55449
            ],
            [
              0.50842,
              0.54912,
              0.57852,
              0.62562,
              0.70402,
              0.84372,
              1.11042,
              1.64032
            ],
            [
              0.60817,
              0.65277,
              0.68397,
              0.73327,
              0.81377,
              0.95467,
              1.22167,
              1.75147
            ],
            [
              0.7267,
              0.7775,
              0.8117,
              0.8642,
              0.9474,
              1.0905,
              1.3591,
              1.8887
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.09426,
              0.11795,
              0.13489,
              0.16264,
              0.20896,
              0.28975,
              0.43656,
              0.7141
            ],
            [
              0.09428,
              0.11796,
              0.13514,
              0.16287,
              0.20906,
              0.28982,
              0.43716,
              0.7136
            ],
            [
              0.09429,
              0.11798,
              0.13505,
              0.16273,
              0.209,
              0.28981,
              0.43699,
              0.7127
            ],
            [
              0.09428,
              0.11799,
              0.13505,
              0.16274,
              0.20903,
              0.28977,
              0.43703,
              0.7127
            ],
            [
              0.0943,
              0.11791,
              0.13496,
              0.1626,
              0.20899,
              0.28985,
              0.43672,
              0.7141
            ],
            [
              0.09426,
              0.11795,
              0.13504,
              0.16271,
              0.20906,
              0.28984,
              0.43708,
              0.7137
            ],
            [
              0.09427,
              0.118,
              0.13514,
              0.16285,
              0.20909,
              0.28986,
              0.4372,
              0.7133
            ],
            [
              0.09426,
              0.11792,
              0.13492,
              0.16257,
              0.20897,
              0.2897,
              0.4369,
              0.7136
            ],
            [
              0.09428,
              0.11793,
              0.135,
              0.1628,
              0.2091,
              0.2898,
              0.4371,
              0.7135
            ],
            [
              0.0942,
              0.1179,
              0.1349,
              0.1626,
              0.2091,
              0.2899,
              0.4372,
              0.7131
            ],
            [
              0.0942,
              0.1179,
              0.135,
              0.1626,
              0.2091,
              0.29,
              0.4371,
              0.7135
            ],
            [
              0.0942,
              0.1178,
              0.1347,
              0.1625,
              0.209,
              0.29,
              0.4367,
              0.714
            ],
            [
              0.0953,
              0.1187,
              0.1356,
              0.1634,
              0.2097,
              0.2904,
              0.4373,
              0.7134
            ]
          ]
        },
        "related_pin": "CIN",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.0562,
              0.08269,
              0.10555,
              0.14881,
              0.23404,
              0.40795,
              0.76797,
              1.4948
            ],
            [
              0.05619,
              0.08267,
              0.10556,
              0.14876,
              0.23388,
              0.40805,
              0.76783,
              1.49497
            ],
            [
              0.05617,
              0.08268,
              0.10564,
              0.14877,
              0.23391,
              0.40792,
              0.76793,
              1.49488
            ],
            [
              0.05616,
              0.08252,
              0.10585,
              0.1488,
              0.23395,
              0.40804,
              0.76784,
              1.49528
            ],
            [
              0.05622,
              0.08257,
              0.10556,
              0.14882,
              0.23405,
              0.40791,
              0.76793,
              1.49478
            ],
            [
              0.05617,
              0.08255,
              0.10573,
              0.14878,
              0.234,
              0.40798,
              0.76785,
              1.49518
            ],
            [
              0.05621,
              0.0827,
              0.10555,
              0.14882,
              0.23407,
              0.40791,
              0.76797,
              1.49478
            ],
            [
              0.05622,
              0.08271,
              0.10554,
              0.14884,
              0.2341,
              0.40798,
              0.76783,
              1.49506
            ],
            [
              0.05618,
              0.08257,
              0.10593,
              0.14893,
              0.23411,
              0.40812,
              0.76787,
              1.4949
            ],
            [
              0.0568,
              0.08309,
              0.10618,
              0.14938,
              0.2344,
              0.40813,
              0.7677,
              1.4951
            ],
            [
              0.0629,
              0.088,
              0.1101,
              0.152,
              0.2359,
              0.4087,
              0.7681,
              1.4951
            ],
            [
              0.0731,
              0.0971,
              0.1183,
              0.1597,
              0.2415,
              0.4119,
              0.769,
              1.4953
            ],
            [
              0.088,
              0.1114,
              0.1317,
              0.1709,
              0.2508,
              0.4183,
              0.7727,
              1.4963
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "positive_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.60933,
              0.65827,
              0.69235,
              0.7446,
              0.82388,
              0.94011,
              1.11387,
              1.38767
            ],
            [
              0.61226,
              0.66125,
              0.69532,
              0.74758,
              0.82687,
              0.94309,
              1.11694,
              1.39064
            ],
            [
              0.61546,
              0.66446,
              0.69855,
              0.75081,
              0.83017,
              0.94638,
              1.12022,
              1.39402
            ],
            [
              0.6203,
              0.66929,
              0.70339,
              0.75567,
              0.83498,
              0.95124,
              1.12498,
              1.39878
            ],
            [
              0.62755,
              0.67653,
              0.71064,
              0.76289,
              0.84226,
              0.95851,
              1.13231,
              1.40611
            ],
            [
              0.63871,
              0.68767,
              0.72176,
              0.77403,
              0.85337,
              0.96962,
              1.14342,
              1.41722
            ],
            [
              0.65606,
              0.70496,
              0.73905,
              0.79128,
              0.87064,
              0.98693,
              1.16073,
              1.43453
            ],
            [
              0.68291,
              0.73178,
              0.76584,
              0.81806,
              0.89736,
              1.01366,
              1.18746,
              1.46126
            ],
            [
              0.72455,
              0.77345,
              0.80745,
              0.85965,
              0.93895,
              1.05515,
              1.22905,
              1.50285
            ],
            [
              0.78879,
              0.83779,
              0.87179,
              0.92399,
              1.00329,
              1.11939,
              1.29329,
              1.56709
            ],
            [
              0.88762,
              0.93662,
              0.97062,
              1.02282,
              1.10192,
              1.21812,
              1.39192,
              1.66582
            ],
            [
              1.03877,
              1.08767,
              1.12167,
              1.17377,
              1.25287,
              1.36897,
              1.54277,
              1.81667
            ],
            [
              1.2672,
              1.3164,
              1.3505,
              1.4026,
              1.4818,
              1.5981,
              1.7721,
              2.0461
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.27615,
              0.31428,
              0.34269,
              0.38932,
              0.46782,
              0.60832,
              0.87584,
              1.40637
            ],
            [
              0.27907,
              0.31721,
              0.34564,
              0.39226,
              0.47083,
              0.6113,
              0.8788,
              1.40944
            ],
            [
              0.28268,
              0.3208,
              0.34923,
              0.39586,
              0.47443,
              0.6149,
              0.8824,
              1.41302
            ],
            [
              0.288,
              0.32614,
              0.35456,
              0.40119,
              0.47976,
              0.62025,
              0.88775,
              1.41838
            ],
            [
              0.29603,
              0.3342,
              0.36257,
              0.40919,
              0.48769,
              0.62822,
              0.89575,
              1.42631
            ],
            [
              0.30798,
              0.34612,
              0.37454,
              0.42117,
              0.49966,
              0.64019,
              0.90773,
              1.43832
            ],
            [
              0.32585,
              0.36399,
              0.39242,
              0.43904,
              0.51758,
              0.65801,
              0.92563,
              1.45623
            ],
            [
              0.35275,
              0.39088,
              0.4193,
              0.46591,
              0.54442,
              0.68486,
              0.95236,
              1.48306
            ],
            [
              0.3931,
              0.43125,
              0.45964,
              0.50621,
              0.58462,
              0.7249,
              0.99255,
              1.52325
            ],
            [
              0.45419,
              0.49225,
              0.5206,
              0.56707,
              0.64539,
              0.78569,
              1.05319,
              1.58409
            ],
            [
              0.54022,
              0.57922,
              0.60792,
              0.65462,
              0.73302,
              0.87342,
              1.14092,
              1.67182
            ],
            [
              0.64647,
              0.68837,
              0.71857,
              0.76707,
              0.84707,
              0.98827,
              1.25587,
              1.78667
            ],
            [
              0.7736,
              0.8204,
              0.8529,
              0.9038,
              0.9859,
              1.1289,
              1.3981,
              1.9287
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.09501,
              0.12124,
              0.14129,
              0.17546,
              0.22995,
              0.31524,
              0.46121,
              0.7329
            ],
            [
              0.09494,
              0.12127,
              0.14125,
              0.17544,
              0.22995,
              0.3153,
              0.46158,
              0.7342
            ],
            [
              0.09504,
              0.12126,
              0.14122,
              0.17538,
              0.2299,
              0.31522,
              0.46154,
              0.7329
            ],
            [
              0.09502,
              0.12122,
              0.14126,
              0.17548,
              0.22995,
              0.31524,
              0.46119,
              0.7331
            ],
            [
              0.09495,
              0.12123,
              0.14123,
              0.17536,
              0.22992,
              0.3153,
              0.46115,
              0.7332
            ],
            [
              0.09494,
              0.12125,
              0.14121,
              0.17541,
              0.22987,
              0.31535,
              0.46141,
              0.734
            ],
            [
              0.09503,
              0.12124,
              0.14115,
              0.17535,
              0.22994,
              0.31524,
              0.4616,
              0.7344
            ],
            [
              0.09495,
              0.12123,
              0.14118,
              0.17546,
              0.22992,
              0.3153,
              0.4615,
              0.7328
            ],
            [
              0.09504,
              0.12126,
              0.14121,
              0.1754,
              0.2299,
              0.3154,
              0.4616,
              0.7343
            ],
            [
              0.095,
              0.1212,
              0.1412,
              0.1754,
              0.23,
              0.3154,
              0.4615,
              0.734
            ],
            [
              0.0949,
              0.1212,
              0.1412,
              0.1754,
              0.23,
              0.3155,
              0.4615,
              0.7327
            ],
            [
              0.0948,
              0.1212,
              0.1412,
              0.1756,
              0.2302,
              0.3156,
              0.4614,
              0.7331
            ],
            [
              0.0988,
              0.1236,
              0.1431,
              0.1771,
              0.2313,
              0.3166,
              0.4624,
              0.7345
            ]
          ]
        },
        "related_pin": "CIN",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00584,
            0.01168,
            0.02336,
            0.04672,
            0.09344,
            0.18687,
            0.37374
          ],
          "values": [
            [
              0.05459,
              0.08248,
              0.10599,
              0.14997,
              0.23578,
              0.41038,
              0.77112,
              1.49812
            ],
            [
              0.05463,
              0.08233,
              0.10601,
              0.14983,
              0.23591,
              0.41039,
              0.77115,
              1.49845
            ],
            [
              0.05462,
              0.08255,
              0.1059,
              0.1499,
              0.23588,
              0.41038,
              0.7713,
              1.49773
            ],
            [
              0.05464,
              0.08233,
              0.106,
              0.14987,
              0.2359,
              0.41038,
              0.77113,
              1.49844
            ],
            [
              0.05458,
              0.0823,
              0.106,
              0.14999,
              0.23579,
              0.4104,
              0.77124,
              1.49846
            ],
            [
              0.05461,
              0.08249,
              0.106,
              0.14997,
              0.23579,
              0.41039,
              0.77117,
              1.49808
            ],
            [
              0.05463,
              0.08228,
              0.10602,
              0.14985,
              0.23592,
              0.4104,
              0.77116,
              1.49843
            ],
            [
              0.05463,
              0.08231,
              0.10601,
              0.14986,
              0.23593,
              0.41042,
              0.77118,
              1.49843
            ],
            [
              0.0546,
              0.08234,
              0.10597,
              0.14998,
              0.23595,
              0.41035,
              0.77123,
              1.4981
            ],
            [
              0.05461,
              0.08235,
              0.10605,
              0.15007,
              0.23596,
              0.41047,
              0.7711,
              1.4985
            ],
            [
              0.0581,
              0.085,
              0.1081,
              0.1515,
              0.2367,
              0.4108,
              0.7714,
              1.4982
            ],
            [
              0.0659,
              0.0924,
              0.1152,
              0.1576,
              0.2411,
              0.4131,
              0.772,
              1.4981
            ],
            [
              0.0777,
              0.1037,
              0.1255,
              0.1667,
              0.2491,
              0.4188,
              0.7746,
              1.4985
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CIN) | (!A&B&!CIN) | (!A&!B&CIN) | (A&B&CIN)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.05004,
              0.04288,
              0.03591,
              0.02206,
              -0.00562,
              -0.06124,
              -0.17322,
              -0.39821
            ],
            [
              0.04997,
              0.04281,
              0.03584,
              0.02199,
              -0.00568,
              -0.06133,
              -0.17329,
              -0.39827
            ],
            [
              0.04998,
              0.04282,
              0.03585,
              0.02198,
              -0.00568,
              -0.06131,
              -0.17328,
              -0.39827
            ],
            [
              0.04993,
              0.04277,
              0.0358,
              0.02196,
              -0.00572,
              -0.06136,
              -0.17334,
              -0.39831
            ],
            [
              0.04989,
              0.04272,
              0.03577,
              0.02191,
              -0.00577,
              -0.0614,
              -0.17338,
              -0.39836
            ],
            [
              0.04983,
              0.04267,
              0.0357,
              0.02184,
              -0.00582,
              -0.06146,
              -0.17344,
              -0.39842
            ],
            [
              0.04976,
              0.0426,
              0.03564,
              0.02178,
              -0.00589,
              -0.06152,
              -0.17351,
              -0.39847
            ],
            [
              0.04969,
              0.04254,
              0.03556,
              0.02171,
              -0.00596,
              -0.06158,
              -0.17357,
              -0.39854
            ],
            [
              0.04963,
              0.04248,
              0.03551,
              0.02165,
              -0.00602,
              -0.06166,
              -0.17366,
              -0.39862
            ],
            [
              0.04958,
              0.04245,
              0.03548,
              0.02163,
              -0.00605,
              -0.06171,
              -0.1737,
              -0.39866
            ],
            [
              0.04955,
              0.0424,
              0.03544,
              0.02159,
              -0.00609,
              -0.06177,
              -0.17377,
              -0.39872
            ],
            [
              0.04952,
              0.04235,
              0.03539,
              0.02153,
              -0.00619,
              -0.06189,
              -0.17386,
              -0.39878
            ],
            [
              0.04955,
              0.04235,
              0.03536,
              0.02146,
              -0.0063,
              -0.06202,
              -0.174,
              -0.39888
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.0161,
              0.02346,
              0.03072,
              0.04513,
              0.07363,
              0.13025,
              0.24271,
              0.46696
            ],
            [
              0.01599,
              0.02334,
              0.03061,
              0.045,
              0.07348,
              0.1301,
              0.2425,
              0.46672
            ],
            [
              0.01584,
              0.0232,
              0.03046,
              0.04487,
              0.07333,
              0.12987,
              0.24225,
              0.46616
            ],
            [
              0.01564,
              0.023,
              0.03026,
              0.04466,
              0.07314,
              0.12975,
              0.24219,
              0.46622
            ],
            [
              0.01542,
              0.02278,
              0.03005,
              0.04445,
              0.07293,
              0.12938,
              0.24193,
              0.46578
            ],
            [
              0.01517,
              0.02252,
              0.02977,
              0.04416,
              0.07271,
              0.12924,
              0.24166,
              0.46599
            ],
            [
              0.01492,
              0.02229,
              0.02954,
              0.04391,
              0.07239,
              0.12894,
              0.24126,
              0.46543
            ],
            [
              0.01467,
              0.02203,
              0.02929,
              0.04365,
              0.07219,
              0.12861,
              0.24124,
              0.46557
            ],
            [
              0.01444,
              0.0218,
              0.02902,
              0.04341,
              0.07189,
              0.12842,
              0.2409,
              0.46536
            ],
            [
              0.01422,
              0.02155,
              0.0288,
              0.04315,
              0.07162,
              0.12809,
              0.2406,
              0.46489
            ],
            [
              0.01403,
              0.02132,
              0.02854,
              0.04286,
              0.07129,
              0.12777,
              0.24047,
              0.46474
            ],
            [
              0.01392,
              0.02119,
              0.02841,
              0.04264,
              0.07085,
              0.12734,
              0.23961,
              0.46394
            ],
            [
              0.01382,
              0.02102,
              0.02818,
              0.04249,
              0.07095,
              0.12709,
              0.2394,
              0.46373
            ]
          ]
        },
        "when": "(!B&!CIN) | (B&CIN)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.05016,
              0.05844,
              0.06673,
              0.08333,
              0.11643,
              0.18103,
              0.30646,
              0.55662
            ],
            [
              0.05006,
              0.05833,
              0.06664,
              0.08323,
              0.11633,
              0.18093,
              0.30641,
              0.55721
            ],
            [
              0.04996,
              0.05821,
              0.06654,
              0.08312,
              0.11623,
              0.18083,
              0.30633,
              0.5566
            ],
            [
              0.04984,
              0.05809,
              0.0664,
              0.08301,
              0.1161,
              0.18071,
              0.30618,
              0.55626
            ],
            [
              0.04967,
              0.05791,
              0.06622,
              0.08287,
              0.11592,
              0.18054,
              0.30601,
              0.55656
            ],
            [
              0.04944,
              0.0577,
              0.06603,
              0.08262,
              0.11571,
              0.18034,
              0.30585,
              0.5565
            ],
            [
              0.04921,
              0.05748,
              0.06579,
              0.08236,
              0.11549,
              0.1801,
              0.30562,
              0.5562
            ],
            [
              0.04901,
              0.05726,
              0.06556,
              0.08213,
              0.11522,
              0.17982,
              0.30529,
              0.55573
            ],
            [
              0.04873,
              0.05698,
              0.0653,
              0.08187,
              0.11491,
              0.1795,
              0.30503,
              0.55549
            ],
            [
              0.04845,
              0.0567,
              0.06501,
              0.08156,
              0.11457,
              0.17913,
              0.30464,
              0.55532
            ],
            [
              0.04823,
              0.05643,
              0.06469,
              0.08119,
              0.11412,
              0.17864,
              0.30413,
              0.55509
            ],
            [
              0.04802,
              0.05621,
              0.06448,
              0.08087,
              0.1136,
              0.17805,
              0.30354,
              0.55445
            ],
            [
              0.04785,
              0.05595,
              0.06412,
              0.08054,
              0.11338,
              0.17771,
              0.30318,
              0.55321
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.07973,
              0.08694,
              0.09423,
              0.10871,
              0.1376,
              0.19474,
              0.30754,
              0.53165
            ],
            [
              0.0797,
              0.08691,
              0.09419,
              0.10868,
              0.13751,
              0.19466,
              0.30767,
              0.53162
            ],
            [
              0.07972,
              0.0869,
              0.09418,
              0.10869,
              0.13754,
              0.19474,
              0.30753,
              0.53165
            ],
            [
              0.07966,
              0.08683,
              0.09412,
              0.10864,
              0.13751,
              0.19465,
              0.3073,
              0.53192
            ],
            [
              0.07962,
              0.08679,
              0.09408,
              0.10858,
              0.13742,
              0.19462,
              0.30736,
              0.53215
            ],
            [
              0.07957,
              0.08674,
              0.09404,
              0.10853,
              0.13739,
              0.19446,
              0.30738,
              0.53184
            ],
            [
              0.07947,
              0.08666,
              0.09393,
              0.10843,
              0.1373,
              0.19446,
              0.30727,
              0.53136
            ],
            [
              0.07942,
              0.08661,
              0.09389,
              0.10841,
              0.13721,
              0.19439,
              0.30735,
              0.53176
            ],
            [
              0.07933,
              0.08653,
              0.09381,
              0.10831,
              0.13715,
              0.19428,
              0.30717,
              0.53116
            ],
            [
              0.07926,
              0.08643,
              0.09374,
              0.10822,
              0.13714,
              0.19422,
              0.30703,
              0.53117
            ],
            [
              0.07916,
              0.08634,
              0.09364,
              0.10813,
              0.13695,
              0.19408,
              0.30681,
              0.53113
            ],
            [
              0.07906,
              0.08624,
              0.09349,
              0.10798,
              0.13684,
              0.19387,
              0.30668,
              0.53087
            ],
            [
              0.07905,
              0.08619,
              0.09342,
              0.10787,
              0.13658,
              0.19369,
              0.30639,
              0.53095
            ]
          ]
        },
        "when": "(B&!CIN) | (!B&CIN)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.04461,
              0.03746,
              0.03052,
              0.01665,
              -0.011,
              -0.06662,
              -0.17859,
              -0.40356
            ],
            [
              0.04457,
              0.03744,
              0.03047,
              0.01661,
              -0.01103,
              -0.06666,
              -0.17865,
              -0.4036
            ],
            [
              0.04455,
              0.03741,
              0.03044,
              0.01658,
              -0.01107,
              -0.0667,
              -0.17868,
              -0.40363
            ],
            [
              0.0445,
              0.03738,
              0.03042,
              0.01656,
              -0.01109,
              -0.0667,
              -0.17868,
              -0.40365
            ],
            [
              0.04446,
              0.0373,
              0.03035,
              0.01653,
              -0.01114,
              -0.06678,
              -0.17875,
              -0.40372
            ],
            [
              0.0444,
              0.03724,
              0.03029,
              0.01646,
              -0.01121,
              -0.06685,
              -0.17882,
              -0.40378
            ],
            [
              0.04429,
              0.03715,
              0.03019,
              0.01637,
              -0.0113,
              -0.06693,
              -0.17891,
              -0.40387
            ],
            [
              0.0442,
              0.03704,
              0.0301,
              0.01624,
              -0.0114,
              -0.06703,
              -0.17901,
              -0.40398
            ],
            [
              0.04411,
              0.03696,
              0.03004,
              0.01619,
              -0.01148,
              -0.06712,
              -0.17911,
              -0.40406
            ],
            [
              0.04405,
              0.03691,
              0.02994,
              0.01611,
              -0.01155,
              -0.0672,
              -0.17919,
              -0.40413
            ],
            [
              0.04397,
              0.03683,
              0.02987,
              0.01604,
              -0.01164,
              -0.06731,
              -0.17929,
              -0.40423
            ],
            [
              0.04391,
              0.03676,
              0.02982,
              0.01596,
              -0.01175,
              -0.06744,
              -0.17943,
              -0.40433
            ],
            [
              0.04395,
              0.03675,
              0.02976,
              0.01586,
              -0.01189,
              -0.06762,
              -0.17962,
              -0.40447
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.01883,
              0.0262,
              0.03346,
              0.04787,
              0.07638,
              0.13301,
              0.24542,
              0.46934
            ],
            [
              0.0188,
              0.02617,
              0.03344,
              0.04782,
              0.07634,
              0.13283,
              0.24525,
              0.46909
            ],
            [
              0.01868,
              0.02604,
              0.03332,
              0.04771,
              0.07623,
              0.13274,
              0.2452,
              0.46912
            ],
            [
              0.01861,
              0.02597,
              0.03323,
              0.04763,
              0.07612,
              0.1327,
              0.24516,
              0.46902
            ],
            [
              0.01847,
              0.02584,
              0.03312,
              0.04747,
              0.07599,
              0.13263,
              0.24534,
              0.46958
            ],
            [
              0.01832,
              0.02569,
              0.03296,
              0.04736,
              0.07586,
              0.13241,
              0.24487,
              0.46861
            ],
            [
              0.01817,
              0.02553,
              0.0328,
              0.04719,
              0.07569,
              0.13226,
              0.24468,
              0.46962
            ],
            [
              0.01802,
              0.02538,
              0.03264,
              0.04702,
              0.07555,
              0.1321,
              0.24452,
              0.46876
            ],
            [
              0.01785,
              0.02522,
              0.03247,
              0.04684,
              0.07532,
              0.13188,
              0.24459,
              0.46861
            ],
            [
              0.01769,
              0.02503,
              0.03224,
              0.0466,
              0.07504,
              0.13157,
              0.2442,
              0.46795
            ],
            [
              0.01754,
              0.02483,
              0.03202,
              0.04635,
              0.07475,
              0.13116,
              0.24375,
              0.46802
            ],
            [
              0.01743,
              0.0247,
              0.0319,
              0.04617,
              0.07444,
              0.1308,
              0.24306,
              0.46742
            ],
            [
              0.01738,
              0.02456,
              0.03171,
              0.04601,
              0.07445,
              0.13071,
              0.24273,
              0.46776
            ]
          ]
        },
        "when": "(!A&!CIN) | (A&CIN)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.05367,
              0.06198,
              0.0703,
              0.0869,
              0.12005,
              0.1847,
              0.3101,
              0.56061
            ],
            [
              0.05366,
              0.06195,
              0.07028,
              0.08693,
              0.12004,
              0.18471,
              0.31013,
              0.56059
            ],
            [
              0.05362,
              0.06191,
              0.07024,
              0.08687,
              0.11999,
              0.18463,
              0.31019,
              0.56033
            ],
            [
              0.05353,
              0.06182,
              0.07016,
              0.08679,
              0.1199,
              0.18457,
              0.31003,
              0.56055
            ],
            [
              0.05339,
              0.06169,
              0.07002,
              0.08661,
              0.11978,
              0.18445,
              0.30995,
              0.5597
            ],
            [
              0.05327,
              0.06157,
              0.06989,
              0.08648,
              0.11963,
              0.18435,
              0.30981,
              0.56012
            ],
            [
              0.05307,
              0.06135,
              0.06968,
              0.08634,
              0.11943,
              0.18412,
              0.30954,
              0.55958
            ],
            [
              0.0528,
              0.06109,
              0.06941,
              0.08602,
              0.11913,
              0.18376,
              0.30932,
              0.55967
            ],
            [
              0.05244,
              0.06072,
              0.06905,
              0.08563,
              0.1187,
              0.18331,
              0.30887,
              0.55929
            ],
            [
              0.05201,
              0.06025,
              0.06856,
              0.08512,
              0.11811,
              0.18268,
              0.30827,
              0.55857
            ],
            [
              0.05162,
              0.05977,
              0.06802,
              0.08452,
              0.11745,
              0.18195,
              0.30753,
              0.55806
            ],
            [
              0.05125,
              0.0594,
              0.06764,
              0.08403,
              0.11672,
              0.18117,
              0.30678,
              0.55729
            ],
            [
              0.05092,
              0.05895,
              0.06713,
              0.08353,
              0.11629,
              0.18067,
              0.30618,
              0.55683
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.0771,
              0.08431,
              0.09158,
              0.10613,
              0.13499,
              0.19213,
              0.30516,
              0.52907
            ],
            [
              0.07706,
              0.08426,
              0.09152,
              0.10605,
              0.13493,
              0.1921,
              0.30473,
              0.52944
            ],
            [
              0.07703,
              0.08423,
              0.0915,
              0.10609,
              0.13493,
              0.19205,
              0.30493,
              0.52871
            ],
            [
              0.077,
              0.08421,
              0.09147,
              0.106,
              0.13491,
              0.19207,
              0.30484,
              0.52965
            ],
            [
              0.0769,
              0.08411,
              0.09138,
              0.10594,
              0.13481,
              0.19194,
              0.30481,
              0.5293
            ],
            [
              0.07676,
              0.08395,
              0.09125,
              0.10578,
              0.13467,
              0.19188,
              0.30467,
              0.52948
            ],
            [
              0.0766,
              0.08379,
              0.09108,
              0.10562,
              0.13457,
              0.19174,
              0.30442,
              0.5293
            ],
            [
              0.07639,
              0.08359,
              0.09088,
              0.10538,
              0.13428,
              0.19146,
              0.30425,
              0.52869
            ],
            [
              0.0762,
              0.08338,
              0.09069,
              0.10521,
              0.13408,
              0.19131,
              0.30417,
              0.52851
            ],
            [
              0.07599,
              0.0832,
              0.09047,
              0.10501,
              0.13392,
              0.19103,
              0.30404,
              0.52831
            ],
            [
              0.07575,
              0.08295,
              0.09024,
              0.10481,
              0.13364,
              0.19072,
              0.30345,
              0.5278
            ],
            [
              0.07553,
              0.08272,
              0.08998,
              0.10452,
              0.13329,
              0.1903,
              0.303,
              0.52756
            ],
            [
              0.0754,
              0.08253,
              0.08978,
              0.10421,
              0.13295,
              0.18996,
              0.30287,
              0.52767
            ]
          ]
        },
        "when": "(A&!CIN) | (!A&CIN)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.04044,
              0.03333,
              0.02637,
              0.01257,
              -0.01506,
              -0.07068,
              -0.18269,
              -0.40768
            ],
            [
              0.04044,
              0.03332,
              0.02637,
              0.01257,
              -0.01506,
              -0.07068,
              -0.18268,
              -0.40766
            ],
            [
              0.04027,
              0.03316,
              0.02622,
              0.01245,
              -0.01517,
              -0.0708,
              -0.18279,
              -0.40777
            ],
            [
              0.04026,
              0.03316,
              0.02622,
              0.01242,
              -0.01523,
              -0.07084,
              -0.18283,
              -0.40782
            ],
            [
              0.04017,
              0.03307,
              0.02613,
              0.01232,
              -0.01531,
              -0.07094,
              -0.18294,
              -0.40791
            ],
            [
              0.04007,
              0.03295,
              0.026,
              0.01223,
              -0.01542,
              -0.07104,
              -0.18304,
              -0.40802
            ],
            [
              0.0399,
              0.0328,
              0.02589,
              0.01209,
              -0.01557,
              -0.07118,
              -0.18318,
              -0.40817
            ],
            [
              0.03975,
              0.03264,
              0.02571,
              0.01191,
              -0.01573,
              -0.07136,
              -0.18335,
              -0.40832
            ],
            [
              0.03959,
              0.03247,
              0.02553,
              0.01172,
              -0.01591,
              -0.07154,
              -0.18352,
              -0.4085
            ],
            [
              0.03941,
              0.03234,
              0.02539,
              0.01159,
              -0.01607,
              -0.07171,
              -0.18371,
              -0.40866
            ],
            [
              0.03926,
              0.03216,
              0.02522,
              0.01141,
              -0.01625,
              -0.0719,
              -0.1839,
              -0.40885
            ],
            [
              0.03918,
              0.03205,
              0.02511,
              0.01128,
              -0.01641,
              -0.07211,
              -0.1841,
              -0.40902
            ],
            [
              0.03921,
              0.03203,
              0.02506,
              0.01117,
              -0.01658,
              -0.07231,
              -0.18431,
              -0.40919
            ]
          ]
        },
        "related_pin": "CIN",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.02121,
              0.02859,
              0.03587,
              0.05032,
              0.07888,
              0.13549,
              0.24792,
              0.47181
            ],
            [
              0.0212,
              0.02859,
              0.03585,
              0.0503,
              0.07886,
              0.13546,
              0.24799,
              0.47246
            ],
            [
              0.02125,
              0.02862,
              0.03589,
              0.05029,
              0.07888,
              0.13546,
              0.248,
              0.472
            ],
            [
              0.02116,
              0.02853,
              0.0358,
              0.05029,
              0.07883,
              0.13548,
              0.24792,
              0.47222
            ],
            [
              0.02114,
              0.02851,
              0.03578,
              0.05022,
              0.07879,
              0.13542,
              0.24796,
              0.47188
            ],
            [
              0.02112,
              0.02849,
              0.03577,
              0.05021,
              0.0788,
              0.1354,
              0.24791,
              0.47222
            ],
            [
              0.02105,
              0.02842,
              0.0357,
              0.05014,
              0.07872,
              0.13539,
              0.24798,
              0.47172
            ],
            [
              0.02095,
              0.02831,
              0.03559,
              0.05002,
              0.07858,
              0.13515,
              0.24766,
              0.47167
            ],
            [
              0.02081,
              0.02817,
              0.03545,
              0.04984,
              0.07837,
              0.13494,
              0.24738,
              0.47155
            ],
            [
              0.02064,
              0.02799,
              0.03522,
              0.04961,
              0.07813,
              0.13464,
              0.24715,
              0.47123
            ],
            [
              0.0205,
              0.02777,
              0.03496,
              0.04927,
              0.07771,
              0.13424,
              0.24687,
              0.47129
            ],
            [
              0.02037,
              0.02758,
              0.03479,
              0.04906,
              0.07733,
              0.13373,
              0.24633,
              0.47025
            ],
            [
              0.02031,
              0.02746,
              0.03459,
              0.04886,
              0.07733,
              0.1335,
              0.24588,
              0.47043
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      },
      {
        "fall_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.05472,
              0.06298,
              0.07127,
              0.08783,
              0.12091,
              0.18562,
              0.31108,
              0.56194
            ],
            [
              0.05471,
              0.06296,
              0.07124,
              0.0878,
              0.12089,
              0.18562,
              0.31105,
              0.56183
            ],
            [
              0.05469,
              0.06293,
              0.07124,
              0.08779,
              0.12086,
              0.18562,
              0.31098,
              0.56151
            ],
            [
              0.05465,
              0.06291,
              0.07122,
              0.08776,
              0.12085,
              0.18559,
              0.31103,
              0.56155
            ],
            [
              0.05461,
              0.06286,
              0.07119,
              0.08774,
              0.12083,
              0.18556,
              0.31099,
              0.56095
            ],
            [
              0.05458,
              0.06283,
              0.07114,
              0.08772,
              0.12078,
              0.18551,
              0.31088,
              0.56163
            ],
            [
              0.05451,
              0.06275,
              0.07106,
              0.08761,
              0.12071,
              0.18542,
              0.31092,
              0.56144
            ],
            [
              0.05437,
              0.06263,
              0.07093,
              0.08746,
              0.12053,
              0.18522,
              0.31068,
              0.56151
            ],
            [
              0.05415,
              0.06239,
              0.07069,
              0.08718,
              0.12018,
              0.18486,
              0.3103,
              0.56133
            ],
            [
              0.05384,
              0.06205,
              0.07031,
              0.0868,
              0.11971,
              0.18434,
              0.30982,
              0.56074
            ],
            [
              0.05355,
              0.06164,
              0.06985,
              0.08625,
              0.11915,
              0.18369,
              0.30918,
              0.55951
            ],
            [
              0.0533,
              0.06139,
              0.06958,
              0.08589,
              0.11854,
              0.18304,
              0.30849,
              0.55898
            ],
            [
              0.05317,
              0.06112,
              0.06924,
              0.08554,
              0.11828,
              0.18262,
              0.30799,
              0.55883
            ]
          ]
        },
        "related_pin": "CIN",
        "rise_power,pwr_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.07279,
              0.07998,
              0.08726,
              0.10177,
              0.1307,
              0.1878,
              0.30053,
              0.52502
            ],
            [
              0.07266,
              0.07986,
              0.08714,
              0.10167,
              0.13058,
              0.18768,
              0.30053,
              0.52482
            ],
            [
              0.07277,
              0.07999,
              0.08726,
              0.10176,
              0.13067,
              0.18781,
              0.30071,
              0.5249
            ],
            [
              0.07259,
              0.07979,
              0.08708,
              0.10161,
              0.13052,
              0.18764,
              0.30036,
              0.52507
            ],
            [
              0.07258,
              0.07978,
              0.08707,
              0.10158,
              0.13048,
              0.18757,
              0.30023,
              0.525
            ],
            [
              0.07244,
              0.07964,
              0.08695,
              0.10146,
              0.13036,
              0.18737,
              0.30021,
              0.52464
            ],
            [
              0.07232,
              0.07954,
              0.0868,
              0.10131,
              0.13024,
              0.18733,
              0.30006,
              0.52476
            ],
            [
              0.07216,
              0.07935,
              0.08663,
              0.10116,
              0.13008,
              0.18717,
              0.30012,
              0.52417
            ],
            [
              0.07199,
              0.07918,
              0.08646,
              0.10102,
              0.1299,
              0.18692,
              0.29992,
              0.5245
            ],
            [
              0.07181,
              0.07901,
              0.0863,
              0.10082,
              0.12968,
              0.18673,
              0.29942,
              0.52405
            ],
            [
              0.07161,
              0.07881,
              0.08611,
              0.10062,
              0.12945,
              0.18646,
              0.29924,
              0.52398
            ],
            [
              0.07139,
              0.07859,
              0.08586,
              0.10034,
              0.12913,
              0.18609,
              0.29891,
              0.52325
            ],
            [
              0.07131,
              0.07844,
              0.08564,
              0.10005,
              0.12878,
              0.18563,
              0.2983,
              0.52247
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.23099,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.95643,
              1.00817,
              1.04307,
              1.09437,
              1.16817,
              1.27487,
              1.43427,
              1.68847
            ],
            [
              0.95693,
              1.00864,
              1.04354,
              1.09484,
              1.16864,
              1.27524,
              1.43474,
              1.68884
            ],
            [
              0.95789,
              1.00962,
              1.04452,
              1.09582,
              1.16962,
              1.27622,
              1.43582,
              1.68982
            ],
            [
              0.96049,
              1.01228,
              1.04717,
              1.09848,
              1.17217,
              1.27898,
              1.43848,
              1.69258
            ],
            [
              0.96611,
              1.01781,
              1.05271,
              1.10411,
              1.17781,
              1.28451,
              1.44411,
              1.69821
            ],
            [
              0.97672,
              1.02842,
              1.06332,
              1.11472,
              1.18842,
              1.29512,
              1.45462,
              1.70872
            ],
            [
              0.99423,
              1.04593,
              1.08083,
              1.13213,
              1.20593,
              1.31263,
              1.47223,
              1.72633
            ],
            [
              1.02096,
              1.07266,
              1.10756,
              1.15886,
              1.23266,
              1.33916,
              1.49886,
              1.75296
            ],
            [
              1.06015,
              1.11185,
              1.14665,
              1.19795,
              1.27175,
              1.37825,
              1.53795,
              1.79205
            ],
            [
              1.11689,
              1.16859,
              1.20339,
              1.25469,
              1.32829,
              1.43499,
              1.59469,
              1.84879
            ],
            [
              1.19922,
              1.25092,
              1.28572,
              1.33702,
              1.41062,
              1.51742,
              1.67692,
              1.93102
            ],
            [
              1.31937,
              1.37107,
              1.40587,
              1.45727,
              1.53087,
              1.63757,
              1.79717,
              2.05127
            ],
            [
              1.4964,
              1.548,
              1.5829,
              1.6342,
              1.7079,
              1.8146,
              1.9742,
              2.2285
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.27441,
              0.30755,
              0.33297,
              0.37576,
              0.45034,
              0.58754,
              0.85386,
              1.38137
            ],
            [
              0.27543,
              0.30862,
              0.33402,
              0.3768,
              0.45138,
              0.58844,
              0.85469,
              1.38254
            ],
            [
              0.27721,
              0.3104,
              0.3358,
              0.37857,
              0.45313,
              0.59023,
              0.85614,
              1.38482
            ],
            [
              0.28077,
              0.31396,
              0.33933,
              0.38216,
              0.45677,
              0.59396,
              0.8603,
              1.38708
            ],
            [
              0.28736,
              0.32056,
              0.34597,
              0.38876,
              0.4633,
              0.60044,
              0.86632,
              1.39511
            ],
            [
              0.29826,
              0.33144,
              0.35684,
              0.3997,
              0.47426,
              0.61148,
              0.87778,
              1.40582
            ],
            [
              0.31489,
              0.34811,
              0.37353,
              0.41631,
              0.49091,
              0.62804,
              0.89433,
              1.42213
            ],
            [
              0.33951,
              0.37269,
              0.3981,
              0.44091,
              0.5154,
              0.6526,
              0.91896,
              1.44726
            ],
            [
              0.37596,
              0.40913,
              0.43446,
              0.47723,
              0.55159,
              0.68884,
              0.95525,
              1.48275
            ],
            [
              0.42918,
              0.46237,
              0.48775,
              0.53044,
              0.60484,
              0.74179,
              1.00829,
              1.53659
            ],
            [
              0.50132,
              0.53582,
              0.56182,
              0.60512,
              0.67972,
              0.81682,
              1.08332,
              1.61162
            ],
            [
              0.59387,
              0.63037,
              0.65757,
              0.70217,
              0.77807,
              0.91567,
              1.18197,
              1.71087
            ],
            [
              0.71,
              0.7494,
              0.7781,
              0.8247,
              0.9023,
              1.0413,
              1.3076,
              1.8359
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.12458,
              0.14711,
              0.16295,
              0.18922,
              0.2323,
              0.3069,
              0.4421,
              0.7021
            ],
            [
              0.12435,
              0.14702,
              0.16305,
              0.1891,
              0.2323,
              0.3073,
              0.4421,
              0.7021
            ],
            [
              0.12438,
              0.14694,
              0.16306,
              0.189,
              0.2321,
              0.3073,
              0.4421,
              0.7021
            ],
            [
              0.12453,
              0.14714,
              0.16297,
              0.1892,
              0.2322,
              0.3068,
              0.442,
              0.702
            ],
            [
              0.1244,
              0.14698,
              0.1631,
              0.1891,
              0.2323,
              0.3071,
              0.4423,
              0.7019
            ],
            [
              0.12454,
              0.1471,
              0.163,
              0.1892,
              0.2322,
              0.3073,
              0.4421,
              0.702
            ],
            [
              0.1244,
              0.1472,
              0.163,
              0.1891,
              0.2323,
              0.307,
              0.442,
              0.7015
            ],
            [
              0.1244,
              0.1471,
              0.163,
              0.1889,
              0.2321,
              0.3069,
              0.4426,
              0.702
            ],
            [
              0.1243,
              0.1469,
              0.1633,
              0.1891,
              0.2323,
              0.3071,
              0.442,
              0.7021
            ],
            [
              0.1246,
              0.147,
              0.163,
              0.189,
              0.2324,
              0.3069,
              0.4425,
              0.702
            ],
            [
              0.1245,
              0.147,
              0.163,
              0.189,
              0.2325,
              0.3072,
              0.4416,
              0.7019
            ],
            [
              0.1244,
              0.1469,
              0.1631,
              0.189,
              0.2327,
              0.307,
              0.442,
              0.7021
            ],
            [
              0.1244,
              0.147,
              0.163,
              0.189,
              0.2326,
              0.3069,
              0.4418,
              0.7014
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.04847,
              0.07413,
              0.0968,
              0.13999,
              0.2267,
              0.40399,
              0.76563,
              1.49677
            ],
            [
              0.04851,
              0.07415,
              0.0969,
              0.14017,
              0.22646,
              0.40369,
              0.76625,
              1.49713
            ],
            [
              0.04851,
              0.0742,
              0.097,
              0.14029,
              0.22643,
              0.40341,
              0.76633,
              1.49657
            ],
            [
              0.04852,
              0.07415,
              0.09698,
              0.1402,
              0.22666,
              0.40396,
              0.7658,
              1.49744
            ],
            [
              0.04862,
              0.07424,
              0.09708,
              0.14041,
              0.22652,
              0.40346,
              0.76631,
              1.49645
            ],
            [
              0.04858,
              0.07423,
              0.09697,
              0.14019,
              0.22676,
              0.40388,
              0.76547,
              1.49603
            ],
            [
              0.04863,
              0.07429,
              0.097,
              0.14028,
              0.22653,
              0.40378,
              0.76624,
              1.49727
            ],
            [
              0.04862,
              0.07428,
              0.09706,
              0.14024,
              0.22675,
              0.40375,
              0.7654,
              1.49565
            ],
            [
              0.04863,
              0.07426,
              0.09697,
              0.14017,
              0.22665,
              0.40387,
              0.76562,
              1.4975
            ],
            [
              0.04915,
              0.07467,
              0.09733,
              0.14038,
              0.22682,
              0.40362,
              0.7661,
              1.497
            ],
            [
              0.0524,
              0.0776,
              0.0999,
              0.1423,
              0.2278,
              0.4041,
              0.7652,
              1.4973
            ],
            [
              0.057,
              0.0826,
              0.1049,
              0.1473,
              0.2312,
              0.4054,
              0.7665,
              1.4954
            ],
            [
              0.064,
              0.0899,
              0.1119,
              0.1536,
              0.2367,
              0.409,
              0.7672,
              1.4971
            ]
          ]
        },
        "sdf_cond": "(!B&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.88906,
              0.92818,
              0.95513,
              0.99567,
              1.05417,
              1.13677,
              1.26987,
              1.50017
            ],
            [
              0.89227,
              0.93145,
              0.95838,
              0.99894,
              1.05744,
              1.14004,
              1.27304,
              1.50334
            ],
            [
              0.89623,
              0.93538,
              0.96233,
              1.00282,
              1.06142,
              1.14402,
              1.27702,
              1.50722
            ],
            [
              0.90217,
              0.94127,
              0.96827,
              1.00877,
              1.06728,
              1.14987,
              1.28308,
              1.51338
            ],
            [
              0.91072,
              0.94986,
              0.97681,
              1.01731,
              1.07581,
              1.15851,
              1.29161,
              1.52181
            ],
            [
              0.9227,
              0.96182,
              0.98882,
              1.02932,
              1.08782,
              1.17052,
              1.30352,
              1.53382
            ],
            [
              0.93973,
              0.97883,
              1.00573,
              1.04623,
              1.10473,
              1.18733,
              1.32043,
              1.55073
            ],
            [
              0.96436,
              1.00346,
              1.03036,
              1.07086,
              1.12936,
              1.21196,
              1.34506,
              1.57536
            ],
            [
              1.00065,
              1.03975,
              1.06675,
              1.10725,
              1.16565,
              1.24825,
              1.38135,
              1.61165
            ],
            [
              1.05449,
              1.09369,
              1.12059,
              1.16109,
              1.21959,
              1.30219,
              1.43529,
              1.66559
            ],
            [
              1.13312,
              1.17212,
              1.19902,
              1.23942,
              1.29782,
              1.38042,
              1.51352,
              1.74372
            ],
            [
              1.24257,
              1.28097,
              1.30747,
              1.34757,
              1.40567,
              1.48797,
              1.62107,
              1.85127
            ],
            [
              1.3871,
              1.4248,
              1.4508,
              1.4901,
              1.5474,
              1.6291,
              1.762,
              1.9923
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              1.17687,
              1.20877,
              1.23137,
              1.26747,
              1.32807,
              1.44917,
              1.70377,
              2.22427
            ],
            [
              1.17704,
              1.20884,
              1.23154,
              1.26764,
              1.32824,
              1.44934,
              1.70404,
              2.22444
            ],
            [
              1.17832,
              1.21012,
              1.23272,
              1.26892,
              1.32942,
              1.45062,
              1.70532,
              2.22572
            ],
            [
              1.18138,
              1.21328,
              1.23588,
              1.27198,
              1.33258,
              1.45378,
              1.70838,
              2.22887
            ],
            [
              1.18781,
              1.21961,
              1.24231,
              1.27841,
              1.33901,
              1.46011,
              1.71481,
              2.23531
            ],
            [
              1.19922,
              1.23102,
              1.25372,
              1.28982,
              1.35042,
              1.47152,
              1.72632,
              2.24672
            ],
            [
              1.21763,
              1.24943,
              1.27213,
              1.30823,
              1.36883,
              1.48993,
              1.74473,
              2.26523
            ],
            [
              1.24546,
              1.27726,
              1.29986,
              1.33596,
              1.39656,
              1.51776,
              1.77246,
              2.29286
            ],
            [
              1.28645,
              1.31825,
              1.34085,
              1.37695,
              1.43755,
              1.55875,
              1.81345,
              2.33385
            ],
            [
              1.34769,
              1.37949,
              1.40209,
              1.43819,
              1.49879,
              1.61999,
              1.87469,
              2.39509
            ],
            [
              1.43972,
              1.47152,
              1.49422,
              1.53032,
              1.59092,
              1.71212,
              1.96682,
              2.48722
            ],
            [
              1.57817,
              1.60997,
              1.63267,
              1.66877,
              1.72937,
              1.85057,
              2.10547,
              2.62577
            ],
            [
              1.7853,
              1.8172,
              1.8399,
              1.876,
              1.9366,
              2.0578,
              2.3124,
              2.833
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.08948,
              0.10872,
              0.12299,
              0.14662,
              0.18763,
              0.2597,
              0.3902,
              0.652
            ],
            [
              0.08956,
              0.10871,
              0.12301,
              0.14666,
              0.18754,
              0.2592,
              0.3895,
              0.6521
            ],
            [
              0.08957,
              0.10872,
              0.12315,
              0.1466,
              0.18744,
              0.2594,
              0.3896,
              0.6522
            ],
            [
              0.08949,
              0.1088,
              0.12285,
              0.14659,
              0.18748,
              0.2596,
              0.3901,
              0.6519
            ],
            [
              0.08947,
              0.10873,
              0.12307,
              0.14683,
              0.1876,
              0.2592,
              0.3895,
              0.6521
            ],
            [
              0.08951,
              0.10871,
              0.12321,
              0.1466,
              0.1877,
              0.2592,
              0.3902,
              0.652
            ],
            [
              0.0894,
              0.1087,
              0.1232,
              0.1466,
              0.1874,
              0.2596,
              0.3897,
              0.6521
            ],
            [
              0.0895,
              0.1087,
              0.123,
              0.1466,
              0.1876,
              0.2596,
              0.3901,
              0.652
            ],
            [
              0.0896,
              0.1087,
              0.123,
              0.1466,
              0.1875,
              0.2597,
              0.3901,
              0.6521
            ],
            [
              0.0895,
              0.1088,
              0.1229,
              0.1466,
              0.1876,
              0.2596,
              0.3903,
              0.652
            ],
            [
              0.0896,
              0.1087,
              0.1231,
              0.1468,
              0.1878,
              0.2592,
              0.3896,
              0.6522
            ],
            [
              0.0895,
              0.1087,
              0.1231,
              0.1467,
              0.1876,
              0.2595,
              0.3896,
              0.6521
            ],
            [
              0.0896,
              0.1089,
              0.123,
              0.1468,
              0.1878,
              0.2591,
              0.3894,
              0.6518
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.0664,
              0.0909,
              0.1132,
              0.156,
              0.2394,
              0.41,
              0.766,
              1.4926
            ],
            [
              0.0665,
              0.0909,
              0.1134,
              0.1559,
              0.2392,
              0.4104,
              0.7667,
              1.4927
            ],
            [
              0.0664,
              0.0909,
              0.1131,
              0.1558,
              0.2393,
              0.4104,
              0.7667,
              1.4932
            ],
            [
              0.0664,
              0.0909,
              0.1132,
              0.1559,
              0.2393,
              0.41,
              0.7661,
              1.4927
            ],
            [
              0.0664,
              0.0909,
              0.1134,
              0.1559,
              0.2392,
              0.4104,
              0.7671,
              1.4922
            ],
            [
              0.0664,
              0.0909,
              0.1134,
              0.1557,
              0.2392,
              0.4101,
              0.7663,
              1.492
            ],
            [
              0.0665,
              0.0909,
              0.1134,
              0.1557,
              0.2392,
              0.4101,
              0.7675,
              1.4957
            ],
            [
              0.0664,
              0.0909,
              0.1135,
              0.1559,
              0.2392,
              0.4104,
              0.7664,
              1.4918
            ],
            [
              0.0664,
              0.0909,
              0.1134,
              0.1558,
              0.2392,
              0.4102,
              0.7665,
              1.492
            ],
            [
              0.0664,
              0.0909,
              0.1134,
              0.1558,
              0.2393,
              0.4101,
              0.7664,
              1.4926
            ],
            [
              0.0664,
              0.091,
              0.1134,
              0.1558,
              0.2392,
              0.4101,
              0.7665,
              1.4931
            ],
            [
              0.0665,
              0.091,
              0.1132,
              0.1558,
              0.2393,
              0.4101,
              0.7658,
              1.4924
            ],
            [
              0.0665,
              0.091,
              0.1133,
              0.1558,
              0.2392,
              0.4104,
              0.7674,
              1.494
            ]
          ]
        },
        "sdf_cond": "(!B&CIN)",
        "timing_sense": "negative_unate",
        "when": "(!B&CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.83406,
              0.87324,
              0.90101,
              0.944,
              1.00907,
              1.10277,
              1.24717,
              1.48657
            ],
            [
              0.83488,
              0.87406,
              0.90183,
              0.94482,
              1.00984,
              1.10364,
              1.24804,
              1.48744
            ],
            [
              0.83656,
              0.87575,
              0.9035,
              0.9465,
              1.01152,
              1.10532,
              1.24972,
              1.48912
            ],
            [
              0.84001,
              0.87919,
              0.90694,
              0.94995,
              1.01497,
              1.10878,
              1.25318,
              1.49258
            ],
            [
              0.84628,
              0.88545,
              0.91318,
              0.95621,
              1.02121,
              1.11501,
              1.25941,
              1.49891
            ],
            [
              0.85635,
              0.89553,
              0.92324,
              0.96622,
              1.03132,
              1.12502,
              1.26942,
              1.50892
            ],
            [
              0.87158,
              0.91083,
              0.93853,
              0.98153,
              1.04653,
              1.14023,
              1.28463,
              1.52413
            ],
            [
              0.89466,
              0.93386,
              0.96156,
              1.00456,
              1.06956,
              1.16326,
              1.30756,
              1.54706
            ],
            [
              0.92915,
              0.96835,
              0.99605,
              1.03905,
              1.10395,
              1.19765,
              1.34205,
              1.58155
            ],
            [
              0.98069,
              1.01999,
              1.04769,
              1.09059,
              1.15559,
              1.24929,
              1.39369,
              1.63309
            ],
            [
              1.05552,
              1.09452,
              1.12212,
              1.16502,
              1.22982,
              1.32352,
              1.46782,
              1.70732
            ],
            [
              1.15787,
              1.19617,
              1.22337,
              1.26577,
              1.33027,
              1.42367,
              1.56797,
              1.80737
            ],
            [
              1.2906,
              1.3282,
              1.355,
              1.3967,
              1.4603,
              1.553,
              1.697,
              1.9363
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              1.14137,
              1.17047,
              1.19177,
              1.22667,
              1.28587,
              1.40557,
              1.65997,
              2.18067
            ],
            [
              1.14354,
              1.17264,
              1.19404,
              1.22894,
              1.28804,
              1.40774,
              1.66214,
              2.18294
            ],
            [
              1.14652,
              1.17562,
              1.19692,
              1.23182,
              1.29102,
              1.41072,
              1.66512,
              2.18592
            ],
            [
              1.15128,
              1.18048,
              1.20178,
              1.23667,
              1.29588,
              1.41548,
              1.66998,
              2.19077
            ],
            [
              1.15921,
              1.18831,
              1.20971,
              1.24461,
              1.30381,
              1.42331,
              1.67781,
              2.19851
            ],
            [
              1.17172,
              1.20092,
              1.22222,
              1.25712,
              1.31632,
              1.43592,
              1.69042,
              2.21122
            ],
            [
              1.19113,
              1.22033,
              1.24173,
              1.27653,
              1.33563,
              1.45523,
              1.70973,
              2.23083
            ],
            [
              1.21926,
              1.24846,
              1.26976,
              1.30466,
              1.36376,
              1.48346,
              1.73786,
              2.25876
            ],
            [
              1.25915,
              1.28825,
              1.30955,
              1.34445,
              1.40365,
              1.52315,
              1.77775,
              2.29855
            ],
            [
              1.31579,
              1.34499,
              1.36629,
              1.40119,
              1.46039,
              1.57999,
              1.83449,
              2.35519
            ],
            [
              1.39812,
              1.42722,
              1.44862,
              1.48342,
              1.54252,
              1.66222,
              1.91672,
              2.43752
            ],
            [
              1.51927,
              1.54837,
              1.56977,
              1.60467,
              1.66387,
              1.78357,
              2.03807,
              2.55877
            ],
            [
              1.698,
              1.7271,
              1.7484,
              1.7832,
              1.8423,
              1.962,
              2.2164,
              2.7371
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.08658,
              0.10778,
              0.12441,
              0.15403,
              0.20381,
              0.28102,
              0.4105,
              0.6678
            ],
            [
              0.08659,
              0.10778,
              0.1244,
              0.15398,
              0.20386,
              0.28107,
              0.4105,
              0.6678
            ],
            [
              0.08656,
              0.10778,
              0.12439,
              0.15397,
              0.20386,
              0.28105,
              0.4106,
              0.6684
            ],
            [
              0.08658,
              0.10777,
              0.12438,
              0.15398,
              0.20387,
              0.28067,
              0.4105,
              0.6682
            ],
            [
              0.08655,
              0.10773,
              0.12434,
              0.15408,
              0.20386,
              0.2807,
              0.4108,
              0.6677
            ],
            [
              0.08656,
              0.10778,
              0.12443,
              0.15397,
              0.20392,
              0.2806,
              0.4105,
              0.6679
            ],
            [
              0.08658,
              0.10773,
              0.12436,
              0.154,
              0.2039,
              0.2809,
              0.4104,
              0.6682
            ],
            [
              0.0865,
              0.1077,
              0.1243,
              0.154,
              0.2038,
              0.2809,
              0.4108,
              0.6681
            ],
            [
              0.0865,
              0.1077,
              0.1244,
              0.1541,
              0.2037,
              0.2806,
              0.4107,
              0.6677
            ],
            [
              0.0865,
              0.1077,
              0.1243,
              0.1541,
              0.2038,
              0.2809,
              0.4105,
              0.6682
            ],
            [
              0.0866,
              0.1077,
              0.1244,
              0.1541,
              0.2038,
              0.2809,
              0.4104,
              0.6682
            ],
            [
              0.0866,
              0.1078,
              0.1244,
              0.1541,
              0.2038,
              0.2809,
              0.4111,
              0.6683
            ],
            [
              0.0866,
              0.1079,
              0.1245,
              0.1542,
              0.204,
              0.2806,
              0.4107,
              0.6678
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.0585,
              0.0843,
              0.1068,
              0.1495,
              0.2349,
              0.4081,
              0.7666,
              1.4936
            ],
            [
              0.0585,
              0.0842,
              0.1067,
              0.1496,
              0.2349,
              0.408,
              0.7665,
              1.4936
            ],
            [
              0.0585,
              0.0841,
              0.1068,
              0.1498,
              0.2347,
              0.4082,
              0.768,
              1.4928
            ],
            [
              0.0586,
              0.0841,
              0.1067,
              0.1497,
              0.2347,
              0.4083,
              0.7667,
              1.4942
            ],
            [
              0.0585,
              0.0842,
              0.1067,
              0.1496,
              0.2347,
              0.4083,
              0.7668,
              1.4937
            ],
            [
              0.0586,
              0.084,
              0.1067,
              0.1497,
              0.2348,
              0.4083,
              0.7664,
              1.4938
            ],
            [
              0.0585,
              0.0843,
              0.1066,
              0.1497,
              0.2348,
              0.4078,
              0.7658,
              1.4959
            ],
            [
              0.0585,
              0.0843,
              0.1066,
              0.1497,
              0.2348,
              0.408,
              0.7661,
              1.4935
            ],
            [
              0.0585,
              0.0841,
              0.1066,
              0.1497,
              0.2347,
              0.4082,
              0.766,
              1.4943
            ],
            [
              0.0585,
              0.0841,
              0.1068,
              0.1496,
              0.2348,
              0.4083,
              0.7674,
              1.4927
            ],
            [
              0.0586,
              0.0841,
              0.1067,
              0.15,
              0.2346,
              0.4079,
              0.7657,
              1.4933
            ],
            [
              0.0585,
              0.0842,
              0.1066,
              0.1497,
              0.2348,
              0.4083,
              0.7664,
              1.4936
            ],
            [
              0.0586,
              0.0843,
              0.1067,
              0.1499,
              0.235,
              0.4082,
              0.768,
              1.4934
            ]
          ]
        },
        "sdf_cond": "(B&!CIN)",
        "timing_sense": "negative_unate",
        "when": "(B&!CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.68994,
              0.73043,
              0.75809,
              0.79941,
              0.85987,
              0.94953,
              1.08847,
              1.32127
            ],
            [
              0.6908,
              0.73133,
              0.75897,
              0.80026,
              0.86074,
              0.95043,
              1.08934,
              1.32204
            ],
            [
              0.69231,
              0.7328,
              0.76048,
              0.80179,
              0.86226,
              0.95192,
              1.09092,
              1.32372
            ],
            [
              0.69561,
              0.73615,
              0.7638,
              0.80507,
              0.86557,
              0.95525,
              1.09418,
              1.32688
            ],
            [
              0.70226,
              0.7428,
              0.77041,
              0.81174,
              0.87221,
              0.96191,
              1.10081,
              1.33361
            ],
            [
              0.7141,
              0.75462,
              0.78227,
              0.82356,
              0.88405,
              0.97372,
              1.11272,
              1.34542
            ],
            [
              0.73357,
              0.7741,
              0.80169,
              0.84303,
              0.90353,
              0.99323,
              1.13213,
              1.36483
            ],
            [
              0.76347,
              0.80395,
              0.8316,
              0.87286,
              0.93336,
              1.02306,
              1.16206,
              1.39486
            ],
            [
              0.80715,
              0.84765,
              0.87535,
              0.91655,
              0.97705,
              1.06675,
              1.20575,
              1.43855
            ],
            [
              0.87069,
              0.91119,
              0.93879,
              0.98009,
              1.04049,
              1.13019,
              1.26919,
              1.50209
            ],
            [
              0.96422,
              1.00472,
              1.03232,
              1.07362,
              1.13402,
              1.22372,
              1.36272,
              1.59552
            ],
            [
              1.10347,
              1.14407,
              1.17167,
              1.21287,
              1.27327,
              1.36297,
              1.50197,
              1.73487
            ],
            [
              1.3101,
              1.351,
              1.3788,
              1.4201,
              1.4807,
              1.5704,
              1.7096,
              1.9425
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.35791,
              0.39664,
              0.42558,
              0.47299,
              0.55231,
              0.6933,
              0.96027,
              1.48697
            ],
            [
              0.3587,
              0.39743,
              0.42636,
              0.47377,
              0.5531,
              0.69409,
              0.96108,
              1.48814
            ],
            [
              0.36019,
              0.39892,
              0.42785,
              0.47526,
              0.55459,
              0.69553,
              0.96259,
              1.48992
            ],
            [
              0.3633,
              0.40203,
              0.43095,
              0.47836,
              0.5577,
              0.69868,
              0.96569,
              1.49287
            ],
            [
              0.36914,
              0.40786,
              0.43678,
              0.4842,
              0.56354,
              0.70445,
              0.97151,
              1.49861
            ],
            [
              0.3787,
              0.41746,
              0.44634,
              0.49376,
              0.57315,
              0.71383,
              0.98072,
              1.50932
            ],
            [
              0.39274,
              0.43151,
              0.46039,
              0.5078,
              0.58717,
              0.72796,
              0.99503,
              1.52303
            ],
            [
              0.41307,
              0.45183,
              0.48071,
              0.52813,
              0.60749,
              0.74822,
              1.01526,
              1.54356
            ],
            [
              0.44275,
              0.4815,
              0.51039,
              0.55779,
              0.6371,
              0.77785,
              1.04505,
              1.57295
            ],
            [
              0.48659,
              0.52534,
              0.55428,
              0.60166,
              0.68099,
              0.82189,
              1.08869,
              1.61739
            ],
            [
              0.54902,
              0.58852,
              0.61772,
              0.66542,
              0.74492,
              0.88572,
              1.15292,
              1.68132
            ],
            [
              0.63117,
              0.67247,
              0.70287,
              0.75187,
              0.83267,
              0.97427,
              1.24177,
              1.77057
            ],
            [
              0.7374,
              0.7812,
              0.8131,
              0.864,
              0.9467,
              1.0902,
              1.3581,
              1.8861
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.08885,
              0.10781,
              0.12179,
              0.14487,
              0.18434,
              0.25484,
              0.38555,
              0.6489
            ],
            [
              0.08889,
              0.10779,
              0.12169,
              0.14506,
              0.18452,
              0.25435,
              0.3859,
              0.649
            ],
            [
              0.08886,
              0.10782,
              0.1218,
              0.14487,
              0.18434,
              0.2548,
              0.3855,
              0.6488
            ],
            [
              0.08889,
              0.10779,
              0.12169,
              0.14506,
              0.18451,
              0.25426,
              0.38579,
              0.649
            ],
            [
              0.08885,
              0.10773,
              0.12177,
              0.14488,
              0.18433,
              0.25483,
              0.38555,
              0.6488
            ],
            [
              0.0889,
              0.10778,
              0.12169,
              0.14507,
              0.18457,
              0.25431,
              0.38583,
              0.649
            ],
            [
              0.08885,
              0.10773,
              0.12171,
              0.14492,
              0.18435,
              0.25495,
              0.3857,
              0.6489
            ],
            [
              0.08886,
              0.10781,
              0.12175,
              0.14487,
              0.1843,
              0.2548,
              0.3855,
              0.6488
            ],
            [
              0.0889,
              0.1077,
              0.1217,
              0.145,
              0.1845,
              0.2544,
              0.3863,
              0.649
            ],
            [
              0.0889,
              0.1078,
              0.1216,
              0.1451,
              0.1846,
              0.2547,
              0.3862,
              0.6487
            ],
            [
              0.0888,
              0.1078,
              0.1217,
              0.1449,
              0.1844,
              0.2544,
              0.3862,
              0.6489
            ],
            [
              0.089,
              0.1079,
              0.1217,
              0.1451,
              0.1846,
              0.2544,
              0.3858,
              0.649
            ],
            [
              0.0914,
              0.1096,
              0.1232,
              0.1461,
              0.1853,
              0.2555,
              0.3867,
              0.649
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.05999,
              0.08791,
              0.1117,
              0.15579,
              0.24125,
              0.41462,
              0.77269,
              1.50156
            ],
            [
              0.05999,
              0.0879,
              0.11169,
              0.15586,
              0.24128,
              0.41477,
              0.77256,
              1.50135
            ],
            [
              0.05999,
              0.08788,
              0.11168,
              0.15589,
              0.2413,
              0.41476,
              0.77234,
              1.50136
            ],
            [
              0.05999,
              0.08789,
              0.11169,
              0.15587,
              0.24129,
              0.41477,
              0.77259,
              1.50128
            ],
            [
              0.06,
              0.08786,
              0.11168,
              0.15567,
              0.24143,
              0.41477,
              0.77258,
              1.50136
            ],
            [
              0.05996,
              0.08789,
              0.11168,
              0.15575,
              0.24141,
              0.41474,
              0.77274,
              1.50127
            ],
            [
              0.05995,
              0.08781,
              0.11157,
              0.15574,
              0.24098,
              0.41481,
              0.77208,
              1.50155
            ],
            [
              0.05995,
              0.08779,
              0.11161,
              0.15573,
              0.24145,
              0.41474,
              0.77249,
              1.5015
            ],
            [
              0.06,
              0.08781,
              0.11165,
              0.15589,
              0.24098,
              0.41482,
              0.77183,
              1.5016
            ],
            [
              0.06005,
              0.08787,
              0.11171,
              0.1558,
              0.24124,
              0.4148,
              0.7725,
              1.501
            ],
            [
              0.0624,
              0.0899,
              0.1134,
              0.1571,
              0.2421,
              0.4151,
              0.7727,
              1.5011
            ],
            [
              0.0664,
              0.0944,
              0.1179,
              0.1614,
              0.2452,
              0.4168,
              0.7727,
              1.5008
            ],
            [
              0.0721,
              0.1008,
              0.1243,
              0.1679,
              0.2511,
              0.4209,
              0.7741,
              1.503
            ]
          ]
        },
        "sdf_cond": "(B&CIN)",
        "timing_sense": "positive_unate",
        "when": "(B&CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.89411,
              0.94597,
              0.98087,
              1.03227,
              1.10617,
              1.21297,
              1.37287,
              1.62737
            ],
            [
              0.89529,
              0.94715,
              0.98212,
              1.03354,
              1.10744,
              1.21424,
              1.37414,
              1.62864
            ],
            [
              0.89767,
              0.94954,
              0.98452,
              1.03592,
              1.10962,
              1.21662,
              1.37652,
              1.63112
            ],
            [
              0.90194,
              0.95383,
              0.98877,
              1.04028,
              1.11428,
              1.22098,
              1.38088,
              1.63538
            ],
            [
              0.90921,
              0.96111,
              0.99601,
              1.04751,
              1.12141,
              1.22831,
              1.38821,
              1.64271
            ],
            [
              0.92079,
              0.97262,
              1.00762,
              1.05912,
              1.13282,
              1.23982,
              1.39972,
              1.65432
            ],
            [
              0.93853,
              0.99033,
              1.02523,
              1.07673,
              1.15063,
              1.25753,
              1.41743,
              1.67203
            ],
            [
              0.96456,
              1.01636,
              1.05136,
              1.10276,
              1.17676,
              1.28356,
              1.44346,
              1.69806
            ],
            [
              1.00315,
              1.05495,
              1.08985,
              1.14135,
              1.21525,
              1.32205,
              1.48195,
              1.73655
            ],
            [
              1.06089,
              1.11279,
              1.14769,
              1.19909,
              1.27279,
              1.37979,
              1.53969,
              1.79439
            ],
            [
              1.14822,
              1.20002,
              1.23492,
              1.28642,
              1.36022,
              1.46722,
              1.62702,
              1.88172
            ],
            [
              1.27987,
              1.33167,
              1.36657,
              1.41807,
              1.49197,
              1.59897,
              1.75877,
              2.01357
            ],
            [
              1.4775,
              1.5293,
              1.5643,
              1.6157,
              1.6897,
              1.7966,
              1.9567,
              2.2115
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.23918,
              0.27272,
              0.29838,
              0.34153,
              0.41625,
              0.55348,
              0.81921,
              1.34627
            ],
            [
              0.24267,
              0.27622,
              0.30185,
              0.34501,
              0.41989,
              0.55688,
              0.82253,
              1.34944
            ],
            [
              0.24689,
              0.28042,
              0.30609,
              0.34928,
              0.42406,
              0.56125,
              0.827,
              1.35412
            ],
            [
              0.25313,
              0.28669,
              0.31235,
              0.35556,
              0.43045,
              0.56758,
              0.83332,
              1.36038
            ],
            [
              0.26198,
              0.29558,
              0.32124,
              0.36443,
              0.43935,
              0.57636,
              0.84198,
              1.36931
            ],
            [
              0.27434,
              0.30793,
              0.33366,
              0.37689,
              0.45162,
              0.58883,
              0.85457,
              1.38222
            ],
            [
              0.29164,
              0.32531,
              0.35103,
              0.39427,
              0.46912,
              0.60614,
              0.8716,
              1.39923
            ],
            [
              0.31634,
              0.35,
              0.37574,
              0.41899,
              0.4939,
              0.63111,
              0.89696,
              1.42346
            ],
            [
              0.35191,
              0.38559,
              0.41131,
              0.45452,
              0.52935,
              0.66646,
              0.93225,
              1.46025
            ],
            [
              0.40296,
              0.43673,
              0.46243,
              0.50565,
              0.58048,
              0.71749,
              0.98369,
              1.51129
            ],
            [
              0.47082,
              0.50602,
              0.53252,
              0.57652,
              0.65162,
              0.78902,
              1.05482,
              1.58272
            ],
            [
              0.55777,
              0.59507,
              0.62267,
              0.66807,
              0.74467,
              0.88277,
              1.14907,
              1.67597
            ],
            [
              0.6671,
              0.7072,
              0.7365,
              0.7837,
              0.8622,
              1.0019,
              1.2682,
              1.7962
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.12493,
              0.14749,
              0.16361,
              0.18958,
              0.23289,
              0.308,
              0.4427,
              0.7029
            ],
            [
              0.12481,
              0.14765,
              0.16345,
              0.18953,
              0.23274,
              0.3079,
              0.4425,
              0.7027
            ],
            [
              0.12482,
              0.14764,
              0.16351,
              0.18979,
              0.2334,
              0.308,
              0.4432,
              0.7026
            ],
            [
              0.1248,
              0.1474,
              0.16348,
              0.18954,
              0.2328,
              0.3078,
              0.4429,
              0.703
            ],
            [
              0.12497,
              0.14762,
              0.16375,
              0.18967,
              0.2329,
              0.308,
              0.4427,
              0.7028
            ],
            [
              0.12477,
              0.14742,
              0.16361,
              0.1896,
              0.2331,
              0.3081,
              0.443,
              0.7025
            ],
            [
              0.12502,
              0.1475,
              0.1638,
              0.1897,
              0.2329,
              0.3078,
              0.4429,
              0.703
            ],
            [
              0.1248,
              0.1474,
              0.1637,
              0.1899,
              0.2329,
              0.3079,
              0.4427,
              0.7028
            ],
            [
              0.1248,
              0.1475,
              0.1637,
              0.1896,
              0.2328,
              0.3076,
              0.4429,
              0.7031
            ],
            [
              0.125,
              0.1475,
              0.1635,
              0.1897,
              0.2335,
              0.308,
              0.4431,
              0.7026
            ],
            [
              0.1249,
              0.1475,
              0.1636,
              0.1896,
              0.2331,
              0.3078,
              0.4428,
              0.703
            ],
            [
              0.1248,
              0.1475,
              0.1639,
              0.1899,
              0.233,
              0.3079,
              0.4425,
              0.7028
            ],
            [
              0.1249,
              0.1477,
              0.1637,
              0.1898,
              0.233,
              0.3078,
              0.4434,
              0.7033
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.04897,
              0.07484,
              0.0977,
              0.14104,
              0.22727,
              0.40409,
              0.76507,
              1.49553
            ],
            [
              0.049,
              0.07491,
              0.09796,
              0.1412,
              0.22736,
              0.40376,
              0.76585,
              1.49697
            ],
            [
              0.04903,
              0.07499,
              0.09779,
              0.14141,
              0.22739,
              0.4041,
              0.76504,
              1.4956
            ],
            [
              0.04907,
              0.07499,
              0.09781,
              0.14123,
              0.2275,
              0.40412,
              0.7651,
              1.49545
            ],
            [
              0.04913,
              0.075,
              0.09805,
              0.14128,
              0.22746,
              0.40372,
              0.76599,
              1.49672
            ],
            [
              0.04923,
              0.07509,
              0.098,
              0.14157,
              0.22746,
              0.40387,
              0.76504,
              1.49764
            ],
            [
              0.04932,
              0.07528,
              0.09804,
              0.14141,
              0.2274,
              0.40362,
              0.76573,
              1.49666
            ],
            [
              0.04943,
              0.07546,
              0.09826,
              0.14149,
              0.22776,
              0.40421,
              0.76538,
              1.49695
            ],
            [
              0.04946,
              0.07541,
              0.09824,
              0.14159,
              0.22752,
              0.40396,
              0.76523,
              1.4969
            ],
            [
              0.05025,
              0.07586,
              0.09871,
              0.14188,
              0.22795,
              0.40382,
              0.7653,
              1.4956
            ],
            [
              0.05366,
              0.0794,
              0.1018,
              0.1446,
              0.2292,
              0.4048,
              0.766,
              1.4962
            ],
            [
              0.0583,
              0.0843,
              0.1068,
              0.1493,
              0.2335,
              0.407,
              0.7675,
              1.4971
            ],
            [
              0.0653,
              0.0917,
              0.1141,
              0.156,
              0.2391,
              0.4111,
              0.7673,
              1.4975
            ]
          ]
        },
        "sdf_cond": "(!A&!CIN)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.87756,
              0.91646,
              0.94326,
              0.98354,
              1.04207,
              1.12497,
              1.25737,
              1.48667
            ],
            [
              0.8816,
              0.92049,
              0.94729,
              0.98754,
              1.04614,
              1.12904,
              1.26144,
              1.49084
            ],
            [
              0.8864,
              0.9253,
              0.95209,
              0.99242,
              1.05092,
              1.13392,
              1.26622,
              1.49562
            ],
            [
              0.89314,
              0.93207,
              0.95888,
              0.99918,
              1.05778,
              1.14078,
              1.27307,
              1.50257
            ],
            [
              0.90212,
              0.94108,
              0.96791,
              1.00821,
              1.06671,
              1.14981,
              1.28211,
              1.51171
            ],
            [
              0.91404,
              0.95292,
              0.97972,
              1.02002,
              1.07862,
              1.16172,
              1.29412,
              1.52362
            ],
            [
              0.93033,
              0.96923,
              0.99593,
              1.03623,
              1.09483,
              1.17793,
              1.31033,
              1.53993
            ],
            [
              0.95326,
              0.99206,
              1.01886,
              1.05906,
              1.11766,
              1.20066,
              1.33316,
              1.56276
            ],
            [
              0.98615,
              1.02505,
              1.05185,
              1.09205,
              1.15055,
              1.23355,
              1.36605,
              1.59555
            ],
            [
              1.03479,
              1.07369,
              1.10039,
              1.14059,
              1.19889,
              1.28189,
              1.41449,
              1.64409
            ],
            [
              1.10572,
              1.14432,
              1.17092,
              1.21092,
              1.26922,
              1.35202,
              1.48452,
              1.71422
            ],
            [
              1.20327,
              1.24107,
              1.26727,
              1.30687,
              1.36457,
              1.44697,
              1.57957,
              1.80907
            ],
            [
              1.3303,
              1.3673,
              1.393,
              1.4318,
              1.4886,
              1.5701,
              1.7024,
              1.9318
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              1.14247,
              1.17387,
              1.19637,
              1.23237,
              1.29277,
              1.41407,
              1.66907,
              2.18957
            ],
            [
              1.14504,
              1.17644,
              1.19894,
              1.23494,
              1.29534,
              1.41664,
              1.67164,
              2.19214
            ],
            [
              1.14782,
              1.17942,
              1.20192,
              1.23792,
              1.29832,
              1.41972,
              1.67462,
              2.19522
            ],
            [
              1.15228,
              1.18378,
              1.20627,
              1.24228,
              1.30278,
              1.42417,
              1.67918,
              2.19957
            ],
            [
              1.15901,
              1.19041,
              1.21301,
              1.24891,
              1.30941,
              1.43081,
              1.68581,
              2.20631
            ],
            [
              1.16932,
              1.20082,
              1.22332,
              1.25932,
              1.31972,
              1.44112,
              1.69612,
              2.21672
            ],
            [
              1.18553,
              1.21693,
              1.23953,
              1.27543,
              1.33593,
              1.45733,
              1.71223,
              2.23283
            ],
            [
              1.21096,
              1.24236,
              1.26486,
              1.30076,
              1.36126,
              1.48266,
              1.73766,
              2.25816
            ],
            [
              1.25095,
              1.28235,
              1.30485,
              1.34075,
              1.40115,
              1.52265,
              1.77765,
              2.29805
            ],
            [
              1.31369,
              1.34499,
              1.36749,
              1.40339,
              1.46389,
              1.58529,
              1.84009,
              2.36109
            ],
            [
              1.41082,
              1.44222,
              1.46472,
              1.50062,
              1.56092,
              1.68232,
              1.93722,
              2.45812
            ],
            [
              1.56017,
              1.59167,
              1.61407,
              1.64997,
              1.71037,
              1.83187,
              2.08687,
              2.60737
            ],
            [
              1.7879,
              1.8193,
              1.8418,
              1.8778,
              1.9382,
              2.0597,
              2.3147,
              2.8352
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.08883,
              0.10782,
              0.12168,
              0.14505,
              0.18516,
              0.25639,
              0.3865,
              0.6493
            ],
            [
              0.08879,
              0.10795,
              0.12173,
              0.14511,
              0.18522,
              0.2564,
              0.387,
              0.6492
            ],
            [
              0.08887,
              0.1078,
              0.12169,
              0.14518,
              0.18521,
              0.2564,
              0.3867,
              0.6492
            ],
            [
              0.0889,
              0.10794,
              0.12191,
              0.14526,
              0.18522,
              0.2565,
              0.3868,
              0.6493
            ],
            [
              0.08889,
              0.10796,
              0.12186,
              0.14511,
              0.1853,
              0.2564,
              0.3872,
              0.6494
            ],
            [
              0.08889,
              0.10792,
              0.1218,
              0.1453,
              0.1853,
              0.2565,
              0.3872,
              0.6492
            ],
            [
              0.08893,
              0.108,
              0.1218,
              0.1452,
              0.1853,
              0.2566,
              0.3872,
              0.6492
            ],
            [
              0.0889,
              0.108,
              0.1219,
              0.1452,
              0.1853,
              0.2571,
              0.3872,
              0.6492
            ],
            [
              0.0889,
              0.1081,
              0.1219,
              0.1452,
              0.1855,
              0.2566,
              0.3868,
              0.6495
            ],
            [
              0.0889,
              0.108,
              0.1219,
              0.1452,
              0.1855,
              0.2565,
              0.3872,
              0.649
            ],
            [
              0.0889,
              0.1079,
              0.122,
              0.1452,
              0.1854,
              0.2566,
              0.3873,
              0.6488
            ],
            [
              0.0892,
              0.108,
              0.1219,
              0.1452,
              0.1857,
              0.2571,
              0.3869,
              0.6495
            ],
            [
              0.0888,
              0.1079,
              0.1218,
              0.1452,
              0.1855,
              0.2565,
              0.3871,
              0.6492
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.0647,
              0.0902,
              0.1128,
              0.1555,
              0.2394,
              0.4103,
              0.7658,
              1.4939
            ],
            [
              0.0647,
              0.0903,
              0.1128,
              0.1559,
              0.2394,
              0.4103,
              0.7671,
              1.4925
            ],
            [
              0.0646,
              0.0902,
              0.1127,
              0.1557,
              0.2396,
              0.4103,
              0.7655,
              1.4924
            ],
            [
              0.0646,
              0.0903,
              0.1128,
              0.1559,
              0.2396,
              0.4102,
              0.7684,
              1.4922
            ],
            [
              0.0647,
              0.0903,
              0.1127,
              0.1556,
              0.2394,
              0.4102,
              0.7686,
              1.4929
            ],
            [
              0.0647,
              0.0902,
              0.1128,
              0.1559,
              0.2395,
              0.4103,
              0.7664,
              1.4924
            ],
            [
              0.0647,
              0.0902,
              0.1127,
              0.1559,
              0.2396,
              0.4099,
              0.7675,
              1.4923
            ],
            [
              0.0646,
              0.0901,
              0.1127,
              0.1558,
              0.2393,
              0.4102,
              0.7662,
              1.4923
            ],
            [
              0.0647,
              0.0901,
              0.1127,
              0.1559,
              0.2394,
              0.4099,
              0.7658,
              1.4952
            ],
            [
              0.0647,
              0.0902,
              0.1127,
              0.1559,
              0.2393,
              0.41,
              0.7676,
              1.4955
            ],
            [
              0.0647,
              0.0902,
              0.1129,
              0.1558,
              0.2396,
              0.4102,
              0.767,
              1.4929
            ],
            [
              0.0648,
              0.0902,
              0.1127,
              0.1558,
              0.2396,
              0.4102,
              0.768,
              1.4922
            ],
            [
              0.0648,
              0.0903,
              0.1129,
              0.1556,
              0.2395,
              0.4099,
              0.768,
              1.492
            ]
          ]
        },
        "sdf_cond": "(!A&CIN)",
        "timing_sense": "negative_unate",
        "when": "(!A&CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.80643,
              0.84556,
              0.87311,
              0.91586,
              0.98002,
              1.07197,
              1.21527,
              1.45437
            ],
            [
              0.80955,
              0.84867,
              0.87622,
              0.91897,
              0.98314,
              1.07514,
              1.21834,
              1.45744
            ],
            [
              0.81324,
              0.85236,
              0.87999,
              0.92269,
              0.98692,
              1.07882,
              1.22222,
              1.46132
            ],
            [
              0.81888,
              0.85803,
              0.88553,
              0.92829,
              0.99247,
              1.08438,
              1.22788,
              1.46678
            ],
            [
              0.8271,
              0.86618,
              0.89374,
              0.93648,
              1.00061,
              1.09261,
              1.23601,
              1.47501
            ],
            [
              0.83912,
              0.87826,
              0.90582,
              0.94852,
              1.01272,
              1.10452,
              1.24812,
              1.48712
            ],
            [
              0.85696,
              0.89603,
              0.92363,
              0.96633,
              1.03053,
              1.12243,
              1.26573,
              1.50483
            ],
            [
              0.88336,
              0.92246,
              0.95006,
              0.99276,
              1.05696,
              1.14886,
              1.29226,
              1.53126
            ],
            [
              0.92295,
              0.96205,
              0.98965,
              1.03225,
              1.09645,
              1.18835,
              1.33175,
              1.57075
            ],
            [
              0.98219,
              1.02139,
              1.04899,
              1.09159,
              1.15579,
              1.24769,
              1.39099,
              1.63009
            ],
            [
              1.06812,
              1.10702,
              1.13452,
              1.17712,
              1.24112,
              1.33302,
              1.47642,
              1.71552
            ],
            [
              1.18237,
              1.21997,
              1.24697,
              1.28887,
              1.35247,
              1.44397,
              1.58737,
              1.82647
            ],
            [
              1.3256,
              1.3614,
              1.3874,
              1.4282,
              1.4906,
              1.5812,
              1.7244,
              1.9633
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              1.12217,
              1.15147,
              1.17277,
              1.20727,
              1.26587,
              1.38507,
              1.63987,
              2.16117
            ],
            [
              1.12544,
              1.15464,
              1.17604,
              1.21064,
              1.26914,
              1.38844,
              1.64304,
              2.16444
            ],
            [
              1.12892,
              1.15822,
              1.17952,
              1.21402,
              1.27272,
              1.39192,
              1.64672,
              2.16812
            ],
            [
              1.13427,
              1.16358,
              1.18498,
              1.21958,
              1.27818,
              1.39748,
              1.65238,
              2.17347
            ],
            [
              1.14251,
              1.17171,
              1.19311,
              1.22761,
              1.28631,
              1.40551,
              1.66031,
              2.18161
            ],
            [
              1.15512,
              1.18432,
              1.20572,
              1.24032,
              1.29892,
              1.41802,
              1.67282,
              2.19422
            ],
            [
              1.17443,
              1.20363,
              1.22493,
              1.25963,
              1.31813,
              1.43743,
              1.69223,
              2.21363
            ],
            [
              1.20316,
              1.23226,
              1.25356,
              1.28826,
              1.34676,
              1.46606,
              1.72106,
              2.24216
            ],
            [
              1.24475,
              1.27385,
              1.29515,
              1.32985,
              1.38835,
              1.50765,
              1.76245,
              2.28395
            ],
            [
              1.30509,
              1.33429,
              1.35559,
              1.39019,
              1.44869,
              1.56789,
              1.82279,
              2.34419
            ],
            [
              1.39412,
              1.42332,
              1.44462,
              1.47912,
              1.53762,
              1.65692,
              1.91182,
              2.43322
            ],
            [
              1.52637,
              1.55547,
              1.57677,
              1.61137,
              1.66997,
              1.78937,
              2.04437,
              2.56557
            ],
            [
              1.7229,
              1.7519,
              1.7732,
              1.8076,
              1.8661,
              1.9854,
              2.2405,
              2.7619
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.0865,
              0.10745,
              0.124,
              0.153,
              0.20114,
              0.27738,
              0.4087,
              0.6667
            ],
            [
              0.08647,
              0.10745,
              0.124,
              0.15303,
              0.20119,
              0.2777,
              0.4088,
              0.6671
            ],
            [
              0.08648,
              0.10753,
              0.12399,
              0.15318,
              0.20143,
              0.27728,
              0.4084,
              0.6667
            ],
            [
              0.08645,
              0.10743,
              0.12401,
              0.15295,
              0.2011,
              0.27733,
              0.4088,
              0.6667
            ],
            [
              0.08644,
              0.10746,
              0.124,
              0.15299,
              0.20114,
              0.27738,
              0.4089,
              0.6666
            ],
            [
              0.08648,
              0.10741,
              0.12404,
              0.15294,
              0.20118,
              0.2774,
              0.4089,
              0.6668
            ],
            [
              0.08646,
              0.10745,
              0.12397,
              0.15293,
              0.2011,
              0.2776,
              0.4087,
              0.667
            ],
            [
              0.0864,
              0.1074,
              0.124,
              0.1531,
              0.2011,
              0.2773,
              0.4085,
              0.6671
            ],
            [
              0.0865,
              0.1075,
              0.124,
              0.153,
              0.2014,
              0.2773,
              0.4083,
              0.6667
            ],
            [
              0.0865,
              0.1075,
              0.124,
              0.1531,
              0.2012,
              0.2772,
              0.4085,
              0.6669
            ],
            [
              0.0865,
              0.1074,
              0.1239,
              0.1531,
              0.2012,
              0.2773,
              0.4085,
              0.6666
            ],
            [
              0.0865,
              0.1075,
              0.1239,
              0.1532,
              0.2012,
              0.2773,
              0.4084,
              0.6667
            ],
            [
              0.0867,
              0.1078,
              0.1242,
              0.1534,
              0.2015,
              0.2776,
              0.4086,
              0.6667
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.059,
              0.084,
              0.106,
              0.1489,
              0.2337,
              0.4073,
              0.7671,
              1.495
            ],
            [
              0.059,
              0.0841,
              0.1061,
              0.1487,
              0.2336,
              0.4076,
              0.767,
              1.4938
            ],
            [
              0.059,
              0.084,
              0.1061,
              0.1489,
              0.2336,
              0.4074,
              0.7671,
              1.4943
            ],
            [
              0.0589,
              0.0841,
              0.1062,
              0.1487,
              0.2336,
              0.4076,
              0.7666,
              1.4952
            ],
            [
              0.059,
              0.0841,
              0.106,
              0.1486,
              0.2337,
              0.4075,
              0.7666,
              1.4951
            ],
            [
              0.059,
              0.0839,
              0.1061,
              0.1486,
              0.2336,
              0.4073,
              0.767,
              1.4952
            ],
            [
              0.059,
              0.0839,
              0.106,
              0.1487,
              0.2336,
              0.4073,
              0.7671,
              1.4951
            ],
            [
              0.0589,
              0.0839,
              0.106,
              0.1487,
              0.2336,
              0.4076,
              0.7666,
              1.4942
            ],
            [
              0.059,
              0.0841,
              0.1061,
              0.149,
              0.2336,
              0.4076,
              0.7687,
              1.4947
            ],
            [
              0.0589,
              0.084,
              0.1063,
              0.1486,
              0.2335,
              0.4075,
              0.767,
              1.4952
            ],
            [
              0.059,
              0.084,
              0.106,
              0.149,
              0.2337,
              0.4075,
              0.7661,
              1.4945
            ],
            [
              0.059,
              0.084,
              0.1062,
              0.1489,
              0.2337,
              0.4075,
              0.7668,
              1.4942
            ],
            [
              0.0591,
              0.0841,
              0.1062,
              0.1489,
              0.2338,
              0.4076,
              0.7671,
              1.495
            ]
          ]
        },
        "sdf_cond": "(A&!CIN)",
        "timing_sense": "negative_unate",
        "when": "(A&!CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.63094,
              0.67177,
              0.69966,
              0.74134,
              0.80237,
              0.8928,
              1.03277,
              1.26657
            ],
            [
              0.63445,
              0.67532,
              0.70321,
              0.74491,
              0.80581,
              0.89631,
              1.03634,
              1.26994
            ],
            [
              0.63864,
              0.67953,
              0.70742,
              0.74913,
              0.81017,
              0.9006,
              1.04062,
              1.27442
            ],
            [
              0.64497,
              0.68586,
              0.71376,
              0.75548,
              0.81654,
              0.90699,
              1.04698,
              1.28077
            ],
            [
              0.6545,
              0.69539,
              0.72331,
              0.76489,
              0.82599,
              0.91651,
              1.05651,
              1.29021
            ],
            [
              0.66873,
              0.70962,
              0.73753,
              0.77912,
              0.84023,
              0.93072,
              1.07072,
              1.30452
            ],
            [
              0.68977,
              0.73063,
              0.75854,
              0.80011,
              0.86123,
              0.95173,
              1.09173,
              1.32553
            ],
            [
              0.72004,
              0.76088,
              0.78876,
              0.83047,
              0.89146,
              0.98196,
              1.12206,
              1.35586
            ],
            [
              0.76305,
              0.80395,
              0.83175,
              0.87335,
              0.93445,
              1.02495,
              1.16495,
              1.39885
            ],
            [
              0.82509,
              0.86589,
              0.89379,
              0.93539,
              0.99639,
              1.08689,
              1.22699,
              1.46069
            ],
            [
              0.91642,
              0.95732,
              0.98512,
              1.02682,
              1.08782,
              1.17832,
              1.31832,
              1.55212
            ],
            [
              1.05257,
              1.09347,
              1.12137,
              1.16297,
              1.22397,
              1.31447,
              1.45457,
              1.68837
            ],
            [
              1.2534,
              1.295,
              1.3232,
              1.3651,
              1.4263,
              1.5169,
              1.6572,
              1.8912
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.31432,
              0.35314,
              0.38208,
              0.42957,
              0.50901,
              0.65021,
              0.91758,
              1.44527
            ],
            [
              0.31706,
              0.35588,
              0.3848,
              0.43229,
              0.51181,
              0.65266,
              0.9199,
              1.44904
            ],
            [
              0.32048,
              0.35929,
              0.38826,
              0.4357,
              0.51522,
              0.65608,
              0.92328,
              1.45242
            ],
            [
              0.32548,
              0.36429,
              0.39321,
              0.4407,
              0.52018,
              0.66122,
              0.92853,
              1.45707
            ],
            [
              0.33265,
              0.37145,
              0.40042,
              0.44784,
              0.52729,
              0.66853,
              0.93589,
              1.46331
            ],
            [
              0.34304,
              0.38185,
              0.41082,
              0.45825,
              0.53778,
              0.6787,
              0.94602,
              1.47512
            ],
            [
              0.35845,
              0.39722,
              0.42618,
              0.47366,
              0.55317,
              0.69412,
              0.96143,
              1.49043
            ],
            [
              0.38151,
              0.42029,
              0.44926,
              0.49675,
              0.57625,
              0.71714,
              0.98446,
              1.51366
            ],
            [
              0.41608,
              0.45489,
              0.48382,
              0.53129,
              0.61077,
              0.75162,
              1.01895,
              1.54815
            ],
            [
              0.46772,
              0.5065,
              0.53546,
              0.5829,
              0.66229,
              0.80329,
              1.07059,
              1.59959
            ],
            [
              0.54162,
              0.58112,
              0.61032,
              0.65802,
              0.73762,
              0.87872,
              1.14602,
              1.67432
            ],
            [
              0.63807,
              0.67947,
              0.70987,
              0.75887,
              0.83977,
              0.98157,
              1.24967,
              1.77847
            ],
            [
              0.7598,
              0.804,
              0.8359,
              0.8867,
              0.9693,
              1.1128,
              1.3817,
              1.9108
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.08951,
              0.10863,
              0.12281,
              0.14618,
              0.18609,
              0.25675,
              0.38899,
              0.65095
            ],
            [
              0.08937,
              0.10861,
              0.12272,
              0.14622,
              0.18636,
              0.25717,
              0.38835,
              0.65165
            ],
            [
              0.08938,
              0.10868,
              0.12279,
              0.14617,
              0.18608,
              0.25658,
              0.38901,
              0.65107
            ],
            [
              0.08937,
              0.1087,
              0.1228,
              0.14617,
              0.18609,
              0.25666,
              0.38899,
              0.6509
            ],
            [
              0.08937,
              0.1086,
              0.12275,
              0.14653,
              0.18619,
              0.25701,
              0.38908,
              0.6516
            ],
            [
              0.0894,
              0.10877,
              0.12287,
              0.14633,
              0.18615,
              0.25699,
              0.38908,
              0.6515
            ],
            [
              0.08937,
              0.1086,
              0.12277,
              0.14632,
              0.18616,
              0.25698,
              0.3891,
              0.6515
            ],
            [
              0.08938,
              0.10866,
              0.12281,
              0.1462,
              0.1863,
              0.2566,
              0.389,
              0.6516
            ],
            [
              0.08942,
              0.10864,
              0.1229,
              0.1463,
              0.1862,
              0.2568,
              0.389,
              0.6511
            ],
            [
              0.0894,
              0.1086,
              0.1227,
              0.1465,
              0.1862,
              0.2566,
              0.3885,
              0.6516
            ],
            [
              0.0895,
              0.1086,
              0.1228,
              0.1465,
              0.1864,
              0.2568,
              0.389,
              0.6516
            ],
            [
              0.0895,
              0.1087,
              0.1227,
              0.1464,
              0.1862,
              0.2569,
              0.3891,
              0.6516
            ],
            [
              0.0936,
              0.1118,
              0.1254,
              0.1483,
              0.1879,
              0.2582,
              0.3896,
              0.6519
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.0601,
              0.08795,
              0.11183,
              0.15612,
              0.24158,
              0.41523,
              0.77318,
              1.50202
            ],
            [
              0.06005,
              0.08804,
              0.11199,
              0.15598,
              0.24139,
              0.41515,
              0.77314,
              1.5017
            ],
            [
              0.06003,
              0.08797,
              0.1121,
              0.15599,
              0.24175,
              0.41518,
              0.7734,
              1.50198
            ],
            [
              0.06006,
              0.08795,
              0.11178,
              0.15601,
              0.24132,
              0.41526,
              0.77325,
              1.50147
            ],
            [
              0.06003,
              0.08808,
              0.11191,
              0.15611,
              0.24161,
              0.41519,
              0.77339,
              1.5024
            ],
            [
              0.06009,
              0.08799,
              0.11204,
              0.15598,
              0.24142,
              0.41506,
              0.77309,
              1.50152
            ],
            [
              0.06004,
              0.08811,
              0.11211,
              0.15594,
              0.24176,
              0.41525,
              0.77327,
              1.50224
            ],
            [
              0.06004,
              0.08814,
              0.11183,
              0.15598,
              0.24174,
              0.41513,
              0.77313,
              1.5016
            ],
            [
              0.06004,
              0.08797,
              0.11217,
              0.15599,
              0.24146,
              0.41515,
              0.7734,
              1.5023
            ],
            [
              0.06012,
              0.08797,
              0.11183,
              0.15599,
              0.24159,
              0.41506,
              0.7736,
              1.5024
            ],
            [
              0.0626,
              0.0901,
              0.1135,
              0.1571,
              0.2425,
              0.4157,
              0.7736,
              1.5024
            ],
            [
              0.0673,
              0.095,
              0.1183,
              0.1618,
              0.2458,
              0.4178,
              0.774,
              1.5019
            ],
            [
              0.0748,
              0.1025,
              0.1256,
              0.1686,
              0.2516,
              0.4215,
              0.7756,
              1.5019
            ]
          ]
        },
        "sdf_cond": "(A&CIN)",
        "timing_sense": "positive_unate",
        "when": "(A&CIN)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.85742,
              0.90923,
              0.94413,
              0.99547,
              1.06937,
              1.17587,
              1.33567,
              1.58997
            ],
            [
              0.85975,
              0.91162,
              0.94654,
              0.99794,
              1.07154,
              1.17834,
              1.33804,
              1.59234
            ],
            [
              0.86231,
              0.91418,
              0.94907,
              1.00042,
              1.07402,
              1.18092,
              1.34062,
              1.59482
            ],
            [
              0.86569,
              0.91756,
              0.95249,
              1.00388,
              1.07767,
              1.18458,
              1.34418,
              1.59838
            ],
            [
              0.87084,
              0.92269,
              0.95761,
              1.00901,
              1.08271,
              1.18961,
              1.34921,
              1.60351
            ],
            [
              0.87914,
              0.93092,
              0.96582,
              1.01722,
              1.09102,
              1.19772,
              1.35742,
              1.61162
            ],
            [
              0.89263,
              0.94433,
              0.97923,
              1.03063,
              1.10443,
              1.21113,
              1.37083,
              1.62513
            ],
            [
              0.91476,
              0.96646,
              1.00136,
              1.05266,
              1.12636,
              1.23326,
              1.39286,
              1.64716
            ],
            [
              0.95055,
              1.00145,
              1.03625,
              1.08755,
              1.16115,
              1.26795,
              1.42765,
              1.68195
            ],
            [
              1.00649,
              1.05819,
              1.09299,
              1.14429,
              1.21799,
              1.32459,
              1.48429,
              1.73849
            ],
            [
              1.09642,
              1.14812,
              1.18292,
              1.23412,
              1.30782,
              1.41442,
              1.57412,
              1.82832
            ],
            [
              1.23547,
              1.28717,
              1.32197,
              1.37327,
              1.44687,
              1.55357,
              1.71327,
              1.96757
            ],
            [
              1.4489,
              1.5005,
              1.5353,
              1.5866,
              1.6602,
              1.7669,
              1.9265,
              2.1808
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.23276,
              0.26832,
              0.29523,
              0.33999,
              0.41637,
              0.5544,
              0.81983,
              1.34597
            ],
            [
              0.23648,
              0.27205,
              0.29897,
              0.34374,
              0.42008,
              0.55816,
              0.82363,
              1.35034
            ],
            [
              0.24075,
              0.27634,
              0.30327,
              0.34803,
              0.42438,
              0.56248,
              0.82796,
              1.35492
            ],
            [
              0.24699,
              0.28259,
              0.30952,
              0.3543,
              0.43075,
              0.56881,
              0.83429,
              1.36118
            ],
            [
              0.25561,
              0.29122,
              0.31817,
              0.36296,
              0.43941,
              0.5775,
              0.84286,
              1.36921
            ],
            [
              0.26744,
              0.30307,
              0.33003,
              0.37483,
              0.45119,
              0.58944,
              0.85511,
              1.38172
            ],
            [
              0.28389,
              0.31954,
              0.34652,
              0.39133,
              0.46768,
              0.60594,
              0.87167,
              1.39903
            ],
            [
              0.30732,
              0.34299,
              0.36996,
              0.41474,
              0.49106,
              0.6293,
              0.89516,
              1.42226
            ],
            [
              0.34117,
              0.3768,
              0.40373,
              0.44848,
              0.52489,
              0.66298,
              0.92865,
              1.45565
            ],
            [
              0.38892,
              0.42503,
              0.4521,
              0.49689,
              0.57318,
              0.71139,
              0.97739,
              1.50419
            ],
            [
              0.45072,
              0.48862,
              0.51692,
              0.56322,
              0.64062,
              0.77922,
              1.04502,
              1.57262
            ],
            [
              0.53147,
              0.57087,
              0.60037,
              0.64817,
              0.72747,
              0.86817,
              1.13487,
              1.66177
            ],
            [
              0.6336,
              0.6751,
              0.7061,
              0.7561,
              0.8375,
              0.9797,
              1.2481,
              1.7757
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.12447,
              0.14711,
              0.16316,
              0.1891,
              0.23234,
              0.3074,
              0.4424,
              0.7023
            ],
            [
              0.1247,
              0.14711,
              0.16308,
              0.18919,
              0.233,
              0.3075,
              0.4424,
              0.7016
            ],
            [
              0.12455,
              0.14708,
              0.1631,
              0.18932,
              0.23289,
              0.3073,
              0.4423,
              0.7022
            ],
            [
              0.12452,
              0.14706,
              0.16304,
              0.18902,
              0.23219,
              0.3068,
              0.4418,
              0.7017
            ],
            [
              0.1244,
              0.147,
              0.163,
              0.18931,
              0.2325,
              0.3073,
              0.4418,
              0.7018
            ],
            [
              0.12443,
              0.14718,
              0.16303,
              0.189,
              0.2322,
              0.3069,
              0.4424,
              0.702
            ],
            [
              0.12439,
              0.14695,
              0.16307,
              0.189,
              0.2322,
              0.3071,
              0.442,
              0.7019
            ],
            [
              0.1245,
              0.1471,
              0.1631,
              0.1892,
              0.2325,
              0.3072,
              0.4416,
              0.7016
            ],
            [
              0.1244,
              0.1472,
              0.163,
              0.189,
              0.2328,
              0.3073,
              0.4423,
              0.7014
            ],
            [
              0.1244,
              0.1469,
              0.163,
              0.189,
              0.2326,
              0.3071,
              0.4425,
              0.7021
            ],
            [
              0.1246,
              0.1471,
              0.1632,
              0.189,
              0.2326,
              0.3074,
              0.4424,
              0.7017
            ],
            [
              0.1244,
              0.1469,
              0.1629,
              0.189,
              0.2324,
              0.3069,
              0.4421,
              0.7014
            ],
            [
              0.1242,
              0.1469,
              0.1629,
              0.1892,
              0.2321,
              0.307,
              0.4422,
              0.7015
            ]
          ]
        },
        "related_pin": "CIN",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.05234,
              0.0786,
              0.10158,
              0.14484,
              0.23029,
              0.40532,
              0.76568,
              1.49602
            ],
            [
              0.05234,
              0.07861,
              0.10161,
              0.14495,
              0.23035,
              0.40523,
              0.76566,
              1.49613
            ],
            [
              0.05235,
              0.07879,
              0.10162,
              0.14481,
              0.23021,
              0.40521,
              0.76563,
              1.49604
            ],
            [
              0.05242,
              0.07869,
              0.10166,
              0.14512,
              0.2304,
              0.40525,
              0.76574,
              1.49611
            ],
            [
              0.05244,
              0.07872,
              0.10171,
              0.14479,
              0.23041,
              0.40527,
              0.76569,
              1.49595
            ],
            [
              0.05248,
              0.07877,
              0.10175,
              0.14526,
              0.23045,
              0.40548,
              0.76504,
              1.49478
            ],
            [
              0.05263,
              0.07883,
              0.10183,
              0.14501,
              0.23052,
              0.4056,
              0.76511,
              1.4946
            ],
            [
              0.05258,
              0.07891,
              0.10188,
              0.14511,
              0.23057,
              0.40563,
              0.76531,
              1.49491
            ],
            [
              0.05247,
              0.07913,
              0.10198,
              0.14529,
              0.2307,
              0.40552,
              0.76582,
              1.4956
            ],
            [
              0.05446,
              0.08015,
              0.10293,
              0.14574,
              0.23105,
              0.40582,
              0.7651,
              1.4961
            ],
            [
              0.05716,
              0.0846,
              0.1077,
              0.1504,
              0.2342,
              0.4071,
              0.7654,
              1.494
            ],
            [
              0.0606,
              0.0892,
              0.1126,
              0.1559,
              0.2399,
              0.4111,
              0.7686,
              1.4965
            ],
            [
              0.0674,
              0.0957,
              0.1196,
              0.1631,
              0.2463,
              0.4166,
              0.77,
              1.4978
            ]
          ]
        },
        "sdf_cond": "(!A&!B)",
        "timing_sense": "positive_unate",
        "when": "(!A&!B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.86739,
              0.90626,
              0.93305,
              0.97331,
              1.03187,
              1.11477,
              1.24717,
              1.47667
            ],
            [
              0.87064,
              0.90947,
              0.93626,
              0.97653,
              1.03504,
              1.11804,
              1.25044,
              1.48004
            ],
            [
              0.87436,
              0.91321,
              0.93999,
              0.98032,
              1.03872,
              1.12182,
              1.25422,
              1.48372
            ],
            [
              0.88004,
              0.9189,
              0.94566,
              0.98598,
              1.04448,
              1.12748,
              1.25988,
              1.48958
            ],
            [
              0.88831,
              0.92714,
              0.95391,
              0.99411,
              1.05271,
              1.13571,
              1.26811,
              1.49761
            ],
            [
              0.90038,
              0.93922,
              0.96592,
              1.00622,
              1.06472,
              1.14782,
              1.28022,
              1.50982
            ],
            [
              0.91803,
              0.95683,
              0.98353,
              1.02383,
              1.08233,
              1.16533,
              1.29773,
              1.52723
            ],
            [
              0.94426,
              0.98306,
              1.00976,
              1.04996,
              1.10856,
              1.19146,
              1.32396,
              1.55356
            ],
            [
              0.98245,
              1.02125,
              1.04795,
              1.08815,
              1.14655,
              1.22955,
              1.36205,
              1.59165
            ],
            [
              1.03939,
              1.07819,
              1.10489,
              1.14509,
              1.20339,
              1.28629,
              1.41879,
              1.64849
            ],
            [
              1.12112,
              1.15942,
              1.18602,
              1.22602,
              1.28422,
              1.36692,
              1.49952,
              1.72902
            ],
            [
              1.22987,
              1.26667,
              1.29247,
              1.33177,
              1.38937,
              1.47177,
              1.60437,
              1.83377
            ],
            [
              1.3666,
              1.4013,
              1.4261,
              1.4641,
              1.5204,
              1.6017,
              1.734,
              1.9633
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              1.08647,
              1.11557,
              1.13697,
              1.17177,
              1.23077,
              1.35057,
              1.60507,
              2.12597
            ],
            [
              1.08934,
              1.11854,
              1.13984,
              1.17464,
              1.23374,
              1.35354,
              1.60834,
              2.12884
            ],
            [
              1.09252,
              1.12172,
              1.14312,
              1.17792,
              1.23702,
              1.35682,
              1.61142,
              2.13222
            ],
            [
              1.09748,
              1.12668,
              1.14798,
              1.18277,
              1.24198,
              1.36168,
              1.61638,
              2.13707
            ],
            [
              1.10481,
              1.13391,
              1.15531,
              1.19011,
              1.24921,
              1.36901,
              1.62391,
              2.14451
            ],
            [
              1.11612,
              1.14532,
              1.16662,
              1.20142,
              1.26062,
              1.38042,
              1.63502,
              2.15572
            ],
            [
              1.13363,
              1.16283,
              1.18413,
              1.21893,
              1.27803,
              1.39783,
              1.65243,
              2.17323
            ],
            [
              1.16086,
              1.18996,
              1.21126,
              1.24606,
              1.30516,
              1.42506,
              1.67966,
              2.20036
            ],
            [
              1.20285,
              1.23205,
              1.25335,
              1.28805,
              1.34715,
              1.46695,
              1.72155,
              2.24235
            ],
            [
              1.26769,
              1.29679,
              1.31809,
              1.35289,
              1.41199,
              1.53169,
              1.78639,
              2.30719
            ],
            [
              1.36702,
              1.39602,
              1.41742,
              1.45212,
              1.51122,
              1.63102,
              1.88572,
              2.40652
            ],
            [
              1.51807,
              1.54717,
              1.56857,
              1.60327,
              1.66237,
              1.78227,
              2.03687,
              2.55777
            ],
            [
              1.7468,
              1.776,
              1.7973,
              1.832,
              1.8909,
              2.0109,
              2.2657,
              2.7865
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.08894,
              0.10788,
              0.1219,
              0.14518,
              0.1853,
              0.25689,
              0.3874,
              0.6495
            ],
            [
              0.08907,
              0.10789,
              0.12183,
              0.14523,
              0.18549,
              0.25661,
              0.3873,
              0.6492
            ],
            [
              0.08891,
              0.10788,
              0.12176,
              0.14517,
              0.18553,
              0.2571,
              0.3866,
              0.6494
            ],
            [
              0.08892,
              0.10805,
              0.12198,
              0.14517,
              0.18539,
              0.2566,
              0.3873,
              0.6491
            ],
            [
              0.08893,
              0.10805,
              0.12208,
              0.14517,
              0.1854,
              0.2569,
              0.3866,
              0.6496
            ],
            [
              0.08887,
              0.10808,
              0.12191,
              0.14522,
              0.1853,
              0.2566,
              0.3872,
              0.6489
            ],
            [
              0.08897,
              0.1079,
              0.1219,
              0.1451,
              0.1853,
              0.257,
              0.3875,
              0.6496
            ],
            [
              0.0891,
              0.1081,
              0.1219,
              0.1452,
              0.1853,
              0.2571,
              0.3872,
              0.6492
            ],
            [
              0.089,
              0.1079,
              0.122,
              0.1452,
              0.1855,
              0.2566,
              0.3874,
              0.6494
            ],
            [
              0.0889,
              0.1079,
              0.1218,
              0.1452,
              0.1854,
              0.2571,
              0.3873,
              0.6493
            ],
            [
              0.089,
              0.1079,
              0.1219,
              0.1452,
              0.1854,
              0.2565,
              0.3867,
              0.6495
            ],
            [
              0.089,
              0.1079,
              0.122,
              0.1452,
              0.1855,
              0.257,
              0.3866,
              0.6495
            ],
            [
              0.0893,
              0.1083,
              0.1222,
              0.1455,
              0.1859,
              0.2573,
              0.3873,
              0.6496
            ]
          ]
        },
        "related_pin": "CIN",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.0587,
              0.0843,
              0.1067,
              0.1497,
              0.2348,
              0.408,
              0.7656,
              1.4962
            ],
            [
              0.0587,
              0.0842,
              0.1068,
              0.1497,
              0.2348,
              0.4083,
              0.7662,
              1.4929
            ],
            [
              0.0586,
              0.0842,
              0.1068,
              0.1498,
              0.2349,
              0.4082,
              0.7686,
              1.4941
            ],
            [
              0.0586,
              0.0842,
              0.1068,
              0.1498,
              0.2348,
              0.4083,
              0.7664,
              1.4932
            ],
            [
              0.0586,
              0.0842,
              0.1068,
              0.1499,
              0.2349,
              0.4078,
              0.7668,
              1.4946
            ],
            [
              0.0587,
              0.0842,
              0.1069,
              0.1497,
              0.2349,
              0.4082,
              0.7674,
              1.4926
            ],
            [
              0.0587,
              0.0842,
              0.1068,
              0.1497,
              0.2347,
              0.4082,
              0.7668,
              1.4937
            ],
            [
              0.0586,
              0.0842,
              0.1068,
              0.1499,
              0.2348,
              0.4081,
              0.7669,
              1.493
            ],
            [
              0.0587,
              0.0842,
              0.1068,
              0.1497,
              0.2348,
              0.4083,
              0.7663,
              1.4939
            ],
            [
              0.0587,
              0.0842,
              0.107,
              0.1499,
              0.235,
              0.4082,
              0.767,
              1.4936
            ],
            [
              0.0588,
              0.0843,
              0.1068,
              0.1499,
              0.2348,
              0.408,
              0.768,
              1.4938
            ],
            [
              0.0588,
              0.0844,
              0.1068,
              0.1499,
              0.2349,
              0.408,
              0.7663,
              1.4947
            ],
            [
              0.0589,
              0.0845,
              0.1072,
              0.1501,
              0.2349,
              0.4081,
              0.7665,
              1.4948
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.87268,
              0.91184,
              0.93884,
              0.97934,
              1.03787,
              1.12057,
              1.25367,
              1.48397
            ],
            [
              0.87569,
              0.91488,
              0.94187,
              0.98243,
              1.04094,
              1.12354,
              1.25674,
              1.48704
            ],
            [
              0.87943,
              0.91857,
              0.94559,
              0.98612,
              1.04462,
              1.12732,
              1.26042,
              1.49082
            ],
            [
              0.88489,
              0.92407,
              0.95105,
              0.99157,
              1.05018,
              1.13278,
              1.26588,
              1.49618
            ],
            [
              0.89305,
              0.93221,
              0.95911,
              0.99971,
              1.05821,
              1.14081,
              1.27401,
              1.50441
            ],
            [
              0.90503,
              0.94412,
              0.97112,
              1.01162,
              1.07022,
              1.15282,
              1.28602,
              1.51642
            ],
            [
              0.92263,
              0.96183,
              0.98873,
              1.02933,
              1.08783,
              1.17043,
              1.30353,
              1.53383
            ],
            [
              0.94866,
              0.98776,
              1.01476,
              1.05526,
              1.11376,
              1.19626,
              1.32946,
              1.55976
            ],
            [
              0.98665,
              1.02575,
              1.05275,
              1.09325,
              1.15165,
              1.23415,
              1.36735,
              1.59765
            ],
            [
              1.04309,
              1.08219,
              1.10919,
              1.14969,
              1.20799,
              1.29049,
              1.42369,
              1.65409
            ],
            [
              1.12572,
              1.16462,
              1.19152,
              1.23192,
              1.29012,
              1.37252,
              1.50582,
              1.73632
            ],
            [
              1.23727,
              1.27487,
              1.30107,
              1.34087,
              1.39857,
              1.48057,
              1.61397,
              1.84437
            ],
            [
              1.3785,
              1.414,
              1.4392,
              1.4777,
              1.5341,
              1.6153,
              1.7484,
              1.9787
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              1.07687,
              1.10657,
              1.12847,
              1.16327,
              1.22157,
              1.34047,
              1.59527,
              2.11647
            ],
            [
              1.07974,
              1.10964,
              1.13144,
              1.16634,
              1.22454,
              1.34354,
              1.59824,
              2.11954
            ],
            [
              1.08302,
              1.11282,
              1.13462,
              1.16952,
              1.22782,
              1.34682,
              1.60152,
              2.12282
            ],
            [
              1.08788,
              1.11768,
              1.13958,
              1.17448,
              1.23277,
              1.35168,
              1.60648,
              2.12767
            ],
            [
              1.09511,
              1.12501,
              1.14681,
              1.18171,
              1.24001,
              1.35901,
              1.61371,
              2.13501
            ],
            [
              1.10632,
              1.13612,
              1.15792,
              1.19282,
              1.25112,
              1.37022,
              1.62502,
              2.14612
            ],
            [
              1.12373,
              1.15343,
              1.17523,
              1.21013,
              1.26843,
              1.38743,
              1.64223,
              2.16333
            ],
            [
              1.15056,
              1.18026,
              1.20206,
              1.23686,
              1.29526,
              1.41426,
              1.66886,
              2.19016
            ],
            [
              1.19205,
              1.22185,
              1.24365,
              1.27845,
              1.33675,
              1.45575,
              1.71045,
              2.23165
            ],
            [
              1.25619,
              1.28599,
              1.30769,
              1.34249,
              1.40079,
              1.51989,
              1.77449,
              2.29579
            ],
            [
              1.35442,
              1.38422,
              1.40602,
              1.44082,
              1.49912,
              1.61822,
              1.87282,
              2.39412
            ],
            [
              1.50437,
              1.53417,
              1.55597,
              1.59077,
              1.64907,
              1.76807,
              2.02297,
              2.54407
            ],
            [
              1.732,
              1.7618,
              1.7835,
              1.8183,
              1.8765,
              1.9955,
              2.2502,
              2.7714
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.08954,
              0.10873,
              0.12307,
              0.14666,
              0.18747,
              0.25919,
              0.3902,
              0.652
            ],
            [
              0.0895,
              0.10872,
              0.12304,
              0.14665,
              0.18746,
              0.2596,
              0.3898,
              0.6522
            ],
            [
              0.08954,
              0.10875,
              0.12281,
              0.14662,
              0.18762,
              0.2591,
              0.3901,
              0.6519
            ],
            [
              0.08949,
              0.10875,
              0.12299,
              0.14659,
              0.1876,
              0.2597,
              0.3898,
              0.6521
            ],
            [
              0.08948,
              0.10874,
              0.12301,
              0.14665,
              0.1875,
              0.2591,
              0.3901,
              0.6519
            ],
            [
              0.08948,
              0.10874,
              0.12311,
              0.1467,
              0.1875,
              0.2591,
              0.3902,
              0.652
            ],
            [
              0.08968,
              0.1087,
              0.1231,
              0.1467,
              0.1875,
              0.2596,
              0.3898,
              0.6521
            ],
            [
              0.0897,
              0.1087,
              0.123,
              0.1466,
              0.1875,
              0.2597,
              0.3901,
              0.6521
            ],
            [
              0.0895,
              0.1087,
              0.1231,
              0.1466,
              0.1875,
              0.2592,
              0.3903,
              0.6521
            ],
            [
              0.0896,
              0.1088,
              0.1231,
              0.1467,
              0.1876,
              0.2597,
              0.3901,
              0.6521
            ],
            [
              0.0894,
              0.1088,
              0.123,
              0.1467,
              0.1877,
              0.2591,
              0.3901,
              0.6516
            ],
            [
              0.0895,
              0.1088,
              0.123,
              0.1467,
              0.1879,
              0.2593,
              0.3901,
              0.6516
            ],
            [
              0.0897,
              0.109,
              0.123,
              0.1469,
              0.188,
              0.2591,
              0.3895,
              0.6516
            ]
          ]
        },
        "related_pin": "CIN",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.0596,
              0.0846,
              0.1065,
              0.1492,
              0.2338,
              0.4076,
              0.7673,
              1.4951
            ],
            [
              0.0596,
              0.0846,
              0.1066,
              0.1494,
              0.2337,
              0.4073,
              0.7671,
              1.4939
            ],
            [
              0.0597,
              0.0845,
              0.1066,
              0.1491,
              0.2338,
              0.4077,
              0.7669,
              1.4953
            ],
            [
              0.0596,
              0.0846,
              0.1065,
              0.1491,
              0.2337,
              0.4077,
              0.7673,
              1.4949
            ],
            [
              0.0596,
              0.0846,
              0.1065,
              0.1489,
              0.2339,
              0.4077,
              0.7666,
              1.4948
            ],
            [
              0.0596,
              0.0845,
              0.1067,
              0.149,
              0.234,
              0.4076,
              0.7663,
              1.4945
            ],
            [
              0.0596,
              0.0846,
              0.1065,
              0.149,
              0.2339,
              0.4077,
              0.7673,
              1.4952
            ],
            [
              0.0596,
              0.0845,
              0.1065,
              0.1491,
              0.234,
              0.4077,
              0.7668,
              1.4954
            ],
            [
              0.0597,
              0.0847,
              0.1066,
              0.1494,
              0.2338,
              0.4075,
              0.7673,
              1.4951
            ],
            [
              0.0596,
              0.0846,
              0.1066,
              0.149,
              0.2339,
              0.4077,
              0.766,
              1.4944
            ],
            [
              0.0596,
              0.0845,
              0.1067,
              0.1491,
              0.2339,
              0.4077,
              0.7661,
              1.4955
            ],
            [
              0.0597,
              0.0848,
              0.1067,
              0.1492,
              0.234,
              0.4076,
              0.7675,
              1.4948
            ],
            [
              0.0599,
              0.0849,
              0.1068,
              0.1491,
              0.234,
              0.4077,
              0.7671,
              1.4953
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "negative_unate",
        "when": "(A&!B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.55746,
              0.598,
              0.6263,
              0.66968,
              0.73502,
              0.83199,
              0.97957,
              1.22087
            ],
            [
              0.56151,
              0.60207,
              0.63041,
              0.67384,
              0.73919,
              0.83609,
              0.98363,
              1.22474
            ],
            [
              0.56604,
              0.60662,
              0.63496,
              0.67841,
              0.74377,
              0.84072,
              0.98832,
              1.22922
            ],
            [
              0.57247,
              0.61303,
              0.64138,
              0.68481,
              0.75016,
              0.84708,
              0.99467,
              1.23588
            ],
            [
              0.58188,
              0.6224,
              0.65075,
              0.69421,
              0.75962,
              0.85658,
              1.00411,
              1.24471
            ],
            [
              0.59573,
              0.63624,
              0.66456,
              0.70799,
              0.77337,
              0.87039,
              1.01802,
              1.25922
            ],
            [
              0.61603,
              0.65651,
              0.6848,
              0.72819,
              0.79358,
              0.89053,
              1.03813,
              1.27933
            ],
            [
              0.64518,
              0.68564,
              0.7139,
              0.75731,
              0.82263,
              0.91956,
              1.06716,
              1.30846
            ],
            [
              0.68695,
              0.7274,
              0.75565,
              0.79905,
              0.86425,
              0.96105,
              1.10865,
              1.34995
            ],
            [
              0.74789,
              0.78829,
              0.81649,
              0.85979,
              0.92499,
              1.02179,
              1.16939,
              1.41069
            ],
            [
              0.83842,
              0.87882,
              0.90702,
              0.95032,
              1.01522,
              1.11192,
              1.25952,
              1.50062
            ],
            [
              0.97417,
              1.01467,
              1.04277,
              1.08587,
              1.15077,
              1.24737,
              1.39487,
              1.63617
            ],
            [
              1.1695,
              1.2115,
              1.2404,
              1.2843,
              1.3496,
              1.4467,
              1.5947,
              1.8363
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.30723,
              0.346,
              0.37496,
              0.4224,
              0.5018,
              0.64297,
              0.91031,
              1.43797
            ],
            [
              0.31023,
              0.34897,
              0.37791,
              0.42534,
              0.50475,
              0.64578,
              0.91319,
              1.44114
            ],
            [
              0.31382,
              0.35256,
              0.38151,
              0.42892,
              0.50834,
              0.64927,
              0.9166,
              1.44492
            ],
            [
              0.319,
              0.35774,
              0.38669,
              0.43412,
              0.51348,
              0.6546,
              0.92187,
              1.44948
            ],
            [
              0.32661,
              0.36538,
              0.39428,
              0.44171,
              0.5211,
              0.66204,
              0.92937,
              1.45741
            ],
            [
              0.33785,
              0.3766,
              0.40549,
              0.45291,
              0.53234,
              0.67312,
              0.94022,
              1.46902
            ],
            [
              0.35444,
              0.39316,
              0.4221,
              0.46951,
              0.54888,
              0.68993,
              0.95713,
              1.48463
            ],
            [
              0.37922,
              0.41793,
              0.44685,
              0.49425,
              0.57364,
              0.71457,
              0.98176,
              1.50986
            ],
            [
              0.41676,
              0.45547,
              0.4844,
              0.53181,
              0.61118,
              0.75188,
              1.01895,
              1.54795
            ],
            [
              0.47355,
              0.51226,
              0.54115,
              0.58849,
              0.66779,
              0.80839,
              1.07549,
              1.60449
            ],
            [
              0.55582,
              0.59482,
              0.62382,
              0.67122,
              0.75052,
              0.89132,
              1.15862,
              1.68722
            ],
            [
              0.65957,
              0.70057,
              0.73067,
              0.77927,
              0.85977,
              1.00137,
              1.26857,
              1.79677
            ],
            [
              0.7832,
              0.8278,
              0.8594,
              0.9098,
              0.9918,
              1.1348,
              1.4033,
              1.9314
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.086,
              0.10662,
              0.12271,
              0.15014,
              0.19542,
              0.27018,
              0.40406,
              0.66491
            ],
            [
              0.08609,
              0.10663,
              0.12264,
              0.15007,
              0.19522,
              0.27058,
              0.40487,
              0.665
            ],
            [
              0.08596,
              0.10658,
              0.12261,
              0.15006,
              0.19519,
              0.27015,
              0.40487,
              0.66536
            ],
            [
              0.086,
              0.10661,
              0.12263,
              0.15008,
              0.19522,
              0.27066,
              0.4047,
              0.66541
            ],
            [
              0.08594,
              0.10661,
              0.12264,
              0.15006,
              0.1952,
              0.27054,
              0.40487,
              0.6657
            ],
            [
              0.08594,
              0.10659,
              0.12265,
              0.15006,
              0.19515,
              0.2701,
              0.40476,
              0.6646
            ],
            [
              0.08594,
              0.10658,
              0.12266,
              0.1501,
              0.19518,
              0.27019,
              0.4041,
              0.6653
            ],
            [
              0.08595,
              0.10667,
              0.12276,
              0.15001,
              0.19509,
              0.27007,
              0.4045,
              0.6646
            ],
            [
              0.08596,
              0.10655,
              0.12265,
              0.14996,
              0.1953,
              0.27,
              0.4044,
              0.6652
            ],
            [
              0.086,
              0.1065,
              0.1226,
              0.1498,
              0.1952,
              0.2699,
              0.4043,
              0.6645
            ],
            [
              0.086,
              0.1066,
              0.1224,
              0.1497,
              0.195,
              0.2699,
              0.4046,
              0.665
            ],
            [
              0.0857,
              0.1064,
              0.1225,
              0.1495,
              0.1946,
              0.2695,
              0.4036,
              0.6649
            ],
            [
              0.092,
              0.1124,
              0.1279,
              0.1538,
              0.1977,
              0.2721,
              0.4056,
              0.6657
            ]
          ]
        },
        "related_pin": "CIN",
        "rise_transition,delay_template13x8": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00551,
            0.01101,
            0.02202,
            0.04404,
            0.08809,
            0.17616,
            0.35233
          ],
          "values": [
            [
              0.06,
              0.08797,
              0.11178,
              0.15602,
              0.24145,
              0.41505,
              0.77299,
              1.50183
            ],
            [
              0.05997,
              0.08796,
              0.11174,
              0.15595,
              0.24148,
              0.41499,
              0.77232,
              1.50207
            ],
            [
              0.06,
              0.08791,
              0.11177,
              0.15581,
              0.24107,
              0.41492,
              0.77224,
              1.50186
            ],
            [
              0.06,
              0.0879,
              0.11169,
              0.15596,
              0.24131,
              0.41483,
              0.77269,
              1.50156
            ],
            [
              0.06,
              0.08782,
              0.11162,
              0.1558,
              0.24102,
              0.41482,
              0.77182,
              1.50168
            ],
            [
              0.05998,
              0.08783,
              0.11186,
              0.15575,
              0.24104,
              0.41474,
              0.77273,
              1.50137
            ],
            [
              0.05995,
              0.0879,
              0.11163,
              0.15601,
              0.24119,
              0.41435,
              0.77273,
              1.50158
            ],
            [
              0.05994,
              0.0879,
              0.11178,
              0.15608,
              0.24116,
              0.41409,
              0.77265,
              1.5009
            ],
            [
              0.05992,
              0.08799,
              0.11189,
              0.15575,
              0.24112,
              0.41462,
              0.77236,
              1.5009
            ],
            [
              0.05986,
              0.08769,
              0.11153,
              0.1556,
              0.24112,
              0.41463,
              0.7724,
              1.5009
            ],
            [
              0.062,
              0.0894,
              0.1129,
              0.1564,
              0.2415,
              0.4149,
              0.7726,
              1.5005
            ],
            [
              0.0685,
              0.0952,
              0.1183,
              0.1615,
              0.2452,
              0.4165,
              0.7733,
              1.5016
            ],
            [
              0.0797,
              0.1052,
              0.1272,
              0.1692,
              0.2516,
              0.4213,
              0.7752,
              1.5016
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}