{
  "area": 7.992,
  "cell_footprint": "sky130_fd_sc_ls__o21ai",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00294,
    "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.00437,
          0.00358,
          0.00325,
          0.00344,
          0.00356,
          0.00341,
          0.00341,
          0.00341,
          0.00342,
          0.00373,
          0.00377,
          0.00415,
          0.00426
        ]
      },
      "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.00219,
          0.00236,
          0.00204,
          0.00211,
          0.00212,
          0.00212,
          0.00217,
          0.00214,
          0.00212,
          0.00232,
          0.00232,
          0.00249,
          0.00246
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00304,
    "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.00293,
          0.00317,
          0.0029,
          0.00287,
          0.00295,
          0.00286,
          0.00286,
          0.00289,
          0.0029,
          0.00315,
          0.0032,
          0.00351,
          0.00361
        ]
      },
      "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.00224,
          0.00245,
          0.00206,
          0.00222,
          0.00225,
          0.00223,
          0.00223,
          0.00225,
          0.00223,
          0.00243,
          0.00243,
          0.00262,
          0.00261
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00306,
    "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.00162,
          0.00171,
          0.00144,
          0.00131,
          0.00131,
          0.00127,
          0.0013,
          0.00127,
          0.00126,
          0.00139,
          0.00138,
          0.0015,
          0.00149
        ]
      },
      "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.00472,
          0.0037,
          0.00372,
          0.00364,
          0.0037,
          0.00355,
          0.00355,
          0.00356,
          0.0036,
          0.00397,
          0.00409,
          0.00464,
          0.00496
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,Y": {
    "direction": "output",
    "function": "(!A1&!A2) | (!B1)",
    "internal_power": [
      {
        "fall_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.00453,
              -0.00314,
              -0.01085,
              -0.02629,
              -0.05715
            ],
            [
              0.00462,
              -0.00308,
              -0.01079,
              -0.02623,
              -0.05709
            ],
            [
              0.00468,
              -0.00303,
              -0.01075,
              -0.02619,
              -0.05705
            ],
            [
              0.00474,
              -0.00298,
              -0.01071,
              -0.02615,
              -0.05702
            ],
            [
              0.00482,
              -0.00294,
              -0.01066,
              -0.02611,
              -0.05698
            ],
            [
              0.00491,
              -0.00288,
              -0.01063,
              -0.02608,
              -0.05696
            ],
            [
              0.00501,
              -0.00281,
              -0.01057,
              -0.02604,
              -0.05693
            ],
            [
              0.00512,
              -0.00273,
              -0.01051,
              -0.026,
              -0.0569
            ],
            [
              0.00523,
              -0.00265,
              -0.01044,
              -0.02595,
              -0.05687
            ],
            [
              0.00534,
              -0.00254,
              -0.01035,
              -0.02589,
              -0.05682
            ],
            [
              0.00542,
              -0.00244,
              -0.01026,
              -0.02581,
              -0.05677
            ],
            [
              0.00546,
              -0.00236,
              -0.01017,
              -0.02573,
              -0.05671
            ],
            [
              0.00547,
              -0.00232,
              -0.0101,
              -0.02565,
              -0.05664
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.02143,
              0.02908,
              0.03671,
              0.05196,
              0.08252
            ],
            [
              0.02135,
              0.029,
              0.03666,
              0.05192,
              0.0824
            ],
            [
              0.02129,
              0.02899,
              0.03664,
              0.05192,
              0.08241
            ],
            [
              0.02122,
              0.02893,
              0.0366,
              0.05186,
              0.0824
            ],
            [
              0.02115,
              0.0289,
              0.03654,
              0.05183,
              0.08238
            ],
            [
              0.02107,
              0.02884,
              0.03652,
              0.05185,
              0.08238
            ],
            [
              0.02099,
              0.02877,
              0.03645,
              0.05177,
              0.08236
            ],
            [
              0.02093,
              0.02869,
              0.03638,
              0.05176,
              0.08234
            ],
            [
              0.02087,
              0.02861,
              0.03632,
              0.05166,
              0.08225
            ],
            [
              0.02083,
              0.02856,
              0.03628,
              0.05162,
              0.0822
            ],
            [
              0.02082,
              0.02852,
              0.03621,
              0.05156,
              0.08213
            ],
            [
              0.0208,
              0.02849,
              0.03615,
              0.05149,
              0.08207
            ],
            [
              0.02076,
              0.02851,
              0.03614,
              0.05144,
              0.08198
            ]
          ]
        },
        "when": "(!A2&B1)"
      },
      {
        "fall_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.00245,
              -0.00538,
              -0.01312,
              -0.02857,
              -0.05944
            ],
            [
              0.00247,
              -0.00539,
              -0.01314,
              -0.0286,
              -0.05947
            ],
            [
              0.00254,
              -0.0054,
              -0.01317,
              -0.02863,
              -0.05951
            ],
            [
              0.00265,
              -0.00536,
              -0.01314,
              -0.02862,
              -0.05951
            ],
            [
              0.00278,
              -0.00533,
              -0.01313,
              -0.02862,
              -0.05953
            ],
            [
              0.00292,
              -0.00525,
              -0.01309,
              -0.0286,
              -0.05952
            ],
            [
              0.00308,
              -0.00513,
              -0.01301,
              -0.02857,
              -0.0595
            ],
            [
              0.00323,
              -0.00499,
              -0.01291,
              -0.0285,
              -0.05947
            ],
            [
              0.00336,
              -0.00483,
              -0.01277,
              -0.02841,
              -0.05942
            ],
            [
              0.00346,
              -0.00465,
              -0.01261,
              -0.02829,
              -0.05934
            ],
            [
              0.00352,
              -0.0045,
              -0.01244,
              -0.02814,
              -0.05924
            ],
            [
              0.00355,
              -0.00438,
              -0.01228,
              -0.02798,
              -0.05911
            ],
            [
              0.00352,
              -0.00432,
              -0.01216,
              -0.02782,
              -0.05896
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.01513,
              0.02282,
              0.03046,
              0.04573,
              0.07624
            ],
            [
              0.0151,
              0.02282,
              0.03047,
              0.04576,
              0.0763
            ],
            [
              0.01498,
              0.02274,
              0.0304,
              0.04569,
              0.07624
            ],
            [
              0.01492,
              0.02271,
              0.03038,
              0.04567,
              0.07621
            ],
            [
              0.0148,
              0.02263,
              0.03034,
              0.04565,
              0.07613
            ],
            [
              0.01468,
              0.02254,
              0.03025,
              0.04561,
              0.07613
            ],
            [
              0.01458,
              0.02245,
              0.03017,
              0.04553,
              0.07606
            ],
            [
              0.0145,
              0.02234,
              0.03007,
              0.04545,
              0.07602
            ],
            [
              0.01444,
              0.02226,
              0.02999,
              0.04536,
              0.07601
            ],
            [
              0.01443,
              0.02214,
              0.02989,
              0.04526,
              0.07586
            ],
            [
              0.01447,
              0.0221,
              0.02979,
              0.04517,
              0.07577
            ],
            [
              0.01453,
              0.02218,
              0.02981,
              0.04511,
              0.07566
            ],
            [
              0.01467,
              0.0223,
              0.02983,
              0.04512,
              0.07558
            ]
          ]
        },
        "when": "(!A1&B1)"
      },
      {
        "fall_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.00338,
              -0.00441,
              -0.01215,
              -0.02761,
              -0.05848
            ],
            [
              0.00352,
              -0.00438,
              -0.01214,
              -0.02759,
              -0.05846
            ],
            [
              0.00361,
              -0.00433,
              -0.0121,
              -0.02758,
              -0.05847
            ],
            [
              0.00373,
              -0.00428,
              -0.01208,
              -0.02756,
              -0.05846
            ],
            [
              0.00385,
              -0.00421,
              -0.01203,
              -0.02753,
              -0.05844
            ],
            [
              0.00398,
              -0.0041,
              -0.01195,
              -0.02748,
              -0.05841
            ],
            [
              0.00411,
              -0.00399,
              -0.01186,
              -0.02742,
              -0.05837
            ],
            [
              0.00421,
              -0.00386,
              -0.01174,
              -0.02734,
              -0.05832
            ],
            [
              0.00428,
              -0.00373,
              -0.01161,
              -0.02724,
              -0.05825
            ],
            [
              0.00431,
              -0.00362,
              -0.01149,
              -0.02712,
              -0.05817
            ],
            [
              0.00427,
              -0.00355,
              -0.01139,
              -0.027,
              -0.05807
            ],
            [
              0.00418,
              -0.00359,
              -0.01132,
              -0.0269,
              -0.05797
            ],
            [
              0.00395,
              -0.00364,
              -0.01136,
              -0.02687,
              -0.05789
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.01351,
              0.02139,
              0.02907,
              0.04441,
              0.07498
            ],
            [
              0.01339,
              0.02135,
              0.02906,
              0.04438,
              0.07498
            ],
            [
              0.01328,
              0.0213,
              0.02905,
              0.04436,
              0.07498
            ],
            [
              0.01316,
              0.02123,
              0.02899,
              0.04432,
              0.07495
            ],
            [
              0.01305,
              0.02112,
              0.02892,
              0.04431,
              0.07488
            ],
            [
              0.01295,
              0.02103,
              0.02881,
              0.04419,
              0.07478
            ],
            [
              0.01289,
              0.0209,
              0.0287,
              0.04411,
              0.07473
            ],
            [
              0.01286,
              0.02077,
              0.02857,
              0.04402,
              0.07475
            ],
            [
              0.01286,
              0.02066,
              0.02844,
              0.04394,
              0.07457
            ],
            [
              0.01289,
              0.02063,
              0.02835,
              0.04373,
              0.07457
            ],
            [
              0.01296,
              0.02067,
              0.02826,
              0.04364,
              0.0744
            ],
            [
              0.01316,
              0.02073,
              0.02834,
              0.04355,
              0.07419
            ],
            [
              0.01336,
              0.02086,
              0.0285,
              0.04367,
              0.07419
            ]
          ]
        },
        "when": "(A1) | (A2)"
      }
    ],
    "max_capacitance": 0.03102,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.07125,
              0.12984,
              0.18632,
              0.29807,
              0.52034
            ],
            [
              0.07434,
              0.13294,
              0.18943,
              0.30119,
              0.52343
            ],
            [
              0.07807,
              0.13674,
              0.19325,
              0.30503,
              0.52727
            ],
            [
              0.08374,
              0.14253,
              0.19904,
              0.31087,
              0.53314
            ],
            [
              0.09191,
              0.15086,
              0.20746,
              0.31929,
              0.54159
            ],
            [
              0.10342,
              0.16257,
              0.21924,
              0.33115,
              0.55353
            ],
            [
              0.12002,
              0.1793,
              0.23609,
              0.34811,
              0.5706
            ],
            [
              0.14258,
              0.20376,
              0.26073,
              0.37293,
              0.59553
            ],
            [
              0.17203,
              0.23965,
              0.2972,
              0.40963,
              0.63244
            ],
            [
              0.21018,
              0.28782,
              0.35086,
              0.46441,
              0.68749
            ],
            [
              0.258,
              0.35096,
              0.4229,
              0.54592,
              0.76992
            ],
            [
              0.31597,
              0.43197,
              0.51737,
              0.65737,
              0.89297
            ],
            [
              0.384,
              0.5326,
              0.6384,
              0.8039,
              1.0693
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.15526,
              0.28746,
              0.41718,
              0.67506,
              1.18897
            ],
            [
              0.15788,
              0.29037,
              0.42016,
              0.67804,
              1.19204
            ],
            [
              0.16132,
              0.29413,
              0.42403,
              0.68199,
              1.19602
            ],
            [
              0.16684,
              0.30003,
              0.43008,
              0.68817,
              1.20208
            ],
            [
              0.17537,
              0.309,
              0.43921,
              0.69744,
              1.21151
            ],
            [
              0.18812,
              0.32203,
              0.45248,
              0.71095,
              1.22522
            ],
            [
              0.20654,
              0.34058,
              0.47121,
              0.72995,
              1.24453
            ],
            [
              0.23333,
              0.36725,
              0.49804,
              0.75703,
              1.27196
            ],
            [
              0.2728,
              0.40645,
              0.53728,
              0.79645,
              1.31165
            ],
            [
              0.32635,
              0.46478,
              0.5956,
              0.85489,
              1.37039
            ],
            [
              0.39536,
              0.55132,
              0.68292,
              0.94232,
              1.45792
            ],
            [
              0.48467,
              0.66627,
              0.81227,
              1.07327,
              1.58927
            ],
            [
              0.5978,
              0.8161,
              0.9852,
              1.2693,
              1.7861
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.04631,
              0.1206,
              0.19467,
              0.34308,
              0.63962
            ],
            [
              0.04626,
              0.12064,
              0.19474,
              0.34276,
              0.63885
            ],
            [
              0.04628,
              0.12066,
              0.19471,
              0.34286,
              0.63922
            ],
            [
              0.04626,
              0.12064,
              0.19484,
              0.34307,
              0.63979
            ],
            [
              0.04626,
              0.12048,
              0.19479,
              0.34306,
              0.63954
            ],
            [
              0.04613,
              0.12054,
              0.19478,
              0.34308,
              0.63965
            ],
            [
              0.04753,
              0.12045,
              0.19474,
              0.34308,
              0.63979
            ],
            [
              0.05253,
              0.12221,
              0.19471,
              0.34303,
              0.63975
            ],
            [
              0.06078,
              0.12875,
              0.1982,
              0.34279,
              0.63936
            ],
            [
              0.07346,
              0.14426,
              0.20951,
              0.34813,
              0.63901
            ],
            [
              0.0931,
              0.16889,
              0.23487,
              0.36432,
              0.6442
            ],
            [
              0.1219,
              0.2063,
              0.2753,
              0.402,
              0.6639
            ],
            [
              0.1625,
              0.2609,
              0.3355,
              0.4676,
              0.7148
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.11191,
              0.2853,
              0.45835,
              0.80284,
              1.48888
            ],
            [
              0.11186,
              0.2855,
              0.45842,
              0.80305,
              1.49064
            ],
            [
              0.11195,
              0.28552,
              0.45822,
              0.80202,
              1.49112
            ],
            [
              0.11191,
              0.28548,
              0.45811,
              0.80295,
              1.49038
            ],
            [
              0.11186,
              0.28515,
              0.45809,
              0.80279,
              1.49063
            ],
            [
              0.11195,
              0.28542,
              0.45842,
              0.80208,
              1.49018
            ],
            [
              0.1119,
              0.28517,
              0.4582,
              0.8031,
              1.49029
            ],
            [
              0.112,
              0.28537,
              0.45797,
              0.802,
              1.4902
            ],
            [
              0.11806,
              0.2853,
              0.4583,
              0.80281,
              1.48947
            ],
            [
              0.13355,
              0.29153,
              0.45816,
              0.80254,
              1.4909
            ],
            [
              0.15735,
              0.31052,
              0.4691,
              0.803,
              1.4906
            ],
            [
              0.1917,
              0.3526,
              0.4996,
              0.8156,
              1.4909
            ],
            [
              0.2429,
              0.4166,
              0.5648,
              0.8585,
              1.501
            ]
          ]
        },
        "timing_sense": "negative_unate"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.05394,
              0.10609,
              0.1576,
              0.26031,
              0.46519
            ],
            [
              0.05708,
              0.10959,
              0.16104,
              0.26365,
              0.46864
            ],
            [
              0.06072,
              0.11364,
              0.1652,
              0.26809,
              0.47343
            ],
            [
              0.06614,
              0.1195,
              0.17125,
              0.27415,
              0.47952
            ],
            [
              0.07386,
              0.12773,
              0.17969,
              0.28256,
              0.48798
            ],
            [
              0.08484,
              0.13915,
              0.19135,
              0.29443,
              0.49968
            ],
            [
              0.09957,
              0.15543,
              0.20787,
              0.31109,
              0.51677
            ],
            [
              0.11819,
              0.17932,
              0.23195,
              0.3356,
              0.5417
            ],
            [
              0.14186,
              0.21242,
              0.26783,
              0.3719,
              0.57805
            ],
            [
              0.17089,
              0.25542,
              0.3184,
              0.42595,
              0.63269
            ],
            [
              0.20522,
              0.31062,
              0.38441,
              0.50492,
              0.71432
            ],
            [
              0.24387,
              0.37917,
              0.46947,
              0.60957,
              0.83627
            ],
            [
              0.2847,
              0.4615,
              0.5757,
              0.7451,
              1.0048
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.13339,
              0.26594,
              0.39574,
              0.65363,
              1.16757
            ],
            [
              0.13485,
              0.26787,
              0.39782,
              0.6558,
              1.16984
            ],
            [
              0.13702,
              0.2706,
              0.40067,
              0.6588,
              1.17282
            ],
            [
              0.141,
              0.27514,
              0.40546,
              0.66373,
              1.17797
            ],
            [
              0.14772,
              0.28239,
              0.41299,
              0.67152,
              1.18581
            ],
            [
              0.15877,
              0.29385,
              0.42472,
              0.68358,
              1.19812
            ],
            [
              0.17666,
              0.31167,
              0.4428,
              0.70196,
              1.21673
            ],
            [
              0.20475,
              0.33951,
              0.47075,
              0.73022,
              1.24546
            ],
            [
              0.24854,
              0.38209,
              0.51311,
              0.77265,
              1.28805
            ],
            [
              0.308,
              0.44673,
              0.57777,
              0.83709,
              1.35269
            ],
            [
              0.38247,
              0.54652,
              0.67632,
              0.93492,
              1.45032
            ],
            [
              0.47497,
              0.67977,
              0.82657,
              1.08377,
              1.59777
            ],
            [
              0.5897,
              0.8466,
              1.0289,
              1.309,
              1.8201
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.03047,
              0.09926,
              0.16792,
              0.30465,
              0.5792
            ],
            [
              0.0305,
              0.09923,
              0.16791,
              0.30492,
              0.57924
            ],
            [
              0.0305,
              0.09921,
              0.16787,
              0.30475,
              0.57813
            ],
            [
              0.0305,
              0.09924,
              0.16777,
              0.30478,
              0.5781
            ],
            [
              0.03054,
              0.0992,
              0.16775,
              0.30505,
              0.57829
            ],
            [
              0.03121,
              0.09913,
              0.1677,
              0.30472,
              0.57817
            ],
            [
              0.03472,
              0.09938,
              0.16762,
              0.30503,
              0.57845
            ],
            [
              0.04077,
              0.10286,
              0.16846,
              0.30493,
              0.57843
            ],
            [
              0.04987,
              0.11235,
              0.1739,
              0.30549,
              0.57895
            ],
            [
              0.06403,
              0.13036,
              0.18878,
              0.3127,
              0.57902
            ],
            [
              0.08465,
              0.15715,
              0.21751,
              0.33276,
              0.58626
            ],
            [
              0.1142,
              0.197,
              0.2607,
              0.377,
              0.6104
            ],
            [
              0.1564,
              0.254,
              0.3239,
              0.4452,
              0.6696
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.11183,
              0.28542,
              0.4577,
              0.80296,
              1.49083
            ],
            [
              0.11195,
              0.28528,
              0.45843,
              0.80211,
              1.48943
            ],
            [
              0.11187,
              0.2853,
              0.4584,
              0.80235,
              1.48937
            ],
            [
              0.11194,
              0.28538,
              0.45833,
              0.80265,
              1.49099
            ],
            [
              0.11188,
              0.28517,
              0.45827,
              0.80285,
              1.49071
            ],
            [
              0.11196,
              0.28527,
              0.45835,
              0.80274,
              1.49081
            ],
            [
              0.11182,
              0.28522,
              0.4577,
              0.80296,
              1.49029
            ],
            [
              0.11321,
              0.28533,
              0.45791,
              0.80294,
              1.49082
            ],
            [
              0.12447,
              0.28504,
              0.45839,
              0.80304,
              1.4893
            ],
            [
              0.15097,
              0.29472,
              0.45849,
              0.80242,
              1.4909
            ],
            [
              0.18497,
              0.32454,
              0.4722,
              0.8027,
              1.4911
            ],
            [
              0.2324,
              0.3893,
              0.5176,
              0.8176,
              1.4906
            ],
            [
              0.2958,
              0.4839,
              0.6147,
              0.8771,
              1.4994
            ]
          ]
        },
        "timing_sense": "negative_unate"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.03915,
              0.09169,
              0.14321,
              0.24599,
              0.4512
            ],
            [
              0.04149,
              0.09442,
              0.14597,
              0.24877,
              0.45423
            ],
            [
              0.04439,
              0.09774,
              0.14946,
              0.25213,
              0.45713
            ],
            [
              0.04917,
              0.10285,
              0.15459,
              0.25751,
              0.46276
            ],
            [
              0.05674,
              0.11072,
              0.16268,
              0.26584,
              0.47125
            ],
            [
              0.06831,
              0.12243,
              0.17461,
              0.27797,
              0.48341
            ],
            [
              0.08257,
              0.14028,
              0.19273,
              0.29614,
              0.50152
            ],
            [
              0.09979,
              0.16787,
              0.22022,
              0.32369,
              0.52942
            ],
            [
              0.12047,
              0.20562,
              0.26187,
              0.36503,
              0.57119
            ],
            [
              0.14474,
              0.25179,
              0.32116,
              0.42815,
              0.63369
            ],
            [
              0.17274,
              0.30795,
              0.39455,
              0.52182,
              0.72752
            ],
            [
              0.20377,
              0.37497,
              0.48397,
              0.64257,
              0.87097
            ],
            [
              0.2368,
              0.4547,
              0.5918,
              0.7905,
              1.0725
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.04236,
              0.10129,
              0.15857,
              0.27287,
              0.50076
            ],
            [
              0.04515,
              0.10451,
              0.16204,
              0.27603,
              0.50457
            ],
            [
              0.04874,
              0.10845,
              0.16606,
              0.28074,
              0.5087
            ],
            [
              0.05444,
              0.11446,
              0.17214,
              0.28669,
              0.51477
            ],
            [
              0.06336,
              0.12326,
              0.1815,
              0.29601,
              0.52386
            ],
            [
              0.07725,
              0.13699,
              0.19511,
              0.30945,
              0.53744
            ],
            [
              0.09602,
              0.15775,
              0.21546,
              0.33065,
              0.55891
            ],
            [
              0.11924,
              0.18936,
              0.24713,
              0.36214,
              0.59004
            ],
            [
              0.14805,
              0.2367,
              0.29491,
              0.40968,
              0.63812
            ],
            [
              0.18339,
              0.29797,
              0.36739,
              0.48199,
              0.71079
            ],
            [
              0.22656,
              0.37474,
              0.46402,
              0.59082,
              0.81872
            ],
            [
              0.27887,
              0.47037,
              0.58557,
              0.74747,
              0.98277
            ],
            [
              0.3421,
              0.5879,
              0.7376,
              0.9459,
              1.2282
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.03046,
              0.09925,
              0.16782,
              0.30454,
              0.57871
            ],
            [
              0.03043,
              0.09918,
              0.16788,
              0.30459,
              0.57837
            ],
            [
              0.03035,
              0.0993,
              0.1677,
              0.30504,
              0.57802
            ],
            [
              0.03018,
              0.09924,
              0.16785,
              0.30506,
              0.57804
            ],
            [
              0.03075,
              0.09918,
              0.16773,
              0.3047,
              0.57859
            ],
            [
              0.03467,
              0.09915,
              0.16773,
              0.30465,
              0.57865
            ],
            [
              0.04277,
              0.10052,
              0.16766,
              0.30495,
              0.57812
            ],
            [
              0.05337,
              0.10816,
              0.16954,
              0.30495,
              0.5786
            ],
            [
              0.06818,
              0.12639,
              0.18004,
              0.30599,
              0.57864
            ],
            [
              0.08864,
              0.1562,
              0.20611,
              0.31807,
              0.57888
            ],
            [
              0.11578,
              0.19645,
              0.25254,
              0.35194,
              0.5887
            ],
            [
              0.15221,
              0.2508,
              0.3162,
              0.4206,
              0.628
            ],
            [
              0.2005,
              0.3228,
              0.4017,
              0.5226,
              0.7191
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.03439,
              0.11392,
              0.19417,
              0.35327,
              0.67211
            ],
            [
              0.03433,
              0.11406,
              0.19395,
              0.35328,
              0.67254
            ],
            [
              0.03437,
              0.11397,
              0.19361,
              0.35354,
              0.67226
            ],
            [
              0.03431,
              0.11414,
              0.19362,
              0.3535,
              0.6721
            ],
            [
              0.03446,
              0.114,
              0.19382,
              0.35362,
              0.67398
            ],
            [
              0.03808,
              0.114,
              0.19399,
              0.35363,
              0.67355
            ],
            [
              0.04719,
              0.11422,
              0.19386,
              0.35348,
              0.67204
            ],
            [
              0.06177,
              0.11991,
              0.19394,
              0.35358,
              0.67311
            ],
            [
              0.08016,
              0.13588,
              0.2011,
              0.3531,
              0.67298
            ],
            [
              0.10508,
              0.16943,
              0.22309,
              0.3591,
              0.67207
            ],
            [
              0.13809,
              0.21854,
              0.27037,
              0.38626,
              0.6751
            ],
            [
              0.1808,
              0.2838,
              0.3476,
              0.4483,
              0.7015
            ],
            [
              0.2359,
              0.3699,
              0.4494,
              0.5655,
              0.7769
            ]
          ]
        },
        "sdf_cond": "(!A1&A2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.05783,
              0.11701,
              0.17363,
              0.28544,
              0.50778
            ],
            [
              0.06033,
              0.11975,
              0.17642,
              0.28837,
              0.51072
            ],
            [
              0.06346,
              0.1231,
              0.17986,
              0.29187,
              0.51421
            ],
            [
              0.06835,
              0.1282,
              0.18513,
              0.29722,
              0.51967
            ],
            [
              0.07593,
              0.13606,
              0.19307,
              0.30523,
              0.52777
            ],
            [
              0.08774,
              0.14793,
              0.20496,
              0.31733,
              0.53998
            ],
            [
              0.10642,
              0.16571,
              0.22309,
              0.33548,
              0.55824
            ],
            [
              0.13029,
              0.1932,
              0.25031,
              0.36297,
              0.58586
            ],
            [
              0.15941,
              0.23466,
              0.29168,
              0.40419,
              0.62722
            ],
            [
              0.19455,
              0.28775,
              0.3543,
              0.4664,
              0.68949
            ],
            [
              0.2362,
              0.35302,
              0.43514,
              0.56132,
              0.78332
            ],
            [
              0.28507,
              0.43137,
              0.53427,
              0.69067,
              0.92577
            ],
            [
              0.3407,
              0.5251,
              0.6545,
              0.8492,
              1.134
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.0432,
              0.10193,
              0.15919,
              0.2732,
              0.50078
            ],
            [
              0.04605,
              0.10532,
              0.1626,
              0.27669,
              0.50428
            ],
            [
              0.04963,
              0.10929,
              0.16683,
              0.28086,
              0.50856
            ],
            [
              0.0553,
              0.11525,
              0.17297,
              0.28715,
              0.51482
            ],
            [
              0.06422,
              0.12417,
              0.1821,
              0.29645,
              0.52393
            ],
            [
              0.07811,
              0.13772,
              0.19584,
              0.31039,
              0.53798
            ],
            [
              0.09716,
              0.15864,
              0.21647,
              0.33119,
              0.55894
            ],
            [
              0.12069,
              0.1903,
              0.24813,
              0.36288,
              0.59088
            ],
            [
              0.14988,
              0.23771,
              0.29598,
              0.41012,
              0.63858
            ],
            [
              0.18578,
              0.29922,
              0.36822,
              0.48305,
              0.71119
            ],
            [
              0.22968,
              0.37635,
              0.46552,
              0.59172,
              0.81962
            ],
            [
              0.28287,
              0.47227,
              0.58717,
              0.74867,
              0.98337
            ],
            [
              0.3473,
              0.5907,
              0.7395,
              0.9473,
              1.2293
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.04638,
              0.12059,
              0.19468,
              0.34281,
              0.63962
            ],
            [
              0.04638,
              0.12066,
              0.19463,
              0.34298,
              0.63932
            ],
            [
              0.04636,
              0.12064,
              0.19464,
              0.34297,
              0.63972
            ],
            [
              0.0463,
              0.12053,
              0.19465,
              0.34278,
              0.63937
            ],
            [
              0.0459,
              0.12056,
              0.19468,
              0.34284,
              0.63899
            ],
            [
              0.0459,
              0.12045,
              0.19481,
              0.34297,
              0.6396
            ],
            [
              0.05018,
              0.12016,
              0.19472,
              0.34309,
              0.63941
            ],
            [
              0.06058,
              0.12391,
              0.19469,
              0.34313,
              0.63902
            ],
            [
              0.07457,
              0.1371,
              0.20109,
              0.34274,
              0.63925
            ],
            [
              0.09425,
              0.16535,
              0.22158,
              0.35078,
              0.63908
            ],
            [
              0.12113,
              0.20505,
              0.26544,
              0.37851,
              0.6451
            ],
            [
              0.1571,
              0.2594,
              0.3292,
              0.441,
              0.6777
            ],
            [
              0.2048,
              0.3316,
              0.4147,
              0.5443,
              0.7602
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.04483,
              0.13113,
              0.21445,
              0.37565,
              0.69386
            ],
            [
              0.04484,
              0.13108,
              0.21448,
              0.37558,
              0.694
            ],
            [
              0.04484,
              0.1311,
              0.21443,
              0.37573,
              0.69404
            ],
            [
              0.04485,
              0.1311,
              0.21446,
              0.37556,
              0.69344
            ],
            [
              0.04497,
              0.13113,
              0.21446,
              0.3756,
              0.69391
            ],
            [
              0.04856,
              0.13114,
              0.21451,
              0.37582,
              0.69395
            ],
            [
              0.05766,
              0.13136,
              0.21453,
              0.37572,
              0.69345
            ],
            [
              0.07614,
              0.13703,
              0.21473,
              0.37572,
              0.69412
            ],
            [
              0.10083,
              0.15321,
              0.22193,
              0.37572,
              0.69413
            ],
            [
              0.13578,
              0.18697,
              0.24414,
              0.3819,
              0.69418
            ],
            [
              0.18347,
              0.24287,
              0.2911,
              0.40873,
              0.6959
            ],
            [
              0.2451,
              0.3166,
              0.3731,
              0.471,
              0.7233
            ],
            [
              0.3231,
              0.4141,
              0.4826,
              0.5895,
              0.7991
            ]
          ]
        },
        "sdf_cond": "(A1&!A2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2)"
      },
      {
        "cell_fall,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.03275,
              0.07386,
              0.11416,
              0.19464,
              0.35534
            ],
            [
              0.03542,
              0.07681,
              0.11721,
              0.19773,
              0.35821
            ],
            [
              0.0387,
              0.08039,
              0.12084,
              0.20122,
              0.36216
            ],
            [
              0.04388,
              0.08582,
              0.12646,
              0.20694,
              0.36764
            ],
            [
              0.05198,
              0.09415,
              0.13484,
              0.21554,
              0.37604
            ],
            [
              0.06319,
              0.10656,
              0.14737,
              0.22799,
              0.3888
            ],
            [
              0.07671,
              0.12542,
              0.16656,
              0.24733,
              0.40824
            ],
            [
              0.09309,
              0.15376,
              0.19542,
              0.27607,
              0.43695
            ],
            [
              0.11281,
              0.18955,
              0.23879,
              0.31992,
              0.4805
            ],
            [
              0.13608,
              0.23344,
              0.29534,
              0.38559,
              0.54651
            ],
            [
              0.1628,
              0.28695,
              0.36508,
              0.47812,
              0.64512
            ],
            [
              0.19247,
              0.35097,
              0.45017,
              0.59247,
              0.79297
            ],
            [
              0.2238,
              0.427,
              0.553,
              0.7332,
              0.9848
            ]
          ]
        },
        "cell_rise,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.04214,
              0.101,
              0.15835,
              0.27266,
              0.50096
            ],
            [
              0.04489,
              0.10414,
              0.16144,
              0.2759,
              0.50402
            ],
            [
              0.04846,
              0.10815,
              0.16566,
              0.28007,
              0.50836
            ],
            [
              0.05412,
              0.11388,
              0.17178,
              0.2861,
              0.51377
            ],
            [
              0.06306,
              0.12277,
              0.181,
              0.29551,
              0.52361
            ],
            [
              0.07701,
              0.13653,
              0.19459,
              0.30893,
              0.53702
            ],
            [
              0.09585,
              0.15729,
              0.21492,
              0.32988,
              0.55898
            ],
            [
              0.11908,
              0.18894,
              0.24667,
              0.36152,
              0.58946
            ],
            [
              0.14786,
              0.23628,
              0.29474,
              0.40949,
              0.63824
            ],
            [
              0.1832,
              0.29747,
              0.36708,
              0.48153,
              0.71019
            ],
            [
              0.22647,
              0.37448,
              0.46382,
              0.59042,
              0.81822
            ],
            [
              0.27887,
              0.47007,
              0.58567,
              0.74717,
              0.98227
            ],
            [
              0.3422,
              0.588,
              0.7371,
              0.9457,
              1.2279
            ]
          ]
        },
        "fall_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.02337,
              0.07734,
              0.13161,
              0.23984,
              0.45608
            ],
            [
              0.02335,
              0.07741,
              0.13151,
              0.23913,
              0.45582
            ],
            [
              0.02333,
              0.07738,
              0.13135,
              0.2397,
              0.45612
            ],
            [
              0.02325,
              0.0773,
              0.13149,
              0.23958,
              0.4558
            ],
            [
              0.02487,
              0.07732,
              0.13138,
              0.23959,
              0.45574
            ],
            [
              0.02989,
              0.07736,
              0.13142,
              0.23979,
              0.45539
            ],
            [
              0.03784,
              0.08078,
              0.13159,
              0.23952,
              0.45591
            ],
            [
              0.04843,
              0.0909,
              0.1361,
              0.23923,
              0.45583
            ],
            [
              0.06295,
              0.11152,
              0.15003,
              0.24374,
              0.45492
            ],
            [
              0.08254,
              0.14054,
              0.18053,
              0.26149,
              0.45712
            ],
            [
              0.10907,
              0.1796,
              0.22668,
              0.30226,
              0.47546
            ],
            [
              0.14451,
              0.232,
              0.2881,
              0.3752,
              0.5268
            ],
            [
              0.1919,
              0.3017,
              0.3706,
              0.4742,
              0.6314
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x5": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00602,
            0.01205,
            0.02411,
            0.04822
          ],
          "values": [
            [
              0.03428,
              0.11414,
              0.19395,
              0.35408,
              0.67319
            ],
            [
              0.03427,
              0.11387,
              0.19395,
              0.35353,
              0.67241
            ],
            [
              0.03435,
              0.11412,
              0.19419,
              0.35399,
              0.67387
            ],
            [
              0.03428,
              0.11403,
              0.1941,
              0.3532,
              0.67297
            ],
            [
              0.03457,
              0.11401,
              0.19386,
              0.35354,
              0.67395
            ],
            [
              0.03825,
              0.11401,
              0.1937,
              0.35354,
              0.6736
            ],
            [
              0.04733,
              0.11426,
              0.19377,
              0.35349,
              0.67284
            ],
            [
              0.0618,
              0.12011,
              0.19385,
              0.35359,
              0.67308
            ],
            [
              0.0804,
              0.13623,
              0.20116,
              0.35317,
              0.67296
            ],
            [
              0.10525,
              0.17008,
              0.22333,
              0.35954,
              0.67225
            ],
            [
              0.13811,
              0.2191,
              0.27076,
              0.38656,
              0.6752
            ],
            [
              0.1809,
              0.2839,
              0.3476,
              0.4486,
              0.7017
            ],
            [
              0.2358,
              0.3699,
              0.4499,
              0.5658,
              0.7772
            ]
          ]
        },
        "sdf_cond": "(A1&A2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2)"
      }
    ]
  }
}