{
  "area": 14.3856,
  "cell_footprint": "sky130_fd_sc_lp__maj3",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00443,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00395,
          0.00404,
          0.0034,
          0.0035,
          0.00308,
          0.00306,
          0.00296,
          0.00294,
          0.00291,
          0.00313,
          0.00312,
          0.00334,
          0.00333
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00161,
          0.00153,
          0.00163,
          0.00176,
          0.00178,
          0.0019,
          0.00187,
          0.00193,
          0.00203,
          0.00228,
          0.00233,
          0.00255,
          0.00259
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00516,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00209,
          0.00215,
          0.00224,
          0.00226,
          0.00226,
          0.00232,
          0.00239,
          0.0024,
          0.00251,
          0.00273,
          0.00278,
          0.00301,
          0.00304
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00376,
          0.00365,
          0.00284,
          0.00289,
          0.00283,
          0.0028,
          0.00285,
          0.0028,
          0.00283,
          0.00302,
          0.00303,
          0.00325,
          0.00326
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C": {
    "capacitance": 0.00484,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00167,
          0.00146,
          0.00144,
          0.00165,
          0.00159,
          0.00164,
          0.0016,
          0.00162,
          0.00168,
          0.00181,
          0.00185,
          0.00201,
          0.00203
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00234,
          0.00248,
          0.00261,
          0.00277,
          0.00231,
          0.00232,
          0.00223,
          0.00223,
          0.00224,
          0.00238,
          0.00239,
          0.00256,
          0.00256
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A&B) | (A&C) | (B&C)",
    "internal_power": [
      {
        "fall_power,pwr_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.03043,
              0.01762,
              0.01501,
              0.01185,
              0.00804,
              0.00347,
              -0.00205,
              -0.00868,
              -0.01666,
              -0.02625,
              -0.03776
            ],
            [
              0.03045,
              0.01764,
              0.01502,
              0.01187,
              0.00806,
              0.00349,
              -0.00203,
              -0.00866,
              -0.01664,
              -0.02623,
              -0.03774
            ],
            [
              0.03043,
              0.01762,
              0.015,
              0.01185,
              0.00804,
              0.00347,
              -0.00205,
              -0.00868,
              -0.01666,
              -0.02625,
              -0.03776
            ],
            [
              0.03041,
              0.0176,
              0.01499,
              0.01184,
              0.00803,
              0.00345,
              -0.00207,
              -0.0087,
              -0.01668,
              -0.02627,
              -0.03778
            ],
            [
              0.03038,
              0.01757,
              0.01496,
              0.01181,
              0.008,
              0.00342,
              -0.0021,
              -0.00873,
              -0.01671,
              -0.02629,
              -0.03781
            ],
            [
              0.03034,
              0.01753,
              0.01492,
              0.01177,
              0.00796,
              0.00338,
              -0.00214,
              -0.00877,
              -0.01674,
              -0.02633,
              -0.03785
            ],
            [
              0.03031,
              0.0175,
              0.01489,
              0.01174,
              0.00793,
              0.00335,
              -0.00217,
              -0.0088,
              -0.01677,
              -0.02636,
              -0.03788
            ],
            [
              0.03026,
              0.01745,
              0.01484,
              0.01169,
              0.00788,
              0.0033,
              -0.00221,
              -0.00885,
              -0.01682,
              -0.02641,
              -0.03793
            ],
            [
              0.03023,
              0.01741,
              0.0148,
              0.01165,
              0.00784,
              0.00326,
              -0.00225,
              -0.00888,
              -0.01686,
              -0.02645,
              -0.03797
            ],
            [
              0.03019,
              0.01738,
              0.01476,
              0.01161,
              0.0078,
              0.00322,
              -0.0023,
              -0.00892,
              -0.01689,
              -0.02648,
              -0.038
            ],
            [
              0.03017,
              0.01735,
              0.01473,
              0.01158,
              0.00777,
              0.00319,
              -0.00233,
              -0.00895,
              -0.01693,
              -0.02651,
              -0.03803
            ],
            [
              0.03016,
              0.01731,
              0.01469,
              0.01154,
              0.00773,
              0.00315,
              -0.00236,
              -0.00899,
              -0.01696,
              -0.02654,
              -0.03806
            ],
            [
              0.03014,
              0.01727,
              0.01465,
              0.01149,
              0.00768,
              0.00311,
              -0.0024,
              -0.00903,
              -0.017,
              -0.02658,
              -0.03809
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.00575,
              0.01962,
              0.02236,
              0.02554,
              0.02942,
              0.03407,
              0.03962,
              0.04628,
              0.05426,
              0.06384,
              0.0753
            ],
            [
              0.00569,
              0.01957,
              0.02227,
              0.0255,
              0.0294,
              0.03402,
              0.03955,
              0.04624,
              0.0542,
              0.06378,
              0.07526
            ],
            [
              0.00564,
              0.01952,
              0.02221,
              0.02548,
              0.02933,
              0.03393,
              0.0395,
              0.04618,
              0.05414,
              0.06371,
              0.0752
            ],
            [
              0.00552,
              0.0194,
              0.02209,
              0.02532,
              0.02922,
              0.03385,
              0.03938,
              0.04607,
              0.05403,
              0.06357,
              0.07503
            ],
            [
              0.00551,
              0.01941,
              0.02211,
              0.0253,
              0.0292,
              0.03384,
              0.03937,
              0.04608,
              0.054,
              0.0636,
              0.07505
            ],
            [
              0.00544,
              0.01933,
              0.02204,
              0.02525,
              0.02915,
              0.03379,
              0.03935,
              0.04599,
              0.05396,
              0.0635,
              0.07503
            ],
            [
              0.00541,
              0.0193,
              0.02199,
              0.02524,
              0.02912,
              0.03373,
              0.03928,
              0.04596,
              0.05394,
              0.06347,
              0.07497
            ],
            [
              0.00535,
              0.01923,
              0.02192,
              0.02516,
              0.02905,
              0.03365,
              0.03923,
              0.04588,
              0.05386,
              0.06342,
              0.07494
            ],
            [
              0.00528,
              0.01913,
              0.02183,
              0.02507,
              0.02898,
              0.03359,
              0.03917,
              0.04582,
              0.0538,
              0.06339,
              0.07483
            ],
            [
              0.0052,
              0.01904,
              0.02173,
              0.02501,
              0.02888,
              0.0335,
              0.0391,
              0.04572,
              0.05371,
              0.06328,
              0.07477
            ],
            [
              0.0051,
              0.0189,
              0.02162,
              0.02486,
              0.02875,
              0.03336,
              0.03895,
              0.04563,
              0.05355,
              0.06322,
              0.07462
            ],
            [
              0.005,
              0.01876,
              0.02147,
              0.02474,
              0.02862,
              0.03321,
              0.03884,
              0.04548,
              0.05347,
              0.06303,
              0.07458
            ],
            [
              0.00487,
              0.01862,
              0.0213,
              0.02456,
              0.02842,
              0.03306,
              0.03863,
              0.04539,
              0.05334,
              0.06293,
              0.0744
            ]
          ]
        },
        "when": "(B&!C) | (!B&C)"
      },
      {
        "fall_power,pwr_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.02607,
              0.01328,
              0.01068,
              0.00754,
              0.00374,
              -0.00083,
              -0.00635,
              -0.01298,
              -0.02095,
              -0.03054,
              -0.04207
            ],
            [
              0.02603,
              0.01323,
              0.01063,
              0.00749,
              0.00368,
              -0.00088,
              -0.0064,
              -0.01303,
              -0.021,
              -0.03059,
              -0.04212
            ],
            [
              0.02597,
              0.01319,
              0.01058,
              0.00745,
              0.00364,
              -0.00092,
              -0.00644,
              -0.01307,
              -0.02104,
              -0.03063,
              -0.04215
            ],
            [
              0.02596,
              0.01317,
              0.01056,
              0.00742,
              0.00361,
              -0.00095,
              -0.00647,
              -0.0131,
              -0.02108,
              -0.03066,
              -0.04218
            ],
            [
              0.02586,
              0.0131,
              0.01048,
              0.00732,
              0.00352,
              -0.00105,
              -0.00657,
              -0.01319,
              -0.02116,
              -0.03075,
              -0.04227
            ],
            [
              0.02575,
              0.01297,
              0.01036,
              0.00721,
              0.00341,
              -0.00116,
              -0.00668,
              -0.01331,
              -0.02127,
              -0.03087,
              -0.04239
            ],
            [
              0.02562,
              0.01283,
              0.01022,
              0.00707,
              0.00326,
              -0.0013,
              -0.00682,
              -0.01345,
              -0.02141,
              -0.031,
              -0.04252
            ],
            [
              0.02545,
              0.01267,
              0.01005,
              0.0069,
              0.0031,
              -0.00147,
              -0.00699,
              -0.01362,
              -0.02158,
              -0.03117,
              -0.0427
            ],
            [
              0.0253,
              0.0125,
              0.00988,
              0.00673,
              0.00293,
              -0.00164,
              -0.00716,
              -0.01378,
              -0.02175,
              -0.03134,
              -0.04286
            ],
            [
              0.02514,
              0.01234,
              0.00972,
              0.00656,
              0.00276,
              -0.00181,
              -0.00732,
              -0.01395,
              -0.02191,
              -0.0315,
              -0.04302
            ],
            [
              0.025,
              0.01219,
              0.00957,
              0.00641,
              0.00261,
              -0.00196,
              -0.00748,
              -0.0141,
              -0.02206,
              -0.03165,
              -0.04316
            ],
            [
              0.0249,
              0.01205,
              0.00943,
              0.00628,
              0.00247,
              -0.0021,
              -0.00761,
              -0.01424,
              -0.02219,
              -0.03177,
              -0.04328
            ],
            [
              0.0248,
              0.0119,
              0.00927,
              0.00612,
              0.00231,
              -0.00225,
              -0.00776,
              -0.01438,
              -0.02233,
              -0.03191,
              -0.04341
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.00621,
              0.02009,
              0.0228,
              0.026,
              0.02986,
              0.03449,
              0.04002,
              0.04669,
              0.05465,
              0.06419,
              0.07565
            ],
            [
              0.00629,
              0.02017,
              0.02285,
              0.02608,
              0.02995,
              0.03457,
              0.04014,
              0.04675,
              0.05472,
              0.06428,
              0.0757
            ],
            [
              0.00628,
              0.02017,
              0.02285,
              0.02609,
              0.02997,
              0.03458,
              0.04012,
              0.04677,
              0.0547,
              0.0643,
              0.07576
            ],
            [
              0.0063,
              0.02019,
              0.02289,
              0.0261,
              0.02998,
              0.03458,
              0.04016,
              0.04681,
              0.05475,
              0.06433,
              0.07576
            ],
            [
              0.00623,
              0.02017,
              0.02284,
              0.02605,
              0.02995,
              0.03456,
              0.04012,
              0.04678,
              0.0547,
              0.06424,
              0.07572
            ],
            [
              0.00614,
              0.02006,
              0.02278,
              0.02599,
              0.02986,
              0.03448,
              0.04002,
              0.04667,
              0.05461,
              0.06415,
              0.07564
            ],
            [
              0.00603,
              0.01993,
              0.02264,
              0.02588,
              0.02977,
              0.03438,
              0.03992,
              0.04658,
              0.0545,
              0.06411,
              0.07555
            ],
            [
              0.00588,
              0.01976,
              0.02248,
              0.02571,
              0.02957,
              0.03421,
              0.03977,
              0.0464,
              0.05433,
              0.06395,
              0.07537
            ],
            [
              0.00569,
              0.01955,
              0.02224,
              0.02548,
              0.02939,
              0.034,
              0.03954,
              0.04622,
              0.05415,
              0.0638,
              0.07519
            ],
            [
              0.00543,
              0.01926,
              0.02198,
              0.02522,
              0.0291,
              0.03371,
              0.03928,
              0.04596,
              0.05388,
              0.06352,
              0.07501
            ],
            [
              0.00513,
              0.01892,
              0.02162,
              0.02488,
              0.02876,
              0.03339,
              0.03896,
              0.04567,
              0.0536,
              0.06317,
              0.07468
            ],
            [
              0.00481,
              0.01857,
              0.02127,
              0.02452,
              0.0284,
              0.03303,
              0.03863,
              0.0453,
              0.05329,
              0.06283,
              0.07438
            ],
            [
              0.00447,
              0.01819,
              0.02087,
              0.02411,
              0.028,
              0.03264,
              0.03825,
              0.04492,
              0.05294,
              0.06247,
              0.07398
            ]
          ]
        },
        "when": "(A&!C) | (!A&C)"
      },
      {
        "fall_power,pwr_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.02841,
              0.0156,
              0.01297,
              0.00981,
              0.006,
              0.00142,
              -0.0041,
              -0.01074,
              -0.01872,
              -0.02831,
              -0.03984
            ],
            [
              0.0284,
              0.01555,
              0.01294,
              0.00978,
              0.00596,
              0.00139,
              -0.00413,
              -0.01077,
              -0.01874,
              -0.02834,
              -0.03987
            ],
            [
              0.02836,
              0.01553,
              0.01293,
              0.00976,
              0.00595,
              0.00137,
              -0.00416,
              -0.0108,
              -0.01878,
              -0.02837,
              -0.0399
            ],
            [
              0.02832,
              0.01551,
              0.0129,
              0.00974,
              0.00593,
              0.00135,
              -0.00417,
              -0.01082,
              -0.01879,
              -0.02839,
              -0.03991
            ],
            [
              0.02826,
              0.01543,
              0.01283,
              0.00967,
              0.00585,
              0.00127,
              -0.00425,
              -0.01089,
              -0.01887,
              -0.02846,
              -0.03999
            ],
            [
              0.0282,
              0.01538,
              0.01275,
              0.0096,
              0.00579,
              0.00121,
              -0.00431,
              -0.01095,
              -0.01893,
              -0.02853,
              -0.04005
            ],
            [
              0.02811,
              0.01528,
              0.01266,
              0.00951,
              0.00569,
              0.00111,
              -0.00441,
              -0.01105,
              -0.01902,
              -0.02862,
              -0.04014
            ],
            [
              0.028,
              0.01517,
              0.01255,
              0.00939,
              0.00558,
              0.001,
              -0.00452,
              -0.01116,
              -0.01914,
              -0.02873,
              -0.04025
            ],
            [
              0.0279,
              0.01507,
              0.01245,
              0.00929,
              0.00547,
              0.00089,
              -0.00463,
              -0.01127,
              -0.01923,
              -0.02883,
              -0.04035
            ],
            [
              0.02779,
              0.01497,
              0.01235,
              0.00919,
              0.00538,
              0.0008,
              -0.00472,
              -0.01136,
              -0.01932,
              -0.02892,
              -0.04044
            ],
            [
              0.02771,
              0.01487,
              0.01226,
              0.0091,
              0.00528,
              0.00071,
              -0.00481,
              -0.01144,
              -0.01941,
              -0.029,
              -0.04052
            ],
            [
              0.02767,
              0.01481,
              0.01218,
              0.00903,
              0.00521,
              0.00064,
              -0.00488,
              -0.01151,
              -0.01948,
              -0.02907,
              -0.04058
            ],
            [
              0.02761,
              0.0147,
              0.01209,
              0.00893,
              0.00512,
              0.00055,
              -0.00497,
              -0.0116,
              -0.01956,
              -0.02914,
              -0.04066
            ]
          ]
        },
        "related_pin": "C",
        "rise_power,pwr_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.00607,
              0.01989,
              0.02258,
              0.02581,
              0.02966,
              0.03428,
              0.03983,
              0.04648,
              0.05442,
              0.06399,
              0.07544
            ],
            [
              0.00602,
              0.01984,
              0.02253,
              0.02576,
              0.02962,
              0.03425,
              0.03978,
              0.04645,
              0.05441,
              0.06391,
              0.07543
            ],
            [
              0.00596,
              0.01981,
              0.02251,
              0.02572,
              0.0296,
              0.03417,
              0.03975,
              0.04642,
              0.05438,
              0.06398,
              0.07538
            ],
            [
              0.00588,
              0.01972,
              0.02243,
              0.02563,
              0.02952,
              0.03413,
              0.0397,
              0.04634,
              0.05427,
              0.06383,
              0.07538
            ],
            [
              0.0058,
              0.01967,
              0.02236,
              0.02558,
              0.02945,
              0.03406,
              0.03962,
              0.04623,
              0.05419,
              0.06376,
              0.07526
            ],
            [
              0.00579,
              0.01965,
              0.02236,
              0.02554,
              0.02941,
              0.03403,
              0.03963,
              0.04623,
              0.05419,
              0.06375,
              0.07525
            ],
            [
              0.00575,
              0.0196,
              0.02229,
              0.02554,
              0.02939,
              0.034,
              0.03956,
              0.04624,
              0.05417,
              0.06373,
              0.07514
            ],
            [
              0.00569,
              0.01954,
              0.02222,
              0.02546,
              0.02934,
              0.0339,
              0.0395,
              0.04617,
              0.05409,
              0.06365,
              0.07515
            ],
            [
              0.00558,
              0.01939,
              0.0221,
              0.02534,
              0.02922,
              0.0338,
              0.03939,
              0.04606,
              0.05401,
              0.06355,
              0.07506
            ],
            [
              0.00542,
              0.01924,
              0.02192,
              0.02516,
              0.02903,
              0.03368,
              0.03926,
              0.04587,
              0.05384,
              0.06344,
              0.07493
            ],
            [
              0.00523,
              0.01902,
              0.02172,
              0.02494,
              0.02883,
              0.03345,
              0.03901,
              0.04572,
              0.05364,
              0.06322,
              0.07473
            ],
            [
              0.00502,
              0.01876,
              0.02147,
              0.02468,
              0.02856,
              0.03322,
              0.03879,
              0.04544,
              0.05343,
              0.06304,
              0.07451
            ],
            [
              0.00477,
              0.01849,
              0.02118,
              0.0244,
              0.02829,
              0.03292,
              0.03851,
              0.04522,
              0.05316,
              0.06281,
              0.07425
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.05083,
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.69998,
              0.95265,
              0.98913,
              1.03017,
              1.07677,
              1.12977,
              1.19047,
              1.26037,
              1.34167,
              1.43667,
              1.54847
            ],
            [
              0.70369,
              0.95643,
              0.99294,
              1.03394,
              1.08064,
              1.13354,
              1.19424,
              1.26414,
              1.34544,
              1.44044,
              1.55224
            ],
            [
              0.70828,
              0.96098,
              0.99752,
              1.03862,
              1.08522,
              1.13812,
              1.19892,
              1.26882,
              1.35002,
              1.44512,
              1.55692
            ],
            [
              0.71557,
              0.96827,
              1.00477,
              1.04588,
              1.09248,
              1.14538,
              1.20618,
              1.27608,
              1.35728,
              1.45237,
              1.56418
            ],
            [
              0.72669,
              0.97941,
              1.01591,
              1.05701,
              1.10361,
              1.15651,
              1.21731,
              1.28721,
              1.36851,
              1.46351,
              1.57531
            ],
            [
              0.74379,
              0.99652,
              1.03302,
              1.07412,
              1.12072,
              1.17362,
              1.23442,
              1.30432,
              1.38562,
              1.48062,
              1.59242
            ],
            [
              0.77009,
              1.02273,
              1.05933,
              1.10033,
              1.14693,
              1.19993,
              1.26073,
              1.33063,
              1.41183,
              1.50693,
              1.61863
            ],
            [
              0.80969,
              1.06226,
              1.09886,
              1.13986,
              1.18646,
              1.23946,
              1.30026,
              1.37026,
              1.45146,
              1.54646,
              1.65826
            ],
            [
              0.86885,
              1.12135,
              1.15785,
              1.19895,
              1.24555,
              1.29855,
              1.35935,
              1.42925,
              1.51055,
              1.60555,
              1.71735
            ],
            [
              0.95569,
              1.20819,
              1.24469,
              1.28579,
              1.33239,
              1.38529,
              1.44609,
              1.51609,
              1.59729,
              1.69239,
              1.80409
            ],
            [
              1.08362,
              1.33592,
              1.37242,
              1.41352,
              1.46012,
              1.51312,
              1.57392,
              1.64392,
              1.72522,
              1.82022,
              1.93212
            ],
            [
              1.27367,
              1.52557,
              1.56217,
              1.60327,
              1.64987,
              1.70287,
              1.76377,
              1.83377,
              1.91507,
              2.01007,
              2.12187
            ],
            [
              1.5573,
              1.809,
              1.8456,
              1.8866,
              1.9334,
              1.9864,
              2.0473,
              2.1173,
              2.1986,
              2.2937,
              2.4056
            ]
          ]
        },
        "cell_rise,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.28222,
              0.52029,
              0.56446,
              0.61721,
              0.68019,
              0.75571,
              0.84641,
              0.95424,
              1.08417,
              1.23927,
              1.42637
            ],
            [
              0.28575,
              0.52376,
              0.56809,
              0.62052,
              0.68395,
              0.75904,
              0.85,
              0.95825,
              1.08754,
              1.24364,
              1.43004
            ],
            [
              0.28982,
              0.52799,
              0.57201,
              0.62482,
              0.68792,
              0.76329,
              0.85369,
              0.96243,
              1.09222,
              1.24792,
              1.43382
            ],
            [
              0.29566,
              0.53375,
              0.57805,
              0.63055,
              0.69393,
              0.76906,
              0.85996,
              0.96827,
              1.09758,
              1.25368,
              1.43998
            ],
            [
              0.30417,
              0.54225,
              0.58661,
              0.63913,
              0.70249,
              0.77752,
              0.86854,
              0.97671,
              1.10581,
              1.26211,
              1.44851
            ],
            [
              0.31672,
              0.55495,
              0.59911,
              0.6518,
              0.71501,
              0.79031,
              0.88098,
              0.98952,
              1.11912,
              1.27492,
              1.46102
            ],
            [
              0.33551,
              0.57363,
              0.61792,
              0.67049,
              0.73383,
              0.80905,
              0.89993,
              1.00833,
              1.13773,
              1.29363,
              1.47993
            ],
            [
              0.36367,
              0.60173,
              0.64576,
              0.69865,
              0.76176,
              0.83726,
              0.92746,
              1.03636,
              1.16626,
              1.32176,
              1.50746
            ],
            [
              0.40581,
              0.64353,
              0.68773,
              0.74046,
              0.80375,
              0.87905,
              0.96985,
              1.07835,
              1.20805,
              1.36395,
              1.55005
            ],
            [
              0.46877,
              0.70609,
              0.75029,
              0.80309,
              0.86629,
              0.94179,
              1.03259,
              1.14109,
              1.27089,
              1.42669,
              1.61239
            ],
            [
              0.56022,
              0.79772,
              0.84182,
              0.89472,
              0.95792,
              1.03332,
              1.12422,
              1.23272,
              1.36282,
              1.51822,
              1.70492
            ],
            [
              0.68477,
              0.92417,
              0.96837,
              1.02097,
              1.08447,
              1.15987,
              1.25077,
              1.35877,
              1.48937,
              1.64447,
              1.83157
            ],
            [
              0.852,
              1.094,
              1.1382,
              1.1911,
              1.2543,
              1.3299,
              1.4205,
              1.5292,
              1.6592,
              1.8144,
              2.0017
            ]
          ]
        },
        "fall_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.07671,
              0.28849,
              0.3204,
              0.35727,
              0.40032,
              0.45129,
              0.51211,
              0.58588,
              0.6748,
              0.7832,
              0.9152
            ],
            [
              0.07671,
              0.28845,
              0.32036,
              0.3572,
              0.40043,
              0.45136,
              0.51238,
              0.58589,
              0.6748,
              0.7834,
              0.9147
            ],
            [
              0.07663,
              0.28851,
              0.3204,
              0.35728,
              0.40032,
              0.4512,
              0.51212,
              0.58591,
              0.6748,
              0.7833,
              0.9152
            ],
            [
              0.07666,
              0.28847,
              0.32047,
              0.35723,
              0.40037,
              0.45124,
              0.51216,
              0.5858,
              0.6748,
              0.7833,
              0.9152
            ],
            [
              0.0767,
              0.28848,
              0.32048,
              0.35724,
              0.40036,
              0.45132,
              0.5121,
              0.5859,
              0.6748,
              0.7832,
              0.9152
            ],
            [
              0.07669,
              0.2885,
              0.32039,
              0.35725,
              0.40037,
              0.4513,
              0.5122,
              0.5859,
              0.6748,
              0.7833,
              0.9152
            ],
            [
              0.07666,
              0.28852,
              0.32051,
              0.3573,
              0.4003,
              0.4512,
              0.5121,
              0.5858,
              0.6748,
              0.7833,
              0.9152
            ],
            [
              0.07654,
              0.2885,
              0.3204,
              0.3573,
              0.4003,
              0.4512,
              0.5121,
              0.5858,
              0.6747,
              0.7833,
              0.9152
            ],
            [
              0.0767,
              0.2886,
              0.3204,
              0.3573,
              0.4003,
              0.4512,
              0.5122,
              0.5859,
              0.6748,
              0.7833,
              0.9152
            ],
            [
              0.0767,
              0.2885,
              0.3205,
              0.3573,
              0.4004,
              0.4514,
              0.5124,
              0.5856,
              0.6749,
              0.7834,
              0.9153
            ],
            [
              0.0766,
              0.2887,
              0.3207,
              0.3574,
              0.4005,
              0.4514,
              0.5125,
              0.5859,
              0.6749,
              0.7831,
              0.915
            ],
            [
              0.0766,
              0.2888,
              0.3209,
              0.3576,
              0.4007,
              0.4516,
              0.5126,
              0.5859,
              0.6748,
              0.7831,
              0.9152
            ],
            [
              0.0768,
              0.2891,
              0.3211,
              0.3578,
              0.401,
              0.4518,
              0.5125,
              0.5859,
              0.675,
              0.7834,
              0.9153
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.05466,
              0.33211,
              0.38844,
              0.45529,
              0.53593,
              0.63515,
              0.75155,
              0.89314,
              1.06168,
              1.26378,
              1.50606
            ],
            [
              0.05466,
              0.33198,
              0.38775,
              0.45478,
              0.5376,
              0.63477,
              0.7518,
              0.89216,
              1.06138,
              1.26284,
              1.50647
            ],
            [
              0.0547,
              0.33151,
              0.38848,
              0.45608,
              0.53748,
              0.63301,
              0.75245,
              0.8923,
              1.06083,
              1.26286,
              1.50716
            ],
            [
              0.05467,
              0.33198,
              0.38767,
              0.45481,
              0.53765,
              0.63471,
              0.75186,
              0.89202,
              1.06122,
              1.26271,
              1.50667
            ],
            [
              0.05467,
              0.33198,
              0.38786,
              0.45468,
              0.53713,
              0.63482,
              0.75162,
              0.89239,
              1.06134,
              1.26299,
              1.50621
            ],
            [
              0.05467,
              0.33169,
              0.38743,
              0.45566,
              0.53756,
              0.63478,
              0.75268,
              0.89183,
              1.06109,
              1.26262,
              1.50706
            ],
            [
              0.05466,
              0.33174,
              0.38759,
              0.45589,
              0.53758,
              0.63471,
              0.75196,
              0.89181,
              1.0612,
              1.2626,
              1.50679
            ],
            [
              0.05467,
              0.33147,
              0.38834,
              0.45609,
              0.53747,
              0.63314,
              0.75222,
              0.8926,
              1.06032,
              1.2636,
              1.50711
            ],
            [
              0.0547,
              0.33172,
              0.38739,
              0.45561,
              0.53757,
              0.63482,
              0.75266,
              0.89185,
              1.06105,
              1.2625,
              1.507
            ],
            [
              0.05466,
              0.33158,
              0.38734,
              0.45604,
              0.53737,
              0.6347,
              0.7527,
              0.8919,
              1.061,
              1.2626,
              1.5072
            ],
            [
              0.0556,
              0.3314,
              0.3883,
              0.4559,
              0.5373,
              0.6349,
              0.7516,
              0.8929,
              1.0609,
              1.2632,
              1.5066
            ],
            [
              0.0575,
              0.3327,
              0.3888,
              0.4558,
              0.5375,
              0.6351,
              0.7522,
              0.8927,
              1.0606,
              1.2641,
              1.5055
            ],
            [
              0.0602,
              0.334,
              0.3893,
              0.4566,
              0.5378,
              0.635,
              0.7518,
              0.8923,
              1.0611,
              1.2628,
              1.5066
            ]
          ]
        },
        "sdf_cond": "(!B&C)",
        "timing_sense": "positive_unate",
        "when": "(!B&C)"
      },
      {
        "cell_fall,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.79978,
              1.02337,
              1.05547,
              1.09207,
              1.13437,
              1.18317,
              1.23997,
              1.30637,
              1.38457,
              1.47697,
              1.58687
            ],
            [
              0.80343,
              1.02704,
              1.05914,
              1.09574,
              1.13804,
              1.18684,
              1.24364,
              1.31014,
              1.38824,
              1.48064,
              1.59044
            ],
            [
              0.80804,
              1.03172,
              1.06372,
              1.10042,
              1.14262,
              1.19142,
              1.24832,
              1.31472,
              1.39282,
              1.48532,
              1.59502
            ],
            [
              0.81534,
              1.03898,
              1.07098,
              1.10768,
              1.14998,
              1.19868,
              1.25558,
              1.32208,
              1.40018,
              1.49258,
              1.60238
            ],
            [
              0.82652,
              1.05021,
              1.08221,
              1.11891,
              1.16121,
              1.21001,
              1.26681,
              1.33321,
              1.41141,
              1.50381,
              1.61361
            ],
            [
              0.84373,
              1.06742,
              1.09942,
              1.13612,
              1.17842,
              1.22722,
              1.28402,
              1.35042,
              1.42852,
              1.52102,
              1.63082
            ],
            [
              0.87006,
              1.09373,
              1.12573,
              1.16243,
              1.20473,
              1.25353,
              1.31033,
              1.37673,
              1.45493,
              1.54733,
              1.65713
            ],
            [
              0.90976,
              1.13336,
              1.16546,
              1.20206,
              1.24436,
              1.29316,
              1.34996,
              1.41646,
              1.49456,
              1.58706,
              1.69686
            ],
            [
              0.96905,
              1.19265,
              1.22465,
              1.26135,
              1.30365,
              1.35245,
              1.40925,
              1.47575,
              1.55385,
              1.64635,
              1.75605
            ],
            [
              1.05609,
              1.27959,
              1.31159,
              1.34829,
              1.39059,
              1.43939,
              1.49629,
              1.56269,
              1.64089,
              1.73329,
              1.84309
            ],
            [
              1.18402,
              1.40742,
              1.43942,
              1.47612,
              1.51842,
              1.56722,
              1.62412,
              1.69052,
              1.76872,
              1.86122,
              1.97102
            ],
            [
              1.37367,
              1.59677,
              1.62877,
              1.66547,
              1.70777,
              1.75657,
              1.81347,
              1.87987,
              1.95807,
              2.05057,
              2.16047
            ],
            [
              1.6564,
              1.8793,
              1.9113,
              1.948,
              1.9903,
              2.0391,
              2.0961,
              2.1625,
              2.2408,
              2.3332,
              2.4431
            ]
          ]
        },
        "cell_rise,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.27452,
              0.51469,
              0.5585,
              0.61096,
              0.67409,
              0.74896,
              0.83938,
              0.94772,
              1.07737,
              1.23277,
              1.41817
            ],
            [
              0.27806,
              0.51826,
              0.56206,
              0.61471,
              0.67765,
              0.75254,
              0.84272,
              0.95132,
              1.08074,
              1.23614,
              1.42174
            ],
            [
              0.28215,
              0.5224,
              0.56625,
              0.61884,
              0.68178,
              0.75667,
              0.84683,
              0.95511,
              1.08472,
              1.23922,
              1.42652
            ],
            [
              0.28802,
              0.52829,
              0.57227,
              0.62474,
              0.68771,
              0.76257,
              0.85267,
              0.96106,
              1.09068,
              1.24518,
              1.43237
            ],
            [
              0.29654,
              0.53688,
              0.5807,
              0.63332,
              0.6963,
              0.77118,
              0.86155,
              0.96991,
              1.09951,
              1.25491,
              1.44031
            ],
            [
              0.30907,
              0.54941,
              0.59325,
              0.6459,
              0.7088,
              0.78383,
              0.87403,
              0.98232,
              1.11192,
              1.26652,
              1.45342
            ],
            [
              0.32782,
              0.56813,
              0.61203,
              0.66465,
              0.72762,
              0.80254,
              0.89273,
              1.00103,
              1.13063,
              1.28513,
              1.47233
            ],
            [
              0.35583,
              0.59596,
              0.63986,
              0.69252,
              0.75551,
              0.83047,
              0.92076,
              1.02886,
              1.15856,
              1.31326,
              1.50046
            ],
            [
              0.39775,
              0.63754,
              0.68158,
              0.73411,
              0.79715,
              0.87215,
              0.96285,
              1.07115,
              1.20075,
              1.35615,
              1.54155
            ],
            [
              0.4601,
              0.69949,
              0.74359,
              0.79619,
              0.85929,
              0.93469,
              1.02499,
              1.13309,
              1.26289,
              1.41829,
              1.60369
            ],
            [
              0.54972,
              0.78982,
              0.83382,
              0.88642,
              0.94952,
              1.02472,
              1.11532,
              1.22382,
              1.35302,
              1.50922,
              1.69482
            ],
            [
              0.67127,
              0.91387,
              0.95787,
              1.01057,
              1.07387,
              1.14897,
              1.23977,
              1.34777,
              1.47797,
              1.63307,
              1.81967
            ],
            [
              0.8342,
              1.0803,
              1.1244,
              1.1772,
              1.2404,
              1.3158,
              1.4064,
              1.5149,
              1.6445,
              1.7996,
              1.9868
            ]
          ]
        },
        "fall_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.07684,
              0.25464,
              0.28521,
              0.32131,
              0.36476,
              0.41701,
              0.4796,
              0.5559,
              0.6478,
              0.7603,
              0.8963
            ],
            [
              0.07683,
              0.25462,
              0.2851,
              0.32143,
              0.3649,
              0.41675,
              0.48,
              0.5558,
              0.6483,
              0.7603,
              0.8958
            ],
            [
              0.07682,
              0.2547,
              0.28514,
              0.32136,
              0.36484,
              0.4168,
              0.48,
              0.5559,
              0.6484,
              0.7603,
              0.8958
            ],
            [
              0.07681,
              0.25472,
              0.28518,
              0.32136,
              0.36468,
              0.4169,
              0.4798,
              0.556,
              0.648,
              0.7602,
              0.8964
            ],
            [
              0.07682,
              0.25471,
              0.28517,
              0.3213,
              0.3647,
              0.4168,
              0.48,
              0.5558,
              0.6483,
              0.7604,
              0.8958
            ],
            [
              0.07683,
              0.2547,
              0.285,
              0.3215,
              0.3648,
              0.4168,
              0.48,
              0.5558,
              0.6483,
              0.7604,
              0.8958
            ],
            [
              0.07682,
              0.2547,
              0.2852,
              0.3214,
              0.3647,
              0.4169,
              0.4797,
              0.556,
              0.6478,
              0.7603,
              0.8963
            ],
            [
              0.0768,
              0.2547,
              0.2851,
              0.3214,
              0.3648,
              0.4168,
              0.48,
              0.5559,
              0.6483,
              0.7603,
              0.8958
            ],
            [
              0.0768,
              0.2547,
              0.2851,
              0.3215,
              0.3648,
              0.4168,
              0.48,
              0.5558,
              0.6483,
              0.7603,
              0.8958
            ],
            [
              0.0768,
              0.2548,
              0.2852,
              0.3214,
              0.3647,
              0.417,
              0.4797,
              0.556,
              0.6478,
              0.7603,
              0.8963
            ],
            [
              0.0768,
              0.2547,
              0.2851,
              0.3215,
              0.365,
              0.4168,
              0.48,
              0.5559,
              0.6483,
              0.7603,
              0.8958
            ],
            [
              0.0768,
              0.2549,
              0.2854,
              0.3216,
              0.3649,
              0.4171,
              0.4799,
              0.556,
              0.6478,
              0.7603,
              0.8964
            ],
            [
              0.0769,
              0.2551,
              0.2856,
              0.3217,
              0.3651,
              0.4173,
              0.4798,
              0.5562,
              0.648,
              0.7603,
              0.8964
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.05659,
              0.33154,
              0.38742,
              0.45488,
              0.53618,
              0.63342,
              0.75081,
              0.89111,
              1.05945,
              1.2617,
              1.5058
            ],
            [
              0.05662,
              0.33158,
              0.38724,
              0.45473,
              0.5361,
              0.63341,
              0.75052,
              0.89058,
              1.0598,
              1.2623,
              1.50573
            ],
            [
              0.05662,
              0.33133,
              0.3874,
              0.45473,
              0.53616,
              0.63347,
              0.75048,
              0.89151,
              1.06022,
              1.26276,
              1.50463
            ],
            [
              0.05662,
              0.33164,
              0.38688,
              0.45495,
              0.53612,
              0.63339,
              0.75061,
              0.89144,
              1.06015,
              1.26271,
              1.50467
            ],
            [
              0.05662,
              0.33148,
              0.38738,
              0.45405,
              0.53616,
              0.63343,
              0.75073,
              0.89114,
              1.05929,
              1.26167,
              1.50569
            ],
            [
              0.05662,
              0.3311,
              0.38735,
              0.45407,
              0.53629,
              0.63343,
              0.75065,
              0.89148,
              1.05999,
              1.26279,
              1.50556
            ],
            [
              0.05662,
              0.33132,
              0.38742,
              0.45472,
              0.53615,
              0.63351,
              0.75051,
              0.89143,
              1.06014,
              1.26269,
              1.50467
            ],
            [
              0.05661,
              0.33132,
              0.38736,
              0.45429,
              0.53619,
              0.63351,
              0.75039,
              0.89139,
              1.06018,
              1.26281,
              1.50457
            ],
            [
              0.05665,
              0.33146,
              0.38702,
              0.45403,
              0.53618,
              0.63346,
              0.75085,
              0.89078,
              1.05905,
              1.2617,
              1.5057
            ],
            [
              0.05674,
              0.33138,
              0.3876,
              0.45486,
              0.53628,
              0.6335,
              0.7502,
              0.8915,
              1.0599,
              1.2625,
              1.5056
            ],
            [
              0.0581,
              0.3317,
              0.3877,
              0.4549,
              0.5363,
              0.6334,
              0.7503,
              0.8906,
              1.0602,
              1.2611,
              1.5056
            ],
            [
              0.0605,
              0.3327,
              0.3884,
              0.4553,
              0.5366,
              0.6338,
              0.7508,
              0.8914,
              1.059,
              1.2626,
              1.5047
            ],
            [
              0.0637,
              0.3345,
              0.3893,
              0.4562,
              0.5371,
              0.6338,
              0.7502,
              0.8912,
              1.0596,
              1.2618,
              1.5052
            ]
          ]
        },
        "sdf_cond": "(B&!C)",
        "timing_sense": "positive_unate",
        "when": "(B&!C)"
      },
      {
        "cell_fall,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.70435,
              0.9497,
              0.98505,
              1.02507,
              1.07077,
              1.12287,
              1.18297,
              1.25237,
              1.33307,
              1.42777,
              1.53927
            ],
            [
              0.70716,
              0.95263,
              0.98794,
              1.02794,
              1.07364,
              1.12574,
              1.18584,
              1.25524,
              1.33604,
              1.43074,
              1.54224
            ],
            [
              0.71005,
              0.9555,
              0.99082,
              1.03082,
              1.07652,
              1.12872,
              1.18882,
              1.25822,
              1.33902,
              1.43362,
              1.54512
            ],
            [
              0.71442,
              0.95979,
              0.99518,
              1.03528,
              1.08098,
              1.13308,
              1.19318,
              1.26258,
              1.34337,
              1.43808,
              1.54957
            ],
            [
              0.72139,
              0.96671,
              1.00211,
              1.04211,
              1.08781,
              1.14001,
              1.20011,
              1.26951,
              1.35031,
              1.44501,
              1.55641
            ],
            [
              0.73303,
              0.97822,
              1.01362,
              1.05362,
              1.09932,
              1.15152,
              1.21152,
              1.28092,
              1.36182,
              1.45642,
              1.56792
            ],
            [
              0.75244,
              0.99743,
              1.03273,
              1.07283,
              1.11853,
              1.17063,
              1.23083,
              1.30013,
              1.38103,
              1.47563,
              1.58723
            ],
            [
              0.78407,
              1.02896,
              1.06416,
              1.10416,
              1.14996,
              1.20216,
              1.26216,
              1.33166,
              1.41246,
              1.50716,
              1.61866
            ],
            [
              0.83515,
              1.07955,
              1.11485,
              1.15485,
              1.20055,
              1.25275,
              1.31285,
              1.38225,
              1.46305,
              1.55775,
              1.66925
            ],
            [
              0.91509,
              1.15909,
              1.19439,
              1.23439,
              1.28009,
              1.33219,
              1.39229,
              1.46179,
              1.54259,
              1.63729,
              1.74889
            ],
            [
              1.03942,
              1.28312,
              1.31832,
              1.35822,
              1.40392,
              1.45602,
              1.51622,
              1.58562,
              1.66652,
              1.76122,
              1.87292
            ],
            [
              1.22947,
              1.47227,
              1.50747,
              1.54747,
              1.59307,
              1.64527,
              1.70547,
              1.77487,
              1.85577,
              1.95047,
              2.06217
            ],
            [
              1.5177,
              1.7596,
              1.7947,
              1.8346,
              1.8803,
              1.9324,
              1.9926,
              2.0621,
              2.143,
              2.2378,
              2.3494
            ]
          ]
        },
        "cell_rise,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.26866,
              0.50799,
              0.55153,
              0.60363,
              0.66597,
              0.74053,
              0.83065,
              0.93815,
              1.06677,
              1.22107,
              1.40697
            ],
            [
              0.27227,
              0.51185,
              0.55536,
              0.60744,
              0.66981,
              0.74434,
              0.83418,
              0.9419,
              1.07024,
              1.22574,
              1.41174
            ],
            [
              0.27651,
              0.51624,
              0.55979,
              0.61187,
              0.67424,
              0.74875,
              0.83886,
              0.94602,
              1.07482,
              1.22992,
              1.41492
            ],
            [
              0.2827,
              0.5227,
              0.56615,
              0.6183,
              0.68066,
              0.75523,
              0.8453,
              0.95276,
              1.08157,
              1.23698,
              1.42207
            ],
            [
              0.29182,
              0.53198,
              0.57562,
              0.62761,
              0.69016,
              0.76449,
              0.85441,
              0.96221,
              1.09131,
              1.24631,
              1.43151
            ],
            [
              0.30523,
              0.54554,
              0.58906,
              0.64127,
              0.70383,
              0.77819,
              0.86807,
              0.97602,
              1.10502,
              1.25992,
              1.44522
            ],
            [
              0.32513,
              0.56534,
              0.60895,
              0.66123,
              0.72373,
              0.79866,
              0.88831,
              0.99613,
              1.12523,
              1.27973,
              1.46593
            ],
            [
              0.35501,
              0.59492,
              0.63857,
              0.69092,
              0.75361,
              0.82827,
              0.91836,
              1.02576,
              1.15516,
              1.30976,
              1.49596
            ],
            [
              0.40002,
              0.63943,
              0.6833,
              0.73571,
              0.79845,
              0.87325,
              0.96355,
              1.07145,
              1.20065,
              1.35555,
              1.54135
            ],
            [
              0.46812,
              0.70749,
              0.75119,
              0.80359,
              0.86649,
              0.94159,
              1.03139,
              1.13979,
              1.26919,
              1.42329,
              1.60999
            ],
            [
              0.56332,
              0.80442,
              0.84832,
              0.90062,
              0.96362,
              1.03882,
              1.12872,
              1.23652,
              1.36662,
              1.52152,
              1.70732
            ],
            [
              0.68517,
              0.93247,
              0.97657,
              1.02917,
              1.09197,
              1.16717,
              1.25757,
              1.36507,
              1.49517,
              1.65017,
              1.83637
            ],
            [
              0.8435,
              1.0956,
              1.1405,
              1.1939,
              1.2576,
              1.3333,
              1.4238,
              1.5318,
              1.6614,
              1.8168,
              2.0024
            ]
          ]
        },
        "fall_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.07586,
              0.27809,
              0.30993,
              0.34707,
              0.39079,
              0.44289,
              0.50483,
              0.57997,
              0.67,
              0.7793,
              0.9123
            ],
            [
              0.07589,
              0.27811,
              0.30996,
              0.3471,
              0.39078,
              0.44291,
              0.50492,
              0.57995,
              0.6701,
              0.779,
              0.912
            ],
            [
              0.07587,
              0.27808,
              0.30986,
              0.34702,
              0.39099,
              0.44277,
              0.50484,
              0.57996,
              0.67,
              0.7792,
              0.9123
            ],
            [
              0.07584,
              0.27811,
              0.30987,
              0.34691,
              0.39078,
              0.4428,
              0.5051,
              0.5799,
              0.6698,
              0.7792,
              0.9121
            ],
            [
              0.07585,
              0.27802,
              0.30981,
              0.34692,
              0.39094,
              0.44283,
              0.50511,
              0.5797,
              0.6697,
              0.7794,
              0.9124
            ],
            [
              0.07591,
              0.27804,
              0.30979,
              0.34688,
              0.39086,
              0.44275,
              0.505,
              0.5798,
              0.6697,
              0.7793,
              0.9124
            ],
            [
              0.07579,
              0.278,
              0.30978,
              0.3469,
              0.3908,
              0.4427,
              0.5048,
              0.5798,
              0.67,
              0.779,
              0.9121
            ],
            [
              0.07579,
              0.278,
              0.3098,
              0.3469,
              0.3909,
              0.4426,
              0.505,
              0.5795,
              0.6698,
              0.7789,
              0.9122
            ],
            [
              0.0757,
              0.2779,
              0.3098,
              0.3469,
              0.3906,
              0.4427,
              0.5048,
              0.5796,
              0.6698,
              0.7792,
              0.9123
            ],
            [
              0.0758,
              0.2778,
              0.3097,
              0.3468,
              0.3907,
              0.4427,
              0.5048,
              0.5795,
              0.6698,
              0.7791,
              0.912
            ],
            [
              0.0756,
              0.2778,
              0.3096,
              0.3469,
              0.3906,
              0.4427,
              0.5048,
              0.5797,
              0.6699,
              0.779,
              0.9116
            ],
            [
              0.0757,
              0.2778,
              0.3097,
              0.3468,
              0.3906,
              0.4427,
              0.5047,
              0.5797,
              0.67,
              0.7792,
              0.9114
            ],
            [
              0.0757,
              0.2777,
              0.3097,
              0.3469,
              0.3905,
              0.4426,
              0.5046,
              0.5797,
              0.6699,
              0.7792,
              0.9122
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.05721,
              0.33034,
              0.386,
              0.45349,
              0.53397,
              0.63167,
              0.74857,
              0.88867,
              1.05797,
              1.26074,
              1.50388
            ],
            [
              0.05721,
              0.33029,
              0.386,
              0.45349,
              0.53407,
              0.63164,
              0.74839,
              0.88941,
              1.05826,
              1.2601,
              1.5034
            ],
            [
              0.05721,
              0.33035,
              0.38602,
              0.45347,
              0.53405,
              0.63168,
              0.74851,
              0.88914,
              1.05831,
              1.26091,
              1.50384
            ],
            [
              0.05722,
              0.33051,
              0.38605,
              0.45348,
              0.53394,
              0.63169,
              0.74861,
              0.88864,
              1.0583,
              1.25954,
              1.50335
            ],
            [
              0.05722,
              0.33055,
              0.38638,
              0.45345,
              0.53448,
              0.63163,
              0.74884,
              0.88921,
              1.05735,
              1.25992,
              1.50387
            ],
            [
              0.0572,
              0.33046,
              0.38603,
              0.45351,
              0.53453,
              0.63164,
              0.74884,
              0.8891,
              1.05733,
              1.26014,
              1.50388
            ],
            [
              0.0572,
              0.33049,
              0.3859,
              0.45344,
              0.53394,
              0.63167,
              0.74892,
              0.88925,
              1.05686,
              1.26011,
              1.50249
            ],
            [
              0.05722,
              0.33049,
              0.38603,
              0.45347,
              0.53437,
              0.63161,
              0.74831,
              0.88936,
              1.05813,
              1.26027,
              1.50341
            ],
            [
              0.05729,
              0.33036,
              0.38604,
              0.4535,
              0.53411,
              0.63164,
              0.74898,
              0.88892,
              1.05705,
              1.2597,
              1.5036
            ],
            [
              0.05755,
              0.33043,
              0.38608,
              0.45318,
              0.53448,
              0.6312,
              0.7488,
              0.889,
              1.0571,
              1.2609,
              1.5032
            ],
            [
              0.0605,
              0.3309,
              0.3862,
              0.4535,
              0.5346,
              0.6318,
              0.7489,
              0.8891,
              1.0572,
              1.2607,
              1.5038
            ],
            [
              0.0639,
              0.3343,
              0.389,
              0.4553,
              0.5357,
              0.6324,
              0.7492,
              0.8892,
              1.0572,
              1.2608,
              1.5031
            ],
            [
              0.0688,
              0.3388,
              0.3936,
              0.4601,
              0.5404,
              0.6363,
              0.7526,
              0.8915,
              1.0597,
              1.2612,
              1.5034
            ]
          ]
        },
        "sdf_cond": "(!A&C)",
        "timing_sense": "positive_unate",
        "when": "(!A&C)"
      },
      {
        "cell_fall,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.69578,
              0.97668,
              1.01697,
              1.06187,
              1.11247,
              1.16937,
              1.23417,
              1.30797,
              1.39297,
              1.49147,
              1.60617
            ],
            [
              0.69839,
              0.97934,
              1.01954,
              1.06454,
              1.11514,
              1.17214,
              1.23684,
              1.31074,
              1.39574,
              1.49424,
              1.60894
            ],
            [
              0.70092,
              0.98182,
              1.02212,
              1.06702,
              1.11772,
              1.17462,
              1.23942,
              1.31332,
              1.39832,
              1.49682,
              1.61162
            ],
            [
              0.70488,
              0.98577,
              1.02608,
              1.07098,
              1.12157,
              1.17858,
              1.24348,
              1.31738,
              1.40238,
              1.50088,
              1.61557
            ],
            [
              0.71158,
              0.99241,
              1.03261,
              1.07761,
              1.12821,
              1.18521,
              1.25001,
              1.32401,
              1.40901,
              1.50751,
              1.62221
            ],
            [
              0.72315,
              1.00372,
              1.04402,
              1.08902,
              1.13962,
              1.19672,
              1.26152,
              1.33542,
              1.42042,
              1.51892,
              1.63372
            ],
            [
              0.74278,
              1.02313,
              1.06343,
              1.10833,
              1.15903,
              1.21603,
              1.28093,
              1.35493,
              1.43983,
              1.53833,
              1.65313
            ],
            [
              0.77513,
              1.05526,
              1.09556,
              1.14046,
              1.19106,
              1.24816,
              1.31306,
              1.38706,
              1.47206,
              1.57056,
              1.68536
            ],
            [
              0.82765,
              1.10735,
              1.14765,
              1.19255,
              1.24315,
              1.30015,
              1.36515,
              1.43905,
              1.52405,
              1.62265,
              1.73745
            ],
            [
              0.91019,
              1.18919,
              1.22939,
              1.27429,
              1.32489,
              1.38199,
              1.44689,
              1.52089,
              1.60599,
              1.70449,
              1.81929
            ],
            [
              1.03762,
              1.31652,
              1.35662,
              1.40162,
              1.45222,
              1.50932,
              1.57422,
              1.64822,
              1.73332,
              1.83182,
              1.94682
            ],
            [
              1.23287,
              1.51127,
              1.55137,
              1.59637,
              1.64697,
              1.70407,
              1.76907,
              1.84307,
              1.92817,
              2.02677,
              2.14177
            ],
            [
              1.5286,
              1.8056,
              1.8458,
              1.8907,
              1.9413,
              1.9984,
              2.0634,
              2.1375,
              2.2227,
              2.3213,
              2.4363
            ]
          ]
        },
        "cell_rise,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.2837,
              0.52432,
              0.56817,
              0.62081,
              0.68378,
              0.75863,
              0.84903,
              0.95742,
              1.08637,
              1.24177,
              1.42747
            ],
            [
              0.28769,
              0.52836,
              0.57241,
              0.62478,
              0.6878,
              0.76274,
              0.85336,
              0.96149,
              1.09044,
              1.24594,
              1.43154
            ],
            [
              0.29228,
              0.53301,
              0.57708,
              0.62947,
              0.69255,
              0.76745,
              0.85786,
              0.96617,
              1.09562,
              1.25082,
              1.43722
            ],
            [
              0.2989,
              0.53982,
              0.58383,
              0.63628,
              0.69932,
              0.77419,
              0.86467,
              0.97298,
              1.10228,
              1.25738,
              1.44398
            ],
            [
              0.30852,
              0.5495,
              0.59358,
              0.64594,
              0.70911,
              0.78393,
              0.87465,
              0.98271,
              1.11151,
              1.26671,
              1.45351
            ],
            [
              0.32249,
              0.56353,
              0.60744,
              0.66017,
              0.72322,
              0.79825,
              0.88876,
              0.99662,
              1.12542,
              1.28072,
              1.46712
            ],
            [
              0.34302,
              0.58404,
              0.62804,
              0.68079,
              0.74374,
              0.81911,
              0.90943,
              1.01713,
              1.14713,
              1.30243,
              1.48793
            ],
            [
              0.3736,
              0.61434,
              0.65841,
              0.71114,
              0.77418,
              0.84956,
              0.93986,
              1.04816,
              1.17776,
              1.33316,
              1.51846
            ],
            [
              0.41939,
              0.65956,
              0.70372,
              0.75625,
              0.81955,
              0.89465,
              0.98525,
              1.09375,
              1.22335,
              1.37895,
              1.56505
            ],
            [
              0.4884,
              0.72779,
              0.77209,
              0.82469,
              0.88789,
              0.96329,
              1.05359,
              1.16239,
              1.29219,
              1.44769,
              1.63389
            ],
            [
              0.58862,
              0.82842,
              0.87252,
              0.92522,
              0.98832,
              1.06362,
              1.15452,
              1.26302,
              1.39282,
              1.54832,
              1.73392
            ],
            [
              0.71767,
              0.96267,
              1.00687,
              1.05937,
              1.12277,
              1.19817,
              1.28847,
              1.39717,
              1.52697,
              1.68217,
              1.86957
            ],
            [
              0.8851,
              1.1341,
              1.179,
              1.2326,
              1.2964,
              1.3722,
              1.463,
              1.5712,
              1.7005,
              1.8567,
              2.0428
            ]
          ]
        },
        "fall_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.08219,
              0.31677,
              0.35029,
              0.38844,
              0.43268,
              0.48395,
              0.54527,
              0.61828,
              0.7059,
              0.8125,
              0.9416
            ],
            [
              0.08219,
              0.31678,
              0.35026,
              0.38847,
              0.43253,
              0.48415,
              0.54515,
              0.618,
              0.7063,
              0.8126,
              0.9415
            ],
            [
              0.08218,
              0.31675,
              0.3503,
              0.38838,
              0.43254,
              0.48418,
              0.54515,
              0.6182,
              0.7059,
              0.8125,
              0.9416
            ],
            [
              0.08221,
              0.31672,
              0.35027,
              0.38841,
              0.43257,
              0.48409,
              0.54538,
              0.6182,
              0.7062,
              0.8119,
              0.9416
            ],
            [
              0.08219,
              0.31674,
              0.35031,
              0.38835,
              0.43261,
              0.48402,
              0.5453,
              0.6182,
              0.7061,
              0.812,
              0.9415
            ],
            [
              0.08219,
              0.31671,
              0.35025,
              0.38837,
              0.43253,
              0.4842,
              0.5453,
              0.6181,
              0.7057,
              0.8124,
              0.9415
            ],
            [
              0.08209,
              0.31677,
              0.35025,
              0.3884,
              0.4325,
              0.4839,
              0.5451,
              0.6181,
              0.7058,
              0.8125,
              0.9416
            ],
            [
              0.08205,
              0.3167,
              0.3502,
              0.3882,
              0.4325,
              0.4841,
              0.5452,
              0.6181,
              0.706,
              0.8119,
              0.9414
            ],
            [
              0.0821,
              0.3167,
              0.3502,
              0.3883,
              0.4325,
              0.4838,
              0.5453,
              0.6181,
              0.7061,
              0.8119,
              0.9414
            ],
            [
              0.0821,
              0.3167,
              0.3501,
              0.3884,
              0.4325,
              0.4841,
              0.5451,
              0.6181,
              0.7056,
              0.8124,
              0.9411
            ],
            [
              0.0819,
              0.3167,
              0.3502,
              0.3885,
              0.4325,
              0.4841,
              0.5452,
              0.618,
              0.7056,
              0.8123,
              0.9411
            ],
            [
              0.082,
              0.3167,
              0.3503,
              0.3886,
              0.4326,
              0.4842,
              0.5453,
              0.6181,
              0.7056,
              0.8123,
              0.9414
            ],
            [
              0.0821,
              0.3168,
              0.3504,
              0.3886,
              0.4326,
              0.4843,
              0.5454,
              0.6181,
              0.7056,
              0.8124,
              0.941
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.05654,
              0.33154,
              0.38743,
              0.45501,
              0.53624,
              0.63345,
              0.75086,
              0.89066,
              1.05993,
              1.26286,
              1.50578
            ],
            [
              0.05649,
              0.33135,
              0.38686,
              0.45493,
              0.53508,
              0.6334,
              0.7502,
              0.89053,
              1.05992,
              1.26273,
              1.5057
            ],
            [
              0.05653,
              0.33134,
              0.38685,
              0.45494,
              0.53599,
              0.63339,
              0.7508,
              0.89062,
              1.05919,
              1.26185,
              1.50476
            ],
            [
              0.05649,
              0.33131,
              0.38683,
              0.45502,
              0.53619,
              0.63337,
              0.75087,
              0.8905,
              1.05928,
              1.26215,
              1.50422
            ],
            [
              0.05649,
              0.33136,
              0.3869,
              0.45452,
              0.53615,
              0.63331,
              0.7507,
              0.89025,
              1.05997,
              1.26243,
              1.50452
            ],
            [
              0.0565,
              0.33131,
              0.38731,
              0.4549,
              0.53604,
              0.63347,
              0.75006,
              0.89145,
              1.06003,
              1.26251,
              1.50511
            ],
            [
              0.05644,
              0.33155,
              0.38731,
              0.45497,
              0.53624,
              0.63291,
              0.7501,
              0.89097,
              1.05876,
              1.26162,
              1.5058
            ],
            [
              0.05644,
              0.33107,
              0.3874,
              0.45491,
              0.53515,
              0.63355,
              0.75088,
              0.89052,
              1.05894,
              1.26147,
              1.50524
            ],
            [
              0.05649,
              0.33142,
              0.38698,
              0.45449,
              0.53613,
              0.63341,
              0.75083,
              0.89079,
              1.05891,
              1.2613,
              1.5051
            ],
            [
              0.05652,
              0.3314,
              0.38763,
              0.45471,
              0.5361,
              0.6332,
              0.7507,
              0.8908,
              1.0588,
              1.2617,
              1.5051
            ],
            [
              0.0582,
              0.3315,
              0.3875,
              0.4542,
              0.5356,
              0.6334,
              0.75,
              0.8901,
              1.0587,
              1.2623,
              1.5056
            ],
            [
              0.0613,
              0.3335,
              0.389,
              0.4555,
              0.5365,
              0.6334,
              0.7504,
              0.8902,
              1.0599,
              1.2621,
              1.5036
            ],
            [
              0.0653,
              0.3381,
              0.3935,
              0.4599,
              0.5399,
              0.6363,
              0.7532,
              0.893,
              1.0599,
              1.2625,
              1.5044
            ]
          ]
        },
        "sdf_cond": "(A&!C)",
        "timing_sense": "positive_unate",
        "when": "(A&!C)"
      },
      {
        "cell_fall,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.79954,
              1.02337,
              1.05547,
              1.09207,
              1.13427,
              1.18307,
              1.23987,
              1.30617,
              1.38427,
              1.47657,
              1.58637
            ],
            [
              0.80253,
              1.02644,
              1.05844,
              1.09514,
              1.13734,
              1.18604,
              1.24294,
              1.30924,
              1.38734,
              1.47964,
              1.58954
            ],
            [
              0.80577,
              1.02962,
              1.06172,
              1.09832,
              1.14062,
              1.18932,
              1.24622,
              1.31252,
              1.39072,
              1.48302,
              1.59262
            ],
            [
              0.8108,
              1.03468,
              1.06678,
              1.10347,
              1.14567,
              1.19448,
              1.25128,
              1.31767,
              1.39568,
              1.48808,
              1.59778
            ],
            [
              0.81874,
              1.04261,
              1.07471,
              1.11131,
              1.15361,
              1.20241,
              1.25921,
              1.32561,
              1.40371,
              1.49601,
              1.60581
            ],
            [
              0.83151,
              1.05542,
              1.08752,
              1.12422,
              1.16642,
              1.21522,
              1.27212,
              1.33842,
              1.41652,
              1.50892,
              1.61862
            ],
            [
              0.85252,
              1.07633,
              1.10843,
              1.14503,
              1.18733,
              1.23613,
              1.29303,
              1.35943,
              1.43753,
              1.52993,
              1.63963
            ],
            [
              0.88616,
              1.10916,
              1.14126,
              1.17786,
              1.22016,
              1.26896,
              1.32586,
              1.39216,
              1.47036,
              1.56266,
              1.67246
            ],
            [
              0.93835,
              1.16195,
              1.19405,
              1.23065,
              1.27295,
              1.32175,
              1.37865,
              1.44505,
              1.52315,
              1.61545,
              1.72535
            ],
            [
              1.02129,
              1.24469,
              1.27679,
              1.31339,
              1.35569,
              1.40449,
              1.46129,
              1.52769,
              1.60589,
              1.69829,
              1.80809
            ],
            [
              1.14892,
              1.37222,
              1.40422,
              1.44092,
              1.48322,
              1.53192,
              1.58882,
              1.65522,
              1.73342,
              1.82582,
              1.93572
            ],
            [
              1.34377,
              1.56677,
              1.59877,
              1.63537,
              1.67767,
              1.72647,
              1.78337,
              1.84987,
              1.92807,
              2.02047,
              2.13037
            ],
            [
              1.6382,
              1.8608,
              1.8928,
              1.9294,
              1.9717,
              2.0206,
              2.0775,
              2.144,
              2.2222,
              2.3147,
              2.4245
            ]
          ]
        },
        "cell_rise,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.25884,
              0.49765,
              0.5412,
              0.59305,
              0.65543,
              0.73038,
              0.81985,
              0.92781,
              1.05707,
              1.21127,
              1.39697
            ],
            [
              0.26264,
              0.5017,
              0.54517,
              0.59709,
              0.65934,
              0.73432,
              0.82372,
              0.93179,
              1.06034,
              1.21474,
              1.40064
            ],
            [
              0.26694,
              0.50611,
              0.54949,
              0.60145,
              0.66398,
              0.73871,
              0.82844,
              0.93621,
              1.06462,
              1.21962,
              1.40482
            ],
            [
              0.273,
              0.51236,
              0.55573,
              0.60762,
              0.67024,
              0.74496,
              0.83457,
              0.94227,
              1.07128,
              1.22608,
              1.41138
            ],
            [
              0.28172,
              0.52117,
              0.56472,
              0.61657,
              0.67914,
              0.7539,
              0.84367,
              0.95085,
              1.08021,
              1.23541,
              1.41991
            ],
            [
              0.29441,
              0.53397,
              0.57737,
              0.6294,
              0.69197,
              0.76672,
              0.85655,
              0.96372,
              1.09312,
              1.24712,
              1.43292
            ],
            [
              0.31314,
              0.55254,
              0.59622,
              0.64817,
              0.71083,
              0.78568,
              0.87546,
              0.98303,
              1.11143,
              1.26633,
              1.45253
            ],
            [
              0.34092,
              0.58037,
              0.62397,
              0.67604,
              0.73871,
              0.81358,
              0.90346,
              1.01116,
              1.14016,
              1.29526,
              1.47996
            ],
            [
              0.3823,
              0.62161,
              0.6653,
              0.71751,
              0.78025,
              0.85515,
              0.94475,
              1.05295,
              1.18215,
              1.33705,
              1.52185
            ],
            [
              0.44367,
              0.68299,
              0.72679,
              0.77909,
              0.84159,
              0.91659,
              1.00699,
              1.11419,
              1.24359,
              1.39849,
              1.58389
            ],
            [
              0.52902,
              0.77122,
              0.81492,
              0.86722,
              0.93002,
              1.00512,
              1.09502,
              1.20322,
              1.33222,
              1.48732,
              1.67392
            ],
            [
              0.64367,
              0.89067,
              0.93477,
              0.98747,
              1.05037,
              1.12517,
              1.21547,
              1.32327,
              1.45277,
              1.60777,
              1.79447
            ],
            [
              0.7975,
              1.0487,
              1.0934,
              1.1464,
              1.21,
              1.2856,
              1.3762,
              1.4843,
              1.6133,
              1.7682,
              1.9551
            ]
          ]
        },
        "fall_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.07685,
              0.25458,
              0.28502,
              0.32134,
              0.36473,
              0.4169,
              0.4798,
              0.556,
              0.6478,
              0.7602,
              0.8963
            ],
            [
              0.07681,
              0.25461,
              0.28509,
              0.32129,
              0.36474,
              0.4169,
              0.4797,
              0.556,
              0.6478,
              0.7602,
              0.8964
            ],
            [
              0.07681,
              0.25467,
              0.28512,
              0.3213,
              0.36465,
              0.4169,
              0.4797,
              0.556,
              0.6478,
              0.7603,
              0.8963
            ],
            [
              0.07679,
              0.25462,
              0.28517,
              0.32134,
              0.36473,
              0.4167,
              0.48,
              0.5559,
              0.6484,
              0.7604,
              0.8958
            ],
            [
              0.07683,
              0.25466,
              0.28509,
              0.32135,
              0.3647,
              0.4168,
              0.48,
              0.5559,
              0.6482,
              0.7604,
              0.8958
            ],
            [
              0.0768,
              0.25459,
              0.2851,
              0.3212,
              0.3649,
              0.417,
              0.4797,
              0.5561,
              0.648,
              0.7601,
              0.8964
            ],
            [
              0.07682,
              0.2547,
              0.2851,
              0.3214,
              0.3647,
              0.4169,
              0.4796,
              0.556,
              0.6479,
              0.7602,
              0.8964
            ],
            [
              0.0768,
              0.2547,
              0.2851,
              0.3213,
              0.3647,
              0.4168,
              0.4798,
              0.556,
              0.6478,
              0.7602,
              0.8963
            ],
            [
              0.0768,
              0.2547,
              0.2851,
              0.3213,
              0.3647,
              0.4169,
              0.4798,
              0.556,
              0.6477,
              0.7603,
              0.8962
            ],
            [
              0.0769,
              0.2547,
              0.2853,
              0.3214,
              0.3647,
              0.4169,
              0.4799,
              0.556,
              0.6478,
              0.7603,
              0.8963
            ],
            [
              0.0768,
              0.2549,
              0.2853,
              0.3214,
              0.3648,
              0.417,
              0.4798,
              0.556,
              0.6478,
              0.7603,
              0.8963
            ],
            [
              0.0768,
              0.255,
              0.2854,
              0.3216,
              0.365,
              0.417,
              0.4801,
              0.556,
              0.6483,
              0.7605,
              0.896
            ],
            [
              0.0769,
              0.2552,
              0.2856,
              0.3219,
              0.3653,
              0.4172,
              0.4803,
              0.5561,
              0.6485,
              0.7605,
              0.8958
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.05722,
              0.33032,
              0.38585,
              0.45322,
              0.53446,
              0.63179,
              0.7486,
              0.88938,
              1.05712,
              1.26089,
              1.50399
            ],
            [
              0.05724,
              0.33046,
              0.38641,
              0.45344,
              0.53439,
              0.63163,
              0.74854,
              0.88883,
              1.05831,
              1.26081,
              1.50386
            ],
            [
              0.05723,
              0.33027,
              0.38599,
              0.45324,
              0.53466,
              0.63176,
              0.74831,
              0.8888,
              1.05797,
              1.26028,
              1.50375
            ],
            [
              0.05723,
              0.33043,
              0.38607,
              0.45299,
              0.53455,
              0.63177,
              0.74841,
              0.88879,
              1.05816,
              1.26074,
              1.50355
            ],
            [
              0.05722,
              0.33026,
              0.38639,
              0.45315,
              0.53457,
              0.63179,
              0.74822,
              0.88938,
              1.05809,
              1.25986,
              1.50381
            ],
            [
              0.05722,
              0.3304,
              0.38603,
              0.45331,
              0.53454,
              0.63174,
              0.74825,
              0.88915,
              1.05801,
              1.2608,
              1.50382
            ],
            [
              0.05722,
              0.33036,
              0.38624,
              0.45309,
              0.53449,
              0.63165,
              0.74825,
              0.88869,
              1.05813,
              1.26092,
              1.5039
            ],
            [
              0.05726,
              0.3305,
              0.38627,
              0.4533,
              0.53465,
              0.63172,
              0.74825,
              0.88864,
              1.05808,
              1.2604,
              1.50375
            ],
            [
              0.05734,
              0.33054,
              0.38618,
              0.45346,
              0.53434,
              0.63174,
              0.74859,
              0.88915,
              1.05763,
              1.2603,
              1.5038
            ],
            [
              0.05778,
              0.33039,
              0.3862,
              0.4535,
              0.53441,
              0.63163,
              0.7489,
              0.8893,
              1.0584,
              1.2609,
              1.5037
            ],
            [
              0.0607,
              0.3312,
              0.3868,
              0.4539,
              0.5346,
              0.6316,
              0.749,
              0.8885,
              1.0582,
              1.2603,
              1.5023
            ],
            [
              0.0636,
              0.3342,
              0.3892,
              0.4557,
              0.5361,
              0.6324,
              0.7494,
              0.8891,
              1.0583,
              1.2603,
              1.5029
            ],
            [
              0.0674,
              0.3377,
              0.3926,
              0.4588,
              0.5388,
              0.6348,
              0.7514,
              0.8914,
              1.0592,
              1.2607,
              1.5037
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "positive_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.69837,
              0.97971,
              1.01967,
              1.06427,
              1.11467,
              1.17147,
              1.23617,
              1.30997,
              1.39477,
              1.49317,
              1.60797
            ],
            [
              0.70202,
              0.98343,
              1.02334,
              1.06804,
              1.11844,
              1.17524,
              1.23994,
              1.31364,
              1.39864,
              1.49694,
              1.61174
            ],
            [
              0.70625,
              0.98772,
              1.02762,
              1.07232,
              1.12272,
              1.17952,
              1.24412,
              1.31792,
              1.40282,
              1.50122,
              1.61602
            ],
            [
              0.71261,
              0.99418,
              1.03408,
              1.07878,
              1.12928,
              1.18598,
              1.25068,
              1.32448,
              1.40938,
              1.50768,
              1.62248
            ],
            [
              0.72265,
              1.00411,
              1.04401,
              1.08871,
              1.13921,
              1.19591,
              1.26061,
              1.33441,
              1.41931,
              1.51771,
              1.63251
            ],
            [
              0.7384,
              1.01972,
              1.05972,
              1.10442,
              1.15492,
              1.21172,
              1.27632,
              1.35012,
              1.43512,
              1.53342,
              1.64822
            ],
            [
              0.76318,
              1.04433,
              1.08433,
              1.12903,
              1.17953,
              1.23633,
              1.30103,
              1.37483,
              1.45973,
              1.55813,
              1.67293
            ],
            [
              0.80106,
              1.08206,
              1.12206,
              1.16676,
              1.21726,
              1.27396,
              1.33866,
              1.41256,
              1.49746,
              1.59586,
              1.71066
            ],
            [
              0.85865,
              1.13945,
              1.17945,
              1.22415,
              1.27455,
              1.33145,
              1.39615,
              1.47005,
              1.55485,
              1.65325,
              1.76805
            ],
            [
              0.94399,
              1.22469,
              1.26459,
              1.30929,
              1.35969,
              1.41659,
              1.48129,
              1.55509,
              1.64009,
              1.73849,
              1.85329
            ],
            [
              1.07052,
              1.35072,
              1.39062,
              1.43532,
              1.48572,
              1.54262,
              1.60742,
              1.68122,
              1.76622,
              1.86462,
              1.97942
            ],
            [
              1.25917,
              1.53857,
              1.57847,
              1.62317,
              1.67367,
              1.73057,
              1.79537,
              1.86927,
              1.95427,
              2.05277,
              2.16757
            ],
            [
              1.5402,
              1.8189,
              1.8589,
              1.9035,
              1.954,
              2.0109,
              2.0757,
              2.1497,
              2.2347,
              2.3333,
              2.4481
            ]
          ]
        },
        "cell_rise,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.29219,
              0.53026,
              0.57426,
              0.62703,
              0.69002,
              0.7656,
              0.85591,
              0.96419,
              1.09417,
              1.24917,
              1.43537
            ],
            [
              0.29581,
              0.53382,
              0.57809,
              0.63055,
              0.69385,
              0.76896,
              0.85977,
              0.96805,
              1.09734,
              1.25334,
              1.43954
            ],
            [
              0.30011,
              0.5383,
              0.58231,
              0.63506,
              0.69813,
              0.77342,
              0.86382,
              0.97244,
              1.10212,
              1.25782,
              1.44372
            ],
            [
              0.30643,
              0.54466,
              0.58881,
              0.64143,
              0.70461,
              0.77982,
              0.87047,
              0.97888,
              1.10838,
              1.26418,
              1.45028
            ],
            [
              0.31578,
              0.55403,
              0.59827,
              0.65096,
              0.71407,
              0.78927,
              0.88004,
              0.98761,
              1.11731,
              1.27301,
              1.45981
            ],
            [
              0.32965,
              0.56797,
              0.61219,
              0.66493,
              0.72794,
              0.80336,
              0.89404,
              1.00172,
              1.13162,
              1.28672,
              1.47372
            ],
            [
              0.35026,
              0.58864,
              0.6327,
              0.68555,
              0.74867,
              0.82403,
              0.91443,
              1.02313,
              1.15283,
              1.30843,
              1.49423
            ],
            [
              0.38101,
              0.61924,
              0.66333,
              0.71623,
              0.77932,
              0.85496,
              0.94526,
              1.05376,
              1.18376,
              1.33896,
              1.52436
            ],
            [
              0.42709,
              0.66491,
              0.70898,
              0.76195,
              0.82505,
              0.90055,
              0.99085,
              1.09975,
              1.22975,
              1.38515,
              1.57085
            ],
            [
              0.4964,
              0.73339,
              0.77779,
              0.83059,
              0.89389,
              0.96929,
              1.06029,
              1.16809,
              1.29809,
              1.45359,
              1.64059
            ],
            [
              0.59872,
              0.83552,
              0.87962,
              0.93252,
              0.99582,
              1.07142,
              1.16232,
              1.27092,
              1.40092,
              1.55652,
              1.74222
            ],
            [
              0.73387,
              0.97307,
              1.01727,
              1.06997,
              1.13337,
              1.20867,
              1.29967,
              1.40817,
              1.53797,
              1.69437,
              1.87997
            ],
            [
              0.9087,
              1.1504,
              1.1948,
              1.2478,
              1.3112,
              1.3869,
              1.478,
              1.5862,
              1.7162,
              1.8722,
              2.0585
            ]
          ]
        },
        "fall_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.08217,
              0.31719,
              0.3503,
              0.38824,
              0.43217,
              0.48338,
              0.54488,
              0.6177,
              0.7058,
              0.8122,
              0.941
            ],
            [
              0.08211,
              0.31713,
              0.35035,
              0.38819,
              0.43215,
              0.48363,
              0.54466,
              0.6178,
              0.7054,
              0.8119,
              0.9409
            ],
            [
              0.08214,
              0.31714,
              0.35029,
              0.38811,
              0.43221,
              0.48348,
              0.54458,
              0.6179,
              0.7058,
              0.8124,
              0.941
            ],
            [
              0.08217,
              0.31704,
              0.35029,
              0.38807,
              0.43213,
              0.48343,
              0.5446,
              0.6177,
              0.7054,
              0.8123,
              0.9409
            ],
            [
              0.08212,
              0.31714,
              0.35029,
              0.38811,
              0.43215,
              0.48342,
              0.5446,
              0.6177,
              0.7058,
              0.8121,
              0.9408
            ],
            [
              0.08208,
              0.31714,
              0.35029,
              0.38808,
              0.43204,
              0.4835,
              0.5447,
              0.6178,
              0.7056,
              0.8122,
              0.9409
            ],
            [
              0.08208,
              0.31704,
              0.3503,
              0.3881,
              0.4321,
              0.4835,
              0.5447,
              0.6177,
              0.7055,
              0.8122,
              0.9408
            ],
            [
              0.08206,
              0.3171,
              0.3503,
              0.388,
              0.4321,
              0.4834,
              0.5444,
              0.6177,
              0.7058,
              0.8123,
              0.9407
            ],
            [
              0.0821,
              0.3171,
              0.3503,
              0.3879,
              0.4321,
              0.4835,
              0.5446,
              0.6176,
              0.7053,
              0.8121,
              0.941
            ],
            [
              0.0821,
              0.3171,
              0.3503,
              0.3879,
              0.4321,
              0.4834,
              0.5446,
              0.6177,
              0.7054,
              0.8122,
              0.9406
            ],
            [
              0.082,
              0.3171,
              0.3502,
              0.388,
              0.4319,
              0.4835,
              0.5446,
              0.6175,
              0.7055,
              0.812,
              0.9407
            ],
            [
              0.082,
              0.3171,
              0.3503,
              0.3881,
              0.432,
              0.4832,
              0.5443,
              0.6176,
              0.7052,
              0.812,
              0.9408
            ],
            [
              0.082,
              0.3168,
              0.3501,
              0.3878,
              0.4318,
              0.4831,
              0.5441,
              0.6172,
              0.705,
              0.8119,
              0.9408
            ]
          ]
        },
        "related_pin": "C",
        "rise_transition,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00986,
            0.01183,
            0.01419,
            0.01703,
            0.02043,
            0.02452,
            0.02942,
            0.0353,
            0.04236,
            0.05083
          ],
          "values": [
            [
              0.05463,
              0.33143,
              0.38815,
              0.45612,
              0.5376,
              0.6345,
              0.7518,
              0.89308,
              1.06102,
              1.26417,
              1.50672
            ],
            [
              0.05467,
              0.33198,
              0.38767,
              0.45482,
              0.53761,
              0.6347,
              0.75192,
              0.89194,
              1.0612,
              1.26274,
              1.50677
            ],
            [
              0.05468,
              0.33155,
              0.38738,
              0.45576,
              0.53751,
              0.63298,
              0.75247,
              0.89219,
              1.06089,
              1.26278,
              1.50721
            ],
            [
              0.05467,
              0.3317,
              0.38746,
              0.45564,
              0.53753,
              0.63482,
              0.75268,
              0.8918,
              1.06103,
              1.26261,
              1.507
            ],
            [
              0.05464,
              0.33196,
              0.38847,
              0.455,
              0.53728,
              0.63501,
              0.75166,
              0.89296,
              1.06154,
              1.26348,
              1.50561
            ],
            [
              0.05467,
              0.33206,
              0.38843,
              0.45521,
              0.53591,
              0.63511,
              0.75156,
              0.8931,
              1.06162,
              1.26372,
              1.5059
            ],
            [
              0.05468,
              0.3315,
              0.38848,
              0.45605,
              0.53746,
              0.63297,
              0.75244,
              0.89224,
              1.06082,
              1.26273,
              1.50713
            ],
            [
              0.05467,
              0.33142,
              0.3882,
              0.45612,
              0.5375,
              0.63327,
              0.75192,
              0.89291,
              1.0605,
              1.26395,
              1.50693
            ],
            [
              0.05465,
              0.33149,
              0.38842,
              0.45612,
              0.53745,
              0.63317,
              0.75221,
              0.89256,
              1.06037,
              1.2636,
              1.5071
            ],
            [
              0.05466,
              0.33193,
              0.38784,
              0.45483,
              0.5371,
              0.6349,
              0.7515,
              0.8931,
              1.0615,
              1.2636,
              1.5059
            ],
            [
              0.0551,
              0.3316,
              0.3881,
              0.4557,
              0.5371,
              0.633,
              0.7515,
              0.8918,
              1.0601,
              1.2638,
              1.5067
            ],
            [
              0.0574,
              0.3326,
              0.3887,
              0.4559,
              0.5372,
              0.6345,
              0.7514,
              0.893,
              1.061,
              1.263,
              1.507
            ],
            [
              0.0603,
              0.3345,
              0.3901,
              0.4576,
              0.5382,
              0.6354,
              0.7527,
              0.8925,
              1.0614,
              1.2629,
              1.5066
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  }
}