{
  "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.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.00372,
          0.0039,
          0.00361,
          0.0038,
          0.00358,
          0.00357,
          0.00357,
          0.00358,
          0.00359,
          0.00394,
          0.004,
          0.00444,
          0.00466
        ]
      },
      "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.00258,
          0.00244,
          0.00218,
          0.00226,
          0.0022,
          0.00222,
          0.00221,
          0.00223,
          0.00222,
          0.00238,
          0.00236,
          0.00249,
          0.0024
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.0032,
    "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.00402,
          0.00316,
          0.00309,
          0.00306,
          0.003,
          0.003,
          0.00301,
          0.00301,
          0.00303,
          0.00331,
          0.00336,
          0.0037,
          0.00383
        ]
      },
      "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.00236,
          0.00247,
          0.00273,
          0.00247,
          0.00235,
          0.00229,
          0.00232,
          0.00232,
          0.00233,
          0.00251,
          0.00252,
          0.00271,
          0.00272
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00313,
    "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.0014,
          0.00173,
          0.00157,
          0.00166,
          0.00137,
          0.00134,
          0.00133,
          0.00133,
          0.00137,
          0.00143,
          0.00144,
          0.00153,
          0.00153
        ]
      },
      "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.00515,
          0.00427,
          0.00394,
          0.00387,
          0.00378,
          0.00376,
          0.00376,
          0.00379,
          0.00386,
          0.0043,
          0.00451,
          0.00519,
          0.00573
        ]
      }
    },
    "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.00495,
              -0.00339,
              -0.01173,
              -0.02842,
              -0.06179
            ],
            [
              0.00501,
              -0.00334,
              -0.01167,
              -0.02836,
              -0.06173
            ],
            [
              0.00508,
              -0.00327,
              -0.01162,
              -0.02832,
              -0.06169
            ],
            [
              0.00515,
              -0.00322,
              -0.01157,
              -0.02827,
              -0.06165
            ],
            [
              0.00523,
              -0.00316,
              -0.01154,
              -0.02823,
              -0.06162
            ],
            [
              0.00534,
              -0.00311,
              -0.01148,
              -0.0282,
              -0.06159
            ],
            [
              0.00545,
              -0.00303,
              -0.01143,
              -0.02816,
              -0.06156
            ],
            [
              0.00558,
              -0.00294,
              -0.01136,
              -0.02811,
              -0.06153
            ],
            [
              0.00569,
              -0.00284,
              -0.01128,
              -0.02805,
              -0.06149
            ],
            [
              0.00579,
              -0.00274,
              -0.01119,
              -0.02798,
              -0.06144
            ],
            [
              0.00583,
              -0.00266,
              -0.0111,
              -0.02791,
              -0.06139
            ],
            [
              0.00581,
              -0.00262,
              -0.01105,
              -0.02785,
              -0.06134
            ],
            [
              0.00566,
              -0.00269,
              -0.01107,
              -0.02784,
              -0.06131
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.02227,
              0.03056,
              0.03882,
              0.05529,
              0.08828
            ],
            [
              0.02221,
              0.0305,
              0.03875,
              0.0553,
              0.08824
            ],
            [
              0.02215,
              0.03047,
              0.03872,
              0.05524,
              0.08818
            ],
            [
              0.02208,
              0.03043,
              0.03869,
              0.05524,
              0.08817
            ],
            [
              0.022,
              0.03037,
              0.03865,
              0.0552,
              0.08824
            ],
            [
              0.0219,
              0.03032,
              0.03863,
              0.0552,
              0.08816
            ],
            [
              0.02182,
              0.03023,
              0.03857,
              0.05511,
              0.08819
            ],
            [
              0.02177,
              0.03017,
              0.03851,
              0.05505,
              0.08818
            ],
            [
              0.02172,
              0.03008,
              0.03841,
              0.05501,
              0.08805
            ],
            [
              0.02167,
              0.03004,
              0.03836,
              0.05495,
              0.08804
            ],
            [
              0.02167,
              0.02997,
              0.03829,
              0.05488,
              0.08792
            ],
            [
              0.02169,
              0.03,
              0.03825,
              0.05484,
              0.08799
            ],
            [
              0.02179,
              0.03011,
              0.03835,
              0.05481,
              0.08788
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.00261,
              -0.00586,
              -0.01423,
              -0.03094,
              -0.06432
            ],
            [
              0.00272,
              -0.00583,
              -0.01422,
              -0.03094,
              -0.06432
            ],
            [
              0.00277,
              -0.00582,
              -0.01423,
              -0.03096,
              -0.06435
            ],
            [
              0.00291,
              -0.0058,
              -0.01422,
              -0.03096,
              -0.06436
            ],
            [
              0.00304,
              -0.00576,
              -0.0142,
              -0.03096,
              -0.06437
            ],
            [
              0.00321,
              -0.00567,
              -0.01415,
              -0.03094,
              -0.06437
            ],
            [
              0.00338,
              -0.00553,
              -0.01407,
              -0.03089,
              -0.06434
            ],
            [
              0.00354,
              -0.00537,
              -0.01394,
              -0.03082,
              -0.0643
            ],
            [
              0.00366,
              -0.00519,
              -0.01379,
              -0.03071,
              -0.06425
            ],
            [
              0.00373,
              -0.00502,
              -0.01362,
              -0.03058,
              -0.06416
            ],
            [
              0.00375,
              -0.00488,
              -0.01346,
              -0.03043,
              -0.06405
            ],
            [
              0.00368,
              -0.00483,
              -0.01334,
              -0.03029,
              -0.06393
            ],
            [
              0.00344,
              -0.0049,
              -0.01333,
              -0.0302,
              -0.06383
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.01571,
              0.02402,
              0.0323,
              0.0488,
              0.08179
            ],
            [
              0.01563,
              0.02398,
              0.03224,
              0.04877,
              0.08171
            ],
            [
              0.01554,
              0.0239,
              0.0322,
              0.04871,
              0.08166
            ],
            [
              0.01542,
              0.02386,
              0.03215,
              0.04869,
              0.0817
            ],
            [
              0.01533,
              0.02379,
              0.0321,
              0.04865,
              0.08167
            ],
            [
              0.01519,
              0.02371,
              0.03202,
              0.04858,
              0.08167
            ],
            [
              0.0151,
              0.0236,
              0.03196,
              0.04853,
              0.08158
            ],
            [
              0.01502,
              0.02351,
              0.03185,
              0.04845,
              0.08153
            ],
            [
              0.015,
              0.02341,
              0.03179,
              0.04841,
              0.08143
            ],
            [
              0.01507,
              0.02338,
              0.0317,
              0.04834,
              0.08139
            ],
            [
              0.01524,
              0.02341,
              0.03167,
              0.04827,
              0.08132
            ],
            [
              0.01545,
              0.0236,
              0.03178,
              0.04827,
              0.08134
            ],
            [
              0.01592,
              0.02401,
              0.03206,
              0.04842,
              0.08127
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.0037,
              -0.00479,
              -0.01316,
              -0.02987,
              -0.06325
            ],
            [
              0.00381,
              -0.00475,
              -0.01314,
              -0.02986,
              -0.06324
            ],
            [
              0.00393,
              -0.00471,
              -0.01311,
              -0.02984,
              -0.06324
            ],
            [
              0.00405,
              -0.00464,
              -0.01307,
              -0.02982,
              -0.06323
            ],
            [
              0.00418,
              -0.00455,
              -0.01301,
              -0.02978,
              -0.0632
            ],
            [
              0.00432,
              -0.00444,
              -0.01293,
              -0.02973,
              -0.06317
            ],
            [
              0.00443,
              -0.00431,
              -0.01283,
              -0.02966,
              -0.06313
            ],
            [
              0.00451,
              -0.00418,
              -0.01271,
              -0.02958,
              -0.06308
            ],
            [
              0.00453,
              -0.00407,
              -0.01259,
              -0.02948,
              -0.06301
            ],
            [
              0.00447,
              -0.004,
              -0.0125,
              -0.02937,
              -0.06293
            ],
            [
              0.00432,
              -0.00402,
              -0.01245,
              -0.0293,
              -0.06285
            ],
            [
              0.00396,
              -0.00418,
              -0.01252,
              -0.02928,
              -0.06281
            ],
            [
              0.00337,
              -0.00458,
              -0.0128,
              -0.02943,
              -0.06285
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.01397,
              0.02249,
              0.03079,
              0.04734,
              0.08041
            ],
            [
              0.01385,
              0.02245,
              0.03079,
              0.04735,
              0.08043
            ],
            [
              0.01375,
              0.02241,
              0.03077,
              0.04729,
              0.08043
            ],
            [
              0.01363,
              0.02234,
              0.03072,
              0.0473,
              0.08042
            ],
            [
              0.01352,
              0.02226,
              0.03064,
              0.04722,
              0.08036
            ],
            [
              0.01344,
              0.02212,
              0.03057,
              0.04718,
              0.08019
            ],
            [
              0.0134,
              0.02201,
              0.03045,
              0.04709,
              0.08021
            ],
            [
              0.0134,
              0.0219,
              0.03029,
              0.04706,
              0.08014
            ],
            [
              0.01345,
              0.02181,
              0.03021,
              0.04688,
              0.0801
            ],
            [
              0.01358,
              0.02182,
              0.03015,
              0.04674,
              0.07988
            ],
            [
              0.01382,
              0.02198,
              0.03018,
              0.04672,
              0.07983
            ],
            [
              0.0142,
              0.02226,
              0.03043,
              0.04679,
              0.07983
            ],
            [
              0.01488,
              0.02274,
              0.0309,
              0.04716,
              0.07982
            ]
          ]
        },
        "when": "(A1) | (A2)"
      }
    ],
    "max_capacitance": 0.03389,
    "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.07777,
              0.1453,
              0.2104,
              0.33933,
              0.59585
            ],
            [
              0.08063,
              0.14823,
              0.21334,
              0.34228,
              0.59875
            ],
            [
              0.0842,
              0.15187,
              0.21702,
              0.34596,
              0.60251
            ],
            [
              0.08952,
              0.15737,
              0.22256,
              0.35152,
              0.60806
            ],
            [
              0.09724,
              0.1653,
              0.23055,
              0.35958,
              0.61616
            ],
            [
              0.10806,
              0.17638,
              0.24175,
              0.37087,
              0.62751
            ],
            [
              0.12366,
              0.19221,
              0.25772,
              0.38697,
              0.64375
            ],
            [
              0.145,
              0.21524,
              0.28093,
              0.41038,
              0.66732
            ],
            [
              0.17241,
              0.24929,
              0.31531,
              0.445,
              0.70216
            ],
            [
              0.20753,
              0.2951,
              0.36635,
              0.49667,
              0.75409
            ],
            [
              0.25095,
              0.35461,
              0.4352,
              0.57382,
              0.83192
            ],
            [
              0.30257,
              0.43017,
              0.52467,
              0.68127,
              0.94817
            ],
            [
              0.3615,
              0.5232,
              0.6384,
              0.8209,
              1.1178
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.14287,
              0.27253,
              0.39933,
              0.65143,
              1.15377
            ],
            [
              0.14538,
              0.27525,
              0.40212,
              0.65424,
              1.15674
            ],
            [
              0.14861,
              0.27878,
              0.40572,
              0.65785,
              1.16042
            ],
            [
              0.15371,
              0.28426,
              0.41132,
              0.66363,
              1.16618
            ],
            [
              0.16145,
              0.2924,
              0.41965,
              0.67204,
              1.17451
            ],
            [
              0.17261,
              0.30389,
              0.43137,
              0.68397,
              1.18672
            ],
            [
              0.18858,
              0.32002,
              0.44769,
              0.70053,
              1.20353
            ],
            [
              0.21179,
              0.3432,
              0.47101,
              0.72411,
              1.22736
            ],
            [
              0.24524,
              0.37715,
              0.50505,
              0.75845,
              1.26195
            ],
            [
              0.28572,
              0.42788,
              0.55578,
              0.80929,
              1.31319
            ],
            [
              0.33607,
              0.49942,
              0.63172,
              0.88542,
              1.38962
            ],
            [
              0.39717,
              0.58897,
              0.73967,
              0.99957,
              1.50417
            ],
            [
              0.4689,
              0.7004,
              0.8758,
              1.1674,
              1.6759
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.05239,
              0.13924,
              0.22569,
              0.39871,
              0.74447
            ],
            [
              0.05239,
              0.13933,
              0.22562,
              0.39846,
              0.74468
            ],
            [
              0.05238,
              0.13923,
              0.22572,
              0.39897,
              0.74463
            ],
            [
              0.05238,
              0.13933,
              0.22585,
              0.39884,
              0.74443
            ],
            [
              0.05236,
              0.13934,
              0.22581,
              0.39856,
              0.74458
            ],
            [
              0.05223,
              0.13914,
              0.22579,
              0.39895,
              0.74432
            ],
            [
              0.05366,
              0.13925,
              0.22585,
              0.39897,
              0.74431
            ],
            [
              0.05892,
              0.14056,
              0.22587,
              0.3989,
              0.7443
            ],
            [
              0.06796,
              0.14693,
              0.22871,
              0.39888,
              0.7446
            ],
            [
              0.08175,
              0.16285,
              0.23952,
              0.40276,
              0.74447
            ],
            [
              0.10279,
              0.18911,
              0.26484,
              0.41805,
              0.7478
            ],
            [
              0.1336,
              0.2283,
              0.3076,
              0.4546,
              0.766
            ],
            [
              0.1773,
              0.2859,
              0.3705,
              0.5225,
              0.8144
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.10727,
              0.27985,
              0.45176,
              0.79436,
              1.47994
            ],
            [
              0.10736,
              0.28011,
              0.45182,
              0.79502,
              1.47856
            ],
            [
              0.10736,
              0.2799,
              0.45185,
              0.79492,
              1.47802
            ],
            [
              0.10736,
              0.27993,
              0.45171,
              0.79507,
              1.47811
            ],
            [
              0.10722,
              0.28006,
              0.4519,
              0.79463,
              1.47973
            ],
            [
              0.1073,
              0.28009,
              0.45163,
              0.79501,
              1.47869
            ],
            [
              0.10725,
              0.28007,
              0.45177,
              0.79427,
              1.48034
            ],
            [
              0.10915,
              0.27995,
              0.45184,
              0.79473,
              1.48011
            ],
            [
              0.11889,
              0.28099,
              0.4517,
              0.79438,
              1.4785
            ],
            [
              0.13861,
              0.2915,
              0.45438,
              0.79462,
              1.4797
            ],
            [
              0.16509,
              0.31747,
              0.47045,
              0.7967,
              1.4793
            ],
            [
              0.2041,
              0.3675,
              0.5109,
              0.8184,
              1.4802
            ],
            [
              0.2601,
              0.4379,
              0.5888,
              0.8738,
              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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.05769,
              0.11834,
              0.17817,
              0.29732,
              0.5355
            ],
            [
              0.06063,
              0.12176,
              0.18168,
              0.30064,
              0.53908
            ],
            [
              0.06403,
              0.12571,
              0.18567,
              0.30499,
              0.54322
            ],
            [
              0.06911,
              0.13131,
              0.19131,
              0.31079,
              0.54861
            ],
            [
              0.0763,
              0.13908,
              0.19938,
              0.31885,
              0.55726
            ],
            [
              0.08654,
              0.14982,
              0.21047,
              0.33016,
              0.56863
            ],
            [
              0.10026,
              0.16511,
              0.22577,
              0.34606,
              0.58463
            ],
            [
              0.11718,
              0.18742,
              0.24848,
              0.3691,
              0.60768
            ],
            [
              0.13845,
              0.21886,
              0.28214,
              0.40303,
              0.64217
            ],
            [
              0.16405,
              0.25925,
              0.33043,
              0.45361,
              0.69339
            ],
            [
              0.19321,
              0.3106,
              0.39303,
              0.52892,
              0.77032
            ],
            [
              0.22447,
              0.37377,
              0.47297,
              0.62907,
              0.88487
            ],
            [
              0.2557,
              0.4482,
              0.572,
              0.7577,
              1.0477
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.1219,
              0.25185,
              0.37874,
              0.63085,
              1.13327
            ],
            [
              0.12319,
              0.25361,
              0.38057,
              0.63274,
              1.13524
            ],
            [
              0.1252,
              0.25608,
              0.3832,
              0.63546,
              1.13802
            ],
            [
              0.12871,
              0.26021,
              0.38753,
              0.63997,
              1.14258
            ],
            [
              0.13479,
              0.26682,
              0.39439,
              0.64699,
              1.14971
            ],
            [
              0.1448,
              0.27723,
              0.40507,
              0.6581,
              1.16102
            ],
            [
              0.1611,
              0.29342,
              0.42153,
              0.67474,
              1.17823
            ],
            [
              0.18701,
              0.31877,
              0.44694,
              0.70045,
              1.20356
            ],
            [
              0.22617,
              0.35777,
              0.48562,
              0.73907,
              1.24305
            ],
            [
              0.27431,
              0.41768,
              0.54496,
              0.79809,
              1.30179
            ],
            [
              0.33225,
              0.50662,
              0.63532,
              0.88742,
              1.39062
            ],
            [
              0.40147,
              0.61677,
              0.77047,
              1.02407,
              1.52597
            ],
            [
              0.4843,
              0.7498,
              0.9397,
              1.2306,
              1.7303
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.03347,
              0.11402,
              0.19462,
              0.35525,
              0.67653
            ],
            [
              0.03347,
              0.11414,
              0.19461,
              0.35509,
              0.67652
            ],
            [
              0.03347,
              0.11418,
              0.1946,
              0.35525,
              0.67653
            ],
            [
              0.03348,
              0.11416,
              0.19448,
              0.35511,
              0.67593
            ],
            [
              0.03351,
              0.11405,
              0.19451,
              0.35529,
              0.67651
            ],
            [
              0.03412,
              0.11409,
              0.19421,
              0.35529,
              0.67644
            ],
            [
              0.03788,
              0.11428,
              0.19427,
              0.35529,
              0.67619
            ],
            [
              0.04459,
              0.11738,
              0.1947,
              0.35491,
              0.67505
            ],
            [
              0.0543,
              0.12683,
              0.19984,
              0.35537,
              0.67634
            ],
            [
              0.06913,
              0.14551,
              0.21416,
              0.36142,
              0.67613
            ],
            [
              0.09105,
              0.17355,
              0.24349,
              0.38045,
              0.6812
            ],
            [
              0.12239,
              0.215,
              0.2885,
              0.4234,
              0.7035
            ],
            [
              0.1672,
              0.2744,
              0.3537,
              0.4944,
              0.7592
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.10733,
              0.28008,
              0.45178,
              0.7948,
              1.47975
            ],
            [
              0.10734,
              0.27984,
              0.4519,
              0.79483,
              1.47816
            ],
            [
              0.10734,
              0.27987,
              0.45193,
              0.79468,
              1.47844
            ],
            [
              0.10732,
              0.28002,
              0.45192,
              0.79433,
              1.4788
            ],
            [
              0.10727,
              0.27998,
              0.45195,
              0.7948,
              1.47938
            ],
            [
              0.10715,
              0.27977,
              0.4519,
              0.79456,
              1.48
            ],
            [
              0.10674,
              0.27991,
              0.4516,
              0.79397,
              1.47868
            ],
            [
              0.11169,
              0.28008,
              0.45138,
              0.79453,
              1.47963
            ],
            [
              0.12762,
              0.28136,
              0.45192,
              0.795,
              1.47889
            ],
            [
              0.15522,
              0.2963,
              0.45401,
              0.79506,
              1.4797
            ],
            [
              0.18912,
              0.33435,
              0.47612,
              0.7964,
              1.4794
            ],
            [
              0.2341,
              0.4059,
              0.5326,
              0.8218,
              1.4799
            ],
            [
              0.2913,
              0.4995,
              0.642,
              0.8977,
              1.4983
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.04214,
              0.1031,
              0.16287,
              0.2819,
              0.52045
            ],
            [
              0.04411,
              0.10578,
              0.16559,
              0.28474,
              0.52309
            ],
            [
              0.04676,
              0.10883,
              0.16892,
              0.28834,
              0.52667
            ],
            [
              0.05119,
              0.11363,
              0.17388,
              0.29347,
              0.5319
            ],
            [
              0.0584,
              0.12113,
              0.18157,
              0.30119,
              0.53975
            ],
            [
              0.06965,
              0.1324,
              0.19298,
              0.31288,
              0.55121
            ],
            [
              0.08335,
              0.14944,
              0.21026,
              0.33013,
              0.56845
            ],
            [
              0.09994,
              0.17598,
              0.23654,
              0.35669,
              0.59549
            ],
            [
              0.11952,
              0.21359,
              0.27667,
              0.39675,
              0.63565
            ],
            [
              0.14254,
              0.25963,
              0.33574,
              0.45695,
              0.69569
            ],
            [
              0.16928,
              0.31513,
              0.40941,
              0.54862,
              0.78672
            ],
            [
              0.20007,
              0.38147,
              0.49857,
              0.67107,
              0.92487
            ],
            [
              0.235,
              0.4598,
              0.6055,
              0.8195,
              1.1265
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.03952,
              0.09793,
              0.15468,
              0.26832,
              0.49502
            ],
            [
              0.04216,
              0.10097,
              0.15803,
              0.27111,
              0.49805
            ],
            [
              0.04548,
              0.10478,
              0.16175,
              0.27536,
              0.50135
            ],
            [
              0.05076,
              0.11027,
              0.16754,
              0.28132,
              0.50802
            ],
            [
              0.05907,
              0.11861,
              0.17617,
              0.28985,
              0.5162
            ],
            [
              0.07177,
              0.13129,
              0.18887,
              0.30236,
              0.52896
            ],
            [
              0.08697,
              0.15044,
              0.20812,
              0.32205,
              0.54898
            ],
            [
              0.10504,
              0.17992,
              0.23743,
              0.35153,
              0.57794
            ],
            [
              0.12631,
              0.22203,
              0.28179,
              0.39559,
              0.6226
            ],
            [
              0.15091,
              0.27363,
              0.34777,
              0.46267,
              0.68879
            ],
            [
              0.17901,
              0.33539,
              0.43042,
              0.56412,
              0.79012
            ],
            [
              0.21097,
              0.40857,
              0.52997,
              0.70097,
              0.94227
            ],
            [
              0.2472,
              0.4939,
              0.6488,
              0.8677,
              1.1661
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.03342,
              0.11406,
              0.19446,
              0.35459,
              0.67562
            ],
            [
              0.03338,
              0.1142,
              0.19443,
              0.35445,
              0.67521
            ],
            [
              0.03332,
              0.11411,
              0.19456,
              0.35521,
              0.67584
            ],
            [
              0.03316,
              0.11403,
              0.19446,
              0.35514,
              0.67574
            ],
            [
              0.03355,
              0.11412,
              0.19456,
              0.35512,
              0.67584
            ],
            [
              0.03732,
              0.11406,
              0.19453,
              0.35524,
              0.67479
            ],
            [
              0.04587,
              0.11471,
              0.19438,
              0.35508,
              0.67545
            ],
            [
              0.05642,
              0.12157,
              0.19535,
              0.35518,
              0.67526
            ],
            [
              0.0713,
              0.13917,
              0.20431,
              0.35532,
              0.6759
            ],
            [
              0.09128,
              0.16994,
              0.22883,
              0.36474,
              0.67599
            ],
            [
              0.11743,
              0.21113,
              0.27581,
              0.39562,
              0.6816
            ],
            [
              0.15178,
              0.2659,
              0.3414,
              0.4619,
              0.7162
            ],
            [
              0.1968,
              0.3377,
              0.4282,
              0.5676,
              0.8014
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.03262,
              0.11299,
              0.19362,
              0.35524,
              0.67808
            ],
            [
              0.03251,
              0.11322,
              0.19386,
              0.35465,
              0.67809
            ],
            [
              0.0325,
              0.11323,
              0.19368,
              0.35547,
              0.67774
            ],
            [
              0.03252,
              0.11299,
              0.19376,
              0.3554,
              0.67811
            ],
            [
              0.0336,
              0.11305,
              0.19403,
              0.35545,
              0.67794
            ],
            [
              0.03879,
              0.1131,
              0.19376,
              0.35497,
              0.67765
            ],
            [
              0.04992,
              0.11421,
              0.19352,
              0.35487,
              0.67748
            ],
            [
              0.06403,
              0.12238,
              0.19477,
              0.35495,
              0.67712
            ],
            [
              0.08238,
              0.14208,
              0.20503,
              0.35496,
              0.67723
            ],
            [
              0.1063,
              0.17973,
              0.23209,
              0.36561,
              0.67644
            ],
            [
              0.13656,
              0.22952,
              0.2867,
              0.39911,
              0.6825
            ],
            [
              0.17499,
              0.2946,
              0.366,
              0.4725,
              0.72
            ],
            [
              0.2227,
              0.378,
              0.4694,
              0.5992,
              0.8111
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.06376,
              0.13207,
              0.19735,
              0.32638,
              0.583
            ],
            [
              0.06603,
              0.1346,
              0.19997,
              0.32913,
              0.58577
            ],
            [
              0.06891,
              0.13777,
              0.20331,
              0.3324,
              0.58908
            ],
            [
              0.07347,
              0.14259,
              0.20822,
              0.33757,
              0.59432
            ],
            [
              0.08065,
              0.15008,
              0.2158,
              0.34528,
              0.60211
            ],
            [
              0.09182,
              0.16131,
              0.22719,
              0.35687,
              0.61385
            ],
            [
              0.10985,
              0.17836,
              0.24452,
              0.37429,
              0.63141
            ],
            [
              0.13352,
              0.2046,
              0.27067,
              0.40057,
              0.65788
            ],
            [
              0.16206,
              0.24503,
              0.31059,
              0.44047,
              0.6979
            ],
            [
              0.19615,
              0.29846,
              0.3712,
              0.50054,
              0.75789
            ],
            [
              0.23691,
              0.36325,
              0.45302,
              0.59142,
              0.84852
            ],
            [
              0.28477,
              0.44107,
              0.55217,
              0.72197,
              0.98577
            ],
            [
              0.3404,
              0.5338,
              0.6714,
              0.8816,
              1.1913
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.04064,
              0.09903,
              0.15586,
              0.269,
              0.49484
            ],
            [
              0.04329,
              0.10214,
              0.15901,
              0.27227,
              0.49834
            ],
            [
              0.04662,
              0.1059,
              0.16295,
              0.27616,
              0.50202
            ],
            [
              0.05192,
              0.11145,
              0.16859,
              0.28193,
              0.50791
            ],
            [
              0.06025,
              0.11979,
              0.17711,
              0.29059,
              0.51658
            ],
            [
              0.0731,
              0.13229,
              0.18998,
              0.30359,
              0.52951
            ],
            [
              0.08868,
              0.15174,
              0.2093,
              0.323,
              0.54907
            ],
            [
              0.10727,
              0.18125,
              0.23854,
              0.35247,
              0.57891
            ],
            [
              0.12917,
              0.22361,
              0.28314,
              0.3969,
              0.62317
            ],
            [
              0.15454,
              0.2755,
              0.34925,
              0.4639,
              0.69009
            ],
            [
              0.18366,
              0.33776,
              0.43227,
              0.56542,
              0.79152
            ],
            [
              0.21677,
              0.41157,
              0.53217,
              0.70277,
              0.94357
            ],
            [
              0.2545,
              0.4976,
              0.6516,
              0.8699,
              1.1678
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.05247,
              0.13933,
              0.22588,
              0.39877,
              0.74434
            ],
            [
              0.05244,
              0.13916,
              0.22573,
              0.39851,
              0.74408
            ],
            [
              0.05239,
              0.13929,
              0.22582,
              0.39895,
              0.74461
            ],
            [
              0.05241,
              0.13931,
              0.22567,
              0.39873,
              0.74474
            ],
            [
              0.05207,
              0.13921,
              0.22572,
              0.3987,
              0.74476
            ],
            [
              0.05185,
              0.1393,
              0.22572,
              0.39874,
              0.74417
            ],
            [
              0.05586,
              0.13891,
              0.22562,
              0.39894,
              0.74491
            ],
            [
              0.06675,
              0.14168,
              0.22562,
              0.39883,
              0.74393
            ],
            [
              0.0813,
              0.15403,
              0.23037,
              0.39862,
              0.74462
            ],
            [
              0.10165,
              0.18202,
              0.24948,
              0.40394,
              0.74484
            ],
            [
              0.12882,
              0.22368,
              0.292,
              0.42909,
              0.7463
            ],
            [
              0.1648,
              0.2794,
              0.3583,
              0.4885,
              0.7745
            ],
            [
              0.2117,
              0.3525,
              0.4467,
              0.5939,
              0.8513
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.0458,
              0.13364,
              0.21621,
              0.37754,
              0.69805
            ],
            [
              0.04584,
              0.13365,
              0.21616,
              0.37788,
              0.69798
            ],
            [
              0.04582,
              0.13364,
              0.21617,
              0.37759,
              0.69795
            ],
            [
              0.04582,
              0.13365,
              0.21622,
              0.37782,
              0.69814
            ],
            [
              0.04678,
              0.13367,
              0.21613,
              0.37738,
              0.6982
            ],
            [
              0.05193,
              0.13369,
              0.21621,
              0.37759,
              0.69802
            ],
            [
              0.06326,
              0.13487,
              0.21624,
              0.37749,
              0.69799
            ],
            [
              0.08483,
              0.14289,
              0.21747,
              0.37799,
              0.69814
            ],
            [
              0.11164,
              0.16276,
              0.22785,
              0.37802,
              0.69825
            ],
            [
              0.14658,
              0.20154,
              0.25494,
              0.38876,
              0.69825
            ],
            [
              0.19065,
              0.25864,
              0.30916,
              0.42265,
              0.7043
            ],
            [
              0.24578,
              0.3322,
              0.3948,
              0.4957,
              0.741
            ],
            [
              0.3147,
              0.4264,
              0.5053,
              0.6243,
              0.8344
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.03501,
              0.08256,
              0.12919,
              0.22213,
              0.40772
            ],
            [
              0.03742,
              0.08545,
              0.13209,
              0.22505,
              0.41088
            ],
            [
              0.04047,
              0.08877,
              0.13547,
              0.22853,
              0.41394
            ],
            [
              0.04535,
              0.09397,
              0.14089,
              0.234,
              0.41995
            ],
            [
              0.05314,
              0.10198,
              0.14889,
              0.242,
              0.42797
            ],
            [
              0.06404,
              0.11392,
              0.161,
              0.25436,
              0.44012
            ],
            [
              0.07696,
              0.13223,
              0.17923,
              0.27269,
              0.45858
            ],
            [
              0.09262,
              0.15991,
              0.20725,
              0.30065,
              0.48686
            ],
            [
              0.11111,
              0.19546,
              0.24949,
              0.34245,
              0.52862
            ],
            [
              0.13286,
              0.23896,
              0.30633,
              0.4064,
              0.5918
            ],
            [
              0.15803,
              0.2913,
              0.37585,
              0.49872,
              0.68792
            ],
            [
              0.18687,
              0.35387,
              0.46007,
              0.61387,
              0.83207
            ],
            [
              0.2192,
              0.4279,
              0.561,
              0.7539,
              1.0263
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.03935,
              0.09779,
              0.1547,
              0.26776,
              0.49393
            ],
            [
              0.04188,
              0.1008,
              0.15779,
              0.27122,
              0.4978
            ],
            [
              0.04514,
              0.10442,
              0.16151,
              0.27473,
              0.50124
            ],
            [
              0.05042,
              0.10984,
              0.16714,
              0.28068,
              0.50752
            ],
            [
              0.05879,
              0.11819,
              0.17568,
              0.28917,
              0.51609
            ],
            [
              0.07148,
              0.13072,
              0.18841,
              0.30185,
              0.52836
            ],
            [
              0.08668,
              0.15004,
              0.20755,
              0.3215,
              0.54822
            ],
            [
              0.10479,
              0.17963,
              0.23688,
              0.35099,
              0.57735
            ],
            [
              0.12613,
              0.2218,
              0.28154,
              0.39528,
              0.62202
            ],
            [
              0.15079,
              0.27333,
              0.34739,
              0.4625,
              0.68829
            ],
            [
              0.17908,
              0.33524,
              0.43013,
              0.56372,
              0.78962
            ],
            [
              0.21137,
              0.40857,
              0.52977,
              0.70067,
              0.94187
            ],
            [
              0.2483,
              0.4943,
              0.6489,
              0.8676,
              1.1658
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.02542,
              0.08868,
              0.15171,
              0.27774,
              0.5297
            ],
            [
              0.02539,
              0.08864,
              0.15177,
              0.27777,
              0.52972
            ],
            [
              0.02536,
              0.08857,
              0.15171,
              0.27776,
              0.5299
            ],
            [
              0.02533,
              0.08866,
              0.15169,
              0.27783,
              0.52978
            ],
            [
              0.02677,
              0.08862,
              0.15165,
              0.27772,
              0.52972
            ],
            [
              0.03181,
              0.08855,
              0.15162,
              0.27766,
              0.52973
            ],
            [
              0.04014,
              0.09123,
              0.15143,
              0.27766,
              0.52983
            ],
            [
              0.05081,
              0.10063,
              0.15489,
              0.27747,
              0.52929
            ],
            [
              0.06535,
              0.1213,
              0.16797,
              0.28009,
              0.52947
            ],
            [
              0.08469,
              0.1515,
              0.19729,
              0.29592,
              0.52972
            ],
            [
              0.11011,
              0.19158,
              0.24541,
              0.3349,
              0.54489
            ],
            [
              0.14369,
              0.2445,
              0.3089,
              0.4079,
              0.5919
            ],
            [
              0.1877,
              0.3134,
              0.3925,
              0.5104,
              0.6921
            ]
          ]
        },
        "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.00652,
            0.01304,
            0.02608,
            0.05215
          ],
          "values": [
            [
              0.03251,
              0.11317,
              0.19389,
              0.35503,
              0.67777
            ],
            [
              0.03253,
              0.11346,
              0.19399,
              0.3555,
              0.67788
            ],
            [
              0.03255,
              0.11318,
              0.19401,
              0.35491,
              0.67808
            ],
            [
              0.03253,
              0.11339,
              0.19407,
              0.35527,
              0.6778
            ],
            [
              0.03365,
              0.11302,
              0.19395,
              0.35509,
              0.67804
            ],
            [
              0.03892,
              0.1132,
              0.19399,
              0.35463,
              0.67729
            ],
            [
              0.0502,
              0.11438,
              0.19351,
              0.35493,
              0.67814
            ],
            [
              0.06434,
              0.12238,
              0.19489,
              0.35496,
              0.67699
            ],
            [
              0.08261,
              0.14231,
              0.20519,
              0.35497,
              0.67722
            ],
            [
              0.10645,
              0.17972,
              0.23244,
              0.36547,
              0.67677
            ],
            [
              0.13645,
              0.2297,
              0.28678,
              0.39883,
              0.6826
            ],
            [
              0.17444,
              0.2946,
              0.3667,
              0.4728,
              0.7202
            ],
            [
              0.2218,
              0.3775,
              0.4693,
              0.5989,
              0.8114
            ]
          ]
        },
        "sdf_cond": "(A1&A2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2)"
      }
    ]
  }
}