{
  "area": 14.3856,
  "cell_footprint": "sky130_fd_sc_lp__maj3",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00436,
    "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.00331,
          0.00268,
          0.00301,
          0.00268,
          0.00271,
          0.00282,
          0.0027,
          0.00265,
          0.00265,
          0.00284,
          0.00283,
          0.00303,
          0.00302
        ]
      },
      "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.00162,
          0.00149,
          0.00165,
          0.00174,
          0.00168,
          0.00171,
          0.00169,
          0.00179,
          0.00185,
          0.00205,
          0.00209,
          0.00229,
          0.00233
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00509,
    "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.00241,
          0.00211,
          0.00195,
          0.00196,
          0.00201,
          0.00222,
          0.00218,
          0.0022,
          0.00228,
          0.00247,
          0.0025,
          0.00273,
          0.00275
        ]
      },
      "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.00329,
          0.00263,
          0.00276,
          0.00231,
          0.00245,
          0.00258,
          0.00261,
          0.00256,
          0.00254,
          0.00273,
          0.00273,
          0.00295,
          0.00295
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C": {
    "capacitance": 0.00466,
    "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.00137,
          0.00158,
          0.00156,
          0.00158,
          0.00153,
          0.0014,
          0.00147,
          0.00149,
          0.0015,
          0.00164,
          0.00166,
          0.00181,
          0.00183
        ]
      },
      "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.00218,
          0.00224,
          0.00211,
          0.00217,
          0.00212,
          0.00215,
          0.00205,
          0.002,
          0.00204,
          0.00217,
          0.00217,
          0.00233,
          0.00232
        ]
      }
    },
    "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.02815,
              0.01764,
              0.01549,
              0.01292,
              0.0098,
              0.00605,
              0.00153,
              -0.00391,
              -0.01045,
              -0.01831,
              -0.02777
            ],
            [
              0.02819,
              0.01767,
              0.01553,
              0.01295,
              0.00984,
              0.00609,
              0.00156,
              -0.00388,
              -0.01042,
              -0.01828,
              -0.02774
            ],
            [
              0.02819,
              0.01768,
              0.01553,
              0.01295,
              0.00983,
              0.00608,
              0.00156,
              -0.00388,
              -0.01042,
              -0.01828,
              -0.02773
            ],
            [
              0.02817,
              0.01765,
              0.01551,
              0.01292,
              0.00981,
              0.00605,
              0.00154,
              -0.0039,
              -0.01045,
              -0.01831,
              -0.02776
            ],
            [
              0.02814,
              0.01763,
              0.01549,
              0.01291,
              0.00979,
              0.00604,
              0.00152,
              -0.00392,
              -0.01046,
              -0.01832,
              -0.02778
            ],
            [
              0.02812,
              0.01761,
              0.01547,
              0.01288,
              0.00977,
              0.00601,
              0.00149,
              -0.00395,
              -0.01049,
              -0.01835,
              -0.02781
            ],
            [
              0.02808,
              0.01757,
              0.01543,
              0.01284,
              0.00973,
              0.00597,
              0.00146,
              -0.00398,
              -0.01053,
              -0.01838,
              -0.02784
            ],
            [
              0.02804,
              0.01753,
              0.01539,
              0.01281,
              0.00969,
              0.00594,
              0.00141,
              -0.00402,
              -0.01057,
              -0.01842,
              -0.02788
            ],
            [
              0.02801,
              0.01749,
              0.01535,
              0.01277,
              0.00965,
              0.00591,
              0.00138,
              -0.00406,
              -0.0106,
              -0.01846,
              -0.02791
            ],
            [
              0.02797,
              0.01746,
              0.01532,
              0.01274,
              0.00962,
              0.00587,
              0.00135,
              -0.0041,
              -0.01063,
              -0.01849,
              -0.02795
            ],
            [
              0.02794,
              0.01743,
              0.01528,
              0.0127,
              0.00958,
              0.00583,
              0.00131,
              -0.00413,
              -0.01067,
              -0.01853,
              -0.02798
            ],
            [
              0.02794,
              0.0174,
              0.01526,
              0.01267,
              0.00955,
              0.00581,
              0.00128,
              -0.00416,
              -0.01069,
              -0.01855,
              -0.028
            ],
            [
              0.02793,
              0.01737,
              0.01522,
              0.01264,
              0.00952,
              0.00577,
              0.00125,
              -0.00419,
              -0.01072,
              -0.01858,
              -0.02803
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.0054,
              0.01681,
              0.01903,
              0.02169,
              0.02488,
              0.02869,
              0.03327,
              0.03874,
              0.0453,
              0.05315,
              0.06256
            ],
            [
              0.00535,
              0.01678,
              0.01901,
              0.02165,
              0.02482,
              0.02866,
              0.03321,
              0.03868,
              0.04525,
              0.0531,
              0.06254
            ],
            [
              0.00531,
              0.01673,
              0.01894,
              0.0216,
              0.0248,
              0.0286,
              0.03317,
              0.03864,
              0.0452,
              0.05307,
              0.06251
            ],
            [
              0.00521,
              0.01661,
              0.01883,
              0.0215,
              0.02468,
              0.02848,
              0.03305,
              0.03852,
              0.04507,
              0.05296,
              0.06237
            ],
            [
              0.00519,
              0.0166,
              0.01884,
              0.02151,
              0.02467,
              0.02847,
              0.03305,
              0.03853,
              0.0451,
              0.05297,
              0.06233
            ],
            [
              0.00516,
              0.01658,
              0.01881,
              0.02147,
              0.02463,
              0.02845,
              0.03303,
              0.03849,
              0.04505,
              0.05292,
              0.06234
            ],
            [
              0.00511,
              0.01653,
              0.01875,
              0.02141,
              0.02463,
              0.02842,
              0.033,
              0.03847,
              0.04502,
              0.05289,
              0.06235
            ],
            [
              0.00507,
              0.01649,
              0.01874,
              0.02135,
              0.02455,
              0.02838,
              0.03294,
              0.03842,
              0.04498,
              0.05283,
              0.06223
            ],
            [
              0.00502,
              0.01641,
              0.01863,
              0.0213,
              0.0245,
              0.0283,
              0.0329,
              0.03836,
              0.0449,
              0.05276,
              0.06221
            ],
            [
              0.00494,
              0.01631,
              0.01854,
              0.02121,
              0.02439,
              0.02821,
              0.03279,
              0.03828,
              0.04483,
              0.05272,
              0.06219
            ],
            [
              0.00485,
              0.01622,
              0.01843,
              0.02109,
              0.02426,
              0.02811,
              0.0327,
              0.03818,
              0.04475,
              0.05258,
              0.06204
            ],
            [
              0.00476,
              0.01609,
              0.01833,
              0.02098,
              0.02417,
              0.02799,
              0.03258,
              0.03807,
              0.04461,
              0.05251,
              0.06193
            ],
            [
              0.00466,
              0.01595,
              0.01817,
              0.02082,
              0.02402,
              0.02783,
              0.03242,
              0.03791,
              0.04449,
              0.05242,
              0.06182
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.02423,
              0.01374,
              0.0116,
              0.00904,
              0.00592,
              0.00217,
              -0.00233,
              -0.00778,
              -0.01432,
              -0.02217,
              -0.03163
            ],
            [
              0.0242,
              0.0137,
              0.01156,
              0.00899,
              0.00587,
              0.00213,
              -0.00238,
              -0.00783,
              -0.01437,
              -0.02222,
              -0.03168
            ],
            [
              0.02417,
              0.01368,
              0.01155,
              0.00897,
              0.00586,
              0.00211,
              -0.00239,
              -0.00784,
              -0.01438,
              -0.02223,
              -0.03169
            ],
            [
              0.02415,
              0.01366,
              0.01152,
              0.00894,
              0.00584,
              0.0021,
              -0.00241,
              -0.00785,
              -0.01439,
              -0.02225,
              -0.0317
            ],
            [
              0.02409,
              0.0136,
              0.01145,
              0.00888,
              0.00577,
              0.00203,
              -0.00249,
              -0.00792,
              -0.01446,
              -0.02231,
              -0.03177
            ],
            [
              0.02399,
              0.01351,
              0.01136,
              0.00879,
              0.00568,
              0.00194,
              -0.00258,
              -0.00801,
              -0.01455,
              -0.0224,
              -0.03187
            ],
            [
              0.02388,
              0.01338,
              0.01122,
              0.00866,
              0.00554,
              0.0018,
              -0.00272,
              -0.00815,
              -0.0147,
              -0.02254,
              -0.03201
            ],
            [
              0.02371,
              0.01323,
              0.01109,
              0.0085,
              0.00539,
              0.00164,
              -0.00288,
              -0.00831,
              -0.01485,
              -0.0227,
              -0.03216
            ],
            [
              0.02357,
              0.01307,
              0.01094,
              0.00835,
              0.00524,
              0.00149,
              -0.00303,
              -0.00846,
              -0.015,
              -0.02285,
              -0.03231
            ],
            [
              0.02343,
              0.01293,
              0.01079,
              0.00821,
              0.00509,
              0.00135,
              -0.00317,
              -0.00861,
              -0.01515,
              -0.02299,
              -0.03245
            ],
            [
              0.02329,
              0.01279,
              0.01065,
              0.00806,
              0.00494,
              0.00119,
              -0.00331,
              -0.00875,
              -0.01529,
              -0.02314,
              -0.03259
            ],
            [
              0.0232,
              0.01267,
              0.01052,
              0.00793,
              0.00482,
              0.00108,
              -0.00344,
              -0.00887,
              -0.01541,
              -0.02325,
              -0.0327
            ],
            [
              0.02312,
              0.01254,
              0.01039,
              0.00781,
              0.00469,
              0.00094,
              -0.00357,
              -0.009,
              -0.01554,
              -0.02338,
              -0.03282
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.00588,
              0.0173,
              0.01953,
              0.02215,
              0.02534,
              0.02914,
              0.0337,
              0.03918,
              0.04569,
              0.05354,
              0.06298
            ],
            [
              0.00588,
              0.01731,
              0.01951,
              0.02218,
              0.02534,
              0.02915,
              0.03371,
              0.03917,
              0.04571,
              0.05353,
              0.06298
            ],
            [
              0.00586,
              0.01727,
              0.01949,
              0.02215,
              0.0253,
              0.02911,
              0.03369,
              0.03914,
              0.04568,
              0.05348,
              0.06292
            ],
            [
              0.00584,
              0.01727,
              0.01948,
              0.02216,
              0.02532,
              0.02911,
              0.03368,
              0.03916,
              0.04566,
              0.05351,
              0.06295
            ],
            [
              0.00582,
              0.01726,
              0.01949,
              0.02211,
              0.0253,
              0.0291,
              0.03367,
              0.03913,
              0.04568,
              0.05351,
              0.06296
            ],
            [
              0.00576,
              0.01724,
              0.01945,
              0.02209,
              0.02529,
              0.02908,
              0.03366,
              0.03911,
              0.04563,
              0.05346,
              0.06291
            ],
            [
              0.00568,
              0.01713,
              0.01934,
              0.02204,
              0.02521,
              0.02901,
              0.03357,
              0.03906,
              0.04558,
              0.05339,
              0.06286
            ],
            [
              0.00556,
              0.01698,
              0.01921,
              0.02188,
              0.02507,
              0.02886,
              0.03343,
              0.03893,
              0.04547,
              0.05331,
              0.06265
            ],
            [
              0.00542,
              0.01681,
              0.01903,
              0.02169,
              0.02491,
              0.0287,
              0.03328,
              0.03877,
              0.0453,
              0.05317,
              0.06256
            ],
            [
              0.0052,
              0.01658,
              0.01881,
              0.02148,
              0.02465,
              0.0285,
              0.03306,
              0.03854,
              0.04511,
              0.05295,
              0.06239
            ],
            [
              0.00494,
              0.01629,
              0.01852,
              0.02117,
              0.02439,
              0.0282,
              0.03277,
              0.03826,
              0.04483,
              0.05269,
              0.06213
            ],
            [
              0.00466,
              0.01598,
              0.01822,
              0.02088,
              0.02405,
              0.02789,
              0.03247,
              0.03795,
              0.04454,
              0.0524,
              0.06183
            ],
            [
              0.00436,
              0.01564,
              0.01787,
              0.02053,
              0.02373,
              0.02754,
              0.03214,
              0.03761,
              0.04421,
              0.05207,
              0.06153
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.02633,
              0.01582,
              0.01366,
              0.01109,
              0.00796,
              0.00422,
              -0.00031,
              -0.00576,
              -0.01231,
              -0.02017,
              -0.02963
            ],
            [
              0.02633,
              0.01582,
              0.01367,
              0.01109,
              0.00796,
              0.00421,
              -0.00032,
              -0.00576,
              -0.01231,
              -0.02018,
              -0.02964
            ],
            [
              0.0263,
              0.01579,
              0.01363,
              0.01106,
              0.00793,
              0.00418,
              -0.00034,
              -0.00579,
              -0.01234,
              -0.0202,
              -0.02966
            ],
            [
              0.02628,
              0.01577,
              0.01361,
              0.01104,
              0.00791,
              0.00416,
              -0.00036,
              -0.00581,
              -0.01236,
              -0.02022,
              -0.02968
            ],
            [
              0.02624,
              0.01573,
              0.01357,
              0.011,
              0.00788,
              0.00412,
              -0.0004,
              -0.00585,
              -0.01239,
              -0.02026,
              -0.02972
            ],
            [
              0.02618,
              0.01566,
              0.01351,
              0.01094,
              0.00781,
              0.00405,
              -0.00047,
              -0.00591,
              -0.01246,
              -0.02032,
              -0.02978
            ],
            [
              0.02611,
              0.01559,
              0.01343,
              0.01085,
              0.00773,
              0.00398,
              -0.00054,
              -0.00599,
              -0.01254,
              -0.0204,
              -0.02985
            ],
            [
              0.02602,
              0.0155,
              0.01334,
              0.01077,
              0.00764,
              0.00389,
              -0.00063,
              -0.00607,
              -0.01263,
              -0.02049,
              -0.02994
            ],
            [
              0.02593,
              0.01539,
              0.01323,
              0.01066,
              0.00754,
              0.00378,
              -0.00073,
              -0.00618,
              -0.01272,
              -0.02058,
              -0.03004
            ],
            [
              0.02582,
              0.0153,
              0.01315,
              0.01057,
              0.00745,
              0.00369,
              -0.00082,
              -0.00627,
              -0.01282,
              -0.02067,
              -0.03013
            ],
            [
              0.02574,
              0.01523,
              0.01307,
              0.01049,
              0.00736,
              0.00361,
              -0.0009,
              -0.00635,
              -0.01289,
              -0.02075,
              -0.03021
            ],
            [
              0.02569,
              0.01516,
              0.013,
              0.01042,
              0.00729,
              0.00354,
              -0.00098,
              -0.00642,
              -0.01296,
              -0.02082,
              -0.03027
            ],
            [
              0.02565,
              0.01508,
              0.01293,
              0.01034,
              0.00721,
              0.00347,
              -0.00106,
              -0.0065,
              -0.01303,
              -0.02089,
              -0.03033
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.00569,
              0.01708,
              0.01929,
              0.02192,
              0.02511,
              0.02891,
              0.03346,
              0.03893,
              0.04548,
              0.05333,
              0.06278
            ],
            [
              0.00565,
              0.01703,
              0.01923,
              0.02188,
              0.02506,
              0.02887,
              0.03341,
              0.03891,
              0.04543,
              0.0533,
              0.06273
            ],
            [
              0.00555,
              0.01697,
              0.01915,
              0.02179,
              0.02495,
              0.02877,
              0.03333,
              0.03878,
              0.04536,
              0.05318,
              0.06261
            ],
            [
              0.00553,
              0.01694,
              0.01914,
              0.02177,
              0.02496,
              0.02876,
              0.03332,
              0.03879,
              0.04533,
              0.05321,
              0.0626
            ],
            [
              0.00546,
              0.01686,
              0.01906,
              0.0217,
              0.0249,
              0.02869,
              0.03326,
              0.0387,
              0.04526,
              0.05311,
              0.06253
            ],
            [
              0.00544,
              0.01685,
              0.01905,
              0.02169,
              0.02492,
              0.02869,
              0.03324,
              0.03871,
              0.04526,
              0.0531,
              0.06252
            ],
            [
              0.00542,
              0.01682,
              0.01905,
              0.02168,
              0.02486,
              0.02868,
              0.03325,
              0.03871,
              0.04525,
              0.0531,
              0.0625
            ],
            [
              0.00537,
              0.01677,
              0.01898,
              0.02163,
              0.02483,
              0.02862,
              0.03318,
              0.03867,
              0.04522,
              0.05308,
              0.06249
            ],
            [
              0.00529,
              0.01666,
              0.01888,
              0.02153,
              0.02473,
              0.02853,
              0.03311,
              0.03857,
              0.04511,
              0.05296,
              0.06239
            ],
            [
              0.00517,
              0.01652,
              0.01876,
              0.02139,
              0.0246,
              0.02841,
              0.03297,
              0.03846,
              0.04501,
              0.05287,
              0.06231
            ],
            [
              0.005,
              0.01634,
              0.01856,
              0.02122,
              0.0244,
              0.02822,
              0.03282,
              0.03828,
              0.04484,
              0.05271,
              0.06213
            ],
            [
              0.00481,
              0.01612,
              0.01835,
              0.02099,
              0.02421,
              0.028,
              0.0326,
              0.03808,
              0.04464,
              0.0525,
              0.06193
            ],
            [
              0.00461,
              0.01589,
              0.01811,
              0.02076,
              0.02393,
              0.02777,
              0.03235,
              0.0378,
              0.04439,
              0.05231,
              0.0617
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.04439,
    "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.80583,
              1.05427,
              1.09117,
              1.13237,
              1.17887,
              1.23137,
              1.29117,
              1.35967,
              1.43867,
              1.53057,
              1.63797
            ],
            [
              0.80952,
              1.05804,
              1.09474,
              1.13594,
              1.18254,
              1.23504,
              1.29484,
              1.36334,
              1.44244,
              1.53424,
              1.64174
            ],
            [
              0.81421,
              1.06282,
              1.09952,
              1.14072,
              1.18732,
              1.23972,
              1.29962,
              1.36812,
              1.44722,
              1.53902,
              1.64642
            ],
            [
              0.82154,
              1.07008,
              1.10688,
              1.14808,
              1.19468,
              1.24708,
              1.30697,
              1.37548,
              1.45457,
              1.54628,
              1.65378
            ],
            [
              0.8329,
              1.08151,
              1.11831,
              1.15951,
              1.20601,
              1.25851,
              1.31831,
              1.38691,
              1.46591,
              1.55771,
              1.66521
            ],
            [
              0.85025,
              1.09872,
              1.13552,
              1.17672,
              1.22322,
              1.27582,
              1.33562,
              1.40412,
              1.48332,
              1.57512,
              1.68252
            ],
            [
              0.87688,
              1.12533,
              1.16213,
              1.20333,
              1.24983,
              1.30243,
              1.36223,
              1.43083,
              1.50993,
              1.60173,
              1.70923
            ],
            [
              0.91726,
              1.16576,
              1.20256,
              1.24376,
              1.29036,
              1.34286,
              1.40266,
              1.47126,
              1.55036,
              1.64206,
              1.74956
            ],
            [
              0.97835,
              1.22685,
              1.26355,
              1.30475,
              1.35135,
              1.40385,
              1.46375,
              1.53225,
              1.61135,
              1.70305,
              1.81055
            ],
            [
              1.06829,
              1.31669,
              1.35349,
              1.39469,
              1.44119,
              1.49369,
              1.55359,
              1.62209,
              1.70119,
              1.79309,
              1.90059
            ],
            [
              1.20072,
              1.44882,
              1.48562,
              1.52682,
              1.57342,
              1.62592,
              1.68582,
              1.75432,
              1.83352,
              1.92532,
              2.03272
            ],
            [
              1.39687,
              1.64467,
              1.68147,
              1.72267,
              1.76937,
              1.82187,
              1.88187,
              1.95037,
              2.02947,
              2.12137,
              2.22887
            ],
            [
              1.6893,
              1.9368,
              1.9736,
              2.0149,
              2.0614,
              2.114,
              2.174,
              2.2426,
              2.3218,
              2.4137,
              2.5212
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.30723,
              0.54492,
              0.58914,
              0.64175,
              0.70499,
              0.78008,
              0.87091,
              0.97923,
              1.10827,
              1.26337,
              1.45037
            ],
            [
              0.31088,
              0.54865,
              0.59272,
              0.64553,
              0.70852,
              0.78415,
              0.87441,
              0.9827,
              1.11274,
              1.26804,
              1.45354
            ],
            [
              0.31512,
              0.55288,
              0.59714,
              0.64959,
              0.71298,
              0.78813,
              0.87892,
              0.98662,
              1.11652,
              1.27162,
              1.45772
            ],
            [
              0.32122,
              0.55907,
              0.60318,
              0.65592,
              0.71905,
              0.79439,
              0.88462,
              0.99338,
              1.12298,
              1.27828,
              1.46457
            ],
            [
              0.33011,
              0.56799,
              0.61204,
              0.66488,
              0.728,
              0.8035,
              0.89357,
              1.00221,
              1.13211,
              1.28741,
              1.47321
            ],
            [
              0.34318,
              0.58108,
              0.62511,
              0.67799,
              0.74113,
              0.81665,
              0.90677,
              1.01532,
              1.14522,
              1.30052,
              1.48622
            ],
            [
              0.36271,
              0.60057,
              0.64477,
              0.69741,
              0.76068,
              0.83579,
              0.92663,
              1.03493,
              1.16393,
              1.31903,
              1.50603
            ],
            [
              0.39196,
              0.62969,
              0.6738,
              0.72666,
              0.78966,
              0.86536,
              0.95566,
              1.06396,
              1.19406,
              1.34936,
              1.53476
            ],
            [
              0.43577,
              0.67309,
              0.7174,
              0.77005,
              0.83335,
              0.90855,
              0.99945,
              1.10775,
              1.23685,
              1.39205,
              1.57905
            ],
            [
              0.50124,
              0.73819,
              0.78239,
              0.83509,
              0.89839,
              0.97369,
              1.06459,
              1.17289,
              1.30219,
              1.45759,
              1.64389
            ],
            [
              0.59792,
              0.83462,
              0.87882,
              0.93152,
              0.99482,
              1.07012,
              1.16102,
              1.26952,
              1.39952,
              1.55402,
              1.74082
            ],
            [
              0.73207,
              0.97027,
              1.01437,
              1.06727,
              1.13037,
              1.20617,
              1.29657,
              1.40517,
              1.53497,
              1.69017,
              1.87717
            ],
            [
              0.9139,
              1.1544,
              1.1988,
              1.2515,
              1.3148,
              1.3905,
              1.4811,
              1.589,
              1.7194,
              1.8747,
              2.061
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.08493,
              0.29283,
              0.32442,
              0.3606,
              0.40234,
              0.451,
              0.5085,
              0.577,
              0.66,
              0.761,
              0.8837
            ],
            [
              0.08495,
              0.29279,
              0.32458,
              0.36062,
              0.40246,
              0.4509,
              0.5085,
              0.5771,
              0.66,
              0.7607,
              0.8831
            ],
            [
              0.08507,
              0.29279,
              0.32449,
              0.36064,
              0.40226,
              0.4509,
              0.5084,
              0.5772,
              0.6599,
              0.7607,
              0.8836
            ],
            [
              0.08497,
              0.29279,
              0.32456,
              0.36059,
              0.4023,
              0.451,
              0.5084,
              0.5772,
              0.6603,
              0.7606,
              0.8833
            ],
            [
              0.08495,
              0.29278,
              0.32443,
              0.3606,
              0.4023,
              0.4509,
              0.5085,
              0.5772,
              0.6602,
              0.7609,
              0.8835
            ],
            [
              0.08496,
              0.2929,
              0.3245,
              0.3607,
              0.4024,
              0.451,
              0.5085,
              0.5772,
              0.6599,
              0.7607,
              0.8837
            ],
            [
              0.08496,
              0.2928,
              0.3245,
              0.3607,
              0.4024,
              0.451,
              0.5085,
              0.5772,
              0.66,
              0.7607,
              0.8835
            ],
            [
              0.085,
              0.2928,
              0.3245,
              0.3607,
              0.4023,
              0.4509,
              0.5085,
              0.5772,
              0.66,
              0.7607,
              0.8834
            ],
            [
              0.0849,
              0.2928,
              0.3245,
              0.3606,
              0.4023,
              0.4508,
              0.5083,
              0.577,
              0.66,
              0.7608,
              0.8831
            ],
            [
              0.0851,
              0.2928,
              0.3245,
              0.3606,
              0.4024,
              0.451,
              0.5084,
              0.5772,
              0.6599,
              0.761,
              0.8833
            ],
            [
              0.085,
              0.293,
              0.3246,
              0.3608,
              0.4025,
              0.4512,
              0.5086,
              0.5771,
              0.66,
              0.7608,
              0.8836
            ],
            [
              0.0849,
              0.2931,
              0.3248,
              0.3609,
              0.4026,
              0.4511,
              0.5085,
              0.5774,
              0.6601,
              0.7609,
              0.8837
            ],
            [
              0.0851,
              0.2934,
              0.325,
              0.3611,
              0.4029,
              0.4515,
              0.5089,
              0.5774,
              0.6604,
              0.7612,
              0.8837
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.06083,
              0.33668,
              0.39243,
              0.46037,
              0.54103,
              0.63848,
              0.75446,
              0.89466,
              1.06274,
              1.26408,
              1.506
            ],
            [
              0.06081,
              0.33733,
              0.39309,
              0.45967,
              0.54012,
              0.638,
              0.75499,
              0.89431,
              1.06248,
              1.26355,
              1.50567
            ],
            [
              0.06085,
              0.33648,
              0.39253,
              0.45936,
              0.54101,
              0.63833,
              0.7551,
              0.89487,
              1.06241,
              1.26383,
              1.50603
            ],
            [
              0.06085,
              0.33668,
              0.39243,
              0.46008,
              0.54123,
              0.63677,
              0.75497,
              0.89443,
              1.06279,
              1.26407,
              1.50547
            ],
            [
              0.06082,
              0.33666,
              0.39331,
              0.45996,
              0.54042,
              0.63717,
              0.755,
              0.89405,
              1.06272,
              1.2639,
              1.50519
            ],
            [
              0.06084,
              0.33665,
              0.39325,
              0.45996,
              0.54031,
              0.63706,
              0.75497,
              0.89395,
              1.06261,
              1.26379,
              1.50535
            ],
            [
              0.06084,
              0.33667,
              0.39243,
              0.46037,
              0.541,
              0.63843,
              0.75449,
              0.89469,
              1.06277,
              1.26402,
              1.50605
            ],
            [
              0.06082,
              0.33733,
              0.39307,
              0.45967,
              0.54006,
              0.63781,
              0.75496,
              0.89436,
              1.06242,
              1.26338,
              1.50575
            ],
            [
              0.06082,
              0.33668,
              0.39238,
              0.46044,
              0.54103,
              0.63841,
              0.75441,
              0.89466,
              1.06278,
              1.2641,
              1.506
            ],
            [
              0.06077,
              0.33668,
              0.39238,
              0.46032,
              0.5409,
              0.6383,
              0.7551,
              0.8948,
              1.0626,
              1.2638,
              1.5061
            ],
            [
              0.0612,
              0.3372,
              0.3923,
              0.4603,
              0.5401,
              0.6383,
              0.7548,
              0.8946,
              1.0622,
              1.2638,
              1.506
            ],
            [
              0.0632,
              0.3374,
              0.3933,
              0.4601,
              0.5414,
              0.6377,
              0.7549,
              0.8944,
              1.0622,
              1.2641,
              1.5052
            ],
            [
              0.0658,
              0.3385,
              0.3937,
              0.4606,
              0.5413,
              0.6384,
              0.7546,
              0.8947,
              1.0621,
              1.2637,
              1.5054
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.92631,
              1.14837,
              1.18007,
              1.21617,
              1.25767,
              1.30527,
              1.36047,
              1.42467,
              1.49977,
              1.58817,
              1.69307
            ],
            [
              0.92998,
              1.15214,
              1.18374,
              1.21984,
              1.26134,
              1.30894,
              1.36414,
              1.42834,
              1.50354,
              1.59184,
              1.69674
            ],
            [
              0.93465,
              1.15682,
              1.18852,
              1.22462,
              1.26602,
              1.31362,
              1.36882,
              1.43302,
              1.50822,
              1.59662,
              1.70142
            ],
            [
              0.942,
              1.16418,
              1.19588,
              1.23198,
              1.27338,
              1.32098,
              1.37617,
              1.44037,
              1.51558,
              1.60398,
              1.70878
            ],
            [
              0.95341,
              1.17541,
              1.20711,
              1.24331,
              1.28471,
              1.33231,
              1.38761,
              1.45171,
              1.52701,
              1.61541,
              1.72011
            ],
            [
              0.97082,
              1.19292,
              1.22462,
              1.26072,
              1.30222,
              1.34992,
              1.40512,
              1.46932,
              1.54442,
              1.63292,
              1.73762
            ],
            [
              0.99753,
              1.21963,
              1.25133,
              1.28743,
              1.32893,
              1.37653,
              1.43173,
              1.49593,
              1.57113,
              1.65953,
              1.76423
            ],
            [
              1.03796,
              1.25996,
              1.29166,
              1.32786,
              1.36926,
              1.41696,
              1.47216,
              1.53636,
              1.61156,
              1.70006,
              1.80476
            ],
            [
              1.09915,
              1.32115,
              1.35285,
              1.38895,
              1.43045,
              1.47815,
              1.53335,
              1.59755,
              1.67265,
              1.76115,
              1.86585
            ],
            [
              1.18949,
              1.41139,
              1.44309,
              1.47919,
              1.52069,
              1.56829,
              1.62349,
              1.68769,
              1.76289,
              1.85139,
              1.95609
            ],
            [
              1.32182,
              1.54372,
              1.57532,
              1.61142,
              1.65292,
              1.70062,
              1.75582,
              1.82002,
              1.89522,
              1.98372,
              2.08842
            ],
            [
              1.51797,
              1.73957,
              1.77127,
              1.80737,
              1.84887,
              1.89657,
              1.95177,
              2.01597,
              2.09117,
              2.17967,
              2.28447
            ],
            [
              1.8097,
              2.031,
              2.0627,
              2.0988,
              2.1403,
              2.188,
              2.2432,
              2.3075,
              2.3827,
              2.4712,
              2.5761
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.3006,
              0.54027,
              0.58409,
              0.63656,
              0.69956,
              0.77465,
              0.86504,
              0.97302,
              1.10257,
              1.25767,
              1.44327
            ],
            [
              0.30426,
              0.54394,
              0.58786,
              0.64038,
              0.70326,
              0.77821,
              0.86868,
              0.9767,
              1.10624,
              1.26124,
              1.44714
            ],
            [
              0.30852,
              0.5483,
              0.59226,
              0.64466,
              0.70753,
              0.78251,
              0.87276,
              0.98102,
              1.11062,
              1.26562,
              1.45152
            ],
            [
              0.31466,
              0.55446,
              0.59837,
              0.65092,
              0.71379,
              0.78904,
              0.87901,
              0.98718,
              1.11678,
              1.27188,
              1.45748
            ],
            [
              0.32356,
              0.56338,
              0.60735,
              0.65988,
              0.72277,
              0.79771,
              0.88816,
              0.99621,
              1.12571,
              1.28081,
              1.46641
            ],
            [
              0.33663,
              0.57653,
              0.62048,
              0.67299,
              0.73588,
              0.81112,
              0.90115,
              1.00892,
              1.13892,
              1.29342,
              1.47902
            ],
            [
              0.35611,
              0.59586,
              0.63988,
              0.69242,
              0.75542,
              0.83066,
              0.92073,
              1.02873,
              1.15813,
              1.31343,
              1.49913
            ],
            [
              0.38525,
              0.6248,
              0.66881,
              0.72138,
              0.78442,
              0.85966,
              0.94986,
              1.05796,
              1.18746,
              1.34266,
              1.52826
            ],
            [
              0.4288,
              0.66814,
              0.71212,
              0.76465,
              0.82765,
              0.90285,
              0.99335,
              1.10095,
              1.23055,
              1.38555,
              1.57115
            ],
            [
              0.49383,
              0.73259,
              0.77679,
              0.82939,
              0.89239,
              0.96769,
              1.05819,
              1.16579,
              1.29589,
              1.45119,
              1.63709
            ],
            [
              0.58912,
              0.82802,
              0.87212,
              0.92472,
              0.98782,
              1.06292,
              1.15342,
              1.26152,
              1.39162,
              1.54682,
              1.73192
            ],
            [
              0.72057,
              0.96147,
              1.00557,
              1.05827,
              1.12117,
              1.19687,
              1.28697,
              1.39557,
              1.52477,
              1.68057,
              1.86687
            ],
            [
              0.8986,
              1.1427,
              1.1871,
              1.2397,
              1.3027,
              1.3783,
              1.4687,
              1.5765,
              1.7067,
              1.8616,
              2.0483
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.08604,
              0.2575,
              0.2865,
              0.3209,
              0.3618,
              0.4107,
              0.4698,
              0.541,
              0.6268,
              0.7313,
              0.8587
            ],
            [
              0.08602,
              0.2575,
              0.2864,
              0.3208,
              0.3618,
              0.4107,
              0.4698,
              0.5409,
              0.6271,
              0.7313,
              0.8587
            ],
            [
              0.08601,
              0.2575,
              0.2865,
              0.3208,
              0.3617,
              0.4107,
              0.4698,
              0.5407,
              0.6273,
              0.7312,
              0.8587
            ],
            [
              0.08602,
              0.2575,
              0.2865,
              0.3208,
              0.3618,
              0.4107,
              0.4698,
              0.541,
              0.6272,
              0.7313,
              0.8588
            ],
            [
              0.08609,
              0.2576,
              0.2865,
              0.3208,
              0.3617,
              0.4107,
              0.4699,
              0.5408,
              0.6272,
              0.7316,
              0.8585
            ],
            [
              0.08605,
              0.2575,
              0.2866,
              0.3209,
              0.3617,
              0.4107,
              0.4696,
              0.5409,
              0.6267,
              0.7316,
              0.8585
            ],
            [
              0.086,
              0.2576,
              0.2865,
              0.3209,
              0.3618,
              0.4107,
              0.4698,
              0.5409,
              0.6272,
              0.7313,
              0.8585
            ],
            [
              0.0861,
              0.2576,
              0.2865,
              0.3209,
              0.3617,
              0.4107,
              0.4698,
              0.5408,
              0.6273,
              0.7317,
              0.8585
            ],
            [
              0.086,
              0.2576,
              0.2865,
              0.3208,
              0.3617,
              0.4108,
              0.4696,
              0.5409,
              0.6268,
              0.7316,
              0.8585
            ],
            [
              0.086,
              0.2576,
              0.2865,
              0.3208,
              0.3618,
              0.4108,
              0.4696,
              0.5409,
              0.6267,
              0.7316,
              0.8585
            ],
            [
              0.086,
              0.2577,
              0.2865,
              0.3209,
              0.3618,
              0.4109,
              0.4697,
              0.541,
              0.6267,
              0.7316,
              0.8585
            ],
            [
              0.086,
              0.2578,
              0.2866,
              0.3209,
              0.3619,
              0.4109,
              0.4696,
              0.541,
              0.6268,
              0.7316,
              0.8586
            ],
            [
              0.0862,
              0.2579,
              0.2869,
              0.3211,
              0.3621,
              0.4111,
              0.4698,
              0.541,
              0.6268,
              0.7314,
              0.8588
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.06279,
              0.33611,
              0.39174,
              0.459,
              0.53903,
              0.6366,
              0.75286,
              0.89295,
              1.06076,
              1.26188,
              1.50339
            ],
            [
              0.06279,
              0.33608,
              0.39222,
              0.45878,
              0.53968,
              0.63679,
              0.75245,
              0.89283,
              1.06093,
              1.26236,
              1.50309
            ],
            [
              0.06279,
              0.33656,
              0.39162,
              0.45881,
              0.53984,
              0.63675,
              0.75313,
              0.89311,
              1.06072,
              1.26226,
              1.50341
            ],
            [
              0.06279,
              0.33609,
              0.3922,
              0.45838,
              0.539,
              0.63617,
              0.75308,
              0.89307,
              1.06058,
              1.26215,
              1.50309
            ],
            [
              0.06278,
              0.33606,
              0.39222,
              0.45878,
              0.53964,
              0.63675,
              0.75261,
              0.8928,
              1.06083,
              1.2622,
              1.50319
            ],
            [
              0.06279,
              0.33649,
              0.39226,
              0.45896,
              0.53971,
              0.63629,
              0.75329,
              0.89284,
              1.06078,
              1.26171,
              1.50421
            ],
            [
              0.06279,
              0.33603,
              0.39219,
              0.45877,
              0.53944,
              0.6361,
              0.75337,
              0.89306,
              1.06107,
              1.2624,
              1.50436
            ],
            [
              0.06278,
              0.33584,
              0.39218,
              0.45834,
              0.53977,
              0.63629,
              0.75351,
              0.89287,
              1.06096,
              1.26213,
              1.5033
            ],
            [
              0.06282,
              0.33656,
              0.39224,
              0.45895,
              0.53974,
              0.63663,
              0.75299,
              0.89317,
              1.06063,
              1.2618,
              1.5041
            ],
            [
              0.06288,
              0.33595,
              0.39221,
              0.45888,
              0.5389,
              0.6366,
              0.7534,
              0.893,
              1.061,
              1.2622,
              1.5031
            ],
            [
              0.0637,
              0.3362,
              0.3923,
              0.4584,
              0.539,
              0.6368,
              0.7533,
              0.8931,
              1.0609,
              1.2615,
              1.5039
            ],
            [
              0.0662,
              0.3372,
              0.3928,
              0.4592,
              0.54,
              0.6366,
              0.7534,
              0.8929,
              1.061,
              1.2623,
              1.5031
            ],
            [
              0.0693,
              0.3385,
              0.3939,
              0.4601,
              0.5407,
              0.6373,
              0.7531,
              0.8934,
              1.0607,
              1.2623,
              1.5033
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.81388,
              1.05577,
              1.09097,
              1.13077,
              1.17587,
              1.22727,
              1.28607,
              1.35387,
              1.43227,
              1.52347,
              1.63057
            ],
            [
              0.81685,
              1.05884,
              1.09404,
              1.13374,
              1.17904,
              1.23044,
              1.28924,
              1.35704,
              1.43544,
              1.52664,
              1.63374
            ],
            [
              0.81981,
              1.06182,
              1.09692,
              1.13672,
              1.18202,
              1.23342,
              1.29232,
              1.36002,
              1.43852,
              1.52962,
              1.63672
            ],
            [
              0.82413,
              1.06618,
              1.10137,
              1.14108,
              1.18638,
              1.23778,
              1.29658,
              1.36438,
              1.44278,
              1.53398,
              1.64108
            ],
            [
              0.83115,
              1.07301,
              1.10821,
              1.14801,
              1.19331,
              1.24471,
              1.30361,
              1.37141,
              1.44981,
              1.54101,
              1.64811
            ],
            [
              0.84276,
              1.08442,
              1.11962,
              1.15942,
              1.20472,
              1.25612,
              1.31502,
              1.38272,
              1.46122,
              1.55252,
              1.65952
            ],
            [
              0.86209,
              1.10353,
              1.13883,
              1.17863,
              1.22393,
              1.27523,
              1.33413,
              1.40193,
              1.48033,
              1.57163,
              1.67873
            ],
            [
              0.89386,
              1.13516,
              1.17036,
              1.21016,
              1.25536,
              1.30676,
              1.36576,
              1.43346,
              1.51186,
              1.60316,
              1.71026
            ],
            [
              0.94535,
              1.18635,
              1.22155,
              1.26125,
              1.30645,
              1.35785,
              1.41675,
              1.48445,
              1.56295,
              1.65425,
              1.76135
            ],
            [
              1.02629,
              1.26739,
              1.30259,
              1.34229,
              1.38749,
              1.43889,
              1.49779,
              1.56549,
              1.64399,
              1.73529,
              1.84249
            ],
            [
              1.15232,
              1.39272,
              1.42782,
              1.46742,
              1.51262,
              1.56402,
              1.62292,
              1.69072,
              1.76922,
              1.86052,
              1.96762
            ],
            [
              1.34587,
              1.58587,
              1.62087,
              1.66057,
              1.70567,
              1.75707,
              1.81607,
              1.88377,
              1.96227,
              2.05367,
              2.16087
            ],
            [
              1.6399,
              1.8787,
              1.9137,
              1.9533,
              1.9984,
              2.0497,
              2.1087,
              2.1765,
              2.255,
              2.3464,
              2.4537
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.29525,
              0.53432,
              0.57787,
              0.62961,
              0.69221,
              0.76671,
              0.85632,
              0.96389,
              1.09247,
              1.24647,
              1.43287
            ],
            [
              0.29892,
              0.53818,
              0.58175,
              0.63359,
              0.6961,
              0.77074,
              0.8602,
              0.96725,
              1.09604,
              1.25094,
              1.43594
            ],
            [
              0.30324,
              0.54281,
              0.58628,
              0.63823,
              0.70042,
              0.7753,
              0.86457,
              0.97235,
              1.10132,
              1.25572,
              1.44062
            ],
            [
              0.30967,
              0.54927,
              0.59293,
              0.64487,
              0.7071,
              0.78185,
              0.87145,
              0.97828,
              1.10768,
              1.26238,
              1.44688
            ],
            [
              0.31907,
              0.55899,
              0.60256,
              0.65454,
              0.71706,
              0.7915,
              0.88082,
              0.98851,
              1.11691,
              1.27141,
              1.45711
            ],
            [
              0.33293,
              0.57275,
              0.61654,
              0.66864,
              0.7311,
              0.80579,
              0.89532,
              1.00292,
              1.13172,
              1.28542,
              1.47142
            ],
            [
              0.35354,
              0.5933,
              0.63716,
              0.68922,
              0.75173,
              0.8266,
              0.91623,
              1.02383,
              1.15253,
              1.30693,
              1.49203
            ],
            [
              0.38437,
              0.62383,
              0.6677,
              0.71996,
              0.78255,
              0.85726,
              0.94736,
              1.05486,
              1.18336,
              1.33746,
              1.52406
            ],
            [
              0.43076,
              0.66971,
              0.71365,
              0.76585,
              0.82865,
              0.90365,
              0.99345,
              1.10135,
              1.23015,
              1.38425,
              1.57085
            ],
            [
              0.50099,
              0.73979,
              0.78359,
              0.83589,
              0.89859,
              0.97389,
              1.06359,
              1.17129,
              1.30099,
              1.45579,
              1.64139
            ],
            [
              0.60322,
              0.84252,
              0.88642,
              0.93862,
              1.00142,
              1.07662,
              1.16662,
              1.27452,
              1.40382,
              1.55822,
              1.74512
            ],
            [
              0.73687,
              0.98167,
              1.02577,
              1.07807,
              1.14077,
              1.21607,
              1.30607,
              1.41417,
              1.54357,
              1.69887,
              1.88417
            ],
            [
              0.9119,
              1.1621,
              1.2066,
              1.2599,
              1.3234,
              1.3988,
              1.4892,
              1.597,
              1.7261,
              1.8816,
              2.0671
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.08411,
              0.28147,
              0.31241,
              0.34814,
              0.39012,
              0.4396,
              0.4983,
              0.5684,
              0.653,
              0.7549,
              0.8792
            ],
            [
              0.08411,
              0.28152,
              0.31236,
              0.34812,
              0.39008,
              0.4395,
              0.4983,
              0.5684,
              0.653,
              0.7548,
              0.8791
            ],
            [
              0.0841,
              0.28144,
              0.31237,
              0.34814,
              0.3901,
              0.4395,
              0.4982,
              0.5685,
              0.653,
              0.7547,
              0.8789
            ],
            [
              0.08407,
              0.2815,
              0.31229,
              0.34816,
              0.3901,
              0.4395,
              0.4982,
              0.5684,
              0.653,
              0.7548,
              0.8791
            ],
            [
              0.0841,
              0.28151,
              0.31228,
              0.3481,
              0.3901,
              0.4394,
              0.4982,
              0.5684,
              0.653,
              0.7547,
              0.8787
            ],
            [
              0.0841,
              0.2815,
              0.3123,
              0.3481,
              0.3901,
              0.4394,
              0.4979,
              0.5685,
              0.6528,
              0.7551,
              0.8788
            ],
            [
              0.08412,
              0.2813,
              0.3123,
              0.348,
              0.39,
              0.4394,
              0.4981,
              0.5683,
              0.6527,
              0.7551,
              0.8783
            ],
            [
              0.084,
              0.2813,
              0.3122,
              0.3481,
              0.3901,
              0.4393,
              0.4982,
              0.5682,
              0.6527,
              0.755,
              0.8784
            ],
            [
              0.084,
              0.2812,
              0.3123,
              0.348,
              0.3899,
              0.4392,
              0.4978,
              0.5681,
              0.6525,
              0.755,
              0.8788
            ],
            [
              0.084,
              0.2812,
              0.3121,
              0.3479,
              0.3899,
              0.4392,
              0.4979,
              0.5683,
              0.6529,
              0.7548,
              0.8787
            ],
            [
              0.0841,
              0.2812,
              0.312,
              0.3479,
              0.3898,
              0.4393,
              0.498,
              0.5682,
              0.6529,
              0.7546,
              0.8783
            ],
            [
              0.0839,
              0.2811,
              0.3121,
              0.3479,
              0.3899,
              0.4391,
              0.498,
              0.568,
              0.6528,
              0.7548,
              0.8789
            ],
            [
              0.084,
              0.2811,
              0.3121,
              0.3479,
              0.3898,
              0.4392,
              0.4979,
              0.5683,
              0.6528,
              0.7545,
              0.8788
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.06341,
              0.33496,
              0.39082,
              0.45747,
              0.53791,
              0.63484,
              0.75139,
              0.89095,
              1.05863,
              1.26015,
              1.50109
            ],
            [
              0.0634,
              0.33494,
              0.39081,
              0.45729,
              0.53786,
              0.6343,
              0.75138,
              0.89109,
              1.05887,
              1.25948,
              1.50184
            ],
            [
              0.0634,
              0.33533,
              0.39081,
              0.45711,
              0.53823,
              0.63432,
              0.7513,
              0.89086,
              1.05868,
              1.25915,
              1.50168
            ],
            [
              0.06341,
              0.33487,
              0.39027,
              0.45711,
              0.53812,
              0.63461,
              0.75147,
              0.89101,
              1.05817,
              1.25908,
              1.50182
            ],
            [
              0.06341,
              0.33529,
              0.39081,
              0.45724,
              0.53732,
              0.63491,
              0.75124,
              0.89054,
              1.05891,
              1.25999,
              1.50222
            ],
            [
              0.06339,
              0.33482,
              0.39078,
              0.45676,
              0.53812,
              0.63454,
              0.7513,
              0.89013,
              1.05814,
              1.26016,
              1.50138
            ],
            [
              0.06339,
              0.33492,
              0.39025,
              0.4572,
              0.5382,
              0.63454,
              0.75133,
              0.89095,
              1.05842,
              1.25965,
              1.50218
            ],
            [
              0.0634,
              0.33487,
              0.39073,
              0.45677,
              0.53789,
              0.63476,
              0.75078,
              0.89085,
              1.05905,
              1.26023,
              1.50222
            ],
            [
              0.06353,
              0.33493,
              0.3908,
              0.4573,
              0.53821,
              0.63434,
              0.75131,
              0.89089,
              1.05903,
              1.2603,
              1.5022
            ],
            [
              0.06366,
              0.33479,
              0.39084,
              0.45738,
              0.5382,
              0.6344,
              0.7513,
              0.8908,
              1.058,
              1.2593,
              1.501
            ],
            [
              0.0652,
              0.3355,
              0.3909,
              0.4576,
              0.5382,
              0.6347,
              0.7511,
              0.8908,
              1.0586,
              1.2603,
              1.5022
            ],
            [
              0.0693,
              0.3378,
              0.3928,
              0.4586,
              0.5386,
              0.6351,
              0.7514,
              0.8906,
              1.059,
              1.2594,
              1.5017
            ],
            [
              0.0738,
              0.3432,
              0.3976,
              0.4635,
              0.5427,
              0.6386,
              0.7544,
              0.8925,
              1.06,
              1.2599,
              1.5021
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.81008,
              1.08687,
              1.12777,
              1.17337,
              1.22437,
              1.28137,
              1.34597,
              1.41907,
              1.50267,
              1.59867,
              1.70997
            ],
            [
              0.8128,
              1.08954,
              1.13054,
              1.17604,
              1.22704,
              1.28414,
              1.34874,
              1.42184,
              1.50544,
              1.60144,
              1.71284
            ],
            [
              0.81541,
              1.09242,
              1.13332,
              1.17872,
              1.22982,
              1.28682,
              1.35142,
              1.42452,
              1.50822,
              1.60422,
              1.71552
            ],
            [
              0.8193,
              1.09618,
              1.13708,
              1.18258,
              1.23368,
              1.29078,
              1.35537,
              1.42858,
              1.51218,
              1.60817,
              1.71948
            ],
            [
              0.82584,
              1.10271,
              1.14361,
              1.18911,
              1.24021,
              1.29731,
              1.36191,
              1.43511,
              1.51871,
              1.61471,
              1.72611
            ],
            [
              0.83725,
              1.11382,
              1.15472,
              1.20022,
              1.25142,
              1.30862,
              1.37312,
              1.44632,
              1.52992,
              1.62602,
              1.73742
            ],
            [
              0.85674,
              1.13303,
              1.17393,
              1.21943,
              1.27053,
              1.32773,
              1.39233,
              1.46553,
              1.54913,
              1.64523,
              1.75663
            ],
            [
              0.88916,
              1.16526,
              1.20606,
              1.25156,
              1.30256,
              1.35976,
              1.42436,
              1.49756,
              1.58126,
              1.67736,
              1.78876
            ],
            [
              0.94195,
              1.21755,
              1.25845,
              1.30385,
              1.35495,
              1.41215,
              1.47675,
              1.54995,
              1.63365,
              1.72975,
              1.84125
            ],
            [
              1.02559,
              1.30029,
              1.34099,
              1.38649,
              1.43749,
              1.49479,
              1.55929,
              1.63259,
              1.71629,
              1.81239,
              1.92389
            ],
            [
              1.15462,
              1.42962,
              1.47032,
              1.51582,
              1.56682,
              1.62392,
              1.68862,
              1.76192,
              1.84562,
              1.94172,
              2.05322
            ],
            [
              1.35357,
              1.62787,
              1.66847,
              1.71397,
              1.76497,
              1.82217,
              1.88677,
              1.96017,
              2.04387,
              2.14007,
              2.25157
            ],
            [
              1.655,
              1.9282,
              1.9689,
              2.0143,
              2.0653,
              2.1225,
              2.1872,
              2.2606,
              2.3443,
              2.4405,
              2.5521
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.31011,
              0.55036,
              0.59415,
              0.64654,
              0.70954,
              0.78492,
              0.87499,
              0.98297,
              1.11167,
              1.26687,
              1.45287
            ],
            [
              0.31411,
              0.55433,
              0.59842,
              0.65089,
              0.71379,
              0.78899,
              0.87907,
              0.98654,
              1.11664,
              1.27174,
              1.45734
            ],
            [
              0.31877,
              0.55912,
              0.60306,
              0.65565,
              0.71854,
              0.79356,
              0.88401,
              0.99172,
              1.12112,
              1.27632,
              1.46222
            ],
            [
              0.32558,
              0.56603,
              0.6101,
              0.66258,
              0.72557,
              0.80051,
              0.89099,
              0.99877,
              1.12798,
              1.28308,
              1.46828
            ],
            [
              0.33547,
              0.57606,
              0.61998,
              0.67255,
              0.73557,
              0.81066,
              0.90099,
              1.00861,
              1.13811,
              1.29321,
              1.47861
            ],
            [
              0.3499,
              0.59052,
              0.63453,
              0.68724,
              0.7502,
              0.82525,
              0.91573,
              1.02342,
              1.15272,
              1.30812,
              1.49352
            ],
            [
              0.37113,
              0.61165,
              0.65573,
              0.70838,
              0.77152,
              0.84685,
              0.93663,
              1.04513,
              1.17443,
              1.32963,
              1.51543
            ],
            [
              0.40273,
              0.64305,
              0.68719,
              0.73982,
              0.80298,
              0.87826,
              0.96806,
              1.07676,
              1.20626,
              1.36076,
              1.54716
            ],
            [
              0.44992,
              0.68949,
              0.73383,
              0.78635,
              0.84965,
              0.92475,
              1.01535,
              1.12365,
              1.25325,
              1.40775,
              1.59465
            ],
            [
              0.52084,
              0.75979,
              0.80399,
              0.85659,
              0.91969,
              0.99529,
              1.08549,
              1.19409,
              1.32399,
              1.47899,
              1.66549
            ],
            [
              0.62652,
              0.86522,
              0.90932,
              0.96202,
              1.02522,
              1.10072,
              1.19112,
              1.29952,
              1.42952,
              1.58492,
              1.77082
            ],
            [
              0.76747,
              1.01027,
              1.05437,
              1.10677,
              1.17017,
              1.24547,
              1.33607,
              1.44427,
              1.57437,
              1.72947,
              1.91597
            ],
            [
              0.9514,
              1.1989,
              1.2437,
              1.297,
              1.3605,
              1.436,
              1.5263,
              1.6348,
              1.7645,
              1.9197,
              2.1063
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.09132,
              0.32357,
              0.35723,
              0.39504,
              0.43825,
              0.488,
              0.5461,
              0.6148,
              0.6969,
              0.7964,
              0.9167
            ],
            [
              0.09145,
              0.32359,
              0.35721,
              0.39507,
              0.4384,
              0.4881,
              0.5462,
              0.615,
              0.6974,
              0.7962,
              0.9161
            ],
            [
              0.09139,
              0.32352,
              0.35718,
              0.3951,
              0.4384,
              0.488,
              0.5462,
              0.6149,
              0.6971,
              0.7962,
              0.9163
            ],
            [
              0.0913,
              0.3236,
              0.35726,
              0.395,
              0.4383,
              0.488,
              0.5461,
              0.6148,
              0.6969,
              0.7964,
              0.9166
            ],
            [
              0.09141,
              0.32351,
              0.3572,
              0.3952,
              0.4383,
              0.488,
              0.5461,
              0.6148,
              0.6969,
              0.796,
              0.9163
            ],
            [
              0.0913,
              0.3235,
              0.3572,
              0.3951,
              0.4383,
              0.4879,
              0.5461,
              0.6149,
              0.6973,
              0.7959,
              0.9164
            ],
            [
              0.09125,
              0.3234,
              0.3571,
              0.3951,
              0.4383,
              0.488,
              0.546,
              0.6148,
              0.6973,
              0.7959,
              0.9165
            ],
            [
              0.0913,
              0.3235,
              0.3571,
              0.3949,
              0.4383,
              0.4881,
              0.5461,
              0.6148,
              0.6973,
              0.7959,
              0.9163
            ],
            [
              0.0913,
              0.3233,
              0.3571,
              0.395,
              0.4382,
              0.488,
              0.546,
              0.6149,
              0.6972,
              0.796,
              0.9162
            ],
            [
              0.0912,
              0.3233,
              0.357,
              0.395,
              0.4382,
              0.4879,
              0.546,
              0.6148,
              0.6972,
              0.7958,
              0.9163
            ],
            [
              0.0912,
              0.3233,
              0.357,
              0.395,
              0.4382,
              0.4879,
              0.5459,
              0.6146,
              0.6971,
              0.7958,
              0.9161
            ],
            [
              0.0912,
              0.3233,
              0.3571,
              0.3951,
              0.4384,
              0.488,
              0.5461,
              0.6147,
              0.6972,
              0.7958,
              0.9162
            ],
            [
              0.0913,
              0.3235,
              0.3572,
              0.3951,
              0.4384,
              0.488,
              0.5463,
              0.6147,
              0.6972,
              0.796,
              0.916
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.06269,
              0.33592,
              0.39173,
              0.45918,
              0.53902,
              0.6364,
              0.75359,
              0.89302,
              1.06112,
              1.26198,
              1.50443
            ],
            [
              0.06268,
              0.33604,
              0.39162,
              0.4588,
              0.53907,
              0.63634,
              0.75344,
              0.89316,
              1.06028,
              1.26169,
              1.50339
            ],
            [
              0.0627,
              0.33607,
              0.39218,
              0.45898,
              0.53976,
              0.63666,
              0.75313,
              0.89309,
              1.06058,
              1.26119,
              1.50312
            ],
            [
              0.06271,
              0.3365,
              0.39161,
              0.45888,
              0.53945,
              0.63675,
              0.75291,
              0.89306,
              1.06078,
              1.26157,
              1.50403
            ],
            [
              0.06268,
              0.33592,
              0.39217,
              0.45837,
              0.53981,
              0.63668,
              0.75354,
              0.89313,
              1.0605,
              1.26149,
              1.50384
            ],
            [
              0.0627,
              0.33651,
              0.39217,
              0.45842,
              0.53962,
              0.63667,
              0.7531,
              0.89315,
              1.06065,
              1.26151,
              1.50376
            ],
            [
              0.06275,
              0.33604,
              0.39142,
              0.45886,
              0.53973,
              0.6364,
              0.75328,
              0.8929,
              1.06102,
              1.26172,
              1.50309
            ],
            [
              0.06267,
              0.33605,
              0.39226,
              0.45878,
              0.53981,
              0.63672,
              0.75334,
              0.89292,
              1.06096,
              1.26236,
              1.5044
            ],
            [
              0.06265,
              0.33589,
              0.39155,
              0.45907,
              0.53943,
              0.63692,
              0.75298,
              0.89288,
              1.061,
              1.2624,
              1.5042
            ],
            [
              0.06269,
              0.33603,
              0.39219,
              0.4589,
              0.5389,
              0.6363,
              0.7531,
              0.8928,
              1.0608,
              1.2624,
              1.5041
            ],
            [
              0.0633,
              0.3365,
              0.3921,
              0.4584,
              0.5394,
              0.636,
              0.7533,
              0.8928,
              1.0604,
              1.2618,
              1.5033
            ],
            [
              0.067,
              0.3371,
              0.3928,
              0.4593,
              0.5391,
              0.6366,
              0.7528,
              0.8928,
              1.0602,
              1.2615,
              1.5042
            ],
            [
              0.0706,
              0.3427,
              0.3975,
              0.4637,
              0.5435,
              0.6392,
              0.7552,
              0.894,
              1.0608,
              1.2618,
              1.5037
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.92822,
              1.15057,
              1.18227,
              1.21827,
              1.25977,
              1.30737,
              1.36257,
              1.42667,
              1.50177,
              1.59017,
              1.69487
            ],
            [
              0.93128,
              1.15364,
              1.18534,
              1.22144,
              1.26294,
              1.31044,
              1.36574,
              1.42984,
              1.50494,
              1.59334,
              1.69804
            ],
            [
              0.93461,
              1.15702,
              1.18872,
              1.22482,
              1.26632,
              1.31392,
              1.36912,
              1.43322,
              1.50832,
              1.59672,
              1.70142
            ],
            [
              0.93963,
              1.16207,
              1.19378,
              1.22988,
              1.27138,
              1.31898,
              1.37417,
              1.43827,
              1.51338,
              1.60178,
              1.70648
            ],
            [
              0.94757,
              1.16991,
              1.20161,
              1.23771,
              1.27921,
              1.32691,
              1.38201,
              1.44621,
              1.52141,
              1.60981,
              1.71441
            ],
            [
              0.96032,
              1.18282,
              1.21452,
              1.25062,
              1.29212,
              1.33972,
              1.39502,
              1.45912,
              1.53432,
              1.62262,
              1.72742
            ],
            [
              0.98143,
              1.20363,
              1.23543,
              1.27163,
              1.31313,
              1.36073,
              1.41593,
              1.48013,
              1.55533,
              1.64363,
              1.74833
            ],
            [
              1.01526,
              1.23756,
              1.26926,
              1.30536,
              1.34696,
              1.39456,
              1.44976,
              1.51396,
              1.58906,
              1.67756,
              1.78226
            ],
            [
              1.06885,
              1.29005,
              1.32185,
              1.35795,
              1.39945,
              1.44705,
              1.50225,
              1.56645,
              1.64165,
              1.73005,
              1.83475
            ],
            [
              1.15199,
              1.37399,
              1.40569,
              1.44179,
              1.48319,
              1.53089,
              1.58609,
              1.65029,
              1.72549,
              1.81379,
              1.91869
            ],
            [
              1.28182,
              1.50362,
              1.53532,
              1.57142,
              1.61292,
              1.66052,
              1.71572,
              1.77992,
              1.85512,
              1.94362,
              2.04832
            ],
            [
              1.48007,
              1.70177,
              1.73347,
              1.76947,
              1.81097,
              1.85867,
              1.91387,
              1.97807,
              2.05337,
              2.14177,
              2.24647
            ],
            [
              1.7807,
              2.0018,
              2.0335,
              2.0696,
              2.111,
              2.1587,
              2.2139,
              2.2782,
              2.3535,
              2.442,
              2.5468
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.28503,
              0.52341,
              0.56689,
              0.61877,
              0.68127,
              0.75563,
              0.8454,
              0.95304,
              1.08177,
              1.23667,
              1.42237
            ],
            [
              0.28894,
              0.52756,
              0.57104,
              0.62282,
              0.68536,
              0.75973,
              0.84959,
              0.95691,
              1.08604,
              1.24054,
              1.42624
            ],
            [
              0.29343,
              0.5323,
              0.5757,
              0.62743,
              0.69002,
              0.76444,
              0.85392,
              0.96174,
              1.09082,
              1.24532,
              1.43002
            ],
            [
              0.29979,
              0.53882,
              0.58215,
              0.63402,
              0.69644,
              0.77097,
              0.86076,
              0.96827,
              1.09668,
              1.25188,
              1.43627
            ],
            [
              0.30891,
              0.54796,
              0.59153,
              0.64332,
              0.70586,
              0.78017,
              0.86968,
              0.97711,
              1.10661,
              1.26021,
              1.44671
            ],
            [
              0.32216,
              0.5612,
              0.6048,
              0.65671,
              0.7193,
              0.7937,
              0.88351,
              0.99112,
              1.12012,
              1.27422,
              1.45892
            ],
            [
              0.3417,
              0.58076,
              0.62428,
              0.6763,
              0.73896,
              0.8136,
              0.90343,
              1.01093,
              1.13993,
              1.29453,
              1.47933
            ],
            [
              0.3707,
              0.60959,
              0.65327,
              0.70544,
              0.76798,
              0.84246,
              0.93236,
              1.04016,
              1.16896,
              1.32296,
              1.50886
            ],
            [
              0.41383,
              0.65261,
              0.69633,
              0.74852,
              0.81115,
              0.88605,
              0.97545,
              1.08345,
              1.21265,
              1.36735,
              1.55255
            ],
            [
              0.47814,
              0.71679,
              0.76049,
              0.81279,
              0.87559,
              0.95039,
              1.04029,
              1.14759,
              1.27739,
              1.43219,
              1.61739
            ],
            [
              0.57062,
              0.81042,
              0.85432,
              0.90642,
              0.96932,
              1.04442,
              1.13452,
              1.24232,
              1.37102,
              1.52652,
              1.71122
            ],
            [
              0.69547,
              0.94027,
              0.98437,
              1.03677,
              1.09947,
              1.17467,
              1.26467,
              1.37237,
              1.50187,
              1.65697,
              1.84187
            ],
            [
              0.8649,
              1.1141,
              1.1585,
              1.2118,
              1.275,
              1.3504,
              1.4408,
              1.5485,
              1.678,
              1.8326,
              2.0187
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.08607,
              0.2575,
              0.2864,
              0.3207,
              0.3617,
              0.4108,
              0.4696,
              0.5408,
              0.6267,
              0.7316,
              0.8585
            ],
            [
              0.08614,
              0.2575,
              0.2864,
              0.3208,
              0.3617,
              0.4108,
              0.4698,
              0.5409,
              0.6267,
              0.7317,
              0.8588
            ],
            [
              0.08616,
              0.2575,
              0.2865,
              0.3208,
              0.3618,
              0.4107,
              0.4695,
              0.5409,
              0.6267,
              0.7316,
              0.8586
            ],
            [
              0.08609,
              0.2575,
              0.2864,
              0.3208,
              0.3617,
              0.4107,
              0.4696,
              0.5409,
              0.6267,
              0.7316,
              0.8586
            ],
            [
              0.08599,
              0.2576,
              0.2865,
              0.3208,
              0.3617,
              0.4107,
              0.4696,
              0.5409,
              0.6267,
              0.7316,
              0.8585
            ],
            [
              0.08606,
              0.2575,
              0.2865,
              0.3208,
              0.3618,
              0.4107,
              0.4697,
              0.5407,
              0.6273,
              0.7314,
              0.8587
            ],
            [
              0.0861,
              0.2576,
              0.2865,
              0.3208,
              0.3619,
              0.4106,
              0.4698,
              0.5409,
              0.6272,
              0.7313,
              0.8585
            ],
            [
              0.086,
              0.2575,
              0.2865,
              0.3208,
              0.3618,
              0.4108,
              0.4696,
              0.5409,
              0.6268,
              0.7316,
              0.8586
            ],
            [
              0.0861,
              0.2576,
              0.2866,
              0.3209,
              0.3618,
              0.4108,
              0.4695,
              0.5409,
              0.6267,
              0.7316,
              0.8585
            ],
            [
              0.0861,
              0.2576,
              0.2866,
              0.3209,
              0.3619,
              0.4107,
              0.4698,
              0.5409,
              0.6272,
              0.7313,
              0.8587
            ],
            [
              0.086,
              0.2577,
              0.2866,
              0.321,
              0.3619,
              0.4109,
              0.4696,
              0.5409,
              0.6267,
              0.7317,
              0.8585
            ],
            [
              0.0861,
              0.2578,
              0.2867,
              0.321,
              0.362,
              0.411,
              0.47,
              0.541,
              0.6273,
              0.7317,
              0.8584
            ],
            [
              0.0862,
              0.258,
              0.287,
              0.3212,
              0.3621,
              0.4111,
              0.4698,
              0.5411,
              0.6269,
              0.7318,
              0.8586
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.06343,
              0.33499,
              0.39036,
              0.45757,
              0.53737,
              0.63496,
              0.75106,
              0.89019,
              1.05834,
              1.26034,
              1.50223
            ],
            [
              0.06343,
              0.33529,
              0.39029,
              0.45754,
              0.53774,
              0.63497,
              0.75076,
              0.89109,
              1.05803,
              1.25902,
              1.50126
            ],
            [
              0.06341,
              0.33536,
              0.39029,
              0.45743,
              0.53772,
              0.63489,
              0.75121,
              0.89025,
              1.05864,
              1.25971,
              1.50176
            ],
            [
              0.0634,
              0.33534,
              0.39015,
              0.45752,
              0.53798,
              0.63498,
              0.7508,
              0.89088,
              1.05868,
              1.25974,
              1.50184
            ],
            [
              0.0634,
              0.33484,
              0.39029,
              0.45753,
              0.53769,
              0.635,
              0.75124,
              0.89092,
              1.05848,
              1.26014,
              1.5021
            ],
            [
              0.06342,
              0.33493,
              0.39021,
              0.45754,
              0.53788,
              0.63496,
              0.75095,
              0.89031,
              1.05862,
              1.25945,
              1.50186
            ],
            [
              0.06342,
              0.33527,
              0.39011,
              0.45747,
              0.53772,
              0.63476,
              0.75101,
              0.89073,
              1.05853,
              1.25989,
              1.5016
            ],
            [
              0.06344,
              0.33529,
              0.39078,
              0.45684,
              0.53753,
              0.63499,
              0.75097,
              0.89063,
              1.05902,
              1.26001,
              1.50224
            ],
            [
              0.06353,
              0.33535,
              0.39083,
              0.4568,
              0.53732,
              0.63467,
              0.7513,
              0.89036,
              1.05813,
              1.2594,
              1.5014
            ],
            [
              0.0637,
              0.33543,
              0.39098,
              0.45677,
              0.53751,
              0.6347,
              0.7514,
              0.8909,
              1.058,
              1.2596,
              1.5014
            ],
            [
              0.0661,
              0.3356,
              0.3911,
              0.4576,
              0.5379,
              0.6344,
              0.7508,
              0.8904,
              1.0591,
              1.26,
              1.5018
            ],
            [
              0.0691,
              0.3382,
              0.3931,
              0.4592,
              0.5389,
              0.6346,
              0.7513,
              0.891,
              1.059,
              1.2593,
              1.5019
            ],
            [
              0.0729,
              0.3419,
              0.3965,
              0.4627,
              0.5425,
              0.6382,
              0.7537,
              0.893,
              1.0599,
              1.2605,
              1.5016
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.81133,
              1.08917,
              1.12977,
              1.17487,
              1.22557,
              1.28247,
              1.34677,
              1.41977,
              1.50317,
              1.59917,
              1.71037
            ],
            [
              0.81505,
              1.09304,
              1.13354,
              1.17874,
              1.22944,
              1.28634,
              1.35054,
              1.42354,
              1.50704,
              1.60294,
              1.71424
            ],
            [
              0.81934,
              1.09732,
              1.13792,
              1.18302,
              1.23382,
              1.29062,
              1.35492,
              1.42802,
              1.51142,
              1.60732,
              1.71862
            ],
            [
              0.82583,
              1.10378,
              1.14437,
              1.18958,
              1.24028,
              1.29718,
              1.36147,
              1.43458,
              1.51798,
              1.61388,
              1.72518
            ],
            [
              0.83589,
              1.11381,
              1.15441,
              1.19961,
              1.25041,
              1.30721,
              1.37161,
              1.44461,
              1.52811,
              1.62401,
              1.73531
            ],
            [
              0.8517,
              1.12962,
              1.17022,
              1.21542,
              1.26612,
              1.32302,
              1.38742,
              1.46032,
              1.54382,
              1.63982,
              1.75112
            ],
            [
              0.87669,
              1.15443,
              1.19503,
              1.24013,
              1.29093,
              1.34783,
              1.41223,
              1.48523,
              1.56873,
              1.66473,
              1.77593
            ],
            [
              0.91516,
              1.19286,
              1.23336,
              1.27856,
              1.32926,
              1.38616,
              1.45056,
              1.52356,
              1.60706,
              1.70306,
              1.81426
            ],
            [
              0.97435,
              1.25185,
              1.29235,
              1.33755,
              1.38835,
              1.44525,
              1.50965,
              1.58265,
              1.66625,
              1.76215,
              1.87345
            ],
            [
              1.06279,
              1.34009,
              1.38059,
              1.42569,
              1.47639,
              1.53329,
              1.59769,
              1.67079,
              1.75429,
              1.85019,
              1.96159
            ],
            [
              1.19362,
              1.47052,
              1.51102,
              1.55612,
              1.60692,
              1.66382,
              1.72822,
              1.80132,
              1.88492,
              1.98082,
              2.09212
            ],
            [
              1.38817,
              1.66437,
              1.70487,
              1.74997,
              1.80077,
              1.85767,
              1.92207,
              1.99527,
              2.07887,
              2.17487,
              2.28627
            ],
            [
              1.678,
              1.9535,
              1.9939,
              2.0391,
              2.0899,
              2.1468,
              2.2112,
              2.2844,
              2.368,
              2.4641,
              2.5755
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.31754,
              0.55521,
              0.59941,
              0.65196,
              0.71516,
              0.79018,
              0.88097,
              0.98916,
              1.11797,
              1.27307,
              1.46007
            ],
            [
              0.32121,
              0.55889,
              0.60315,
              0.65567,
              0.71891,
              0.79393,
              0.88474,
              0.99284,
              1.12174,
              1.27674,
              1.46364
            ],
            [
              0.32558,
              0.5633,
              0.60755,
              0.66017,
              0.72334,
              0.79855,
              0.88907,
              0.99682,
              1.12692,
              1.28202,
              1.46722
            ],
            [
              0.3321,
              0.56991,
              0.61421,
              0.66673,
              0.73001,
              0.80515,
              0.89577,
              1.00337,
              1.13348,
              1.28858,
              1.47398
            ],
            [
              0.34171,
              0.57958,
              0.62388,
              0.67649,
              0.73972,
              0.81492,
              0.9055,
              1.01321,
              1.14331,
              1.29831,
              1.48371
            ],
            [
              0.35599,
              0.5939,
              0.63826,
              0.6908,
              0.75413,
              0.8292,
              0.92004,
              1.02802,
              1.15722,
              1.31212,
              1.49872
            ],
            [
              0.37724,
              0.61528,
              0.65938,
              0.71226,
              0.77534,
              0.85094,
              0.94113,
              1.04943,
              1.17943,
              1.33463,
              1.52003
            ],
            [
              0.40894,
              0.64681,
              0.69105,
              0.74378,
              0.80705,
              0.88226,
              0.97296,
              1.08146,
              1.21066,
              1.36566,
              1.55246
            ],
            [
              0.4564,
              0.69389,
              0.73812,
              0.79085,
              0.85415,
              0.92945,
              1.02015,
              1.12875,
              1.25805,
              1.41315,
              1.60005
            ],
            [
              0.52765,
              0.76439,
              0.80869,
              0.86139,
              0.92479,
              0.99999,
              1.09109,
              1.19939,
              1.32859,
              1.48369,
              1.67069
            ],
            [
              0.63442,
              0.87072,
              0.91492,
              0.96762,
              1.03092,
              1.10622,
              1.19732,
              1.30582,
              1.43592,
              1.59122,
              1.77642
            ],
            [
              0.78047,
              1.01827,
              1.06237,
              1.11517,
              1.17847,
              1.25387,
              1.34457,
              1.45327,
              1.58317,
              1.73887,
              1.92517
            ],
            [
              0.9711,
              1.2118,
              1.2561,
              1.3091,
              1.3723,
              1.4476,
              1.5381,
              1.6468,
              1.7764,
              1.9324,
              2.1181
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.09143,
              0.32462,
              0.35785,
              0.3953,
              0.43802,
              0.4873,
              0.5453,
              0.614,
              0.6967,
              0.7958,
              0.9157
            ],
            [
              0.09145,
              0.32454,
              0.35777,
              0.39531,
              0.438,
              0.4875,
              0.5454,
              0.6142,
              0.6967,
              0.7956,
              0.9157
            ],
            [
              0.09138,
              0.32458,
              0.35784,
              0.39534,
              0.4381,
              0.4874,
              0.5454,
              0.614,
              0.6966,
              0.7956,
              0.916
            ],
            [
              0.09142,
              0.32459,
              0.35779,
              0.3953,
              0.438,
              0.4873,
              0.5453,
              0.614,
              0.6967,
              0.7959,
              0.9161
            ],
            [
              0.09138,
              0.32459,
              0.3579,
              0.3953,
              0.4381,
              0.4873,
              0.5453,
              0.6139,
              0.6962,
              0.7955,
              0.9159
            ],
            [
              0.09141,
              0.3245,
              0.3578,
              0.3953,
              0.438,
              0.4873,
              0.5453,
              0.6141,
              0.6966,
              0.7958,
              0.9156
            ],
            [
              0.09138,
              0.3245,
              0.3578,
              0.3953,
              0.438,
              0.4873,
              0.5452,
              0.6139,
              0.6962,
              0.7957,
              0.9159
            ],
            [
              0.0914,
              0.3245,
              0.3578,
              0.3952,
              0.4379,
              0.4873,
              0.5452,
              0.6139,
              0.6963,
              0.7957,
              0.916
            ],
            [
              0.0914,
              0.3245,
              0.3577,
              0.3952,
              0.4379,
              0.4872,
              0.5451,
              0.6138,
              0.6961,
              0.7957,
              0.9156
            ],
            [
              0.0914,
              0.3244,
              0.3577,
              0.3951,
              0.4379,
              0.4872,
              0.5451,
              0.6137,
              0.6964,
              0.7954,
              0.9158
            ],
            [
              0.0913,
              0.3244,
              0.3577,
              0.3952,
              0.4379,
              0.4872,
              0.5451,
              0.6137,
              0.6961,
              0.7956,
              0.9155
            ],
            [
              0.0912,
              0.3245,
              0.3577,
              0.3951,
              0.4379,
              0.4872,
              0.5451,
              0.6137,
              0.696,
              0.7956,
              0.9156
            ],
            [
              0.0913,
              0.3243,
              0.3576,
              0.3951,
              0.4379,
              0.4871,
              0.545,
              0.6137,
              0.6963,
              0.7952,
              0.9155
            ]
          ]
        },
        "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.00861,
            0.01033,
            0.01239,
            0.01487,
            0.01784,
            0.02141,
            0.02569,
            0.03083,
            0.03699,
            0.04439
          ],
          "values": [
            [
              0.06083,
              0.33668,
              0.39244,
              0.4604,
              0.54097,
              0.63849,
              0.75462,
              0.8947,
              1.06277,
              1.26408,
              1.50604
            ],
            [
              0.06085,
              0.33662,
              0.39245,
              0.46047,
              0.5409,
              0.63843,
              0.75484,
              0.89473,
              1.06273,
              1.26404,
              1.50609
            ],
            [
              0.06084,
              0.33727,
              0.39253,
              0.4594,
              0.54133,
              0.6382,
              0.75523,
              0.89473,
              1.0619,
              1.26334,
              1.50598
            ],
            [
              0.06086,
              0.33676,
              0.39255,
              0.45936,
              0.54114,
              0.63831,
              0.75514,
              0.89482,
              1.06203,
              1.26348,
              1.506
            ],
            [
              0.06084,
              0.33677,
              0.39254,
              0.45938,
              0.54124,
              0.6383,
              0.75522,
              0.89481,
              1.06201,
              1.26347,
              1.506
            ],
            [
              0.06086,
              0.33659,
              0.39245,
              0.4594,
              0.54075,
              0.63836,
              0.75492,
              0.89481,
              1.06265,
              1.26397,
              1.50602
            ],
            [
              0.06081,
              0.33668,
              0.39313,
              0.45962,
              0.54013,
              0.6381,
              0.75491,
              0.89425,
              1.06249,
              1.26354,
              1.50556
            ],
            [
              0.06082,
              0.33668,
              0.3924,
              0.46034,
              0.54114,
              0.63703,
              0.7546,
              0.8946,
              1.06276,
              1.26407,
              1.506
            ],
            [
              0.06083,
              0.33665,
              0.39242,
              0.46024,
              0.5411,
              0.63694,
              0.75477,
              0.89471,
              1.0628,
              1.2641,
              1.5058
            ],
            [
              0.06081,
              0.33657,
              0.39235,
              0.4604,
              0.5409,
              0.6383,
              0.7548,
              0.8947,
              1.0627,
              1.264,
              1.506
            ],
            [
              0.0609,
              0.3365,
              0.3927,
              0.4599,
              0.54,
              0.6382,
              0.7542,
              0.8945,
              1.0623,
              1.263,
              1.506
            ],
            [
              0.063,
              0.3373,
              0.3932,
              0.4594,
              0.5409,
              0.6379,
              0.7547,
              0.8945,
              1.0626,
              1.2639,
              1.505
            ],
            [
              0.0658,
              0.3393,
              0.3947,
              0.4616,
              0.5423,
              0.6385,
              0.7552,
              0.8942,
              1.0628,
              1.2628,
              1.5057
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  }
}