{
  "area": 12.7872,
  "cell_footprint": "sky130_fd_sc_lp__maj3",
  "cell_leakage_power": 0.0,
  "dont_touch": "true",
  "dont_use": "true",
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00307,
    "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.00249,
          0.00302,
          0.00182,
          0.00194,
          0.00175,
          0.00199,
          0.0019,
          0.00192,
          0.00193,
          0.0021,
          0.00216,
          0.00241,
          0.00256
        ]
      },
      "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.00107,
          0.00136,
          0.00119,
          0.00133,
          0.00136,
          0.0014,
          0.00141,
          0.00141,
          0.00141,
          0.00155,
          0.00157,
          0.00174,
          0.00184
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00308,
    "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.00122,
          0.00266,
          0.00148,
          0.00135,
          0.00133,
          0.00137,
          0.0014,
          0.0014,
          0.0014,
          0.00153,
          0.00153,
          0.00169,
          0.00175
        ]
      },
      "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.00281,
          0.0024,
          0.00248,
          0.00262,
          0.00234,
          0.00228,
          0.00227,
          0.00226,
          0.00229,
          0.00253,
          0.00259,
          0.00289,
          0.00305
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C": {
    "capacitance": 0.00353,
    "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.00206,
          0.00184,
          0.00196,
          0.00215,
          0.00182,
          0.00182,
          0.00181,
          0.00181,
          0.00181,
          0.002,
          0.00205,
          0.00228,
          0.00243
        ]
      },
      "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.00189,
          0.00376,
          0.0016,
          0.0015,
          0.00119,
          0.0015,
          0.00143,
          0.00146,
          0.00143,
          0.00155,
          0.00157,
          0.00175,
          0.00185
        ]
      }
    },
    "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.02,
              0.00902,
              0.00627,
              0.00283,
              -0.0015,
              -0.00692,
              -0.01372,
              -0.02223,
              -0.03288,
              -0.04622,
              -0.06291
            ],
            [
              0.01996,
              0.00897,
              0.00623,
              0.00278,
              -0.00155,
              -0.00697,
              -0.01376,
              -0.02227,
              -0.03292,
              -0.04627,
              -0.06295
            ],
            [
              0.01991,
              0.00894,
              0.00619,
              0.00275,
              -0.00158,
              -0.007,
              -0.0138,
              -0.02231,
              -0.03296,
              -0.0463,
              -0.06299
            ],
            [
              0.01987,
              0.0089,
              0.00614,
              0.0027,
              -0.00163,
              -0.00705,
              -0.01384,
              -0.02235,
              -0.03301,
              -0.04635,
              -0.06304
            ],
            [
              0.01982,
              0.00885,
              0.0061,
              0.00266,
              -0.00167,
              -0.00709,
              -0.01389,
              -0.0224,
              -0.03305,
              -0.0464,
              -0.06308
            ],
            [
              0.01978,
              0.00879,
              0.00604,
              0.0026,
              -0.00173,
              -0.00715,
              -0.01394,
              -0.02245,
              -0.0331,
              -0.04645,
              -0.06314
            ],
            [
              0.01971,
              0.00873,
              0.00599,
              0.00254,
              -0.00179,
              -0.00721,
              -0.014,
              -0.02251,
              -0.03317,
              -0.04651,
              -0.0632
            ],
            [
              0.01964,
              0.00867,
              0.00591,
              0.00247,
              -0.00186,
              -0.00728,
              -0.01408,
              -0.02258,
              -0.03324,
              -0.04658,
              -0.06327
            ],
            [
              0.01959,
              0.0086,
              0.00585,
              0.0024,
              -0.00193,
              -0.00735,
              -0.01415,
              -0.02265,
              -0.0333,
              -0.04665,
              -0.06333
            ],
            [
              0.01952,
              0.00854,
              0.00579,
              0.00234,
              -0.00199,
              -0.00741,
              -0.01421,
              -0.02272,
              -0.03337,
              -0.04671,
              -0.0634
            ],
            [
              0.01948,
              0.00847,
              0.00572,
              0.00227,
              -0.00206,
              -0.00748,
              -0.01427,
              -0.02278,
              -0.03343,
              -0.04677,
              -0.06345
            ],
            [
              0.01947,
              0.00842,
              0.00566,
              0.00221,
              -0.00212,
              -0.00754,
              -0.01434,
              -0.02284,
              -0.03349,
              -0.04682,
              -0.06351
            ],
            [
              0.01948,
              0.00839,
              0.00563,
              0.00217,
              -0.00216,
              -0.00758,
              -0.01438,
              -0.02288,
              -0.03353,
              -0.04686,
              -0.06354
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.00541,
              0.01691,
              0.01973,
              0.02321,
              0.02758,
              0.03305,
              0.03989,
              0.04838,
              0.05894,
              0.0722,
              0.08883
            ],
            [
              0.00538,
              0.01689,
              0.01969,
              0.02319,
              0.02756,
              0.03308,
              0.03985,
              0.04837,
              0.0589,
              0.07217,
              0.08874
            ],
            [
              0.00533,
              0.01683,
              0.01963,
              0.02316,
              0.02749,
              0.03299,
              0.03985,
              0.04828,
              0.05888,
              0.07208,
              0.08874
            ],
            [
              0.00531,
              0.01681,
              0.01962,
              0.02313,
              0.02749,
              0.03298,
              0.03982,
              0.04831,
              0.05887,
              0.07217,
              0.08875
            ],
            [
              0.00529,
              0.0168,
              0.01962,
              0.0231,
              0.02747,
              0.03299,
              0.03979,
              0.04828,
              0.05887,
              0.07203,
              0.08867
            ],
            [
              0.00526,
              0.01674,
              0.01957,
              0.02306,
              0.02744,
              0.03293,
              0.03975,
              0.04822,
              0.05881,
              0.07206,
              0.08861
            ],
            [
              0.00522,
              0.0167,
              0.01951,
              0.02304,
              0.02738,
              0.03288,
              0.03974,
              0.04818,
              0.05877,
              0.07196,
              0.0888
            ],
            [
              0.00517,
              0.01665,
              0.01946,
              0.02296,
              0.02733,
              0.03283,
              0.03964,
              0.04812,
              0.05875,
              0.072,
              0.08866
            ],
            [
              0.00511,
              0.01658,
              0.01941,
              0.02288,
              0.02725,
              0.03275,
              0.03958,
              0.04804,
              0.05861,
              0.07193,
              0.08862
            ],
            [
              0.00505,
              0.01649,
              0.0193,
              0.02279,
              0.02717,
              0.03267,
              0.03946,
              0.04797,
              0.05854,
              0.0718,
              0.08846
            ],
            [
              0.005,
              0.01638,
              0.01919,
              0.0227,
              0.02707,
              0.03256,
              0.03935,
              0.04791,
              0.0585,
              0.07173,
              0.08842
            ],
            [
              0.00496,
              0.01632,
              0.01913,
              0.02264,
              0.02698,
              0.03242,
              0.03928,
              0.04779,
              0.05839,
              0.07177,
              0.08827
            ],
            [
              0.00496,
              0.01631,
              0.01912,
              0.02261,
              0.02697,
              0.03242,
              0.03922,
              0.04766,
              0.0583,
              0.07162,
              0.08818
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.01703,
              0.00605,
              0.0033,
              -0.00016,
              -0.0045,
              -0.00993,
              -0.01675,
              -0.02526,
              -0.03593,
              -0.04929,
              -0.06599
            ],
            [
              0.01698,
              0.006,
              0.00324,
              -0.00021,
              -0.00456,
              -0.00999,
              -0.0168,
              -0.02532,
              -0.03598,
              -0.04934,
              -0.06604
            ],
            [
              0.01692,
              0.00594,
              0.00319,
              -0.00027,
              -0.00461,
              -0.01004,
              -0.01685,
              -0.02537,
              -0.03603,
              -0.04939,
              -0.06609
            ],
            [
              0.01685,
              0.00588,
              0.00312,
              -0.00034,
              -0.00468,
              -0.01011,
              -0.01692,
              -0.02544,
              -0.0361,
              -0.04946,
              -0.06616
            ],
            [
              0.01674,
              0.00575,
              0.00299,
              -0.00046,
              -0.0048,
              -0.01023,
              -0.01705,
              -0.02556,
              -0.03622,
              -0.04958,
              -0.06628
            ],
            [
              0.01661,
              0.00562,
              0.00285,
              -0.0006,
              -0.00494,
              -0.01037,
              -0.01718,
              -0.0257,
              -0.03636,
              -0.04972,
              -0.06641
            ],
            [
              0.01645,
              0.00545,
              0.00269,
              -0.00077,
              -0.00511,
              -0.01054,
              -0.01735,
              -0.02587,
              -0.03653,
              -0.04988,
              -0.06658
            ],
            [
              0.01627,
              0.00528,
              0.00251,
              -0.00094,
              -0.00527,
              -0.0107,
              -0.01752,
              -0.02603,
              -0.03669,
              -0.05005,
              -0.06675
            ],
            [
              0.01612,
              0.00512,
              0.00236,
              -0.0011,
              -0.00543,
              -0.01086,
              -0.01767,
              -0.02619,
              -0.03685,
              -0.0502,
              -0.0669
            ],
            [
              0.016,
              0.005,
              0.00223,
              -0.00122,
              -0.00556,
              -0.01099,
              -0.0178,
              -0.02631,
              -0.03697,
              -0.05032,
              -0.06702
            ],
            [
              0.01593,
              0.00491,
              0.00214,
              -0.00132,
              -0.00566,
              -0.01109,
              -0.01789,
              -0.0264,
              -0.03705,
              -0.05041,
              -0.0671
            ],
            [
              0.01594,
              0.00487,
              0.0021,
              -0.00136,
              -0.0057,
              -0.01113,
              -0.01793,
              -0.02644,
              -0.03709,
              -0.05044,
              -0.06713
            ],
            [
              0.01607,
              0.00492,
              0.00215,
              -0.00131,
              -0.00566,
              -0.01109,
              -0.0179,
              -0.0264,
              -0.03705,
              -0.05039,
              -0.06708
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.00556,
              0.01703,
              0.01986,
              0.02332,
              0.02768,
              0.03312,
              0.03996,
              0.04842,
              0.05904,
              0.07228,
              0.08881
            ],
            [
              0.00558,
              0.01708,
              0.01989,
              0.02337,
              0.0277,
              0.03315,
              0.03995,
              0.04848,
              0.05905,
              0.07232,
              0.08871
            ],
            [
              0.00557,
              0.01705,
              0.01987,
              0.02333,
              0.0277,
              0.03314,
              0.03999,
              0.04842,
              0.05906,
              0.07223,
              0.08887
            ],
            [
              0.00553,
              0.01703,
              0.01982,
              0.0233,
              0.02766,
              0.03314,
              0.03998,
              0.04846,
              0.05904,
              0.07227,
              0.08883
            ],
            [
              0.0055,
              0.01699,
              0.01981,
              0.02327,
              0.02763,
              0.0331,
              0.0399,
              0.04842,
              0.05894,
              0.07222,
              0.08883
            ],
            [
              0.00543,
              0.01694,
              0.01974,
              0.02323,
              0.02758,
              0.03303,
              0.03983,
              0.04833,
              0.05895,
              0.07214,
              0.08886
            ],
            [
              0.00538,
              0.01685,
              0.01967,
              0.02317,
              0.02751,
              0.03294,
              0.03982,
              0.04833,
              0.0589,
              0.07212,
              0.08878
            ],
            [
              0.0053,
              0.01677,
              0.01958,
              0.02307,
              0.0274,
              0.03286,
              0.03975,
              0.04825,
              0.05882,
              0.07211,
              0.08878
            ],
            [
              0.00518,
              0.01663,
              0.01942,
              0.02291,
              0.02728,
              0.03275,
              0.03956,
              0.04803,
              0.05867,
              0.07197,
              0.08862
            ],
            [
              0.00506,
              0.01645,
              0.01927,
              0.02278,
              0.02713,
              0.03256,
              0.03944,
              0.04788,
              0.0585,
              0.07171,
              0.08828
            ],
            [
              0.00496,
              0.01629,
              0.01911,
              0.0226,
              0.02695,
              0.03243,
              0.03927,
              0.04771,
              0.05838,
              0.07161,
              0.08812
            ],
            [
              0.00489,
              0.0162,
              0.01899,
              0.02246,
              0.02681,
              0.03228,
              0.03912,
              0.04761,
              0.05825,
              0.07143,
              0.08823
            ],
            [
              0.00489,
              0.01619,
              0.01899,
              0.02248,
              0.02683,
              0.03227,
              0.03906,
              0.04755,
              0.0582,
              0.07144,
              0.088
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.01881,
              0.00781,
              0.00504,
              0.00159,
              -0.00276,
              -0.0082,
              -0.01502,
              -0.02355,
              -0.03422,
              -0.04758,
              -0.06428
            ],
            [
              0.0188,
              0.00779,
              0.00502,
              0.00156,
              -0.00279,
              -0.00823,
              -0.01505,
              -0.02357,
              -0.03424,
              -0.0476,
              -0.0643
            ],
            [
              0.01876,
              0.00776,
              0.00499,
              0.00154,
              -0.00281,
              -0.00826,
              -0.01508,
              -0.02361,
              -0.03427,
              -0.04763,
              -0.06433
            ],
            [
              0.0187,
              0.0077,
              0.00494,
              0.00148,
              -0.00287,
              -0.00831,
              -0.01513,
              -0.02366,
              -0.03433,
              -0.04768,
              -0.06438
            ],
            [
              0.01865,
              0.00764,
              0.00488,
              0.00141,
              -0.00293,
              -0.00837,
              -0.01519,
              -0.02371,
              -0.03438,
              -0.04774,
              -0.06444
            ],
            [
              0.01855,
              0.00755,
              0.00478,
              0.00131,
              -0.00303,
              -0.00847,
              -0.01529,
              -0.02381,
              -0.03448,
              -0.04784,
              -0.06454
            ],
            [
              0.01844,
              0.00744,
              0.00466,
              0.0012,
              -0.00314,
              -0.00858,
              -0.0154,
              -0.02392,
              -0.03459,
              -0.04795,
              -0.06465
            ],
            [
              0.01831,
              0.00731,
              0.00454,
              0.00108,
              -0.00326,
              -0.0087,
              -0.01552,
              -0.02404,
              -0.03471,
              -0.04807,
              -0.06476
            ],
            [
              0.01821,
              0.0072,
              0.00443,
              0.00097,
              -0.00338,
              -0.00882,
              -0.01563,
              -0.02416,
              -0.03483,
              -0.04818,
              -0.06487
            ],
            [
              0.01811,
              0.0071,
              0.00433,
              0.00087,
              -0.00347,
              -0.00891,
              -0.01573,
              -0.02425,
              -0.03491,
              -0.04827,
              -0.06496
            ],
            [
              0.01807,
              0.00702,
              0.00425,
              0.00079,
              -0.00355,
              -0.00899,
              -0.0158,
              -0.02432,
              -0.03498,
              -0.04833,
              -0.06503
            ],
            [
              0.01806,
              0.00698,
              0.00421,
              0.00075,
              -0.0036,
              -0.00903,
              -0.01584,
              -0.02436,
              -0.03501,
              -0.04836,
              -0.06505
            ],
            [
              0.01814,
              0.007,
              0.00423,
              0.00076,
              -0.00358,
              -0.00902,
              -0.01583,
              -0.02434,
              -0.03499,
              -0.04834,
              -0.06503
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.00482,
              0.01628,
              0.01909,
              0.02255,
              0.02694,
              0.03235,
              0.0392,
              0.04773,
              0.05826,
              0.07149,
              0.08816
            ],
            [
              0.00482,
              0.01626,
              0.01908,
              0.02258,
              0.02691,
              0.03236,
              0.03915,
              0.04771,
              0.05823,
              0.0715,
              0.08817
            ],
            [
              0.00478,
              0.01622,
              0.01905,
              0.02252,
              0.02687,
              0.03235,
              0.03913,
              0.04766,
              0.0582,
              0.07154,
              0.0881
            ],
            [
              0.00473,
              0.01619,
              0.01897,
              0.02247,
              0.02683,
              0.03225,
              0.0391,
              0.04759,
              0.0582,
              0.07139,
              0.08807
            ],
            [
              0.00467,
              0.01614,
              0.01896,
              0.02242,
              0.02678,
              0.03225,
              0.03907,
              0.04752,
              0.05812,
              0.07132,
              0.08788
            ],
            [
              0.00461,
              0.01608,
              0.01888,
              0.02236,
              0.02671,
              0.03215,
              0.039,
              0.04747,
              0.05806,
              0.0713,
              0.08794
            ],
            [
              0.00453,
              0.01599,
              0.01879,
              0.02227,
              0.02665,
              0.03208,
              0.03891,
              0.04745,
              0.05802,
              0.07119,
              0.08786
            ],
            [
              0.00444,
              0.01587,
              0.0187,
              0.02219,
              0.02652,
              0.032,
              0.03884,
              0.04727,
              0.05788,
              0.07115,
              0.08784
            ],
            [
              0.00433,
              0.01573,
              0.01856,
              0.02205,
              0.02642,
              0.03187,
              0.0387,
              0.04718,
              0.0578,
              0.07104,
              0.08758
            ],
            [
              0.00422,
              0.01561,
              0.01841,
              0.0219,
              0.02628,
              0.03173,
              0.03858,
              0.04705,
              0.05777,
              0.07088,
              0.08743
            ],
            [
              0.00412,
              0.01546,
              0.01826,
              0.02176,
              0.02613,
              0.03156,
              0.03835,
              0.0469,
              0.05753,
              0.07088,
              0.08729
            ],
            [
              0.00406,
              0.01537,
              0.01817,
              0.02163,
              0.02603,
              0.03149,
              0.03828,
              0.04673,
              0.0574,
              0.07071,
              0.0873
            ],
            [
              0.00406,
              0.01536,
              0.01816,
              0.02165,
              0.026,
              0.03145,
              0.03824,
              0.04673,
              0.05733,
              0.07064,
              0.08716
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.06136,
    "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.55804,
              0.75868,
              0.79161,
              0.82942,
              0.87315,
              0.9239,
              0.98344,
              1.05367,
              1.13747,
              1.23857,
              1.36157
            ],
            [
              0.55999,
              0.76054,
              0.79352,
              0.83132,
              0.875,
              0.92581,
              0.98534,
              1.05554,
              1.13944,
              1.24064,
              1.36354
            ],
            [
              0.5629,
              0.76352,
              0.79647,
              0.83424,
              0.87793,
              0.92867,
              0.98812,
              1.05842,
              1.14222,
              1.24332,
              1.36612
            ],
            [
              0.56761,
              0.76828,
              0.8012,
              0.839,
              0.8827,
              0.93342,
              0.99298,
              1.06318,
              1.14698,
              1.24818,
              1.37098
            ],
            [
              0.575,
              0.77566,
              0.80859,
              0.84635,
              0.89008,
              0.94083,
              1.00031,
              1.07051,
              1.15441,
              1.25551,
              1.37851
            ],
            [
              0.58596,
              0.78655,
              0.81948,
              0.85726,
              0.90097,
              0.95172,
              1.01122,
              1.08142,
              1.16532,
              1.26632,
              1.38912
            ],
            [
              0.60188,
              0.80244,
              0.83539,
              0.87318,
              0.91683,
              0.96763,
              1.02713,
              1.09733,
              1.18123,
              1.28213,
              1.40513
            ],
            [
              0.62534,
              0.82584,
              0.85876,
              0.89656,
              0.94026,
              0.99096,
              1.05056,
              1.12076,
              1.20456,
              1.30556,
              1.42856
            ],
            [
              0.66048,
              0.86095,
              0.89385,
              0.93165,
              0.97535,
              1.02605,
              1.08565,
              1.15585,
              1.23965,
              1.34075,
              1.46345
            ],
            [
              0.71369,
              0.91409,
              0.94699,
              0.98479,
              1.02849,
              1.07929,
              1.13879,
              1.20899,
              1.29289,
              1.39399,
              1.51689
            ],
            [
              0.79442,
              0.99472,
              1.02762,
              1.06532,
              1.10902,
              1.15982,
              1.21942,
              1.28962,
              1.37352,
              1.47452,
              1.59762
            ],
            [
              0.91507,
              1.11537,
              1.14837,
              1.18617,
              1.22997,
              1.28077,
              1.34037,
              1.41057,
              1.49447,
              1.59567,
              1.71867
            ],
            [
              1.0758,
              1.287,
              1.3208,
              1.3593,
              1.4038,
              1.4552,
              1.5152,
              1.5859,
              1.6701,
              1.7715,
              1.8947
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.21624,
              0.38115,
              0.41677,
              0.46057,
              0.51514,
              0.58305,
              0.66765,
              0.77273,
              0.90471,
              1.06837,
              1.27497
            ],
            [
              0.21921,
              0.38421,
              0.41972,
              0.46342,
              0.51812,
              0.58596,
              0.67045,
              0.77562,
              0.90772,
              1.07174,
              1.27784
            ],
            [
              0.22269,
              0.38762,
              0.42316,
              0.46707,
              0.52149,
              0.58927,
              0.6741,
              0.77966,
              0.91068,
              1.07582,
              1.28092
            ],
            [
              0.22768,
              0.39254,
              0.42812,
              0.47202,
              0.52633,
              0.59432,
              0.67907,
              0.78455,
              0.91573,
              1.08048,
              1.28648
            ],
            [
              0.23473,
              0.39964,
              0.43517,
              0.47908,
              0.53355,
              0.60119,
              0.68605,
              0.7916,
              0.92245,
              1.08791,
              1.29221
            ],
            [
              0.24489,
              0.40967,
              0.4453,
              0.48916,
              0.54359,
              0.61154,
              0.69623,
              0.8016,
              0.93302,
              1.09732,
              1.30362
            ],
            [
              0.2598,
              0.42459,
              0.46015,
              0.50405,
              0.55843,
              0.6263,
              0.7111,
              0.81662,
              0.94763,
              1.11273,
              1.31813
            ],
            [
              0.28201,
              0.44665,
              0.48222,
              0.52612,
              0.58049,
              0.64843,
              0.73323,
              0.83876,
              0.96986,
              1.13476,
              1.34036
            ],
            [
              0.31494,
              0.47943,
              0.5149,
              0.55888,
              0.61338,
              0.68109,
              0.76605,
              0.87155,
              1.00315,
              1.16675,
              1.37345
            ],
            [
              0.36069,
              0.52648,
              0.56203,
              0.60585,
              0.66049,
              0.72829,
              0.81289,
              0.91859,
              1.05009,
              1.21429,
              1.42049
            ],
            [
              0.41938,
              0.58912,
              0.62472,
              0.66882,
              0.72332,
              0.79122,
              0.87592,
              0.98192,
              1.11342,
              1.27782,
              1.48352
            ],
            [
              0.49337,
              0.66797,
              0.70427,
              0.74837,
              0.80347,
              0.87137,
              0.95617,
              1.06177,
              1.19347,
              1.35777,
              1.56337
            ],
            [
              0.5834,
              0.7653,
              0.8017,
              0.846,
              0.9011,
              0.9696,
              1.0545,
              1.1604,
              1.2921,
              1.4569,
              1.6624
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.08455,
              0.2279,
              0.25392,
              0.28557,
              0.32455,
              0.37265,
              0.43217,
              0.50743,
              0.6009,
              0.71952,
              0.87062
            ],
            [
              0.08452,
              0.22783,
              0.25392,
              0.28553,
              0.3242,
              0.37264,
              0.43219,
              0.50665,
              0.60162,
              0.7196,
              0.87013
            ],
            [
              0.08454,
              0.22776,
              0.25413,
              0.28547,
              0.32447,
              0.37257,
              0.43234,
              0.50661,
              0.60125,
              0.71932,
              0.87028
            ],
            [
              0.08452,
              0.22777,
              0.25391,
              0.28547,
              0.32495,
              0.37264,
              0.43182,
              0.50656,
              0.60155,
              0.71946,
              0.87045
            ],
            [
              0.08451,
              0.22781,
              0.25388,
              0.28547,
              0.32466,
              0.37241,
              0.43144,
              0.5066,
              0.60147,
              0.71924,
              0.8701
            ],
            [
              0.0845,
              0.22758,
              0.25375,
              0.28586,
              0.32407,
              0.37292,
              0.43185,
              0.50649,
              0.60148,
              0.71951,
              0.8702
            ],
            [
              0.0845,
              0.22799,
              0.25389,
              0.28545,
              0.3241,
              0.37276,
              0.43199,
              0.50651,
              0.60151,
              0.719,
              0.8704
            ],
            [
              0.0845,
              0.22803,
              0.2537,
              0.2855,
              0.32415,
              0.37281,
              0.43193,
              0.5065,
              0.6015,
              0.719,
              0.8704
            ],
            [
              0.0845,
              0.22761,
              0.2539,
              0.2855,
              0.3241,
              0.3729,
              0.4319,
              0.5066,
              0.6015,
              0.7196,
              0.8702
            ],
            [
              0.0845,
              0.2279,
              0.254,
              0.2856,
              0.3242,
              0.3729,
              0.4319,
              0.5066,
              0.6016,
              0.7196,
              0.8705
            ],
            [
              0.0846,
              0.2281,
              0.2542,
              0.2856,
              0.3246,
              0.3731,
              0.432,
              0.5065,
              0.6017,
              0.7191,
              0.8704
            ],
            [
              0.0857,
              0.2286,
              0.2548,
              0.2864,
              0.3251,
              0.3731,
              0.4326,
              0.5082,
              0.6005,
              0.7199,
              0.8706
            ],
            [
              0.0948,
              0.2377,
              0.263,
              0.2942,
              0.3313,
              0.3784,
              0.437,
              0.5105,
              0.6039,
              0.7217,
              0.8721
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.05283,
              0.23905,
              0.28621,
              0.34601,
              0.42171,
              0.51633,
              0.63649,
              0.78642,
              0.9719,
              1.20561,
              1.50226
            ],
            [
              0.05285,
              0.23898,
              0.2858,
              0.34619,
              0.42171,
              0.51674,
              0.63681,
              0.78575,
              0.97259,
              1.20536,
              1.50212
            ],
            [
              0.05284,
              0.23843,
              0.28638,
              0.34598,
              0.42183,
              0.517,
              0.63571,
              0.78605,
              0.97204,
              1.20781,
              1.49829
            ],
            [
              0.05283,
              0.23859,
              0.28629,
              0.34594,
              0.42185,
              0.51666,
              0.63589,
              0.78633,
              0.97147,
              1.20748,
              1.50044
            ],
            [
              0.05281,
              0.23827,
              0.28641,
              0.34557,
              0.42168,
              0.51697,
              0.63558,
              0.78544,
              0.97251,
              1.20783,
              1.49754
            ],
            [
              0.05283,
              0.23873,
              0.28621,
              0.34584,
              0.42174,
              0.51622,
              0.63603,
              0.78638,
              0.97101,
              1.20692,
              1.50057
            ],
            [
              0.05279,
              0.23844,
              0.28628,
              0.34598,
              0.42177,
              0.51684,
              0.63566,
              0.786,
              0.97181,
              1.20767,
              1.49898
            ],
            [
              0.05281,
              0.2385,
              0.28627,
              0.34593,
              0.42178,
              0.51665,
              0.63576,
              0.78608,
              0.97149,
              1.20751,
              1.49932
            ],
            [
              0.05293,
              0.2383,
              0.28647,
              0.34568,
              0.42167,
              0.51697,
              0.63564,
              0.78604,
              0.97198,
              1.20663,
              1.50006
            ],
            [
              0.0553,
              0.23875,
              0.28685,
              0.34636,
              0.42157,
              0.5167,
              0.63663,
              0.78518,
              0.9727,
              1.2048,
              1.5003
            ],
            [
              0.05858,
              0.2418,
              0.2884,
              0.3477,
              0.4232,
              0.5172,
              0.6363,
              0.7856,
              0.9734,
              1.2047,
              1.4981
            ],
            [
              0.0632,
              0.2453,
              0.2915,
              0.3501,
              0.4245,
              0.5191,
              0.6376,
              0.7869,
              0.9729,
              1.2074,
              1.4967
            ],
            [
              0.0705,
              0.249,
              0.2946,
              0.3533,
              0.4279,
              0.5209,
              0.6395,
              0.7864,
              0.9736,
              1.2052,
              1.5006
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.57664,
              0.75158,
              0.78119,
              0.81555,
              0.85578,
              0.90298,
              0.95903,
              1.02597,
              1.10677,
              1.20517,
              1.32627
            ],
            [
              0.57876,
              0.75367,
              0.78333,
              0.81765,
              0.85786,
              0.90507,
              0.9611,
              1.02804,
              1.10884,
              1.20744,
              1.32804
            ],
            [
              0.58175,
              0.75671,
              0.78634,
              0.82067,
              0.86088,
              0.90808,
              0.96411,
              1.03102,
              1.11182,
              1.21042,
              1.33112
            ],
            [
              0.58669,
              0.7616,
              0.79126,
              0.82559,
              0.86579,
              0.913,
              0.96898,
              1.03588,
              1.11678,
              1.21528,
              1.33598
            ],
            [
              0.59422,
              0.76914,
              0.79876,
              0.83313,
              0.87331,
              0.92052,
              0.97651,
              1.04351,
              1.12431,
              1.22261,
              1.34371
            ],
            [
              0.60534,
              0.78023,
              0.80988,
              0.84421,
              0.88441,
              0.93162,
              0.98762,
              1.05452,
              1.13532,
              1.23392,
              1.35462
            ],
            [
              0.62128,
              0.79616,
              0.82577,
              0.86013,
              0.90033,
              0.94753,
              1.00353,
              1.07053,
              1.15123,
              1.24963,
              1.37073
            ],
            [
              0.64472,
              0.81957,
              0.84926,
              0.88356,
              0.92376,
              0.97096,
              1.02696,
              1.09386,
              1.17476,
              1.27326,
              1.39396
            ],
            [
              0.67989,
              0.85465,
              0.88425,
              0.91865,
              0.95885,
              1.00605,
              1.06205,
              1.12895,
              1.20985,
              1.30835,
              1.42885
            ],
            [
              0.73329,
              0.90799,
              0.93759,
              0.97189,
              1.01209,
              1.05939,
              1.11539,
              1.18229,
              1.26319,
              1.36169,
              1.48219
            ],
            [
              0.81422,
              0.98892,
              1.01852,
              1.05282,
              1.09312,
              1.14032,
              1.19632,
              1.26332,
              1.34402,
              1.44262,
              1.56362
            ],
            [
              0.93617,
              1.11077,
              1.14037,
              1.17477,
              1.21497,
              1.26227,
              1.31827,
              1.38527,
              1.46607,
              1.56467,
              1.68567
            ],
            [
              1.1026,
              1.2856,
              1.3159,
              1.3508,
              1.3915,
              1.4391,
              1.4955,
              1.5628,
              1.6439,
              1.7424,
              1.8637
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.20257,
              0.3729,
              0.40864,
              0.45248,
              0.50703,
              0.57465,
              0.65905,
              0.76414,
              0.89596,
              1.05937,
              1.26617
            ],
            [
              0.20563,
              0.37612,
              0.4118,
              0.45569,
              0.51022,
              0.57786,
              0.66235,
              0.76761,
              0.89892,
              1.06334,
              1.26764
            ],
            [
              0.20921,
              0.37952,
              0.41525,
              0.4591,
              0.51377,
              0.58136,
              0.66579,
              0.77082,
              0.90266,
              1.06632,
              1.27272
            ],
            [
              0.2143,
              0.38468,
              0.42031,
              0.46419,
              0.51867,
              0.58632,
              0.6707,
              0.77568,
              0.90773,
              1.07128,
              1.27778
            ],
            [
              0.22148,
              0.39194,
              0.42761,
              0.47151,
              0.52603,
              0.59368,
              0.67813,
              0.78333,
              0.9147,
              1.07891,
              1.28471
            ],
            [
              0.23175,
              0.40208,
              0.43788,
              0.48172,
              0.53628,
              0.6039,
              0.68829,
              0.79325,
              0.9252,
              1.08852,
              1.29522
            ],
            [
              0.24684,
              0.41716,
              0.45285,
              0.49675,
              0.55129,
              0.61888,
              0.70332,
              0.80832,
              0.94023,
              1.10363,
              1.31003
            ],
            [
              0.26923,
              0.43929,
              0.47504,
              0.51899,
              0.57355,
              0.64104,
              0.72529,
              0.83081,
              0.96266,
              1.12636,
              1.33216
            ],
            [
              0.30192,
              0.47205,
              0.50777,
              0.55159,
              0.60621,
              0.67381,
              0.75835,
              0.86395,
              0.99505,
              1.16005,
              1.36455
            ],
            [
              0.34616,
              0.51854,
              0.55426,
              0.59824,
              0.65259,
              0.72069,
              0.80519,
              0.91059,
              1.04179,
              1.20629,
              1.41229
            ],
            [
              0.40247,
              0.57982,
              0.61592,
              0.65992,
              0.71472,
              0.78262,
              0.86722,
              0.97262,
              1.10442,
              1.26832,
              1.47372
            ],
            [
              0.47247,
              0.65677,
              0.69327,
              0.73787,
              0.79287,
              0.86087,
              0.94557,
              1.05107,
              1.18257,
              1.34667,
              1.55257
            ],
            [
              0.5562,
              0.7506,
              0.7876,
              0.8326,
              0.888,
              0.9563,
              1.0414,
              1.1473,
              1.2786,
              1.4431,
              1.6486
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.07711,
              0.20359,
              0.22936,
              0.26131,
              0.29946,
              0.34796,
              0.40811,
              0.48488,
              0.57978,
              0.70117,
              0.85479
            ],
            [
              0.07711,
              0.20362,
              0.22925,
              0.26054,
              0.29977,
              0.34825,
              0.40792,
              0.48441,
              0.57952,
              0.70101,
              0.85388
            ],
            [
              0.0771,
              0.2036,
              0.22973,
              0.26049,
              0.29974,
              0.34812,
              0.40838,
              0.48427,
              0.57949,
              0.70108,
              0.85366
            ],
            [
              0.07709,
              0.20373,
              0.22925,
              0.26054,
              0.29976,
              0.34824,
              0.4082,
              0.4843,
              0.57952,
              0.70091,
              0.85389
            ],
            [
              0.07707,
              0.2035,
              0.22922,
              0.26104,
              0.29993,
              0.34772,
              0.40819,
              0.48358,
              0.5803,
              0.70081,
              0.85506
            ],
            [
              0.07711,
              0.2038,
              0.22921,
              0.2605,
              0.29976,
              0.34814,
              0.40851,
              0.4843,
              0.57941,
              0.70091,
              0.8536
            ],
            [
              0.07708,
              0.20358,
              0.22925,
              0.26145,
              0.29942,
              0.34781,
              0.40807,
              0.48476,
              0.57987,
              0.7008,
              0.8548
            ],
            [
              0.07714,
              0.20368,
              0.22924,
              0.26052,
              0.29979,
              0.34826,
              0.40822,
              0.4843,
              0.5795,
              0.7009,
              0.8539
            ],
            [
              0.07713,
              0.20382,
              0.2293,
              0.2607,
              0.2999,
              0.3481,
              0.4084,
              0.4845,
              0.5796,
              0.7009,
              0.8544
            ],
            [
              0.0771,
              0.2039,
              0.2293,
              0.2607,
              0.3,
              0.3482,
              0.4082,
              0.4844,
              0.5796,
              0.7009,
              0.8544
            ],
            [
              0.0771,
              0.2036,
              0.2298,
              0.2607,
              0.2996,
              0.3478,
              0.4079,
              0.4846,
              0.5793,
              0.7011,
              0.8544
            ],
            [
              0.0776,
              0.2038,
              0.2296,
              0.2609,
              0.3,
              0.348,
              0.4082,
              0.4848,
              0.5795,
              0.7011,
              0.8544
            ],
            [
              0.0855,
              0.2112,
              0.236,
              0.2673,
              0.3044,
              0.3522,
              0.4125,
              0.4876,
              0.5815,
              0.7021,
              0.8561
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.05716,
              0.24078,
              0.28775,
              0.34708,
              0.42213,
              0.51679,
              0.63588,
              0.78512,
              0.97251,
              1.20528,
              1.4995
            ],
            [
              0.05715,
              0.2407,
              0.28745,
              0.34648,
              0.42145,
              0.51635,
              0.63468,
              0.78373,
              0.97198,
              1.20509,
              1.49657
            ],
            [
              0.05714,
              0.24072,
              0.28769,
              0.34705,
              0.42163,
              0.51661,
              0.63539,
              0.78485,
              0.97226,
              1.20572,
              1.49932
            ],
            [
              0.05713,
              0.2409,
              0.28762,
              0.34702,
              0.42213,
              0.51672,
              0.63586,
              0.78532,
              0.97105,
              1.20422,
              1.49992
            ],
            [
              0.05712,
              0.24058,
              0.28736,
              0.34665,
              0.42142,
              0.51623,
              0.6347,
              0.78356,
              0.97232,
              1.20431,
              1.49945
            ],
            [
              0.05712,
              0.24089,
              0.28779,
              0.34693,
              0.4214,
              0.51637,
              0.63535,
              0.78502,
              0.97146,
              1.20512,
              1.49945
            ],
            [
              0.05714,
              0.24049,
              0.28738,
              0.34643,
              0.42136,
              0.51649,
              0.63533,
              0.78487,
              0.97211,
              1.20447,
              1.49904
            ],
            [
              0.05715,
              0.24061,
              0.28729,
              0.34667,
              0.42139,
              0.51665,
              0.63594,
              0.78546,
              0.97166,
              1.20401,
              1.49806
            ],
            [
              0.05776,
              0.24108,
              0.28793,
              0.34705,
              0.42208,
              0.51669,
              0.63584,
              0.78531,
              0.97095,
              1.20683,
              1.49579
            ],
            [
              0.06112,
              0.24143,
              0.28796,
              0.34689,
              0.42241,
              0.51599,
              0.63464,
              0.78416,
              0.97181,
              1.2059,
              1.4994
            ],
            [
              0.0656,
              0.2446,
              0.2908,
              0.3494,
              0.4245,
              0.5175,
              0.636,
              0.7853,
              0.9718,
              1.2062,
              1.4962
            ],
            [
              0.0722,
              0.2488,
              0.2946,
              0.3524,
              0.4258,
              0.52,
              0.6385,
              0.787,
              0.9723,
              1.2062,
              1.4961
            ],
            [
              0.0823,
              0.2551,
              0.3005,
              0.3573,
              0.4305,
              0.5223,
              0.6401,
              0.7867,
              0.9733,
              1.2051,
              1.5009
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.56409,
              0.75931,
              0.79189,
              0.82928,
              0.87272,
              0.92323,
              0.98252,
              1.05257,
              1.13637,
              1.23727,
              1.36027
            ],
            [
              0.56572,
              0.76096,
              0.79349,
              0.83095,
              0.87434,
              0.92486,
              0.98417,
              1.05424,
              1.13794,
              1.23904,
              1.36174
            ],
            [
              0.56713,
              0.76234,
              0.79487,
              0.83231,
              0.87572,
              0.92622,
              0.98552,
              1.05562,
              1.13932,
              1.24042,
              1.36332
            ],
            [
              0.56912,
              0.76419,
              0.79671,
              0.83415,
              0.87755,
              0.92807,
              0.98738,
              1.05747,
              1.14118,
              1.24218,
              1.36518
            ],
            [
              0.57256,
              0.76752,
              0.80005,
              0.83751,
              0.88088,
              0.93138,
              0.99071,
              1.06071,
              1.14441,
              1.24561,
              1.36841
            ],
            [
              0.57888,
              0.77371,
              0.80625,
              0.84365,
              0.88707,
              0.93762,
              0.99682,
              1.06692,
              1.15062,
              1.25172,
              1.37462
            ],
            [
              0.59047,
              0.78506,
              0.81758,
              0.85497,
              0.89843,
              0.94883,
              1.00813,
              1.07823,
              1.16183,
              1.26283,
              1.38583
            ],
            [
              0.61106,
              0.80548,
              0.83796,
              0.87536,
              0.91876,
              0.96926,
              1.02846,
              1.09856,
              1.18226,
              1.28336,
              1.40616
            ],
            [
              0.64622,
              0.84035,
              0.87285,
              0.91025,
              0.95355,
              1.00405,
              1.06335,
              1.13335,
              1.21705,
              1.31815,
              1.44105
            ],
            [
              0.70399,
              0.89789,
              0.93029,
              0.96759,
              1.01099,
              1.06139,
              1.12069,
              1.19079,
              1.27449,
              1.37539,
              1.49819
            ],
            [
              0.79602,
              0.98922,
              1.02162,
              1.05892,
              1.10232,
              1.15272,
              1.21202,
              1.28212,
              1.36582,
              1.46682,
              1.58952
            ],
            [
              0.93837,
              1.13077,
              1.16307,
              1.20037,
              1.24367,
              1.29417,
              1.35347,
              1.42357,
              1.50727,
              1.60827,
              1.73127
            ],
            [
              1.133,
              1.3341,
              1.3672,
              1.4052,
              1.4491,
              1.5001,
              1.5599,
              1.6303,
              1.7142,
              1.8156,
              1.9386
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.19335,
              0.37021,
              0.40629,
              0.45027,
              0.50474,
              0.5723,
              0.65631,
              0.76146,
              0.89246,
              1.05657,
              1.26197
            ],
            [
              0.19637,
              0.3733,
              0.40936,
              0.45331,
              0.50758,
              0.57536,
              0.65924,
              0.76403,
              0.89585,
              1.05924,
              1.26504
            ],
            [
              0.19988,
              0.37684,
              0.41284,
              0.45685,
              0.51137,
              0.57893,
              0.66314,
              0.76817,
              0.89899,
              1.06342,
              1.26732
            ],
            [
              0.20503,
              0.38209,
              0.41798,
              0.46207,
              0.51655,
              0.58413,
              0.66829,
              0.77317,
              0.90468,
              1.06888,
              1.27268
            ],
            [
              0.21265,
              0.38965,
              0.42566,
              0.46975,
              0.52422,
              0.59178,
              0.67574,
              0.78077,
              0.91225,
              1.07541,
              1.28191
            ],
            [
              0.22406,
              0.40105,
              0.4371,
              0.48113,
              0.53563,
              0.60321,
              0.68701,
              0.79247,
              0.92317,
              1.08802,
              1.29252
            ],
            [
              0.24123,
              0.41797,
              0.45395,
              0.49808,
              0.55247,
              0.62022,
              0.70446,
              0.80922,
              0.94083,
              1.10413,
              1.31063
            ],
            [
              0.26717,
              0.44372,
              0.47979,
              0.52395,
              0.57828,
              0.64605,
              0.73038,
              0.8352,
              0.96666,
              1.13016,
              1.33616
            ],
            [
              0.30512,
              0.48182,
              0.51788,
              0.56207,
              0.6165,
              0.68441,
              0.76845,
              0.87375,
              1.00545,
              1.16875,
              1.37425
            ],
            [
              0.35328,
              0.53421,
              0.57045,
              0.61482,
              0.66929,
              0.73719,
              0.82129,
              0.92679,
              1.05779,
              1.22279,
              1.42639
            ],
            [
              0.41046,
              0.59992,
              0.63662,
              0.68142,
              0.73632,
              0.80422,
              0.88872,
              0.99392,
              1.12492,
              1.28912,
              1.49492
            ],
            [
              0.47797,
              0.67587,
              0.71357,
              0.75917,
              0.81547,
              0.88417,
              0.96917,
              1.07457,
              1.20577,
              1.36977,
              1.57527
            ],
            [
              0.5535,
              0.7651,
              0.8034,
              0.8496,
              0.9057,
              0.9751,
              1.061,
              1.1679,
              1.3001,
              1.4648,
              1.6695
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.08334,
              0.2232,
              0.24994,
              0.28225,
              0.32147,
              0.37007,
              0.43031,
              0.50511,
              0.59936,
              0.71861,
              0.86966
            ],
            [
              0.08329,
              0.22355,
              0.24986,
              0.28214,
              0.32132,
              0.36982,
              0.43064,
              0.50587,
              0.6006,
              0.71867,
              0.86989
            ],
            [
              0.08325,
              0.22355,
              0.25016,
              0.28193,
              0.32143,
              0.3697,
              0.42983,
              0.50523,
              0.60036,
              0.71874,
              0.8698
            ],
            [
              0.08322,
              0.22342,
              0.24973,
              0.28203,
              0.3214,
              0.36977,
              0.43002,
              0.50585,
              0.59981,
              0.71893,
              0.86963
            ],
            [
              0.0832,
              0.22346,
              0.24981,
              0.28199,
              0.32139,
              0.36958,
              0.43019,
              0.50562,
              0.60027,
              0.71893,
              0.8698
            ],
            [
              0.08313,
              0.22298,
              0.24968,
              0.28189,
              0.32119,
              0.36973,
              0.43,
              0.50648,
              0.60016,
              0.71845,
              0.8695
            ],
            [
              0.08316,
              0.22299,
              0.24966,
              0.28196,
              0.32179,
              0.37009,
              0.42999,
              0.50498,
              0.59991,
              0.718,
              0.8696
            ],
            [
              0.08319,
              0.2232,
              0.25001,
              0.28187,
              0.32119,
              0.3696,
              0.42954,
              0.505,
              0.6001,
              0.7186,
              0.8693
            ],
            [
              0.08296,
              0.22286,
              0.24995,
              0.2823,
              0.3218,
              0.3696,
              0.4305,
              0.5054,
              0.6002,
              0.7183,
              0.8693
            ],
            [
              0.0828,
              0.2231,
              0.2495,
              0.2818,
              0.3216,
              0.3706,
              0.4303,
              0.5047,
              0.5991,
              0.7181,
              0.8686
            ],
            [
              0.0825,
              0.2227,
              0.2494,
              0.2817,
              0.321,
              0.3699,
              0.4301,
              0.5046,
              0.599,
              0.7182,
              0.8693
            ],
            [
              0.0826,
              0.223,
              0.2495,
              0.2818,
              0.3216,
              0.3695,
              0.4299,
              0.5061,
              0.5995,
              0.7185,
              0.8694
            ],
            [
              0.0915,
              0.2318,
              0.2582,
              0.2891,
              0.3275,
              0.3747,
              0.4348,
              0.5082,
              0.6024,
              0.7201,
              0.8708
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.06113,
              0.24485,
              0.2909,
              0.34956,
              0.42387,
              0.51716,
              0.63622,
              0.7838,
              0.97185,
              1.20363,
              1.49897
            ],
            [
              0.06108,
              0.24438,
              0.29093,
              0.34933,
              0.42411,
              0.51703,
              0.63634,
              0.78523,
              0.97136,
              1.20389,
              1.49871
            ],
            [
              0.06106,
              0.24474,
              0.29092,
              0.34907,
              0.42349,
              0.51714,
              0.63523,
              0.78392,
              0.97087,
              1.20508,
              1.49567
            ],
            [
              0.06114,
              0.24437,
              0.29132,
              0.34929,
              0.42355,
              0.51699,
              0.63577,
              0.78439,
              0.97226,
              1.20536,
              1.49866
            ],
            [
              0.0611,
              0.24464,
              0.29132,
              0.34952,
              0.42385,
              0.51728,
              0.63625,
              0.78465,
              0.97141,
              1.20457,
              1.49929
            ],
            [
              0.06101,
              0.24433,
              0.29089,
              0.34955,
              0.42358,
              0.51709,
              0.63623,
              0.78461,
              0.97009,
              1.20614,
              1.49606
            ],
            [
              0.06088,
              0.2451,
              0.29108,
              0.34979,
              0.42399,
              0.51754,
              0.63596,
              0.78496,
              0.9708,
              1.20508,
              1.49946
            ],
            [
              0.06081,
              0.24435,
              0.29118,
              0.34976,
              0.424,
              0.51745,
              0.63552,
              0.78468,
              0.97158,
              1.20412,
              1.49781
            ],
            [
              0.0619,
              0.24459,
              0.29145,
              0.34919,
              0.42404,
              0.51746,
              0.63627,
              0.78494,
              0.97178,
              1.20293,
              1.4969
            ],
            [
              0.06702,
              0.24656,
              0.29254,
              0.35069,
              0.42478,
              0.51728,
              0.63637,
              0.78471,
              0.9699,
              1.2062,
              1.4985
            ],
            [
              0.07237,
              0.2523,
              0.2974,
              0.3545,
              0.4279,
              0.5193,
              0.6369,
              0.785,
              0.9721,
              1.2047,
              1.4978
            ],
            [
              0.0815,
              0.2597,
              0.3044,
              0.3618,
              0.4338,
              0.5257,
              0.6429,
              0.7886,
              0.974,
              1.2058,
              1.4961
            ],
            [
              0.0957,
              0.2677,
              0.3117,
              0.3681,
              0.4395,
              0.5312,
              0.6472,
              0.7931,
              0.9772,
              1.2116,
              1.5033
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.50598,
              0.72089,
              0.75581,
              0.79566,
              0.84162,
              0.89475,
              0.95675,
              1.02947,
              1.11567,
              1.21907,
              1.34397
            ],
            [
              0.50655,
              0.72156,
              0.75639,
              0.79625,
              0.84221,
              0.89534,
              0.95733,
              1.03004,
              1.11634,
              1.21964,
              1.34444
            ],
            [
              0.50702,
              0.72206,
              0.75698,
              0.79684,
              0.84279,
              0.89592,
              0.95793,
              1.03062,
              1.11692,
              1.22022,
              1.34532
            ],
            [
              0.50809,
              0.72298,
              0.75789,
              0.79778,
              0.84372,
              0.89685,
              0.95886,
              1.03158,
              1.11788,
              1.22117,
              1.34608
            ],
            [
              0.51072,
              0.72544,
              0.76035,
              0.80022,
              0.84618,
              0.89932,
              0.96131,
              1.03401,
              1.12031,
              1.22361,
              1.34871
            ],
            [
              0.51655,
              0.73111,
              0.76599,
              0.80584,
              0.85182,
              0.90494,
              0.96692,
              1.03972,
              1.12592,
              1.22922,
              1.35412
            ],
            [
              0.52811,
              0.74238,
              0.77726,
              0.81711,
              0.86308,
              0.91623,
              0.97823,
              1.05093,
              1.13723,
              1.24053,
              1.36533
            ],
            [
              0.54921,
              0.7632,
              0.79807,
              0.83796,
              0.88386,
              0.93696,
              0.99896,
              1.07176,
              1.15796,
              1.26126,
              1.38626
            ],
            [
              0.58538,
              0.79905,
              0.83385,
              0.87375,
              0.91965,
              0.97285,
              1.03485,
              1.10755,
              1.19385,
              1.29705,
              1.42215
            ],
            [
              0.64459,
              0.85779,
              0.89259,
              0.93239,
              0.97829,
              1.03149,
              1.09349,
              1.16619,
              1.25249,
              1.35579,
              1.48069
            ],
            [
              0.73802,
              0.95052,
              0.98522,
              1.02502,
              1.07102,
              1.12412,
              1.18612,
              1.25892,
              1.34522,
              1.44852,
              1.57362
            ],
            [
              0.87907,
              1.09187,
              1.12667,
              1.16657,
              1.21257,
              1.26577,
              1.32787,
              1.40067,
              1.48707,
              1.59047,
              1.71537
            ],
            [
              1.0596,
              1.2867,
              1.3231,
              1.3643,
              1.4115,
              1.4657,
              1.5287,
              1.6022,
              1.689,
              1.7929,
              1.9181
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.20021,
              0.36988,
              0.40543,
              0.44935,
              0.50384,
              0.5713,
              0.65564,
              0.76093,
              0.89223,
              1.05717,
              1.26167
            ],
            [
              0.20334,
              0.37295,
              0.40867,
              0.45249,
              0.50699,
              0.57449,
              0.65921,
              0.76454,
              0.89528,
              1.06044,
              1.26444
            ],
            [
              0.20695,
              0.37649,
              0.41224,
              0.45608,
              0.5107,
              0.5784,
              0.66285,
              0.7682,
              0.89983,
              1.06322,
              1.26912
            ],
            [
              0.21224,
              0.38177,
              0.41754,
              0.46141,
              0.51599,
              0.58368,
              0.66816,
              0.77348,
              0.90502,
              1.06878,
              1.27438
            ],
            [
              0.22003,
              0.38962,
              0.42537,
              0.46925,
              0.52383,
              0.59151,
              0.67593,
              0.78122,
              0.91303,
              1.07611,
              1.28211
            ],
            [
              0.23159,
              0.40109,
              0.43688,
              0.48079,
              0.53534,
              0.60299,
              0.68738,
              0.79256,
              0.92409,
              1.08842,
              1.29332
            ],
            [
              0.24886,
              0.41818,
              0.45405,
              0.49795,
              0.55248,
              0.62009,
              0.70467,
              0.80984,
              0.94183,
              1.10473,
              1.31123
            ],
            [
              0.27493,
              0.44407,
              0.47967,
              0.52352,
              0.57803,
              0.6458,
              0.73035,
              0.83576,
              0.96726,
              1.13196,
              1.33586
            ],
            [
              0.31389,
              0.48251,
              0.51841,
              0.5623,
              0.61693,
              0.68473,
              0.76925,
              0.87475,
              1.00565,
              1.17055,
              1.37625
            ],
            [
              0.36517,
              0.53665,
              0.5724,
              0.61624,
              0.67099,
              0.73859,
              0.82339,
              0.92839,
              1.06049,
              1.22409,
              1.43069
            ],
            [
              0.42582,
              0.60392,
              0.64002,
              0.68422,
              0.73912,
              0.80702,
              0.89162,
              0.99682,
              1.12862,
              1.29332,
              1.49772
            ],
            [
              0.49787,
              0.68147,
              0.71837,
              0.76347,
              0.81917,
              0.88787,
              0.97307,
              1.07837,
              1.20977,
              1.37427,
              1.58017
            ],
            [
              0.5802,
              0.7722,
              0.8093,
              0.8545,
              0.9104,
              0.9793,
              1.0653,
              1.1723,
              1.3046,
              1.4693,
              1.6741
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.08846,
              0.24204,
              0.26919,
              0.30181,
              0.34117,
              0.38978,
              0.44991,
              0.52542,
              0.61776,
              0.73612,
              0.88451
            ],
            [
              0.08844,
              0.242,
              0.26873,
              0.30182,
              0.34117,
              0.38977,
              0.44998,
              0.52501,
              0.61784,
              0.73591,
              0.88407
            ],
            [
              0.08833,
              0.24196,
              0.26909,
              0.30159,
              0.34099,
              0.3903,
              0.44966,
              0.52468,
              0.61758,
              0.73581,
              0.88474
            ],
            [
              0.08827,
              0.2419,
              0.26903,
              0.30153,
              0.34095,
              0.39028,
              0.44962,
              0.52455,
              0.61779,
              0.73631,
              0.88439
            ],
            [
              0.0883,
              0.24182,
              0.26895,
              0.30143,
              0.34088,
              0.39019,
              0.44953,
              0.52445,
              0.61745,
              0.73622,
              0.88452
            ],
            [
              0.08823,
              0.24145,
              0.26855,
              0.30101,
              0.3416,
              0.38903,
              0.44975,
              0.52514,
              0.61747,
              0.73549,
              0.8834
            ],
            [
              0.08818,
              0.24141,
              0.26836,
              0.30089,
              0.34148,
              0.38901,
              0.44963,
              0.52407,
              0.6175,
              0.73534,
              0.8833
            ],
            [
              0.08806,
              0.24154,
              0.26864,
              0.30134,
              0.34054,
              0.38923,
              0.44933,
              0.52446,
              0.6172,
              0.7353,
              0.8839
            ],
            [
              0.08797,
              0.24154,
              0.26811,
              0.30079,
              0.34138,
              0.3888,
              0.4495,
              0.5248,
              0.617,
              0.7354,
              0.884
            ],
            [
              0.08779,
              0.2414,
              0.2686,
              0.3012,
              0.3404,
              0.3889,
              0.4492,
              0.5242,
              0.6175,
              0.7352,
              0.8838
            ],
            [
              0.0875,
              0.2414,
              0.2681,
              0.3007,
              0.341,
              0.3887,
              0.4489,
              0.5237,
              0.617,
              0.7351,
              0.8842
            ],
            [
              0.0904,
              0.2422,
              0.2695,
              0.302,
              0.3411,
              0.3904,
              0.4494,
              0.5243,
              0.6176,
              0.736,
              0.8833
            ],
            [
              0.102,
              0.2572,
              0.2837,
              0.3147,
              0.3526,
              0.3991,
              0.4576,
              0.5306,
              0.6227,
              0.7402,
              0.8871
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.05538,
              0.2404,
              0.2873,
              0.34691,
              0.42191,
              0.5167,
              0.63604,
              0.78491,
              0.97264,
              1.20586,
              1.49806
            ],
            [
              0.05533,
              0.24072,
              0.28707,
              0.347,
              0.42193,
              0.51668,
              0.63484,
              0.78432,
              0.97255,
              1.20616,
              1.49757
            ],
            [
              0.05527,
              0.24047,
              0.2876,
              0.34691,
              0.42168,
              0.51586,
              0.63547,
              0.78506,
              0.97208,
              1.20673,
              1.49786
            ],
            [
              0.05534,
              0.24046,
              0.28764,
              0.34693,
              0.42174,
              0.51604,
              0.63543,
              0.78482,
              0.97161,
              1.20691,
              1.49829
            ],
            [
              0.0552,
              0.24064,
              0.28702,
              0.34691,
              0.42135,
              0.51612,
              0.63563,
              0.78542,
              0.97259,
              1.20601,
              1.49852
            ],
            [
              0.05522,
              0.24034,
              0.28767,
              0.34679,
              0.42133,
              0.51642,
              0.6358,
              0.78559,
              0.97129,
              1.20774,
              1.49811
            ],
            [
              0.05513,
              0.24038,
              0.28766,
              0.34631,
              0.42142,
              0.51656,
              0.63568,
              0.78556,
              0.9728,
              1.20622,
              1.49966
            ],
            [
              0.05504,
              0.24026,
              0.28716,
              0.3469,
              0.42201,
              0.51666,
              0.63547,
              0.78361,
              0.97126,
              1.20635,
              1.49654
            ],
            [
              0.05521,
              0.24057,
              0.28769,
              0.34678,
              0.42127,
              0.51585,
              0.6356,
              0.78517,
              0.9712,
              1.20646,
              1.49925
            ],
            [
              0.05915,
              0.24103,
              0.28791,
              0.34751,
              0.42203,
              0.51678,
              0.6353,
              0.7847,
              0.9718,
              1.2065,
              1.4999
            ],
            [
              0.0625,
              0.2462,
              0.2921,
              0.3506,
              0.4239,
              0.5173,
              0.636,
              0.7854,
              0.9704,
              1.2066,
              1.497
            ],
            [
              0.0683,
              0.2518,
              0.2977,
              0.3563,
              0.4297,
              0.5227,
              0.6411,
              0.7891,
              0.9735,
              1.2053,
              1.4974
            ],
            [
              0.0785,
              0.2568,
              0.3027,
              0.3601,
              0.4333,
              0.5269,
              0.6441,
              0.7916,
              0.9763,
              1.2109,
              1.5034
            ]
          ]
        },
        "sdf_cond": "(A&!C)",
        "timing_sense": "positive_unate",
        "when": "(A&!C)"
      },
      {
        "cell_fall,delay_template13x11": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.58223,
              0.75728,
              0.78692,
              0.82127,
              0.86143,
              0.90864,
              0.96462,
              1.03157,
              1.11237,
              1.21077,
              1.33177
            ],
            [
              0.58417,
              0.75926,
              0.78891,
              0.82322,
              0.8634,
              0.9106,
              0.96659,
              1.03344,
              1.11434,
              1.21284,
              1.33334
            ],
            [
              0.58633,
              0.7614,
              0.79103,
              0.82538,
              0.86553,
              0.91273,
              0.9687,
              1.03562,
              1.11642,
              1.21472,
              1.33582
            ],
            [
              0.5894,
              0.76446,
              0.79409,
              0.8284,
              0.8686,
              0.91577,
              0.97178,
              1.03858,
              1.11947,
              1.21798,
              1.33858
            ],
            [
              0.5941,
              0.76913,
              0.79874,
              0.83309,
              0.87325,
              0.92044,
              0.97641,
              1.04331,
              1.12411,
              1.22241,
              1.34351
            ],
            [
              0.60179,
              0.77677,
              0.80639,
              0.84071,
              0.8809,
              0.92812,
              0.98402,
              1.05092,
              1.13172,
              1.23022,
              1.35092
            ],
            [
              0.61451,
              0.78942,
              0.81906,
              0.85342,
              0.89363,
              0.94073,
              0.99673,
              1.06363,
              1.14443,
              1.24273,
              1.36383
            ],
            [
              0.63574,
              0.81059,
              0.84026,
              0.87456,
              0.91476,
              0.96186,
              1.01786,
              1.08476,
              1.16556,
              1.26406,
              1.38466
            ],
            [
              0.67061,
              0.84535,
              0.87495,
              0.90935,
              0.94945,
              0.99675,
              1.05275,
              1.11965,
              1.20045,
              1.29875,
              1.41975
            ],
            [
              0.72689,
              0.90159,
              0.93119,
              0.96549,
              1.00559,
              1.05279,
              1.10879,
              1.17569,
              1.25649,
              1.35509,
              1.47579
            ],
            [
              0.81552,
              0.99012,
              1.01972,
              1.05402,
              1.09412,
              1.14132,
              1.19742,
              1.26432,
              1.34502,
              1.44372,
              1.56452
            ],
            [
              0.95237,
              1.12677,
              1.15637,
              1.19077,
              1.23087,
              1.27807,
              1.33417,
              1.40107,
              1.48197,
              1.58057,
              1.70117
            ],
            [
              1.1444,
              1.3256,
              1.3556,
              1.3903,
              1.4309,
              1.4784,
              1.5347,
              1.6018,
              1.6829,
              1.7815,
              1.9023
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.19404,
              0.37048,
              0.40642,
              0.45035,
              0.50479,
              0.57233,
              0.65654,
              0.7612,
              0.89259,
              1.05707,
              1.26107
            ],
            [
              0.19727,
              0.37373,
              0.40967,
              0.45353,
              0.50785,
              0.57539,
              0.65946,
              0.76444,
              0.89612,
              1.05954,
              1.26524
            ],
            [
              0.20099,
              0.37738,
              0.41336,
              0.45733,
              0.5118,
              0.57925,
              0.66319,
              0.76807,
              0.89989,
              1.06382,
              1.26872
            ],
            [
              0.20616,
              0.38255,
              0.41848,
              0.4626,
              0.51687,
              0.58422,
              0.66829,
              0.77321,
              0.90448,
              1.06868,
              1.27428
            ],
            [
              0.21335,
              0.38977,
              0.42567,
              0.46961,
              0.52414,
              0.59173,
              0.67593,
              0.78094,
              0.912,
              1.07651,
              1.28111
            ],
            [
              0.22359,
              0.39998,
              0.43593,
              0.47999,
              0.53419,
              0.60175,
              0.68616,
              0.79111,
              0.9223,
              1.08602,
              1.29102
            ],
            [
              0.23858,
              0.41488,
              0.45089,
              0.49485,
              0.54932,
              0.61693,
              0.70116,
              0.8062,
              0.93673,
              1.10123,
              1.30613
            ],
            [
              0.26081,
              0.43686,
              0.47288,
              0.51701,
              0.57133,
              0.63911,
              0.72343,
              0.82847,
              0.95916,
              1.12376,
              1.32876
            ],
            [
              0.29253,
              0.46911,
              0.50527,
              0.54932,
              0.60386,
              0.67158,
              0.75595,
              0.86105,
              0.99235,
              1.15545,
              1.36215
            ],
            [
              0.3332,
              0.51433,
              0.55055,
              0.59482,
              0.64939,
              0.71699,
              0.80129,
              0.90609,
              1.03819,
              1.20169,
              1.40699
            ],
            [
              0.38559,
              0.57292,
              0.60982,
              0.65452,
              0.70962,
              0.77722,
              0.86172,
              0.96672,
              1.09812,
              1.26282,
              1.46732
            ],
            [
              0.45117,
              0.64497,
              0.68257,
              0.72807,
              0.78417,
              0.85267,
              0.93767,
              1.04287,
              1.17467,
              1.33887,
              1.54417
            ],
            [
              0.5291,
              0.7331,
              0.7713,
              0.8175,
              0.8735,
              0.9428,
              1.0284,
              1.1345,
              1.2668,
              1.4316,
              1.6368
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.07716,
              0.20391,
              0.22938,
              0.26092,
              0.3006,
              0.34862,
              0.40843,
              0.48395,
              0.5808,
              0.70132,
              0.85548
            ],
            [
              0.07709,
              0.20388,
              0.22934,
              0.2607,
              0.30001,
              0.34774,
              0.40855,
              0.48458,
              0.57983,
              0.70115,
              0.85454
            ],
            [
              0.07711,
              0.20386,
              0.2293,
              0.26125,
              0.3003,
              0.34783,
              0.40834,
              0.48377,
              0.58052,
              0.70095,
              0.85532
            ],
            [
              0.07721,
              0.20358,
              0.22977,
              0.26054,
              0.29983,
              0.34826,
              0.40838,
              0.48451,
              0.57967,
              0.70109,
              0.85419
            ],
            [
              0.07709,
              0.20354,
              0.22929,
              0.26112,
              0.29994,
              0.34787,
              0.40818,
              0.48491,
              0.57996,
              0.7006,
              0.85507
            ],
            [
              0.07713,
              0.20355,
              0.22975,
              0.26054,
              0.29974,
              0.34805,
              0.40836,
              0.48429,
              0.57955,
              0.70107,
              0.8537
            ],
            [
              0.07709,
              0.2038,
              0.2293,
              0.26079,
              0.29988,
              0.34791,
              0.40801,
              0.48471,
              0.58049,
              0.7004,
              0.855
            ],
            [
              0.07714,
              0.20378,
              0.22925,
              0.26056,
              0.29986,
              0.34827,
              0.40827,
              0.4844,
              0.5795,
              0.701,
              0.854
            ],
            [
              0.07707,
              0.20352,
              0.2292,
              0.2607,
              0.2999,
              0.3477,
              0.4082,
              0.4837,
              0.5806,
              0.7013,
              0.8551
            ],
            [
              0.0771,
              0.2037,
              0.2293,
              0.2605,
              0.2998,
              0.3481,
              0.4084,
              0.4843,
              0.5795,
              0.701,
              0.8536
            ],
            [
              0.0771,
              0.2039,
              0.2295,
              0.2607,
              0.2999,
              0.3482,
              0.4085,
              0.4844,
              0.5794,
              0.701,
              0.8545
            ],
            [
              0.0773,
              0.204,
              0.2297,
              0.2611,
              0.2998,
              0.3481,
              0.4081,
              0.4848,
              0.5796,
              0.7009,
              0.8541
            ],
            [
              0.0858,
              0.2098,
              0.2354,
              0.266,
              0.3041,
              0.3513,
              0.4108,
              0.4865,
              0.5811,
              0.7022,
              0.8556
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.06077,
              0.24421,
              0.29095,
              0.34931,
              0.42369,
              0.51733,
              0.63537,
              0.78498,
              0.97201,
              1.20517,
              1.49887
            ],
            [
              0.06077,
              0.24428,
              0.29091,
              0.34935,
              0.42407,
              0.51783,
              0.63618,
              0.78527,
              0.97089,
              1.20487,
              1.49721
            ],
            [
              0.06077,
              0.2447,
              0.29086,
              0.34916,
              0.42381,
              0.51763,
              0.63634,
              0.78525,
              0.97219,
              1.20411,
              1.49975
            ],
            [
              0.0608,
              0.24505,
              0.29122,
              0.34988,
              0.4241,
              0.51784,
              0.63619,
              0.78509,
              0.97195,
              1.20318,
              1.49875
            ],
            [
              0.06074,
              0.24449,
              0.29083,
              0.34938,
              0.4238,
              0.51693,
              0.6357,
              0.7846,
              0.96976,
              1.20582,
              1.49709
            ],
            [
              0.0608,
              0.24426,
              0.29123,
              0.34986,
              0.42395,
              0.51771,
              0.63566,
              0.78346,
              0.97154,
              1.20337,
              1.49774
            ],
            [
              0.06054,
              0.24424,
              0.29054,
              0.34919,
              0.42375,
              0.517,
              0.63566,
              0.78404,
              0.97161,
              1.20373,
              1.49649
            ],
            [
              0.06061,
              0.24462,
              0.29078,
              0.34937,
              0.42393,
              0.51731,
              0.63532,
              0.78388,
              0.97183,
              1.20511,
              1.49659
            ],
            [
              0.06189,
              0.2453,
              0.29094,
              0.34919,
              0.42398,
              0.5172,
              0.63556,
              0.78444,
              0.97051,
              1.20502,
              1.49944
            ],
            [
              0.0649,
              0.24635,
              0.29274,
              0.35091,
              0.42424,
              0.51796,
              0.63621,
              0.7852,
              0.97158,
              1.2061,
              1.4959
            ],
            [
              0.06822,
              0.2517,
              0.2972,
              0.355,
              0.4286,
              0.5205,
              0.6379,
              0.7856,
              0.9711,
              1.2047,
              1.4984
            ],
            [
              0.0745,
              0.2577,
              0.3028,
              0.3603,
              0.4326,
              0.5248,
              0.6408,
              0.7903,
              0.9724,
              1.2045,
              1.4973
            ],
            [
              0.0857,
              0.2646,
              0.3092,
              0.3661,
              0.438,
              0.5296,
              0.6458,
              0.7919,
              0.9759,
              1.2075,
              1.5008
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.49105,
              0.70534,
              0.74018,
              0.78,
              0.82592,
              0.87902,
              0.94099,
              1.01377,
              1.09997,
              1.20327,
              1.32807
            ],
            [
              0.49334,
              0.70761,
              0.74248,
              0.78228,
              0.8282,
              0.88129,
              0.94324,
              1.01594,
              1.10214,
              1.20554,
              1.33044
            ],
            [
              0.49604,
              0.71026,
              0.74513,
              0.78498,
              0.83093,
              0.88402,
              0.94592,
              1.01862,
              1.10482,
              1.20812,
              1.33312
            ],
            [
              0.50016,
              0.71444,
              0.74926,
              0.78914,
              0.83506,
              0.88813,
              0.95008,
              1.02278,
              1.10898,
              1.21237,
              1.33727
            ],
            [
              0.50659,
              0.72079,
              0.75566,
              0.79548,
              0.84143,
              0.89451,
              0.95641,
              1.02921,
              1.11541,
              1.21861,
              1.34361
            ],
            [
              0.51635,
              0.73044,
              0.7653,
              0.80519,
              0.85111,
              0.90419,
              0.96612,
              1.03892,
              1.12512,
              1.22842,
              1.35312
            ],
            [
              0.53098,
              0.7449,
              0.77977,
              0.81966,
              0.86558,
              0.91863,
              0.98063,
              1.05343,
              1.13963,
              1.24283,
              1.36763
            ],
            [
              0.55326,
              0.767,
              0.80188,
              0.84166,
              0.88766,
              0.94076,
              1.00276,
              1.07546,
              1.16166,
              1.26496,
              1.38976
            ],
            [
              0.58749,
              0.80095,
              0.83575,
              0.87565,
              0.92165,
              0.97475,
              1.03665,
              1.10945,
              1.19565,
              1.29895,
              1.42375
            ],
            [
              0.64029,
              0.85329,
              0.88809,
              0.92799,
              0.97389,
              1.02699,
              1.08899,
              1.16179,
              1.24799,
              1.35129,
              1.47629
            ],
            [
              0.72092,
              0.93322,
              0.96802,
              1.00782,
              1.05382,
              1.10692,
              1.16892,
              1.24172,
              1.32792,
              1.43142,
              1.55622
            ],
            [
              0.83627,
              1.05127,
              1.08627,
              1.12627,
              1.17247,
              1.22567,
              1.28787,
              1.36067,
              1.44707,
              1.55057,
              1.67537
            ],
            [
              0.9819,
              1.2086,
              1.2458,
              1.2879,
              1.3359,
              1.3907,
              1.4542,
              1.5281,
              1.6152,
              1.7193,
              1.8448
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.21875,
              0.38376,
              0.41907,
              0.46292,
              0.51755,
              0.58513,
              0.66939,
              0.77505,
              0.90671,
              1.07147,
              1.27677
            ],
            [
              0.22163,
              0.38646,
              0.42206,
              0.46588,
              0.52029,
              0.58819,
              0.67284,
              0.77813,
              0.9096,
              1.07354,
              1.28014
            ],
            [
              0.22515,
              0.39002,
              0.42558,
              0.46943,
              0.52371,
              0.59164,
              0.67636,
              0.7818,
              0.91294,
              1.07762,
              1.28332
            ],
            [
              0.23044,
              0.39543,
              0.43088,
              0.47454,
              0.52921,
              0.59701,
              0.68149,
              0.78644,
              0.9186,
              1.08248,
              1.28868
            ],
            [
              0.23839,
              0.40331,
              0.43881,
              0.48269,
              0.53715,
              0.6047,
              0.68953,
              0.79506,
              0.92591,
              1.09131,
              1.29531
            ],
            [
              0.25023,
              0.4152,
              0.45062,
              0.4943,
              0.54899,
              0.61682,
              0.70132,
              0.8062,
              0.93752,
              1.10302,
              1.30782
            ],
            [
              0.26794,
              0.43264,
              0.46825,
              0.51211,
              0.5665,
              0.63444,
              0.71912,
              0.82447,
              0.95583,
              1.12013,
              1.32593
            ],
            [
              0.29459,
              0.4592,
              0.49473,
              0.53863,
              0.59302,
              0.66085,
              0.74566,
              0.85116,
              0.98216,
              1.14716,
              1.35276
            ],
            [
              0.33484,
              0.49904,
              0.53464,
              0.57851,
              0.63295,
              0.70095,
              0.78565,
              0.89105,
              1.02265,
              1.18665,
              1.39315
            ],
            [
              0.39276,
              0.55726,
              0.59288,
              0.63669,
              0.69139,
              0.75899,
              0.84379,
              0.94959,
              1.08109,
              1.24579,
              1.45009
            ],
            [
              0.46442,
              0.63302,
              0.66882,
              0.71262,
              0.76732,
              0.83522,
              0.91962,
              1.02532,
              1.15752,
              1.32162,
              1.52742
            ],
            [
              0.55017,
              0.72437,
              0.76047,
              0.80477,
              0.85967,
              0.92767,
              1.01237,
              1.11807,
              1.24937,
              1.41437,
              1.62037
            ],
            [
              0.6502,
              0.8328,
              0.8692,
              0.9137,
              0.9686,
              1.0371,
              1.1224,
              1.2282,
              1.3602,
              1.5247,
              1.7296
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.08791,
              0.24206,
              0.26955,
              0.30211,
              0.34191,
              0.38966,
              0.45036,
              0.52466,
              0.61866,
              0.7359,
              0.8843
            ],
            [
              0.0878,
              0.242,
              0.26931,
              0.30202,
              0.34186,
              0.38951,
              0.45042,
              0.52451,
              0.61778,
              0.73658,
              0.88434
            ],
            [
              0.0878,
              0.24202,
              0.26904,
              0.3017,
              0.34125,
              0.39019,
              0.45118,
              0.52541,
              0.61746,
              0.73622,
              0.8843
            ],
            [
              0.08781,
              0.24189,
              0.26899,
              0.3017,
              0.34125,
              0.38944,
              0.45025,
              0.52484,
              0.61772,
              0.73643,
              0.88435
            ],
            [
              0.08775,
              0.24188,
              0.26936,
              0.30192,
              0.34119,
              0.38983,
              0.44999,
              0.52403,
              0.61757,
              0.73568,
              0.88441
            ],
            [
              0.08772,
              0.24187,
              0.26941,
              0.30165,
              0.34109,
              0.38972,
              0.44999,
              0.52454,
              0.61785,
              0.7355,
              0.884
            ],
            [
              0.08766,
              0.2419,
              0.2694,
              0.30165,
              0.3411,
              0.38971,
              0.44988,
              0.52442,
              0.61794,
              0.73548,
              0.8839
            ],
            [
              0.08761,
              0.24176,
              0.26906,
              0.30184,
              0.34158,
              0.3893,
              0.45019,
              0.52438,
              0.6174,
              0.7358,
              0.8833
            ],
            [
              0.0875,
              0.24171,
              0.2688,
              0.30148,
              0.34101,
              0.3896,
              0.4498,
              0.5244,
              0.6178,
              0.7354,
              0.8839
            ],
            [
              0.08729,
              0.2417,
              0.2686,
              0.3014,
              0.3409,
              0.3896,
              0.4496,
              0.5246,
              0.6181,
              0.7357,
              0.8841
            ],
            [
              0.0869,
              0.2415,
              0.2688,
              0.3015,
              0.3408,
              0.389,
              0.4499,
              0.5243,
              0.6173,
              0.7362,
              0.8841
            ],
            [
              0.0916,
              0.2437,
              0.2706,
              0.303,
              0.3423,
              0.3907,
              0.4503,
              0.5248,
              0.6179,
              0.7358,
              0.8841
            ],
            [
              0.0978,
              0.2595,
              0.2868,
              0.3185,
              0.3574,
              0.4034,
              0.4622,
              0.5337,
              0.6255,
              0.7418,
              0.8884
            ]
          ]
        },
        "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.00824,
            0.0103,
            0.01287,
            0.01609,
            0.02011,
            0.02514,
            0.03142,
            0.03927,
            0.04909,
            0.06136
          ],
          "values": [
            [
              0.05287,
              0.23857,
              0.28647,
              0.34628,
              0.42129,
              0.51707,
              0.63678,
              0.78479,
              0.97294,
              1.20667,
              1.50148
            ],
            [
              0.05287,
              0.23882,
              0.28633,
              0.34599,
              0.42186,
              0.5163,
              0.63624,
              0.78652,
              0.97137,
              1.2067,
              1.50228
            ],
            [
              0.05286,
              0.23861,
              0.28637,
              0.34603,
              0.42191,
              0.51677,
              0.63588,
              0.78637,
              0.97154,
              1.20748,
              1.49955
            ],
            [
              0.05286,
              0.23881,
              0.28588,
              0.34618,
              0.42169,
              0.51667,
              0.63674,
              0.78594,
              0.97254,
              1.20511,
              1.50149
            ],
            [
              0.05282,
              0.2383,
              0.28649,
              0.34572,
              0.42167,
              0.51705,
              0.63551,
              0.78541,
              0.97252,
              1.208,
              1.49815
            ],
            [
              0.05281,
              0.23864,
              0.28596,
              0.34615,
              0.42165,
              0.51657,
              0.63665,
              0.78615,
              0.97266,
              1.20693,
              1.50034
            ],
            [
              0.0528,
              0.23873,
              0.28624,
              0.34587,
              0.42177,
              0.51631,
              0.63597,
              0.78635,
              0.97101,
              1.20696,
              1.49913
            ],
            [
              0.05279,
              0.23841,
              0.28633,
              0.34601,
              0.42178,
              0.51681,
              0.63564,
              0.78609,
              0.97173,
              1.20759,
              1.49986
            ],
            [
              0.05276,
              0.23872,
              0.28625,
              0.34582,
              0.42171,
              0.51621,
              0.636,
              0.78641,
              0.97139,
              1.20659,
              1.50057
            ],
            [
              0.05455,
              0.23896,
              0.28633,
              0.34603,
              0.42116,
              0.51702,
              0.63656,
              0.78623,
              0.9718,
              1.2073,
              1.4983
            ],
            [
              0.05908,
              0.2409,
              0.2878,
              0.3474,
              0.4224,
              0.5169,
              0.6365,
              0.7845,
              0.9734,
              1.2047,
              1.4997
            ],
            [
              0.0662,
              0.2449,
              0.2915,
              0.3502,
              0.4255,
              0.5194,
              0.639,
              0.7867,
              0.9726,
              1.205,
              1.499
            ],
            [
              0.0767,
              0.2498,
              0.295,
              0.3541,
              0.4286,
              0.5217,
              0.6402,
              0.7871,
              0.9754,
              1.2099,
              1.4997
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_unate",
        "when": "(A&!B)"
      }
    ]
  }
}