{
  "area": 12.7872,
  "cell_footprint": "sky130_fd_sc_ls__o221ai",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,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.00534,
          0.00536,
          0.00514,
          0.00522,
          0.00513,
          0.00512,
          0.00515,
          0.00506,
          0.00504,
          0.0055,
          0.00543,
          0.00594,
          0.00603
        ]
      },
      "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.0033,
          0.00334,
          0.00301,
          0.00297,
          0.0029,
          0.00288,
          0.00289,
          0.00289,
          0.00289,
          0.00313,
          0.00311,
          0.00333,
          0.00329
        ]
      }
    },
    "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.00432,
          0.00532,
          0.00417,
          0.00409,
          0.00419,
          0.00417,
          0.00414,
          0.00414,
          0.00413,
          0.00454,
          0.00449,
          0.00499,
          0.005
        ]
      },
      "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.00418,
          0.00435,
          0.00387,
          0.00343,
          0.0035,
          0.00354,
          0.00355,
          0.00354,
          0.00353,
          0.00373,
          0.00372,
          0.0039,
          0.00398
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "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.00402,
          0.00477,
          0.00407,
          0.00408,
          0.00404,
          0.00403,
          0.00399,
          0.004,
          0.00395,
          0.00428,
          0.00426,
          0.00454,
          0.00458
        ]
      },
      "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.00355,
          0.00394,
          0.00379,
          0.00345,
          0.00349,
          0.00353,
          0.00359,
          0.00357,
          0.00359,
          0.00389,
          0.00389,
          0.00425,
          0.00429
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.0031,
    "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.00355,
          0.00341,
          0.00322,
          0.00312,
          0.00319,
          0.00311,
          0.00315,
          0.00315,
          0.00316,
          0.00342,
          0.00341,
          0.00372,
          0.00369
        ]
      },
      "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.00402,
          0.00436,
          0.00374,
          0.00365,
          0.00373,
          0.00369,
          0.00364,
          0.00364,
          0.00363,
          0.00393,
          0.00392,
          0.00419,
          0.00423
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C1": {
    "capacitance": 0.00315,
    "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.0023,
          0.00308,
          0.00232,
          0.00207,
          0.00229,
          0.0021,
          0.0021,
          0.00205,
          0.00203,
          0.0022,
          0.00218,
          0.00234,
          0.00233
        ]
      },
      "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.00611,
          0.00627,
          0.00592,
          0.00576,
          0.00577,
          0.00566,
          0.0056,
          0.00555,
          0.00552,
          0.00597,
          0.00599,
          0.00656,
          0.00676
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,Y": {
    "direction": "output",
    "function": "(!B1&!B2) | (!A1&!A2) | (!C1)",
    "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.00669,
              -7e-05,
              -0.00684,
              -0.02038,
              -0.04745
            ],
            [
              0.00674,
              -2e-05,
              -0.00678,
              -0.02032,
              -0.04739
            ],
            [
              0.00679,
              4e-05,
              -0.00674,
              -0.02028,
              -0.04735
            ],
            [
              0.00685,
              7e-05,
              -0.0067,
              -0.02024,
              -0.04731
            ],
            [
              0.00691,
              0.00013,
              -0.00665,
              -0.0202,
              -0.04727
            ],
            [
              0.00697,
              0.00017,
              -0.00661,
              -0.02016,
              -0.04725
            ],
            [
              0.00705,
              0.00023,
              -0.00656,
              -0.02012,
              -0.04722
            ],
            [
              0.00714,
              0.0003,
              -0.00651,
              -0.02009,
              -0.04719
            ],
            [
              0.00723,
              0.00037,
              -0.00645,
              -0.02004,
              -0.04716
            ],
            [
              0.00733,
              0.00046,
              -0.00637,
              -0.01998,
              -0.04712
            ],
            [
              0.00741,
              0.00055,
              -0.00629,
              -0.01992,
              -0.04707
            ],
            [
              0.00748,
              0.00063,
              -0.00621,
              -0.01984,
              -0.04701
            ],
            [
              0.00753,
              0.00069,
              -0.00614,
              -0.01977,
              -0.04694
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.03201,
              0.03874,
              0.04545,
              0.05887,
              0.08564
            ],
            [
              0.03196,
              0.03867,
              0.04541,
              0.0588,
              0.08552
            ],
            [
              0.03191,
              0.03864,
              0.04536,
              0.05877,
              0.08548
            ],
            [
              0.03187,
              0.0386,
              0.04533,
              0.0587,
              0.08545
            ],
            [
              0.03182,
              0.03855,
              0.04529,
              0.05867,
              0.08542
            ],
            [
              0.03176,
              0.03852,
              0.04524,
              0.05867,
              0.0854
            ],
            [
              0.03169,
              0.03846,
              0.04518,
              0.05861,
              0.08536
            ],
            [
              0.03162,
              0.03839,
              0.04514,
              0.05855,
              0.08532
            ],
            [
              0.03156,
              0.03833,
              0.04506,
              0.05851,
              0.08529
            ],
            [
              0.03153,
              0.03829,
              0.04506,
              0.05849,
              0.08531
            ],
            [
              0.03147,
              0.03823,
              0.04499,
              0.05843,
              0.08527
            ],
            [
              0.0315,
              0.03822,
              0.04498,
              0.05841,
              0.08522
            ],
            [
              0.03149,
              0.03822,
              0.04491,
              0.05834,
              0.08517
            ]
          ]
        },
        "when": "(!A2&B1&C1) | (!A2&B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.00453,
              -0.00228,
              -0.00906,
              -0.02261,
              -0.04969
            ],
            [
              0.00454,
              -0.0023,
              -0.00909,
              -0.02264,
              -0.04973
            ],
            [
              0.00457,
              -0.00231,
              -0.00911,
              -0.02268,
              -0.04976
            ],
            [
              0.00462,
              -0.00229,
              -0.0091,
              -0.02268,
              -0.04977
            ],
            [
              0.00471,
              -0.00226,
              -0.00909,
              -0.02267,
              -0.04978
            ],
            [
              0.00481,
              -0.00221,
              -0.00906,
              -0.02267,
              -0.04978
            ],
            [
              0.00495,
              -0.00212,
              -0.009,
              -0.02264,
              -0.04978
            ],
            [
              0.0051,
              -0.002,
              -0.00892,
              -0.02259,
              -0.04975
            ],
            [
              0.00525,
              -0.00185,
              -0.00879,
              -0.0225,
              -0.0497
            ],
            [
              0.00539,
              -0.00169,
              -0.00864,
              -0.02239,
              -0.04963
            ],
            [
              0.0055,
              -0.00152,
              -0.00848,
              -0.02225,
              -0.04953
            ],
            [
              0.00558,
              -0.00139,
              -0.00831,
              -0.02208,
              -0.0494
            ],
            [
              0.00562,
              -0.00129,
              -0.00818,
              -0.02192,
              -0.04925
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.02552,
              0.03227,
              0.03898,
              0.0524,
              0.07912
            ],
            [
              0.02546,
              0.03217,
              0.0389,
              0.05233,
              0.07905
            ],
            [
              0.02542,
              0.03218,
              0.0389,
              0.0523,
              0.07904
            ],
            [
              0.02535,
              0.0321,
              0.03885,
              0.05227,
              0.07902
            ],
            [
              0.02527,
              0.03206,
              0.03879,
              0.05224,
              0.07897
            ],
            [
              0.02518,
              0.03198,
              0.03873,
              0.05215,
              0.07893
            ],
            [
              0.02508,
              0.0319,
              0.03865,
              0.05209,
              0.07889
            ],
            [
              0.02496,
              0.03181,
              0.03858,
              0.05202,
              0.07885
            ],
            [
              0.02487,
              0.03171,
              0.03847,
              0.05195,
              0.0788
            ],
            [
              0.02483,
              0.03162,
              0.03841,
              0.05186,
              0.07869
            ],
            [
              0.02478,
              0.03154,
              0.03829,
              0.05175,
              0.07858
            ],
            [
              0.02483,
              0.03154,
              0.03828,
              0.05172,
              0.07853
            ],
            [
              0.02497,
              0.03162,
              0.03826,
              0.05168,
              0.07841
            ]
          ]
        },
        "when": "(!A1&B1&C1) | (!A1&B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.00636,
              -0.0004,
              -0.00717,
              -0.02071,
              -0.04778
            ],
            [
              0.00641,
              -0.00034,
              -0.00711,
              -0.02065,
              -0.04773
            ],
            [
              0.00646,
              -0.0003,
              -0.00707,
              -0.02062,
              -0.04769
            ],
            [
              0.0065,
              -0.00026,
              -0.00704,
              -0.02058,
              -0.04766
            ],
            [
              0.00656,
              -0.00022,
              -0.00699,
              -0.02054,
              -0.04762
            ],
            [
              0.00664,
              -0.00017,
              -0.00696,
              -0.02051,
              -0.04759
            ],
            [
              0.00673,
              -0.00011,
              -0.00691,
              -0.02047,
              -0.04757
            ],
            [
              0.00682,
              -4e-05,
              -0.00685,
              -0.02043,
              -0.04754
            ],
            [
              0.00693,
              4e-05,
              -0.00679,
              -0.02039,
              -0.04751
            ],
            [
              0.00704,
              0.00014,
              -0.0067,
              -0.02032,
              -0.04746
            ],
            [
              0.00714,
              0.00024,
              -0.00661,
              -0.02025,
              -0.04741
            ],
            [
              0.00721,
              0.00033,
              -0.00652,
              -0.02017,
              -0.04735
            ],
            [
              0.00725,
              0.0004,
              -0.00644,
              -0.02008,
              -0.04728
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.02632,
              0.03303,
              0.03974,
              0.05312,
              0.07989
            ],
            [
              0.0263,
              0.03303,
              0.03975,
              0.05313,
              0.0799
            ],
            [
              0.02626,
              0.033,
              0.03974,
              0.05311,
              0.07986
            ],
            [
              0.0262,
              0.03296,
              0.03969,
              0.0531,
              0.07986
            ],
            [
              0.02611,
              0.03294,
              0.03968,
              0.05309,
              0.07984
            ],
            [
              0.02603,
              0.03287,
              0.03962,
              0.05305,
              0.07984
            ],
            [
              0.02592,
              0.03278,
              0.03958,
              0.05301,
              0.07986
            ],
            [
              0.02582,
              0.03267,
              0.03945,
              0.05295,
              0.07981
            ],
            [
              0.02574,
              0.03257,
              0.03939,
              0.05286,
              0.07972
            ],
            [
              0.02568,
              0.03252,
              0.03928,
              0.0528,
              0.07967
            ],
            [
              0.02563,
              0.03243,
              0.03921,
              0.05271,
              0.0796
            ],
            [
              0.02563,
              0.03235,
              0.03911,
              0.05259,
              0.07949
            ],
            [
              0.0256,
              0.03237,
              0.03906,
              0.05255,
              0.07939
            ]
          ]
        },
        "when": "(A1&!B2&C1) | (A2&!B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.00438,
              -0.00244,
              -0.00922,
              -0.02278,
              -0.04986
            ],
            [
              0.00437,
              -0.00246,
              -0.00925,
              -0.02282,
              -0.0499
            ],
            [
              0.00441,
              -0.00246,
              -0.00926,
              -0.02282,
              -0.04991
            ],
            [
              0.00445,
              -0.00246,
              -0.00927,
              -0.02284,
              -0.04994
            ],
            [
              0.00452,
              -0.00243,
              -0.00925,
              -0.02285,
              -0.04994
            ],
            [
              0.00463,
              -0.00238,
              -0.00922,
              -0.02283,
              -0.04994
            ],
            [
              0.00477,
              -0.00229,
              -0.00917,
              -0.0228,
              -0.04993
            ],
            [
              0.00491,
              -0.00218,
              -0.00908,
              -0.02275,
              -0.04991
            ],
            [
              0.00506,
              -0.00203,
              -0.00897,
              -0.02267,
              -0.04986
            ],
            [
              0.00519,
              -0.00187,
              -0.00883,
              -0.02256,
              -0.04979
            ],
            [
              0.00529,
              -0.00172,
              -0.00867,
              -0.02243,
              -0.0497
            ],
            [
              0.00537,
              -0.00159,
              -0.00851,
              -0.02227,
              -0.04958
            ],
            [
              0.00539,
              -0.00151,
              -0.00839,
              -0.02212,
              -0.04944
            ]
          ]
        },
        "related_pin": "B2",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.02009,
              0.0268,
              0.03353,
              0.04689,
              0.07366
            ],
            [
              0.02006,
              0.02683,
              0.03357,
              0.04695,
              0.07372
            ],
            [
              0.02004,
              0.02681,
              0.03354,
              0.04695,
              0.07371
            ],
            [
              0.01995,
              0.02677,
              0.0335,
              0.04691,
              0.07368
            ],
            [
              0.01986,
              0.0267,
              0.03346,
              0.04688,
              0.07366
            ],
            [
              0.01975,
              0.02665,
              0.0334,
              0.04685,
              0.07363
            ],
            [
              0.01964,
              0.02655,
              0.03332,
              0.04679,
              0.0736
            ],
            [
              0.01953,
              0.02642,
              0.03324,
              0.04673,
              0.07356
            ],
            [
              0.01945,
              0.02632,
              0.03313,
              0.04664,
              0.0735
            ],
            [
              0.0194,
              0.02623,
              0.03303,
              0.04651,
              0.0734
            ],
            [
              0.01939,
              0.02614,
              0.0329,
              0.04638,
              0.07329
            ],
            [
              0.0195,
              0.02615,
              0.03288,
              0.04635,
              0.07318
            ],
            [
              0.01959,
              0.02625,
              0.03289,
              0.04631,
              0.07301
            ]
          ]
        },
        "when": "(A1&!B1&C1) | (A2&!B1&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.00523,
              -0.00161,
              -0.00839,
              -0.02195,
              -0.04903
            ],
            [
              0.00532,
              -0.00158,
              -0.00836,
              -0.02194,
              -0.04903
            ],
            [
              0.00541,
              -0.00153,
              -0.00834,
              -0.02192,
              -0.04902
            ],
            [
              0.0055,
              -0.00147,
              -0.00831,
              -0.02189,
              -0.049
            ],
            [
              0.00561,
              -0.0014,
              -0.00825,
              -0.02186,
              -0.04898
            ],
            [
              0.00574,
              -0.0013,
              -0.00818,
              -0.02181,
              -0.04895
            ],
            [
              0.00587,
              -0.00118,
              -0.00809,
              -0.02175,
              -0.04891
            ],
            [
              0.006,
              -0.00105,
              -0.00797,
              -0.02166,
              -0.04886
            ],
            [
              0.00611,
              -0.00091,
              -0.00784,
              -0.02155,
              -0.04878
            ],
            [
              0.00619,
              -0.00078,
              -0.0077,
              -0.02143,
              -0.04868
            ],
            [
              0.00621,
              -0.00068,
              -0.00758,
              -0.0213,
              -0.04857
            ],
            [
              0.00618,
              -0.00067,
              -0.00749,
              -0.02118,
              -0.04846
            ],
            [
              0.00602,
              -0.00072,
              -0.00748,
              -0.02112,
              -0.04835
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.0184,
              0.0253,
              0.03207,
              0.04549,
              0.07228
            ],
            [
              0.01831,
              0.02529,
              0.03204,
              0.04551,
              0.07232
            ],
            [
              0.01821,
              0.02525,
              0.03204,
              0.04549,
              0.07232
            ],
            [
              0.01811,
              0.02519,
              0.03199,
              0.04547,
              0.07233
            ],
            [
              0.018,
              0.02511,
              0.03194,
              0.04543,
              0.07228
            ],
            [
              0.01789,
              0.02501,
              0.03185,
              0.04539,
              0.07227
            ],
            [
              0.01778,
              0.02486,
              0.03176,
              0.0453,
              0.07217
            ],
            [
              0.01773,
              0.02474,
              0.03165,
              0.04522,
              0.07212
            ],
            [
              0.01769,
              0.02461,
              0.03151,
              0.04508,
              0.07203
            ],
            [
              0.01771,
              0.02452,
              0.03136,
              0.04501,
              0.07187
            ],
            [
              0.01774,
              0.02452,
              0.03128,
              0.04485,
              0.07178
            ],
            [
              0.0179,
              0.0246,
              0.03129,
              0.0447,
              0.0717
            ],
            [
              0.018,
              0.02466,
              0.03139,
              0.04474,
              0.07157
            ]
          ]
        },
        "when": "(A1&B1) | (A2&B1) | (A1&B2) | (A2&B2)"
      }
    ],
    "max_capacitance": 0.02624,
    "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.13502,
              0.212,
              0.28676,
              0.43478,
              0.72911
            ],
            [
              0.13794,
              0.21493,
              0.28971,
              0.43774,
              0.73207
            ],
            [
              0.14157,
              0.2186,
              0.29336,
              0.44141,
              0.73576
            ],
            [
              0.14716,
              0.22429,
              0.29909,
              0.44716,
              0.7415
            ],
            [
              0.1555,
              0.23282,
              0.30768,
              0.45579,
              0.75017
            ],
            [
              0.16744,
              0.24495,
              0.31989,
              0.46807,
              0.76249
            ],
            [
              0.18418,
              0.26194,
              0.337,
              0.48529,
              0.77977
            ],
            [
              0.20759,
              0.28556,
              0.36078,
              0.50923,
              0.80382
            ],
            [
              0.23988,
              0.31862,
              0.39399,
              0.54262,
              0.83745
            ],
            [
              0.28162,
              0.36508,
              0.44106,
              0.58998,
              0.88509
            ],
            [
              0.33523,
              0.42632,
              0.50742,
              0.65822,
              0.95372
            ],
            [
              0.40357,
              0.50597,
              0.59487,
              0.75637,
              1.05447
            ],
            [
              0.4882,
              0.609,
              0.7095,
              0.8872,
              1.203
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.21678,
              0.34149,
              0.46069,
              0.6946,
              1.15677
            ],
            [
              0.2196,
              0.34432,
              0.46356,
              0.69746,
              1.15964
            ],
            [
              0.22327,
              0.34803,
              0.46729,
              0.70117,
              1.16342
            ],
            [
              0.22903,
              0.35385,
              0.4731,
              0.70705,
              1.16928
            ],
            [
              0.23789,
              0.36284,
              0.48216,
              0.71614,
              1.17841
            ],
            [
              0.25092,
              0.37611,
              0.49544,
              0.72951,
              1.19182
            ],
            [
              0.26946,
              0.39481,
              0.51432,
              0.7485,
              1.21093
            ],
            [
              0.29595,
              0.42149,
              0.5411,
              0.77549,
              1.23796
            ],
            [
              0.33465,
              0.46028,
              0.58001,
              0.81455,
              1.27735
            ],
            [
              0.39251,
              0.51752,
              0.63739,
              0.87209,
              1.33509
            ],
            [
              0.47182,
              0.60322,
              0.72292,
              0.95782,
              1.42112
            ],
            [
              0.57497,
              0.72417,
              0.85087,
              1.08607,
              1.54967
            ],
            [
              0.7082,
              0.8816,
              1.0264,
              1.2777,
              1.7422
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.08378,
              0.18137,
              0.27893,
              0.47283,
              0.86167
            ],
            [
              0.08385,
              0.18137,
              0.27878,
              0.47264,
              0.86169
            ],
            [
              0.08391,
              0.18148,
              0.2789,
              0.47299,
              0.86168
            ],
            [
              0.08386,
              0.18143,
              0.27893,
              0.47292,
              0.86167
            ],
            [
              0.08392,
              0.18135,
              0.27892,
              0.473,
              0.86166
            ],
            [
              0.08391,
              0.18137,
              0.27892,
              0.47268,
              0.86172
            ],
            [
              0.08386,
              0.18134,
              0.27888,
              0.47327,
              0.86053
            ],
            [
              0.08431,
              0.18157,
              0.27877,
              0.47325,
              0.86163
            ],
            [
              0.08787,
              0.18261,
              0.27892,
              0.47284,
              0.86159
            ],
            [
              0.09616,
              0.18868,
              0.28233,
              0.47312,
              0.86152
            ],
            [
              0.10853,
              0.20421,
              0.29476,
              0.48027,
              0.8619
            ],
            [
              0.1282,
              0.2286,
              0.3213,
              0.5002,
              0.8703
            ],
            [
              0.1611,
              0.2664,
              0.3626,
              0.5441,
              0.8992
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.1707,
              0.32786,
              0.48305,
              0.79161,
              1.4077
            ],
            [
              0.17094,
              0.32804,
              0.48294,
              0.79226,
              1.4086
            ],
            [
              0.17095,
              0.32805,
              0.48292,
              0.792,
              1.40868
            ],
            [
              0.17088,
              0.32805,
              0.48299,
              0.79221,
              1.40798
            ],
            [
              0.1709,
              0.32799,
              0.48298,
              0.79224,
              1.40869
            ],
            [
              0.17085,
              0.32763,
              0.4831,
              0.79196,
              1.40731
            ],
            [
              0.17077,
              0.32783,
              0.48298,
              0.79199,
              1.40871
            ],
            [
              0.17065,
              0.32794,
              0.48303,
              0.79225,
              1.40866
            ],
            [
              0.17066,
              0.32749,
              0.48289,
              0.79215,
              1.40869
            ],
            [
              0.17896,
              0.32921,
              0.48245,
              0.79192,
              1.4086
            ],
            [
              0.20079,
              0.34241,
              0.4888,
              0.792,
              1.4088
            ],
            [
              0.2342,
              0.3764,
              0.5142,
              0.803,
              1.4085
            ],
            [
              0.2829,
              0.4378,
              0.5725,
              0.8415,
              1.4206
            ]
          ]
        },
        "sdf_cond": "(!A2&!B1&B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A2&!B1&B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.16809,
              0.2492,
              0.32742,
              0.48167,
              0.78745
            ],
            [
              0.17101,
              0.25213,
              0.33036,
              0.4846,
              0.79037
            ],
            [
              0.17462,
              0.25576,
              0.33401,
              0.48827,
              0.79405
            ],
            [
              0.18027,
              0.26147,
              0.33972,
              0.49401,
              0.79982
            ],
            [
              0.1887,
              0.27001,
              0.34832,
              0.50264,
              0.80842
            ],
            [
              0.20066,
              0.28211,
              0.36049,
              0.51486,
              0.82072
            ],
            [
              0.21738,
              0.29903,
              0.37747,
              0.53193,
              0.83782
            ],
            [
              0.24066,
              0.32245,
              0.40103,
              0.55558,
              0.86156
            ],
            [
              0.27325,
              0.35513,
              0.43383,
              0.58858,
              0.89475
            ],
            [
              0.31718,
              0.40147,
              0.48029,
              0.63529,
              0.94179
            ],
            [
              0.37384,
              0.46472,
              0.54692,
              0.70252,
              1.00932
            ],
            [
              0.44707,
              0.54717,
              0.63637,
              0.80027,
              1.10827
            ],
            [
              0.5405,
              0.6548,
              0.7539,
              0.9327,
              1.2549
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.21857,
              0.34305,
              0.46223,
              0.69615,
              1.15837
            ],
            [
              0.22138,
              0.34585,
              0.46506,
              0.69897,
              1.16124
            ],
            [
              0.22504,
              0.34955,
              0.46875,
              0.70267,
              1.16492
            ],
            [
              0.23078,
              0.35535,
              0.4746,
              0.70852,
              1.17078
            ],
            [
              0.23967,
              0.36436,
              0.48365,
              0.71762,
              1.17991
            ],
            [
              0.25271,
              0.3776,
              0.49696,
              0.73101,
              1.19332
            ],
            [
              0.27126,
              0.39636,
              0.51583,
              0.74998,
              1.21243
            ],
            [
              0.29778,
              0.42304,
              0.54264,
              0.77698,
              1.23956
            ],
            [
              0.3365,
              0.46184,
              0.58157,
              0.81605,
              1.27885
            ],
            [
              0.39434,
              0.51909,
              0.63899,
              0.87359,
              1.33669
            ],
            [
              0.47392,
              0.60472,
              0.72442,
              0.95942,
              1.42272
            ],
            [
              0.57727,
              0.72597,
              0.85237,
              1.08757,
              1.55127
            ],
            [
              0.711,
              0.8837,
              1.0282,
              1.2792,
              1.7438
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.10534,
              0.20733,
              0.30835,
              0.51017,
              0.91262
            ],
            [
              0.10531,
              0.20747,
              0.30832,
              0.50992,
              0.91185
            ],
            [
              0.10539,
              0.20744,
              0.30835,
              0.50974,
              0.91257
            ],
            [
              0.1053,
              0.20733,
              0.30827,
              0.50979,
              0.91256
            ],
            [
              0.10542,
              0.20728,
              0.30837,
              0.51026,
              0.91248
            ],
            [
              0.10542,
              0.20755,
              0.30833,
              0.51026,
              0.9126
            ],
            [
              0.10533,
              0.20729,
              0.30831,
              0.51017,
              0.9126
            ],
            [
              0.10535,
              0.2074,
              0.3082,
              0.50975,
              0.91196
            ],
            [
              0.10725,
              0.20754,
              0.30834,
              0.51024,
              0.91245
            ],
            [
              0.11447,
              0.21222,
              0.31055,
              0.51026,
              0.91252
            ],
            [
              0.1263,
              0.22519,
              0.3205,
              0.5144,
              0.912
            ],
            [
              0.1447,
              0.2484,
              0.3449,
              0.5321,
              0.9193
            ],
            [
              0.1748,
              0.2837,
              0.3837,
              0.5725,
              0.9446
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.22365,
              0.37925,
              0.53364,
              0.84101,
              1.45624
            ],
            [
              0.22365,
              0.3793,
              0.53363,
              0.84158,
              1.45508
            ],
            [
              0.22365,
              0.37929,
              0.53361,
              0.84135,
              1.45539
            ],
            [
              0.22367,
              0.3793,
              0.53354,
              0.84095,
              1.4552
            ],
            [
              0.22364,
              0.37919,
              0.53361,
              0.84119,
              1.45541
            ],
            [
              0.22365,
              0.37929,
              0.53361,
              0.84101,
              1.45514
            ],
            [
              0.22361,
              0.37926,
              0.53361,
              0.84143,
              1.45533
            ],
            [
              0.22332,
              0.37929,
              0.53368,
              0.84108,
              1.45547
            ],
            [
              0.22342,
              0.37901,
              0.53362,
              0.84137,
              1.45542
            ],
            [
              0.23158,
              0.38065,
              0.53326,
              0.84102,
              1.4551
            ],
            [
              0.25316,
              0.39392,
              0.5399,
              0.8414,
              1.4554
            ],
            [
              0.294,
              0.428,
              0.5654,
              0.8523,
              1.4552
            ],
            [
              0.3511,
              0.4936,
              0.6231,
              0.8921,
              1.4676
            ]
          ]
        },
        "sdf_cond": "(!A2&B1&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A2&B1&!B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.12179,
              0.1883,
              0.25271,
              0.38013,
              0.63332
            ],
            [
              0.12479,
              0.19131,
              0.25573,
              0.38313,
              0.63635
            ],
            [
              0.12847,
              0.19501,
              0.25945,
              0.38689,
              0.64007
            ],
            [
              0.13415,
              0.20078,
              0.26526,
              0.39274,
              0.6459
            ],
            [
              0.14268,
              0.20948,
              0.27398,
              0.40149,
              0.6547
            ],
            [
              0.15509,
              0.22204,
              0.28664,
              0.41418,
              0.66748
            ],
            [
              0.17289,
              0.24006,
              0.30474,
              0.4324,
              0.68574
            ],
            [
              0.19796,
              0.26532,
              0.33012,
              0.45787,
              0.71135
            ],
            [
              0.23214,
              0.30071,
              0.36564,
              0.49359,
              0.74718
            ],
            [
              0.27605,
              0.35001,
              0.41613,
              0.54429,
              0.79819
            ],
            [
              0.33221,
              0.41442,
              0.48632,
              0.61772,
              0.87202
            ],
            [
              0.40297,
              0.49787,
              0.57827,
              0.72177,
              0.98067
            ],
            [
              0.4894,
              0.6049,
              0.6981,
              0.8592,
              1.1394
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.22999,
              0.35559,
              0.4753,
              0.70975,
              1.17257
            ],
            [
              0.23293,
              0.35852,
              0.47826,
              0.71278,
              1.17554
            ],
            [
              0.23671,
              0.36231,
              0.48208,
              0.71657,
              1.17942
            ],
            [
              0.24247,
              0.36819,
              0.48794,
              0.72252,
              1.18528
            ],
            [
              0.25134,
              0.37719,
              0.497,
              0.73164,
              1.19441
            ],
            [
              0.26434,
              0.39042,
              0.51028,
              0.74499,
              1.20792
            ],
            [
              0.28278,
              0.40908,
              0.5291,
              0.7639,
              1.22693
            ],
            [
              0.30921,
              0.43565,
              0.55582,
              0.79086,
              1.25396
            ],
            [
              0.3478,
              0.47431,
              0.59465,
              0.82985,
              1.29325
            ],
            [
              0.40545,
              0.53148,
              0.65189,
              0.88729,
              1.35099
            ],
            [
              0.48682,
              0.61702,
              0.73732,
              0.97292,
              1.43692
            ],
            [
              0.59257,
              0.73977,
              0.86537,
              1.10107,
              1.56537
            ],
            [
              0.7296,
              0.9,
              1.0432,
              1.2928,
              1.7578
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.07239,
              0.15677,
              0.24079,
              0.40861,
              0.74348
            ],
            [
              0.0724,
              0.15665,
              0.24086,
              0.40858,
              0.74352
            ],
            [
              0.07242,
              0.15666,
              0.24085,
              0.40846,
              0.7437
            ],
            [
              0.07241,
              0.15657,
              0.24083,
              0.40855,
              0.74361
            ],
            [
              0.07239,
              0.15679,
              0.24054,
              0.40795,
              0.74284
            ],
            [
              0.07246,
              0.1568,
              0.24084,
              0.40856,
              0.74347
            ],
            [
              0.07247,
              0.15672,
              0.2407,
              0.40833,
              0.74302
            ],
            [
              0.07323,
              0.15684,
              0.24058,
              0.40853,
              0.74313
            ],
            [
              0.07768,
              0.15857,
              0.24113,
              0.40858,
              0.74361
            ],
            [
              0.08685,
              0.16607,
              0.246,
              0.40935,
              0.74294
            ],
            [
              0.10068,
              0.18352,
              0.2606,
              0.41781,
              0.7445
            ],
            [
              0.1232,
              0.2106,
              0.2903,
              0.4423,
              0.7566
            ],
            [
              0.1592,
              0.2531,
              0.3362,
              0.4917,
              0.7918
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.18043,
              0.33772,
              0.49274,
              0.80195,
              1.41765
            ],
            [
              0.18049,
              0.338,
              0.4929,
              0.80257,
              1.41897
            ],
            [
              0.18028,
              0.33803,
              0.4928,
              0.80233,
              1.41884
            ],
            [
              0.18038,
              0.33807,
              0.49304,
              0.80247,
              1.41782
            ],
            [
              0.1805,
              0.33786,
              0.49305,
              0.80248,
              1.41876
            ],
            [
              0.18031,
              0.33791,
              0.49329,
              0.80241,
              1.41832
            ],
            [
              0.18043,
              0.33799,
              0.49299,
              0.80206,
              1.41911
            ],
            [
              0.1803,
              0.33759,
              0.49304,
              0.8025,
              1.41881
            ],
            [
              0.17969,
              0.33779,
              0.49259,
              0.80218,
              1.41892
            ],
            [
              0.18657,
              0.33837,
              0.49275,
              0.80234,
              1.4185
            ],
            [
              0.20723,
              0.35036,
              0.4982,
              0.8023,
              1.4192
            ],
            [
              0.241,
              0.383,
              0.5221,
              0.8121,
              1.4187
            ],
            [
              0.2887,
              0.4437,
              0.5781,
              0.8501,
              1.4299
            ]
          ]
        },
        "sdf_cond": "(!A2&B1&B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A2&B1&B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.10605,
              0.1767,
              0.24691,
              0.38686,
              0.6655
            ],
            [
              0.10917,
              0.18031,
              0.25053,
              0.39061,
              0.66901
            ],
            [
              0.11287,
              0.18432,
              0.25458,
              0.39481,
              0.67405
            ],
            [
              0.11832,
              0.19024,
              0.26079,
              0.40103,
              0.68034
            ],
            [
              0.12621,
              0.19886,
              0.26953,
              0.40983,
              0.68846
            ],
            [
              0.13737,
              0.21048,
              0.28126,
              0.42205,
              0.70096
            ],
            [
              0.153,
              0.22673,
              0.29783,
              0.43878,
              0.71804
            ],
            [
              0.17479,
              0.24907,
              0.32029,
              0.4617,
              0.74157
            ],
            [
              0.20273,
              0.28008,
              0.35186,
              0.49342,
              0.77415
            ],
            [
              0.23823,
              0.32207,
              0.39633,
              0.53816,
              0.81959
            ],
            [
              0.28274,
              0.37572,
              0.45642,
              0.60302,
              0.88482
            ],
            [
              0.33677,
              0.44467,
              0.53427,
              0.69367,
              0.98077
            ],
            [
              0.3989,
              0.5317,
              0.6349,
              0.8121,
              1.1211
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.19561,
              0.32037,
              0.43963,
              0.67351,
              1.13567
            ],
            [
              0.19749,
              0.3223,
              0.44157,
              0.67547,
              1.13764
            ],
            [
              0.20018,
              0.32513,
              0.44442,
              0.67838,
              1.14062
            ],
            [
              0.20463,
              0.32977,
              0.44914,
              0.6832,
              1.14538
            ],
            [
              0.21193,
              0.3373,
              0.45679,
              0.69093,
              1.15321
            ],
            [
              0.22345,
              0.34907,
              0.4688,
              0.70305,
              1.16552
            ],
            [
              0.2414,
              0.36746,
              0.4872,
              0.72169,
              1.18433
            ],
            [
              0.26932,
              0.39587,
              0.51587,
              0.75059,
              1.21336
            ],
            [
              0.31297,
              0.43902,
              0.55913,
              0.79395,
              1.25695
            ],
            [
              0.38037,
              0.50476,
              0.62469,
              0.85959,
              1.32289
            ],
            [
              0.47682,
              0.60522,
              0.72452,
              0.95912,
              1.42232
            ],
            [
              0.59907,
              0.75497,
              0.87697,
              1.11017,
              1.57217
            ],
            [
              0.7527,
              0.946,
              1.0958,
              1.3387,
              1.7981
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05962,
              0.15253,
              0.24504,
              0.42979,
              0.7983
            ],
            [
              0.05967,
              0.15241,
              0.24492,
              0.42992,
              0.79867
            ],
            [
              0.05967,
              0.15254,
              0.24465,
              0.42984,
              0.79898
            ],
            [
              0.05963,
              0.15256,
              0.24488,
              0.42987,
              0.79894
            ],
            [
              0.05963,
              0.15251,
              0.24504,
              0.42994,
              0.79858
            ],
            [
              0.05975,
              0.15261,
              0.24456,
              0.42995,
              0.79845
            ],
            [
              0.05992,
              0.15245,
              0.24472,
              0.42986,
              0.79823
            ],
            [
              0.06189,
              0.15277,
              0.24495,
              0.42981,
              0.79771
            ],
            [
              0.06781,
              0.15544,
              0.24581,
              0.42968,
              0.79883
            ],
            [
              0.07617,
              0.16419,
              0.25142,
              0.43082,
              0.79826
            ],
            [
              0.08926,
              0.18139,
              0.26662,
              0.44016,
              0.7997
            ],
            [
              0.111,
              0.2068,
              0.2956,
              0.4646,
              0.8109
            ],
            [
              0.1458,
              0.2475,
              0.3385,
              0.5112,
              0.8454
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.17086,
              0.32796,
              0.48259,
              0.79192,
              1.40727
            ],
            [
              0.17077,
              0.32774,
              0.48309,
              0.79202,
              1.40735
            ],
            [
              0.17084,
              0.32776,
              0.48249,
              0.7919,
              1.40783
            ],
            [
              0.17085,
              0.3277,
              0.48309,
              0.79216,
              1.40696
            ],
            [
              0.17083,
              0.32776,
              0.48307,
              0.79187,
              1.4076
            ],
            [
              0.17074,
              0.32774,
              0.48287,
              0.79193,
              1.40886
            ],
            [
              0.17089,
              0.3279,
              0.48254,
              0.79169,
              1.40724
            ],
            [
              0.17037,
              0.32778,
              0.48303,
              0.79212,
              1.40725
            ],
            [
              0.1703,
              0.3278,
              0.48288,
              0.79174,
              1.40721
            ],
            [
              0.1825,
              0.32855,
              0.48279,
              0.79223,
              1.4087
            ],
            [
              0.217,
              0.3472,
              0.4886,
              0.7918,
              1.4087
            ],
            [
              0.2669,
              0.3974,
              0.5236,
              0.8013,
              1.4089
            ],
            [
              0.3351,
              0.4904,
              0.6073,
              0.8531,
              1.4155
            ]
          ]
        },
        "sdf_cond": "(!A1&!B1&B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!B1&B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.13713,
              0.21482,
              0.29013,
              0.43932,
              0.73605
            ],
            [
              0.14056,
              0.21844,
              0.29385,
              0.44309,
              0.73987
            ],
            [
              0.14453,
              0.22257,
              0.29806,
              0.44737,
              0.7442
            ],
            [
              0.15033,
              0.22859,
              0.30421,
              0.45361,
              0.75045
            ],
            [
              0.15857,
              0.23716,
              0.31288,
              0.46241,
              0.75938
            ],
            [
              0.16995,
              0.2489,
              0.32478,
              0.47446,
              0.77155
            ],
            [
              0.18561,
              0.26493,
              0.34102,
              0.49093,
              0.78818
            ],
            [
              0.20723,
              0.28688,
              0.36325,
              0.51347,
              0.81093
            ],
            [
              0.237,
              0.31741,
              0.39402,
              0.54459,
              0.84245
            ],
            [
              0.27471,
              0.36023,
              0.43756,
              0.58848,
              0.88679
            ],
            [
              0.32294,
              0.4157,
              0.49842,
              0.65162,
              0.95062
            ],
            [
              0.38397,
              0.48747,
              0.57777,
              0.74187,
              1.04397
            ],
            [
              0.4586,
              0.5799,
              0.6811,
              0.8609,
              1.1812
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.19728,
              0.3218,
              0.44102,
              0.67491,
              1.13717
            ],
            [
              0.19914,
              0.3237,
              0.44294,
              0.67685,
              1.13904
            ],
            [
              0.20185,
              0.32653,
              0.44579,
              0.67974,
              1.14192
            ],
            [
              0.20633,
              0.33117,
              0.45051,
              0.68456,
              1.14678
            ],
            [
              0.21363,
              0.33873,
              0.45819,
              0.69229,
              1.15461
            ],
            [
              0.22521,
              0.35056,
              0.4702,
              0.70447,
              1.16692
            ],
            [
              0.24326,
              0.369,
              0.48874,
              0.72312,
              1.18583
            ],
            [
              0.2712,
              0.39745,
              0.51739,
              0.75206,
              1.21486
            ],
            [
              0.31487,
              0.44063,
              0.56065,
              0.79545,
              1.25845
            ],
            [
              0.38217,
              0.50637,
              0.62629,
              0.86119,
              1.32439
            ],
            [
              0.47902,
              0.60682,
              0.72612,
              0.96072,
              1.42392
            ],
            [
              0.60197,
              0.75677,
              0.87857,
              1.11177,
              1.57377
            ],
            [
              0.7561,
              0.9481,
              1.0975,
              1.3403,
              1.7997
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.08296,
              0.18132,
              0.27922,
              0.4752,
              0.86709
            ],
            [
              0.08295,
              0.18134,
              0.27921,
              0.47505,
              0.86708
            ],
            [
              0.08296,
              0.18129,
              0.27922,
              0.47524,
              0.86701
            ],
            [
              0.08296,
              0.18133,
              0.27919,
              0.47547,
              0.86702
            ],
            [
              0.08289,
              0.18125,
              0.27918,
              0.47529,
              0.8669
            ],
            [
              0.08296,
              0.18124,
              0.27923,
              0.4755,
              0.86709
            ],
            [
              0.08295,
              0.18138,
              0.27955,
              0.47547,
              0.86704
            ],
            [
              0.08318,
              0.18135,
              0.27952,
              0.47538,
              0.86701
            ],
            [
              0.08714,
              0.18228,
              0.27948,
              0.47559,
              0.86696
            ],
            [
              0.09535,
              0.18893,
              0.28328,
              0.47523,
              0.86694
            ],
            [
              0.10701,
              0.20427,
              0.29566,
              0.48225,
              0.8673
            ],
            [
              0.1258,
              0.2275,
              0.3219,
              0.5032,
              0.8765
            ],
            [
              0.1577,
              0.264,
              0.3614,
              0.5459,
              0.9052
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.22354,
              0.3792,
              0.53369,
              0.84156,
              1.45531
            ],
            [
              0.22355,
              0.37923,
              0.53393,
              0.84099,
              1.45531
            ],
            [
              0.22351,
              0.37921,
              0.53385,
              0.84108,
              1.45547
            ],
            [
              0.22352,
              0.37921,
              0.53368,
              0.84113,
              1.45507
            ],
            [
              0.22355,
              0.37915,
              0.53383,
              0.84103,
              1.45601
            ],
            [
              0.22357,
              0.37915,
              0.53378,
              0.84096,
              1.45523
            ],
            [
              0.22365,
              0.37917,
              0.53374,
              0.8409,
              1.45564
            ],
            [
              0.22322,
              0.37919,
              0.53365,
              0.8412,
              1.45564
            ],
            [
              0.22304,
              0.37906,
              0.53352,
              0.84099,
              1.45577
            ],
            [
              0.23519,
              0.38013,
              0.53346,
              0.84101,
              1.4549
            ],
            [
              0.26888,
              0.39849,
              0.5396,
              0.8411,
              1.4552
            ],
            [
              0.33,
              0.4488,
              0.5741,
              0.8513,
              1.4553
            ],
            [
              0.412,
              0.5471,
              0.6584,
              0.9032,
              1.4634
            ]
          ]
        },
        "sdf_cond": "(!A1&B1&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&B1&!B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.09745,
              0.15887,
              0.21927,
              0.34044,
              0.5812
            ],
            [
              0.10068,
              0.16239,
              0.22298,
              0.34408,
              0.58527
            ],
            [
              0.10442,
              0.16637,
              0.2272,
              0.34794,
              0.5896
            ],
            [
              0.10995,
              0.17239,
              0.23331,
              0.35414,
              0.59574
            ],
            [
              0.1181,
              0.18113,
              0.24205,
              0.36337,
              0.60466
            ],
            [
              0.12986,
              0.1934,
              0.25446,
              0.37611,
              0.61789
            ],
            [
              0.14657,
              0.21062,
              0.27205,
              0.3936,
              0.63604
            ],
            [
              0.16986,
              0.23455,
              0.29628,
              0.41841,
              0.66086
            ],
            [
              0.19941,
              0.26784,
              0.32998,
              0.45214,
              0.69531
            ],
            [
              0.23678,
              0.31211,
              0.37777,
              0.50064,
              0.74389
            ],
            [
              0.28307,
              0.36875,
              0.44108,
              0.57062,
              0.81412
            ],
            [
              0.33867,
              0.44097,
              0.52297,
              0.66597,
              0.91827
            ],
            [
              0.4019,
              0.5306,
              0.6282,
              0.7906,
              1.0671
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.20879,
              0.33441,
              0.45415,
              0.68864,
              1.15147
            ],
            [
              0.21078,
              0.33645,
              0.45623,
              0.69078,
              1.15354
            ],
            [
              0.21356,
              0.33937,
              0.45915,
              0.69378,
              1.15652
            ],
            [
              0.21804,
              0.34403,
              0.46394,
              0.69857,
              1.16148
            ],
            [
              0.22534,
              0.35159,
              0.47161,
              0.70632,
              1.16931
            ],
            [
              0.23679,
              0.36333,
              0.48356,
              0.71844,
              1.18152
            ],
            [
              0.25465,
              0.38161,
              0.50191,
              0.73706,
              1.20033
            ],
            [
              0.28285,
              0.40995,
              0.53048,
              0.76583,
              1.22936
            ],
            [
              0.3261,
              0.45302,
              0.57361,
              0.80905,
              1.27285
            ],
            [
              0.39287,
              0.51859,
              0.63909,
              0.87469,
              1.33859
            ],
            [
              0.49222,
              0.61892,
              0.73882,
              0.97412,
              1.43802
            ],
            [
              0.61837,
              0.77027,
              0.89117,
              1.12497,
              1.58777
            ],
            [
              0.778,
              0.9657,
              1.1126,
              1.3535,
              1.8135
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05186,
              0.13239,
              0.21259,
              0.37317,
              0.69326
            ],
            [
              0.05187,
              0.1324,
              0.2126,
              0.3732,
              0.69381
            ],
            [
              0.05187,
              0.13244,
              0.21277,
              0.37295,
              0.69383
            ],
            [
              0.05191,
              0.13241,
              0.21272,
              0.37296,
              0.69382
            ],
            [
              0.05193,
              0.13236,
              0.21269,
              0.3728,
              0.69323
            ],
            [
              0.05203,
              0.13237,
              0.21257,
              0.37266,
              0.69277
            ],
            [
              0.05236,
              0.13243,
              0.2127,
              0.37291,
              0.69308
            ],
            [
              0.05483,
              0.13267,
              0.21269,
              0.37253,
              0.69299
            ],
            [
              0.06133,
              0.13619,
              0.21384,
              0.37329,
              0.69264
            ],
            [
              0.07075,
              0.14658,
              0.22092,
              0.37529,
              0.69295
            ],
            [
              0.08575,
              0.16523,
              0.23909,
              0.38596,
              0.6958
            ],
            [
              0.1096,
              0.1935,
              0.2702,
              0.415,
              0.7106
            ],
            [
              0.1469,
              0.2384,
              0.3178,
              0.4665,
              0.7512
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.18028,
              0.33794,
              0.49299,
              0.80158,
              1.41912
            ],
            [
              0.18033,
              0.33794,
              0.49266,
              0.80246,
              1.4191
            ],
            [
              0.18019,
              0.33795,
              0.49316,
              0.80247,
              1.41874
            ],
            [
              0.18042,
              0.33784,
              0.49275,
              0.80216,
              1.41763
            ],
            [
              0.18019,
              0.33794,
              0.49275,
              0.80157,
              1.41895
            ],
            [
              0.18045,
              0.33749,
              0.4927,
              0.80203,
              1.41911
            ],
            [
              0.18045,
              0.33791,
              0.4931,
              0.80217,
              1.41773
            ],
            [
              0.18042,
              0.33792,
              0.49296,
              0.80229,
              1.41877
            ],
            [
              0.17914,
              0.33774,
              0.49263,
              0.80201,
              1.41838
            ],
            [
              0.18883,
              0.3377,
              0.49296,
              0.8024,
              1.4192
            ],
            [
              0.22025,
              0.35399,
              0.4976,
              0.8022,
              1.419
            ],
            [
              0.2712,
              0.4014,
              0.5292,
              0.8105,
              1.4192
            ],
            [
              0.3393,
              0.4931,
              0.6107,
              0.86,
              1.4249
            ]
          ]
        },
        "sdf_cond": "(!A1&B1&B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&B1&B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.11893,
              0.19624,
              0.27149,
              0.42062,
              0.71729
            ],
            [
              0.12144,
              0.19879,
              0.27405,
              0.42318,
              0.71987
            ],
            [
              0.1247,
              0.20211,
              0.27737,
              0.42653,
              0.72323
            ],
            [
              0.12973,
              0.2073,
              0.2826,
              0.43179,
              0.72852
            ],
            [
              0.13748,
              0.21518,
              0.29056,
              0.43979,
              0.73652
            ],
            [
              0.14859,
              0.22656,
              0.30202,
              0.45133,
              0.74815
            ],
            [
              0.16444,
              0.2427,
              0.31833,
              0.46777,
              0.76465
            ],
            [
              0.18765,
              0.26613,
              0.34195,
              0.49163,
              0.78861
            ],
            [
              0.21983,
              0.30084,
              0.37685,
              0.52677,
              0.82405
            ],
            [
              0.26217,
              0.35147,
              0.42894,
              0.57922,
              0.87689
            ],
            [
              0.3169,
              0.41901,
              0.50432,
              0.65762,
              0.95582
            ],
            [
              0.38417,
              0.50707,
              0.60467,
              0.77277,
              1.07407
            ],
            [
              0.4633,
              0.6172,
              0.7344,
              0.9269,
              1.2504
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.18128,
              0.30616,
              0.42872,
              0.67217,
              1.15707
            ],
            [
              0.18459,
              0.30973,
              0.43237,
              0.67587,
              1.16084
            ],
            [
              0.18845,
              0.31392,
              0.43664,
              0.68022,
              1.16502
            ],
            [
              0.19426,
              0.32016,
              0.44306,
              0.68676,
              1.17178
            ],
            [
              0.20302,
              0.32946,
              0.45262,
              0.69651,
              1.18171
            ],
            [
              0.21601,
              0.34298,
              0.46641,
              0.71064,
              1.19612
            ],
            [
              0.23488,
              0.3622,
              0.48596,
              0.73058,
              1.21623
            ],
            [
              0.26245,
              0.38985,
              0.51384,
              0.75886,
              1.24506
            ],
            [
              0.3033,
              0.43049,
              0.55464,
              0.79995,
              1.28655
            ],
            [
              0.36341,
              0.49115,
              0.61525,
              0.86079,
              1.34789
            ],
            [
              0.44215,
              0.58232,
              0.70632,
              0.95192,
              1.43942
            ],
            [
              0.54617,
              0.70847,
              0.84287,
              1.08877,
              1.57647
            ],
            [
              0.6815,
              0.8746,
              1.0299,
              1.2942,
              1.7825
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.08284,
              0.18138,
              0.2792,
              0.47541,
              0.86601
            ],
            [
              0.08296,
              0.18134,
              0.2793,
              0.47502,
              0.86599
            ],
            [
              0.08297,
              0.18125,
              0.27947,
              0.47551,
              0.8671
            ],
            [
              0.08292,
              0.18124,
              0.27954,
              0.47549,
              0.86693
            ],
            [
              0.08296,
              0.18125,
              0.27926,
              0.47551,
              0.86708
            ],
            [
              0.08288,
              0.18131,
              0.27938,
              0.47536,
              0.86684
            ],
            [
              0.08297,
              0.18141,
              0.27948,
              0.47521,
              0.86677
            ],
            [
              0.08518,
              0.18146,
              0.27917,
              0.47522,
              0.86621
            ],
            [
              0.09258,
              0.18452,
              0.27995,
              0.47542,
              0.86668
            ],
            [
              0.1056,
              0.19537,
              0.28674,
              0.47625,
              0.86608
            ],
            [
              0.12636,
              0.21924,
              0.30516,
              0.48623,
              0.8673
            ],
            [
              0.1585,
              0.2575,
              0.3446,
              0.5135,
              0.878
            ],
            [
              0.2048,
              0.3157,
              0.4072,
              0.576,
              0.9142
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.13725,
              0.30114,
              0.46394,
              0.7877,
              1.43498
            ],
            [
              0.13709,
              0.30098,
              0.46393,
              0.78816,
              1.43654
            ],
            [
              0.13725,
              0.30103,
              0.46386,
              0.78876,
              1.4363
            ],
            [
              0.13726,
              0.30113,
              0.46347,
              0.78807,
              1.43626
            ],
            [
              0.13709,
              0.30088,
              0.46396,
              0.78806,
              1.43623
            ],
            [
              0.13724,
              0.30109,
              0.46373,
              0.78866,
              1.43531
            ],
            [
              0.13725,
              0.30113,
              0.46387,
              0.78834,
              1.43476
            ],
            [
              0.13722,
              0.30086,
              0.46378,
              0.78788,
              1.43476
            ],
            [
              0.13979,
              0.30105,
              0.46393,
              0.78859,
              1.43571
            ],
            [
              0.15185,
              0.30409,
              0.46379,
              0.78814,
              1.4359
            ],
            [
              0.1768,
              0.32039,
              0.4713,
              0.7886,
              1.4367
            ],
            [
              0.2118,
              0.358,
              0.4982,
              0.799,
              1.436
            ],
            [
              0.2638,
              0.4221,
              0.5589,
              0.8379,
              1.4447
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.15248,
              0.23359,
              0.31183,
              0.46609,
              0.77184
            ],
            [
              0.15497,
              0.23613,
              0.31437,
              0.46863,
              0.77437
            ],
            [
              0.15822,
              0.2394,
              0.31765,
              0.47193,
              0.77769
            ],
            [
              0.16328,
              0.24457,
              0.32288,
              0.47712,
              0.78292
            ],
            [
              0.17109,
              0.25244,
              0.33079,
              0.48511,
              0.79092
            ],
            [
              0.18234,
              0.26385,
              0.34226,
              0.49664,
              0.80251
            ],
            [
              0.19837,
              0.28005,
              0.3586,
              0.51307,
              0.81906
            ],
            [
              0.22165,
              0.30359,
              0.38225,
              0.53689,
              0.84296
            ],
            [
              0.25633,
              0.33835,
              0.41719,
              0.57206,
              0.87835
            ],
            [
              0.3033,
              0.39033,
              0.46936,
              0.62454,
              0.93119
            ],
            [
              0.36536,
              0.46252,
              0.54692,
              0.70302,
              1.01012
            ],
            [
              0.44447,
              0.55767,
              0.65237,
              0.81987,
              1.12827
            ],
            [
              0.5405,
              0.679,
              0.7903,
              0.9796,
              1.3048
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.18328,
              0.3081,
              0.43063,
              0.6741,
              1.15897
            ],
            [
              0.18664,
              0.31171,
              0.43432,
              0.67784,
              1.16284
            ],
            [
              0.19053,
              0.31592,
              0.43863,
              0.68228,
              1.16712
            ],
            [
              0.19637,
              0.32221,
              0.44511,
              0.68883,
              1.17388
            ],
            [
              0.20517,
              0.33154,
              0.45467,
              0.69866,
              1.18391
            ],
            [
              0.21815,
              0.34506,
              0.4685,
              0.7128,
              1.19832
            ],
            [
              0.237,
              0.36428,
              0.48804,
              0.73271,
              1.21843
            ],
            [
              0.26454,
              0.39191,
              0.51594,
              0.76097,
              1.24716
            ],
            [
              0.30535,
              0.43253,
              0.5567,
              0.80205,
              1.28865
            ],
            [
              0.36558,
              0.49316,
              0.61728,
              0.86289,
              1.35019
            ],
            [
              0.44452,
              0.58432,
              0.70832,
              0.95402,
              1.44162
            ],
            [
              0.54897,
              0.71067,
              0.84477,
              1.09087,
              1.57867
            ],
            [
              0.6849,
              0.8771,
              1.0322,
              1.2962,
              1.7846
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.10542,
              0.20748,
              0.30831,
              0.51027,
              0.91242
            ],
            [
              0.10541,
              0.20728,
              0.30869,
              0.51023,
              0.91257
            ],
            [
              0.10542,
              0.20725,
              0.30825,
              0.51026,
              0.91181
            ],
            [
              0.10541,
              0.20744,
              0.3087,
              0.50993,
              0.91256
            ],
            [
              0.10541,
              0.20736,
              0.30862,
              0.51015,
              0.91259
            ],
            [
              0.10539,
              0.20728,
              0.30863,
              0.50951,
              0.91179
            ],
            [
              0.10537,
              0.20725,
              0.30833,
              0.50971,
              0.91256
            ],
            [
              0.10555,
              0.20737,
              0.30854,
              0.51021,
              0.91257
            ],
            [
              0.11021,
              0.20856,
              0.30854,
              0.51002,
              0.91257
            ],
            [
              0.12233,
              0.21626,
              0.31276,
              0.51008,
              0.91251
            ],
            [
              0.14143,
              0.2368,
              0.32714,
              0.5171,
              0.9124
            ],
            [
              0.1723,
              0.2729,
              0.3635,
              0.541,
              0.9201
            ],
            [
              0.2186,
              0.3295,
              0.4236,
              0.5976,
              0.9529
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.19201,
              0.35817,
              0.52124,
              0.84496,
              1.49063
            ],
            [
              0.19196,
              0.35818,
              0.52125,
              0.84487,
              1.49101
            ],
            [
              0.19199,
              0.35816,
              0.5213,
              0.84503,
              1.49056
            ],
            [
              0.19199,
              0.35816,
              0.52132,
              0.84472,
              1.49112
            ],
            [
              0.192,
              0.35817,
              0.52139,
              0.84527,
              1.49141
            ],
            [
              0.19196,
              0.3582,
              0.52125,
              0.84496,
              1.49079
            ],
            [
              0.192,
              0.35816,
              0.52129,
              0.84512,
              1.49097
            ],
            [
              0.19197,
              0.35816,
              0.52123,
              0.84504,
              1.4909
            ],
            [
              0.19451,
              0.35814,
              0.52126,
              0.84499,
              1.4907
            ],
            [
              0.20654,
              0.36137,
              0.52156,
              0.84506,
              1.4912
            ],
            [
              0.23403,
              0.3775,
              0.5291,
              0.8453,
              1.4912
            ],
            [
              0.279,
              0.4152,
              0.5561,
              0.8557,
              1.4911
            ],
            [
              0.3424,
              0.4854,
              0.6164,
              0.8945,
              1.5002
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.10239,
              0.16947,
              0.23462,
              0.36363,
              0.62023
            ],
            [
              0.10513,
              0.17226,
              0.23741,
              0.36643,
              0.62299
            ],
            [
              0.10863,
              0.1758,
              0.24097,
              0.36999,
              0.62657
            ],
            [
              0.11396,
              0.18127,
              0.24646,
              0.37551,
              0.63211
            ],
            [
              0.12198,
              0.18942,
              0.25467,
              0.38377,
              0.64041
            ],
            [
              0.13332,
              0.20098,
              0.26632,
              0.39549,
              0.65217
            ],
            [
              0.14942,
              0.21732,
              0.2828,
              0.41208,
              0.66889
            ],
            [
              0.17293,
              0.24104,
              0.30668,
              0.43613,
              0.69307
            ],
            [
              0.20422,
              0.27612,
              0.34194,
              0.47165,
              0.72877
            ],
            [
              0.24539,
              0.32577,
              0.39448,
              0.52458,
              0.78209
            ],
            [
              0.29813,
              0.39129,
              0.46812,
              0.60362,
              0.86162
            ],
            [
              0.36287,
              0.47617,
              0.56507,
              0.71647,
              0.98077
            ],
            [
              0.439,
              0.582,
              0.6899,
              0.8653,
              1.1559
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.1809,
              0.30581,
              0.42835,
              0.67179,
              1.15667
            ],
            [
              0.18389,
              0.30907,
              0.4317,
              0.67515,
              1.16004
            ],
            [
              0.1876,
              0.31304,
              0.43576,
              0.67935,
              1.16422
            ],
            [
              0.19326,
              0.31912,
              0.442,
              0.68575,
              1.17068
            ],
            [
              0.20194,
              0.32829,
              0.45143,
              0.69536,
              1.18041
            ],
            [
              0.21496,
              0.34174,
              0.46515,
              0.70936,
              1.19472
            ],
            [
              0.23394,
              0.36103,
              0.4847,
              0.72924,
              1.21503
            ],
            [
              0.26172,
              0.38881,
              0.51265,
              0.75755,
              1.24366
            ],
            [
              0.3028,
              0.42962,
              0.55359,
              0.79875,
              1.28525
            ],
            [
              0.36305,
              0.49052,
              0.6144,
              0.85969,
              1.34659
            ],
            [
              0.44188,
              0.58192,
              0.70572,
              0.95102,
              1.43822
            ],
            [
              0.54597,
              0.70807,
              0.84247,
              1.08817,
              1.57547
            ],
            [
              0.6813,
              0.8744,
              1.0296,
              1.2938,
              1.7817
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.07065,
              0.15566,
              0.24078,
              0.41031,
              0.74995
            ],
            [
              0.07057,
              0.1558,
              0.24075,
              0.41009,
              0.74984
            ],
            [
              0.07056,
              0.15567,
              0.24081,
              0.41055,
              0.74994
            ],
            [
              0.07056,
              0.1558,
              0.24078,
              0.41052,
              0.74985
            ],
            [
              0.07064,
              0.1558,
              0.24076,
              0.41025,
              0.74937
            ],
            [
              0.07054,
              0.1558,
              0.24072,
              0.41052,
              0.74996
            ],
            [
              0.0707,
              0.15567,
              0.24068,
              0.41053,
              0.74967
            ],
            [
              0.07384,
              0.15605,
              0.24065,
              0.41053,
              0.74901
            ],
            [
              0.08211,
              0.16052,
              0.24222,
              0.41038,
              0.7494
            ],
            [
              0.0948,
              0.17293,
              0.25038,
              0.41259,
              0.74959
            ],
            [
              0.11524,
              0.19714,
              0.27154,
              0.42533,
              0.7513
            ],
            [
              0.1463,
              0.2348,
              0.3115,
              0.457,
              0.7668
            ],
            [
              0.1911,
              0.2913,
              0.3728,
              0.5205,
              0.8096
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.1371,
              0.301,
              0.46377,
              0.78817,
              1.43565
            ],
            [
              0.13725,
              0.30105,
              0.46384,
              0.78806,
              1.4359
            ],
            [
              0.13725,
              0.30063,
              0.46339,
              0.78816,
              1.43568
            ],
            [
              0.13725,
              0.30114,
              0.46344,
              0.78763,
              1.43641
            ],
            [
              0.13726,
              0.30114,
              0.46397,
              0.78746,
              1.43616
            ],
            [
              0.13724,
              0.30082,
              0.46389,
              0.78866,
              1.43576
            ],
            [
              0.1372,
              0.30114,
              0.46375,
              0.78828,
              1.43526
            ],
            [
              0.1371,
              0.30095,
              0.46379,
              0.78807,
              1.43572
            ],
            [
              0.13976,
              0.30099,
              0.46388,
              0.78852,
              1.43561
            ],
            [
              0.15193,
              0.30411,
              0.46385,
              0.78813,
              1.4359
            ],
            [
              0.1769,
              0.32054,
              0.4712,
              0.7886,
              1.4367
            ],
            [
              0.2118,
              0.3581,
              0.4984,
              0.7991,
              1.4359
            ],
            [
              0.2639,
              0.4222,
              0.5591,
              0.8381,
              1.4448
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B2&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B2&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.08777,
              0.15861,
              0.22874,
              0.36868,
              0.64776
            ],
            [
              0.09062,
              0.16173,
              0.232,
              0.37141,
              0.65043
            ],
            [
              0.09402,
              0.16546,
              0.23566,
              0.37533,
              0.6543
            ],
            [
              0.09902,
              0.17086,
              0.24124,
              0.381,
              0.66009
            ],
            [
              0.10631,
              0.1787,
              0.24942,
              0.38929,
              0.66919
            ],
            [
              0.1166,
              0.18971,
              0.26061,
              0.4005,
              0.67981
            ],
            [
              0.13133,
              0.20501,
              0.276,
              0.4164,
              0.69613
            ],
            [
              0.15151,
              0.22713,
              0.29852,
              0.4392,
              0.71914
            ],
            [
              0.17761,
              0.25969,
              0.33156,
              0.4729,
              0.75405
            ],
            [
              0.21123,
              0.30406,
              0.3809,
              0.52296,
              0.80459
            ],
            [
              0.25204,
              0.36224,
              0.44832,
              0.59772,
              0.87972
            ],
            [
              0.29887,
              0.43587,
              0.53667,
              0.70367,
              0.99247
            ],
            [
              0.3496,
              0.5248,
              0.6485,
              0.8427,
              1.1593
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.15471,
              0.27968,
              0.40225,
              0.6457,
              1.13057
            ],
            [
              0.15687,
              0.28219,
              0.40484,
              0.64836,
              1.13324
            ],
            [
              0.15961,
              0.2853,
              0.40809,
              0.65171,
              1.13672
            ],
            [
              0.16395,
              0.29015,
              0.41313,
              0.65694,
              1.14208
            ],
            [
              0.17094,
              0.29773,
              0.42099,
              0.66504,
              1.15031
            ],
            [
              0.18206,
              0.30942,
              0.43304,
              0.67738,
              1.16292
            ],
            [
              0.19974,
              0.32742,
              0.45132,
              0.69604,
              1.18183
            ],
            [
              0.22757,
              0.35532,
              0.47953,
              0.72464,
              1.21086
            ],
            [
              0.27113,
              0.39816,
              0.52234,
              0.76745,
              1.25405
            ],
            [
              0.33595,
              0.4639,
              0.58748,
              0.83219,
              1.31909
            ],
            [
              0.41903,
              0.56432,
              0.68682,
              0.93142,
              1.41812
            ],
            [
              0.52317,
              0.70407,
              0.83877,
              1.08187,
              1.56727
            ],
            [
              0.6538,
              0.8797,
              1.0474,
              1.3097,
              1.7921
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05963,
              0.15251,
              0.24504,
              0.42996,
              0.79891
            ],
            [
              0.0596,
              0.15244,
              0.24496,
              0.42955,
              0.79867
            ],
            [
              0.05967,
              0.15246,
              0.2447,
              0.42947,
              0.79871
            ],
            [
              0.0596,
              0.15251,
              0.24467,
              0.42954,
              0.79868
            ],
            [
              0.0596,
              0.15264,
              0.24495,
              0.42948,
              0.79889
            ],
            [
              0.05974,
              0.15244,
              0.24504,
              0.42957,
              0.79868
            ],
            [
              0.06094,
              0.15269,
              0.24518,
              0.42946,
              0.79842
            ],
            [
              0.06582,
              0.15366,
              0.2452,
              0.42933,
              0.79868
            ],
            [
              0.07488,
              0.15909,
              0.24728,
              0.42915,
              0.7991
            ],
            [
              0.08899,
              0.17375,
              0.25665,
              0.43217,
              0.79898
            ],
            [
              0.11147,
              0.19968,
              0.27974,
              0.44536,
              0.8001
            ],
            [
              0.1447,
              0.2401,
              0.3221,
              0.4783,
              0.8148
            ],
            [
              0.1917,
              0.3001,
              0.3862,
              0.5442,
              0.8571
            ]
          ]
        },
        "related_pin": "B2",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.13708,
              0.30082,
              0.46346,
              0.78844,
              1.43594
            ],
            [
              0.13726,
              0.30114,
              0.46393,
              0.78834,
              1.43568
            ],
            [
              0.13725,
              0.30113,
              0.46394,
              0.7878,
              1.43484
            ],
            [
              0.13711,
              0.30101,
              0.46388,
              0.7878,
              1.43628
            ],
            [
              0.13722,
              0.30094,
              0.46388,
              0.78834,
              1.43624
            ],
            [
              0.13723,
              0.30077,
              0.46396,
              0.78815,
              1.43623
            ],
            [
              0.13713,
              0.30077,
              0.46356,
              0.78797,
              1.43589
            ],
            [
              0.13707,
              0.30113,
              0.46385,
              0.78864,
              1.43632
            ],
            [
              0.14428,
              0.30088,
              0.46389,
              0.7886,
              1.4357
            ],
            [
              0.1667,
              0.30692,
              0.46369,
              0.78794,
              1.4365
            ],
            [
              0.20496,
              0.33392,
              0.4753,
              0.7881,
              1.4366
            ],
            [
              0.256,
              0.3944,
              0.5182,
              0.802,
              1.436
            ],
            [
              0.3252,
              0.4906,
              0.6115,
              0.8602,
              1.4451
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!B1&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!B1&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.11937,
              0.19671,
              0.27156,
              0.41966,
              0.71404
            ],
            [
              0.1224,
              0.19991,
              0.27483,
              0.42297,
              0.71734
            ],
            [
              0.12599,
              0.20368,
              0.27863,
              0.42684,
              0.72129
            ],
            [
              0.13129,
              0.20917,
              0.28426,
              0.43255,
              0.72703
            ],
            [
              0.13892,
              0.21713,
              0.29233,
              0.44072,
              0.7353
            ],
            [
              0.14972,
              0.2282,
              0.30354,
              0.4521,
              0.74679
            ],
            [
              0.16486,
              0.24371,
              0.31931,
              0.46808,
              0.76293
            ],
            [
              0.18692,
              0.26605,
              0.34189,
              0.49098,
              0.78611
            ],
            [
              0.21751,
              0.29907,
              0.37519,
              0.52464,
              0.82015
            ],
            [
              0.25751,
              0.34724,
              0.42489,
              0.5748,
              0.87079
            ],
            [
              0.30905,
              0.41114,
              0.49662,
              0.64982,
              0.94652
            ],
            [
              0.37167,
              0.49397,
              0.59147,
              0.75967,
              1.05997
            ],
            [
              0.4441,
              0.5968,
              0.7135,
              0.9057,
              1.2289
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.15693,
              0.28182,
              0.40438,
              0.64787,
              1.13287
            ],
            [
              0.15914,
              0.28437,
              0.40702,
              0.65058,
              1.13564
            ],
            [
              0.16194,
              0.28756,
              0.41032,
              0.65398,
              1.13902
            ],
            [
              0.16631,
              0.29246,
              0.41542,
              0.65926,
              1.14448
            ],
            [
              0.17331,
              0.30008,
              0.42332,
              0.66741,
              1.15281
            ],
            [
              0.18444,
              0.31178,
              0.43537,
              0.67977,
              1.16542
            ],
            [
              0.20206,
              0.32977,
              0.45367,
              0.69843,
              1.18433
            ],
            [
              0.22979,
              0.35762,
              0.48186,
              0.72707,
              1.21346
            ],
            [
              0.27329,
              0.40037,
              0.5246,
              0.76985,
              1.25645
            ],
            [
              0.33828,
              0.46603,
              0.58975,
              0.83449,
              1.32159
            ],
            [
              0.42182,
              0.56632,
              0.68892,
              0.93362,
              1.42062
            ],
            [
              0.52647,
              0.70627,
              0.84077,
              1.08407,
              1.56957
            ],
            [
              0.6582,
              0.8826,
              1.0498,
              1.3118,
              1.7944
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.08383,
              0.18137,
              0.27893,
              0.47322,
              0.86079
            ],
            [
              0.08392,
              0.18142,
              0.27892,
              0.47316,
              0.86133
            ],
            [
              0.08392,
              0.18141,
              0.27861,
              0.47267,
              0.86173
            ],
            [
              0.08382,
              0.1814,
              0.27861,
              0.47321,
              0.86108
            ],
            [
              0.08392,
              0.18161,
              0.27891,
              0.47325,
              0.86165
            ],
            [
              0.08384,
              0.18148,
              0.27875,
              0.47321,
              0.86175
            ],
            [
              0.08389,
              0.18147,
              0.27889,
              0.47302,
              0.86098
            ],
            [
              0.08582,
              0.1816,
              0.27854,
              0.47312,
              0.86125
            ],
            [
              0.09326,
              0.18463,
              0.27928,
              0.47322,
              0.8612
            ],
            [
              0.10601,
              0.19508,
              0.28602,
              0.47431,
              0.86115
            ],
            [
              0.1266,
              0.21908,
              0.30435,
              0.48399,
              0.862
            ],
            [
              0.1587,
              0.2567,
              0.3439,
              0.512,
              0.8725
            ],
            [
              0.2049,
              0.3151,
              0.4059,
              0.5741,
              0.9102
            ]
          ]
        },
        "related_pin": "B2",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.19204,
              0.35819,
              0.52142,
              0.845,
              1.4908
            ],
            [
              0.19201,
              0.35818,
              0.52139,
              0.84492,
              1.49093
            ],
            [
              0.19204,
              0.35821,
              0.52139,
              0.84523,
              1.49135
            ],
            [
              0.19201,
              0.3582,
              0.52139,
              0.8454,
              1.49087
            ],
            [
              0.19198,
              0.35819,
              0.52141,
              0.8449,
              1.49088
            ],
            [
              0.19197,
              0.35816,
              0.52135,
              0.84497,
              1.49086
            ],
            [
              0.19193,
              0.35816,
              0.52126,
              0.84496,
              1.4911
            ],
            [
              0.19174,
              0.35817,
              0.52144,
              0.84496,
              1.49089
            ],
            [
              0.19911,
              0.35802,
              0.5212,
              0.84526,
              1.49128
            ],
            [
              0.22133,
              0.3642,
              0.52122,
              0.84537,
              1.491
            ],
            [
              0.26711,
              0.39098,
              0.5334,
              0.8449,
              1.4911
            ],
            [
              0.332,
              0.4517,
              0.5756,
              0.8594,
              1.491
            ],
            [
              0.4189,
              0.5571,
              0.6693,
              0.9168,
              1.5004
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!B1&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!B1&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.07629,
              0.1375,
              0.19824,
              0.31946,
              0.56078
            ],
            [
              0.07926,
              0.14084,
              0.20165,
              0.32283,
              0.56446
            ],
            [
              0.08286,
              0.14478,
              0.2057,
              0.32671,
              0.56841
            ],
            [
              0.08814,
              0.15041,
              0.21141,
              0.33281,
              0.57468
            ],
            [
              0.09572,
              0.15845,
              0.2196,
              0.34103,
              0.58248
            ],
            [
              0.1063,
              0.16955,
              0.23092,
              0.35248,
              0.59455
            ],
            [
              0.12129,
              0.18507,
              0.2467,
              0.36883,
              0.61102
            ],
            [
              0.14107,
              0.20757,
              0.26934,
              0.39173,
              0.6343
            ],
            [
              0.16661,
              0.2402,
              0.30296,
              0.42546,
              0.66801
            ],
            [
              0.19906,
              0.28339,
              0.35211,
              0.47586,
              0.71919
            ],
            [
              0.23838,
              0.33968,
              0.41763,
              0.55122,
              0.79572
            ],
            [
              0.28347,
              0.41057,
              0.50287,
              0.65397,
              0.90957
            ],
            [
              0.3323,
              0.4961,
              0.6105,
              0.7881,
              1.0735
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.15433,
              0.27927,
              0.40181,
              0.64526,
              1.13017
            ],
            [
              0.15623,
              0.28152,
              0.40418,
              0.64768,
              1.13264
            ],
            [
              0.15876,
              0.2844,
              0.40721,
              0.65083,
              1.13582
            ],
            [
              0.16298,
              0.28913,
              0.41213,
              0.6559,
              1.14098
            ],
            [
              0.16988,
              0.29661,
              0.41984,
              0.66385,
              1.14911
            ],
            [
              0.18101,
              0.30828,
              0.43181,
              0.67612,
              1.16162
            ],
            [
              0.19885,
              0.32629,
              0.45012,
              0.69473,
              1.18053
            ],
            [
              0.22691,
              0.35432,
              0.47835,
              0.72333,
              1.20936
            ],
            [
              0.27034,
              0.39735,
              0.52127,
              0.76635,
              1.25265
            ],
            [
              0.33566,
              0.46323,
              0.58609,
              0.83109,
              1.31779
            ],
            [
              0.41867,
              0.56352,
              0.68612,
              0.93052,
              1.41702
            ],
            [
              0.52277,
              0.70377,
              0.83837,
              1.08127,
              1.56627
            ],
            [
              0.6537,
              0.8797,
              1.0471,
              1.3093,
              1.7914
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05055,
              0.131,
              0.21123,
              0.37165,
              0.69231
            ],
            [
              0.05056,
              0.13104,
              0.21122,
              0.37193,
              0.69282
            ],
            [
              0.05054,
              0.13117,
              0.21118,
              0.37177,
              0.69228
            ],
            [
              0.05056,
              0.13119,
              0.21123,
              0.37151,
              0.69213
            ],
            [
              0.05058,
              0.13107,
              0.2114,
              0.37205,
              0.69232
            ],
            [
              0.05072,
              0.13103,
              0.21125,
              0.37174,
              0.69275
            ],
            [
              0.05248,
              0.1312,
              0.21134,
              0.3718,
              0.69164
            ],
            [
              0.05802,
              0.13291,
              0.21155,
              0.3714,
              0.69239
            ],
            [
              0.06686,
              0.13948,
              0.21489,
              0.37162,
              0.69224
            ],
            [
              0.08097,
              0.1556,
              0.22566,
              0.37619,
              0.69216
            ],
            [
              0.1027,
              0.18104,
              0.25137,
              0.3916,
              0.6961
            ],
            [
              0.1347,
              0.2204,
              0.2926,
              0.429,
              0.7147
            ],
            [
              0.1801,
              0.2782,
              0.3552,
              0.4942,
              0.7642
            ]
          ]
        },
        "related_pin": "B2",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.13727,
              0.30088,
              0.4639,
              0.78784,
              1.43578
            ],
            [
              0.13726,
              0.30096,
              0.46397,
              0.78819,
              1.43484
            ],
            [
              0.13714,
              0.30107,
              0.46401,
              0.78763,
              1.43625
            ],
            [
              0.1371,
              0.30086,
              0.46398,
              0.78804,
              1.43636
            ],
            [
              0.13724,
              0.30088,
              0.46392,
              0.78824,
              1.43635
            ],
            [
              0.13717,
              0.30077,
              0.46393,
              0.78829,
              1.4363
            ],
            [
              0.13717,
              0.30079,
              0.46362,
              0.78832,
              1.43592
            ],
            [
              0.13713,
              0.30113,
              0.46354,
              0.78865,
              1.4363
            ],
            [
              0.1447,
              0.30077,
              0.46386,
              0.78868,
              1.43562
            ],
            [
              0.16691,
              0.30712,
              0.46373,
              0.78778,
              1.4365
            ],
            [
              0.20526,
              0.33435,
              0.4755,
              0.7883,
              1.4366
            ],
            [
              0.2565,
              0.3947,
              0.5185,
              0.8022,
              1.4361
            ],
            [
              0.3253,
              0.4906,
              0.6118,
              0.8605,
              1.4452
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&C1)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.0621,
              0.13343,
              0.20374,
              0.3436,
              0.62215
            ],
            [
              0.06411,
              0.13591,
              0.20626,
              0.34627,
              0.62553
            ],
            [
              0.06668,
              0.13903,
              0.20958,
              0.34975,
              0.62914
            ],
            [
              0.07097,
              0.14397,
              0.21463,
              0.35461,
              0.63394
            ],
            [
              0.07784,
              0.15109,
              0.22221,
              0.36271,
              0.64223
            ],
            [
              0.08892,
              0.16227,
              0.23374,
              0.37439,
              0.65407
            ],
            [
              0.1069,
              0.17932,
              0.25106,
              0.392,
              0.67199
            ],
            [
              0.13007,
              0.2055,
              0.27719,
              0.41842,
              0.69866
            ],
            [
              0.15833,
              0.24622,
              0.31686,
              0.4585,
              0.73845
            ],
            [
              0.1924,
              0.30137,
              0.37783,
              0.5186,
              0.79979
            ],
            [
              0.23284,
              0.36894,
              0.46312,
              0.61032,
              0.89102
            ],
            [
              0.28007,
              0.45087,
              0.56827,
              0.74587,
              1.02847
            ],
            [
              0.3337,
              0.5491,
              0.6958,
              0.9159,
              1.2385
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04827,
              0.10021,
              0.15069,
              0.25166,
              0.45307
            ],
            [
              0.05123,
              0.10359,
              0.15412,
              0.25501,
              0.45636
            ],
            [
              0.05489,
              0.10766,
              0.15856,
              0.25904,
              0.46014
            ],
            [
              0.06068,
              0.1137,
              0.16476,
              0.26582,
              0.46708
            ],
            [
              0.06967,
              0.12279,
              0.17401,
              0.27505,
              0.47687
            ],
            [
              0.08354,
              0.13663,
              0.18796,
              0.28881,
              0.49103
            ],
            [
              0.10398,
              0.15748,
              0.20894,
              0.31041,
              0.51189
            ],
            [
              0.12942,
              0.18925,
              0.24071,
              0.34238,
              0.54359
            ],
            [
              0.16106,
              0.23682,
              0.2889,
              0.38977,
              0.592
            ],
            [
              0.20021,
              0.29833,
              0.36105,
              0.46269,
              0.66429
            ],
            [
              0.24809,
              0.3753,
              0.45622,
              0.57212,
              0.77352
            ],
            [
              0.30617,
              0.47107,
              0.57567,
              0.72527,
              0.93807
            ],
            [
              0.3758,
              0.5891,
              0.7249,
              0.9184,
              1.1823
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05917,
              0.15243,
              0.24513,
              0.42984,
              0.79847
            ],
            [
              0.05904,
              0.1524,
              0.2447,
              0.42939,
              0.7977
            ],
            [
              0.05885,
              0.15238,
              0.24482,
              0.42984,
              0.79851
            ],
            [
              0.05856,
              0.15235,
              0.24475,
              0.42936,
              0.79824
            ],
            [
              0.05786,
              0.15231,
              0.24492,
              0.42988,
              0.79781
            ],
            [
              0.05767,
              0.15225,
              0.24508,
              0.42956,
              0.79768
            ],
            [
              0.0621,
              0.15139,
              0.24494,
              0.42967,
              0.79764
            ],
            [
              0.07377,
              0.15323,
              0.24405,
              0.42923,
              0.79788
            ],
            [
              0.08939,
              0.16446,
              0.24744,
              0.42939,
              0.79848
            ],
            [
              0.11196,
              0.19128,
              0.26413,
              0.43173,
              0.79878
            ],
            [
              0.14321,
              0.23371,
              0.30388,
              0.45301,
              0.7985
            ],
            [
              0.1853,
              0.2917,
              0.3701,
              0.5068,
              0.8193
            ],
            [
              0.2408,
              0.3701,
              0.4609,
              0.6088,
              0.8854
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04141,
              0.11192,
              0.18227,
              0.32297,
              0.60446
            ],
            [
              0.04145,
              0.11186,
              0.18235,
              0.32332,
              0.60551
            ],
            [
              0.04155,
              0.11193,
              0.18249,
              0.32339,
              0.60575
            ],
            [
              0.04145,
              0.11182,
              0.18243,
              0.323,
              0.60545
            ],
            [
              0.04156,
              0.1118,
              0.18245,
              0.32321,
              0.60488
            ],
            [
              0.04354,
              0.11178,
              0.18241,
              0.3234,
              0.6047
            ],
            [
              0.05096,
              0.1121,
              0.1823,
              0.32327,
              0.60597
            ],
            [
              0.06626,
              0.11751,
              0.18254,
              0.32352,
              0.60491
            ],
            [
              0.08627,
              0.13338,
              0.19014,
              0.32328,
              0.60534
            ],
            [
              0.11302,
              0.16677,
              0.21297,
              0.33108,
              0.60495
            ],
            [
              0.14907,
              0.21593,
              0.26167,
              0.36064,
              0.6098
            ],
            [
              0.197,
              0.2813,
              0.3383,
              0.4262,
              0.6419
            ],
            [
              0.2593,
              0.3684,
              0.4392,
              0.5438,
              0.7242
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!B1&B2)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.0913,
              0.16943,
              0.24488,
              0.39416,
              0.69095
            ],
            [
              0.09356,
              0.17195,
              0.24756,
              0.39692,
              0.69374
            ],
            [
              0.09641,
              0.17511,
              0.25079,
              0.40032,
              0.69721
            ],
            [
              0.10096,
              0.17988,
              0.25572,
              0.40541,
              0.70242
            ],
            [
              0.10802,
              0.1873,
              0.26332,
              0.41318,
              0.71027
            ],
            [
              0.11895,
              0.19846,
              0.27474,
              0.42485,
              0.72215
            ],
            [
              0.13589,
              0.21568,
              0.29213,
              0.44228,
              0.73991
            ],
            [
              0.16334,
              0.24161,
              0.31815,
              0.4687,
              0.76654
            ],
            [
              0.20035,
              0.28134,
              0.35789,
              0.50847,
              0.80645
            ],
            [
              0.24555,
              0.34172,
              0.4182,
              0.56854,
              0.86669
            ],
            [
              0.30028,
              0.4191,
              0.50872,
              0.65922,
              0.95732
            ],
            [
              0.36567,
              0.51357,
              0.62367,
              0.79747,
              1.09447
            ],
            [
              0.4427,
              0.6271,
              0.7645,
              0.9783,
              1.3024
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04886,
              0.10074,
              0.15128,
              0.25178,
              0.45236
            ],
            [
              0.05185,
              0.10425,
              0.15475,
              0.2553,
              0.45598
            ],
            [
              0.05557,
              0.10827,
              0.15897,
              0.25966,
              0.46028
            ],
            [
              0.06137,
              0.11428,
              0.16526,
              0.26602,
              0.46668
            ],
            [
              0.07037,
              0.12349,
              0.1746,
              0.27539,
              0.4757
            ],
            [
              0.08425,
              0.13732,
              0.18857,
              0.28944,
              0.49056
            ],
            [
              0.10483,
              0.15821,
              0.20957,
              0.3107,
              0.51182
            ],
            [
              0.13052,
              0.19004,
              0.2415,
              0.34279,
              0.5437
            ],
            [
              0.16254,
              0.23771,
              0.28962,
              0.39041,
              0.59236
            ],
            [
              0.20212,
              0.29946,
              0.36194,
              0.46339,
              0.66489
            ],
            [
              0.25062,
              0.37673,
              0.45732,
              0.57302,
              0.77402
            ],
            [
              0.30947,
              0.47277,
              0.57747,
              0.72647,
              0.93877
            ],
            [
              0.3802,
              0.5914,
              0.7269,
              0.9198,
              1.1832
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.0829,
              0.18131,
              0.27945,
              0.47535,
              0.86713
            ],
            [
              0.0829,
              0.18133,
              0.2793,
              0.47516,
              0.86708
            ],
            [
              0.08297,
              0.18119,
              0.27939,
              0.47535,
              0.86711
            ],
            [
              0.08294,
              0.18131,
              0.27949,
              0.47543,
              0.86707
            ],
            [
              0.08277,
              0.18138,
              0.27953,
              0.47519,
              0.86702
            ],
            [
              0.082,
              0.18134,
              0.27953,
              0.47522,
              0.86704
            ],
            [
              0.08114,
              0.1811,
              0.27921,
              0.47537,
              0.86702
            ],
            [
              0.08611,
              0.18014,
              0.27921,
              0.47545,
              0.86702
            ],
            [
              0.10086,
              0.18572,
              0.27924,
              0.47544,
              0.8667
            ],
            [
              0.12136,
              0.20559,
              0.2898,
              0.47541,
              0.8668
            ],
            [
              0.15118,
              0.24557,
              0.32162,
              0.48968,
              0.8665
            ],
            [
              0.1923,
              0.302,
              0.3853,
              0.5354,
              0.8793
            ],
            [
              0.2471,
              0.3795,
              0.4749,
              0.6312,
              0.9366
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05123,
              0.12673,
              0.20102,
              0.34482,
              0.62659
            ],
            [
              0.05126,
              0.12674,
              0.20096,
              0.34483,
              0.62661
            ],
            [
              0.05124,
              0.12674,
              0.20095,
              0.34486,
              0.62632
            ],
            [
              0.05125,
              0.12677,
              0.20096,
              0.34478,
              0.62662
            ],
            [
              0.05126,
              0.12676,
              0.20094,
              0.3448,
              0.6266
            ],
            [
              0.05328,
              0.12678,
              0.20093,
              0.34489,
              0.62637
            ],
            [
              0.06072,
              0.12691,
              0.20099,
              0.34491,
              0.62654
            ],
            [
              0.07698,
              0.13238,
              0.20134,
              0.34485,
              0.62645
            ],
            [
              0.1025,
              0.14837,
              0.20906,
              0.34491,
              0.62637
            ],
            [
              0.13714,
              0.18198,
              0.23199,
              0.35303,
              0.62636
            ],
            [
              0.1858,
              0.2377,
              0.28058,
              0.38248,
              0.6315
            ],
            [
              0.2514,
              0.3124,
              0.3621,
              0.448,
              0.6633
            ],
            [
              0.3357,
              0.4112,
              0.4716,
              0.5678,
              0.7472
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&B1&!B2)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05342,
              0.11513,
              0.1759,
              0.29683,
              0.5384
            ],
            [
              0.05573,
              0.11785,
              0.1788,
              0.29968,
              0.5412
            ],
            [
              0.05862,
              0.12102,
              0.18211,
              0.30334,
              0.54485
            ],
            [
              0.06331,
              0.12613,
              0.18732,
              0.30858,
              0.55026
            ],
            [
              0.07072,
              0.13379,
              0.19527,
              0.31663,
              0.55847
            ],
            [
              0.08259,
              0.14534,
              0.2072,
              0.32852,
              0.57082
            ],
            [
              0.10074,
              0.16313,
              0.22499,
              0.34696,
              0.58915
            ],
            [
              0.12331,
              0.19037,
              0.25193,
              0.37434,
              0.61649
            ],
            [
              0.15068,
              0.23212,
              0.2932,
              0.41573,
              0.65767
            ],
            [
              0.18368,
              0.28556,
              0.35598,
              0.4777,
              0.72039
            ],
            [
              0.22302,
              0.35107,
              0.43885,
              0.57192,
              0.81452
            ],
            [
              0.26877,
              0.43047,
              0.54057,
              0.70577,
              0.95657
            ],
            [
              0.3208,
              0.5258,
              0.6642,
              0.8704,
              1.1688
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.0481,
              0.10011,
              0.15067,
              0.25114,
              0.4519
            ],
            [
              0.05107,
              0.10343,
              0.154,
              0.25448,
              0.45586
            ],
            [
              0.05468,
              0.10736,
              0.1583,
              0.25897,
              0.46016
            ],
            [
              0.06048,
              0.1135,
              0.16434,
              0.26549,
              0.46696
            ],
            [
              0.06949,
              0.12248,
              0.1735,
              0.27444,
              0.47636
            ],
            [
              0.08335,
              0.13629,
              0.18741,
              0.28868,
              0.49067
            ],
            [
              0.10379,
              0.15717,
              0.20865,
              0.31013,
              0.5116
            ],
            [
              0.12925,
              0.189,
              0.24041,
              0.34195,
              0.54291
            ],
            [
              0.16088,
              0.23659,
              0.28861,
              0.38936,
              0.59198
            ],
            [
              0.20003,
              0.29809,
              0.36081,
              0.46214,
              0.66389
            ],
            [
              0.24794,
              0.37512,
              0.45602,
              0.57152,
              0.77312
            ],
            [
              0.30607,
              0.47087,
              0.57587,
              0.72517,
              0.93777
            ],
            [
              0.3759,
              0.5891,
              0.7252,
              0.918,
              1.182
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05044,
              0.13226,
              0.21268,
              0.37303,
              0.69292
            ],
            [
              0.05021,
              0.13225,
              0.21238,
              0.37289,
              0.69304
            ],
            [
              0.05003,
              0.13216,
              0.21254,
              0.37272,
              0.69304
            ],
            [
              0.04963,
              0.13212,
              0.21269,
              0.37291,
              0.69306
            ],
            [
              0.04878,
              0.13201,
              0.21257,
              0.37285,
              0.69296
            ],
            [
              0.04958,
              0.13161,
              0.21267,
              0.37338,
              0.6929
            ],
            [
              0.05516,
              0.13068,
              0.2123,
              0.37263,
              0.69292
            ],
            [
              0.06717,
              0.13442,
              0.21173,
              0.37248,
              0.69314
            ],
            [
              0.08326,
              0.14777,
              0.2173,
              0.3722,
              0.69319
            ],
            [
              0.10584,
              0.17669,
              0.23722,
              0.37815,
              0.69315
            ],
            [
              0.13634,
              0.2184,
              0.28036,
              0.40374,
              0.6956
            ],
            [
              0.17749,
              0.2755,
              0.3461,
              0.4636,
              0.7241
            ],
            [
              0.2322,
              0.352,
              0.4354,
              0.5676,
              0.7999
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04145,
              0.11208,
              0.18227,
              0.32338,
              0.60546
            ],
            [
              0.04142,
              0.11193,
              0.18246,
              0.32337,
              0.60488
            ],
            [
              0.04143,
              0.11182,
              0.18231,
              0.32335,
              0.60532
            ],
            [
              0.04154,
              0.11199,
              0.18236,
              0.32312,
              0.60514
            ],
            [
              0.04145,
              0.11179,
              0.1824,
              0.32335,
              0.60447
            ],
            [
              0.04358,
              0.11176,
              0.18237,
              0.32356,
              0.60436
            ],
            [
              0.05107,
              0.11204,
              0.18234,
              0.32286,
              0.60596
            ],
            [
              0.06646,
              0.11769,
              0.18265,
              0.32354,
              0.60547
            ],
            [
              0.08633,
              0.13358,
              0.19026,
              0.32327,
              0.60546
            ],
            [
              0.11334,
              0.16695,
              0.21325,
              0.33154,
              0.6049
            ],
            [
              0.1493,
              0.21601,
              0.26188,
              0.36052,
              0.6098
            ],
            [
              0.197,
              0.2815,
              0.3378,
              0.4261,
              0.6421
            ],
            [
              0.2593,
              0.3686,
              0.4389,
              0.5442,
              0.7245
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&B1&B2)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.0915,
              0.1693,
              0.24428,
              0.39246,
              0.68689
            ],
            [
              0.09378,
              0.17185,
              0.24697,
              0.39523,
              0.6897
            ],
            [
              0.09666,
              0.17501,
              0.25024,
              0.39867,
              0.69318
            ],
            [
              0.10124,
              0.17982,
              0.25516,
              0.40374,
              0.69842
            ],
            [
              0.10824,
              0.18729,
              0.2628,
              0.41153,
              0.70628
            ],
            [
              0.11921,
              0.19852,
              0.27425,
              0.42323,
              0.71818
            ],
            [
              0.13635,
              0.21573,
              0.29169,
              0.44075,
              0.73598
            ],
            [
              0.16394,
              0.24177,
              0.3178,
              0.4672,
              0.76266
            ],
            [
              0.20134,
              0.28158,
              0.35763,
              0.50702,
              0.80265
            ],
            [
              0.24706,
              0.34212,
              0.41801,
              0.56693,
              0.86299
            ],
            [
              0.30242,
              0.41997,
              0.50872,
              0.65812,
              0.95382
            ],
            [
              0.36877,
              0.51487,
              0.62397,
              0.79647,
              1.09107
            ],
            [
              0.4469,
              0.629,
              0.7652,
              0.9775,
              1.2993
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04884,
              0.10074,
              0.15128,
              0.25181,
              0.45244
            ],
            [
              0.05183,
              0.10415,
              0.15474,
              0.2553,
              0.45595
            ],
            [
              0.05553,
              0.10825,
              0.159,
              0.25965,
              0.46022
            ],
            [
              0.06132,
              0.11425,
              0.16522,
              0.26602,
              0.46664
            ],
            [
              0.07034,
              0.12346,
              0.17457,
              0.27538,
              0.47622
            ],
            [
              0.08422,
              0.13728,
              0.18852,
              0.28969,
              0.49052
            ],
            [
              0.10481,
              0.15817,
              0.20958,
              0.3107,
              0.5118
            ],
            [
              0.13052,
              0.19003,
              0.24149,
              0.34279,
              0.54373
            ],
            [
              0.16254,
              0.23769,
              0.28962,
              0.3904,
              0.59231
            ],
            [
              0.20213,
              0.29945,
              0.36193,
              0.46337,
              0.66489
            ],
            [
              0.25064,
              0.37672,
              0.45732,
              0.57302,
              0.77402
            ],
            [
              0.30947,
              0.47267,
              0.57747,
              0.72637,
              0.93877
            ],
            [
              0.3802,
              0.5913,
              0.7269,
              0.9198,
              1.1832
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.08395,
              0.18152,
              0.27863,
              0.47313,
              0.8617
            ],
            [
              0.0839,
              0.18155,
              0.27889,
              0.47298,
              0.86165
            ],
            [
              0.08395,
              0.18155,
              0.27892,
              0.47305,
              0.86163
            ],
            [
              0.08389,
              0.18163,
              0.27893,
              0.47317,
              0.86168
            ],
            [
              0.08375,
              0.18146,
              0.27889,
              0.47295,
              0.86162
            ],
            [
              0.08288,
              0.18152,
              0.27878,
              0.47292,
              0.86152
            ],
            [
              0.08186,
              0.18122,
              0.27854,
              0.47318,
              0.86142
            ],
            [
              0.08665,
              0.18018,
              0.2785,
              0.47321,
              0.86053
            ],
            [
              0.10125,
              0.18565,
              0.27815,
              0.47266,
              0.86141
            ],
            [
              0.12168,
              0.20528,
              0.28898,
              0.47322,
              0.86171
            ],
            [
              0.15148,
              0.2451,
              0.3206,
              0.48769,
              0.8612
            ],
            [
              0.1925,
              0.3015,
              0.3841,
              0.5332,
              0.8744
            ],
            [
              0.2474,
              0.379,
              0.4737,
              0.629,
              0.9317
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05157,
              0.12758,
              0.2023,
              0.34684,
              0.6286
            ],
            [
              0.05158,
              0.12762,
              0.20232,
              0.34684,
              0.62875
            ],
            [
              0.05158,
              0.12759,
              0.20227,
              0.3469,
              0.62893
            ],
            [
              0.05158,
              0.12755,
              0.20229,
              0.34684,
              0.62917
            ],
            [
              0.0516,
              0.1276,
              0.20229,
              0.34682,
              0.62882
            ],
            [
              0.05363,
              0.12756,
              0.20229,
              0.34685,
              0.62878
            ],
            [
              0.0611,
              0.12774,
              0.2023,
              0.34693,
              0.62916
            ],
            [
              0.0773,
              0.13322,
              0.20263,
              0.34691,
              0.6292
            ],
            [
              0.10323,
              0.1492,
              0.21036,
              0.34693,
              0.62881
            ],
            [
              0.13852,
              0.18286,
              0.2333,
              0.3551,
              0.629
            ],
            [
              0.18837,
              0.23914,
              0.28192,
              0.38445,
              0.6339
            ],
            [
              0.2557,
              0.3148,
              0.3642,
              0.4501,
              0.6661
            ],
            [
              0.3421,
              0.4149,
              0.4746,
              0.5702,
              0.7494
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!B1&B2)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.12377,
              0.20553,
              0.28395,
              0.43835,
              0.7442
            ],
            [
              0.12619,
              0.20809,
              0.28665,
              0.4411,
              0.74698
            ],
            [
              0.12919,
              0.21127,
              0.28988,
              0.4445,
              0.7504
            ],
            [
              0.13387,
              0.2161,
              0.29494,
              0.44955,
              0.75565
            ],
            [
              0.14121,
              0.22361,
              0.30251,
              0.45734,
              0.76347
            ],
            [
              0.15235,
              0.23493,
              0.31396,
              0.46901,
              0.77531
            ],
            [
              0.16927,
              0.25217,
              0.33114,
              0.48644,
              0.79303
            ],
            [
              0.19507,
              0.27819,
              0.3573,
              0.51281,
              0.81957
            ],
            [
              0.23628,
              0.31764,
              0.39683,
              0.55235,
              0.85935
            ],
            [
              0.2906,
              0.37812,
              0.45682,
              0.61225,
              0.91939
            ],
            [
              0.35726,
              0.46412,
              0.54852,
              0.70272,
              1.00962
            ],
            [
              0.43777,
              0.56837,
              0.67277,
              0.84057,
              1.14617
            ],
            [
              0.5341,
              0.6976,
              0.8252,
              1.0307,
              1.353
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04948,
              0.1014,
              0.152,
              0.25249,
              0.45308
            ],
            [
              0.05247,
              0.10492,
              0.15543,
              0.25601,
              0.45671
            ],
            [
              0.05618,
              0.10895,
              0.15964,
              0.26034,
              0.46101
            ],
            [
              0.06199,
              0.11496,
              0.16598,
              0.26675,
              0.46741
            ],
            [
              0.071,
              0.12417,
              0.17531,
              0.27611,
              0.47658
            ],
            [
              0.08489,
              0.13802,
              0.18928,
              0.29017,
              0.49133
            ],
            [
              0.10559,
              0.15892,
              0.2103,
              0.31143,
              0.51258
            ],
            [
              0.13156,
              0.19076,
              0.24223,
              0.34355,
              0.54447
            ],
            [
              0.16393,
              0.23851,
              0.29037,
              0.39116,
              0.59316
            ],
            [
              0.20397,
              0.3005,
              0.36274,
              0.46416,
              0.66569
            ],
            [
              0.25309,
              0.37807,
              0.45832,
              0.57382,
              0.77482
            ],
            [
              0.31277,
              0.47447,
              0.57877,
              0.72737,
              0.93967
            ],
            [
              0.3845,
              0.5938,
              0.7287,
              0.921,
              1.1841
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.10542,
              0.20737,
              0.30815,
              0.51021,
              0.91258
            ],
            [
              0.10546,
              0.20756,
              0.30853,
              0.51024,
              0.91256
            ],
            [
              0.10543,
              0.20736,
              0.30841,
              0.51014,
              0.91263
            ],
            [
              0.10541,
              0.2074,
              0.30844,
              0.51013,
              0.91263
            ],
            [
              0.10536,
              0.20736,
              0.30815,
              0.51021,
              0.91264
            ],
            [
              0.1055,
              0.20741,
              0.30827,
              0.5102,
              0.9126
            ],
            [
              0.10445,
              0.20753,
              0.30848,
              0.51016,
              0.9126
            ],
            [
              0.10422,
              0.20695,
              0.30849,
              0.51015,
              0.91258
            ],
            [
              0.11281,
              0.20781,
              0.30771,
              0.51005,
              0.9125
            ],
            [
              0.13335,
              0.22111,
              0.31298,
              0.50941,
              0.91231
            ],
            [
              0.16229,
              0.25628,
              0.33824,
              0.5186,
              0.9124
            ],
            [
              0.2033,
              0.3127,
              0.3965,
              0.5568,
              0.9208
            ],
            [
              0.2588,
              0.3884,
              0.4854,
              0.6458,
              0.9703
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.07017,
              0.15134,
              0.22687,
              0.37092,
              0.65247
            ],
            [
              0.07016,
              0.15135,
              0.22684,
              0.37097,
              0.65294
            ],
            [
              0.07016,
              0.15135,
              0.22683,
              0.37099,
              0.65269
            ],
            [
              0.07021,
              0.15135,
              0.22682,
              0.37092,
              0.65281
            ],
            [
              0.07022,
              0.15142,
              0.2268,
              0.37093,
              0.653
            ],
            [
              0.07219,
              0.15138,
              0.2268,
              0.37096,
              0.65304
            ],
            [
              0.0796,
              0.15152,
              0.22681,
              0.37102,
              0.6527
            ],
            [
              0.09567,
              0.15696,
              0.22716,
              0.37097,
              0.65278
            ],
            [
              0.12994,
              0.17296,
              0.23484,
              0.37106,
              0.6526
            ],
            [
              0.1757,
              0.20633,
              0.25774,
              0.37913,
              0.65318
            ],
            [
              0.234,
              0.26763,
              0.30622,
              0.40843,
              0.6573
            ],
            [
              0.3098,
              0.3502,
              0.3917,
              0.474,
              0.6896
            ],
            [
              0.4091,
              0.4586,
              0.5086,
              0.5957,
              0.7729
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&B1&!B2)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.07748,
              0.14472,
              0.20932,
              0.33686,
              0.59016
            ],
            [
              0.07994,
              0.14745,
              0.21217,
              0.33976,
              0.59308
            ],
            [
              0.08306,
              0.15079,
              0.21559,
              0.34333,
              0.59669
            ],
            [
              0.08791,
              0.15585,
              0.22084,
              0.34863,
              0.60211
            ],
            [
              0.0953,
              0.16365,
              0.22869,
              0.35671,
              0.61022
            ],
            [
              0.10682,
              0.17535,
              0.24056,
              0.36882,
              0.62248
            ],
            [
              0.12486,
              0.19319,
              0.25865,
              0.38693,
              0.6408
            ],
            [
              0.15366,
              0.22016,
              0.28565,
              0.41414,
              0.66829
            ],
            [
              0.18979,
              0.26162,
              0.32679,
              0.45533,
              0.70953
            ],
            [
              0.23397,
              0.32213,
              0.38923,
              0.51712,
              0.77169
            ],
            [
              0.28751,
              0.39726,
              0.47932,
              0.61072,
              0.86522
            ],
            [
              0.35157,
              0.48907,
              0.59087,
              0.75007,
              1.00687
            ],
            [
              0.4272,
              0.5995,
              0.7272,
              0.925,
              1.2202
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.0487,
              0.10058,
              0.15114,
              0.25163,
              0.45225
            ],
            [
              0.05164,
              0.10401,
              0.15454,
              0.25508,
              0.45572
            ],
            [
              0.05531,
              0.10799,
              0.15879,
              0.25942,
              0.46011
            ],
            [
              0.06109,
              0.11403,
              0.16498,
              0.26576,
              0.46636
            ],
            [
              0.0701,
              0.12315,
              0.17413,
              0.2751,
              0.47602
            ],
            [
              0.08401,
              0.13694,
              0.18817,
              0.28923,
              0.4903
            ],
            [
              0.10461,
              0.15782,
              0.2093,
              0.31034,
              0.5115
            ],
            [
              0.13033,
              0.18987,
              0.24116,
              0.34238,
              0.54336
            ],
            [
              0.16234,
              0.23745,
              0.28931,
              0.39003,
              0.59197
            ],
            [
              0.20195,
              0.29919,
              0.36166,
              0.46284,
              0.66449
            ],
            [
              0.25046,
              0.37651,
              0.45712,
              0.57242,
              0.77372
            ],
            [
              0.30937,
              0.47237,
              0.57707,
              0.72607,
              0.93827
            ],
            [
              0.3803,
              0.5914,
              0.7269,
              0.9193,
              1.1829
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.07215,
              0.15671,
              0.24082,
              0.40835,
              0.74355
            ],
            [
              0.07214,
              0.15677,
              0.24082,
              0.40835,
              0.7433
            ],
            [
              0.07209,
              0.15679,
              0.24083,
              0.40854,
              0.74329
            ],
            [
              0.07191,
              0.15678,
              0.24084,
              0.40843,
              0.74332
            ],
            [
              0.07141,
              0.15671,
              0.24068,
              0.40849,
              0.74323
            ],
            [
              0.06978,
              0.1566,
              0.24077,
              0.40797,
              0.74357
            ],
            [
              0.07034,
              0.15595,
              0.24058,
              0.40851,
              0.74356
            ],
            [
              0.07676,
              0.15565,
              0.24014,
              0.40839,
              0.74352
            ],
            [
              0.09206,
              0.16345,
              0.24124,
              0.40792,
              0.74355
            ],
            [
              0.11315,
              0.18619,
              0.25515,
              0.41018,
              0.74312
            ],
            [
              0.14274,
              0.22682,
              0.29207,
              0.42991,
              0.744
            ],
            [
              0.1827,
              0.2823,
              0.3561,
              0.4824,
              0.7654
            ],
            [
              0.2366,
              0.3581,
              0.4445,
              0.5825,
              0.8341
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05157,
              0.12753,
              0.20226,
              0.3469,
              0.62882
            ],
            [
              0.05157,
              0.12759,
              0.20228,
              0.34687,
              0.62859
            ],
            [
              0.05158,
              0.12758,
              0.20226,
              0.34687,
              0.62907
            ],
            [
              0.05159,
              0.12756,
              0.20228,
              0.34681,
              0.62863
            ],
            [
              0.0516,
              0.12759,
              0.20228,
              0.34684,
              0.62889
            ],
            [
              0.05373,
              0.12757,
              0.20225,
              0.34691,
              0.62872
            ],
            [
              0.06125,
              0.12777,
              0.20229,
              0.34686,
              0.62913
            ],
            [
              0.07759,
              0.1333,
              0.2027,
              0.34691,
              0.62912
            ],
            [
              0.10349,
              0.14942,
              0.21049,
              0.34692,
              0.62873
            ],
            [
              0.13877,
              0.1832,
              0.23357,
              0.35529,
              0.62886
            ],
            [
              0.18865,
              0.23949,
              0.28225,
              0.38484,
              0.6336
            ],
            [
              0.2559,
              0.3152,
              0.3646,
              0.4505,
              0.6664
            ],
            [
              0.3421,
              0.4149,
              0.4747,
              0.571,
              0.7495
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&B1&B2)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05696,
              0.11891,
              0.1796,
              0.30075,
              0.54205
            ],
            [
              0.05916,
              0.12158,
              0.18217,
              0.30357,
              0.54563
            ],
            [
              0.06195,
              0.12465,
              0.1855,
              0.30703,
              0.54891
            ],
            [
              0.06647,
              0.12982,
              0.1909,
              0.31239,
              0.55454
            ],
            [
              0.07362,
              0.13717,
              0.19868,
              0.32035,
              0.56243
            ],
            [
              0.08507,
              0.14881,
              0.21043,
              0.33243,
              0.5746
            ],
            [
              0.1029,
              0.16641,
              0.22843,
              0.35042,
              0.59288
            ],
            [
              0.1252,
              0.1934,
              0.25519,
              0.37753,
              0.62028
            ],
            [
              0.15244,
              0.23465,
              0.29631,
              0.41864,
              0.66188
            ],
            [
              0.18532,
              0.28783,
              0.35867,
              0.48099,
              0.72429
            ],
            [
              0.22449,
              0.35309,
              0.4412,
              0.57502,
              0.81792
            ],
            [
              0.27007,
              0.43227,
              0.54267,
              0.70837,
              0.96007
            ],
            [
              0.3219,
              0.5273,
              0.6661,
              0.8726,
              1.1718
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04829,
              0.10018,
              0.15084,
              0.25123,
              0.45293
            ],
            [
              0.05123,
              0.10365,
              0.15437,
              0.25472,
              0.45652
            ],
            [
              0.05489,
              0.10763,
              0.15829,
              0.25908,
              0.46065
            ],
            [
              0.06062,
              0.11374,
              0.16459,
              0.26547,
              0.46636
            ],
            [
              0.06956,
              0.12267,
              0.17401,
              0.27472,
              0.47565
            ],
            [
              0.08341,
              0.13646,
              0.18753,
              0.28911,
              0.49008
            ],
            [
              0.1038,
              0.1572,
              0.20873,
              0.31009,
              0.51175
            ],
            [
              0.12923,
              0.18901,
              0.24044,
              0.34165,
              0.54304
            ],
            [
              0.16085,
              0.23657,
              0.28862,
              0.38962,
              0.59208
            ],
            [
              0.20003,
              0.29807,
              0.36079,
              0.46235,
              0.66299
            ],
            [
              0.24786,
              0.37508,
              0.45602,
              0.57172,
              0.77322
            ],
            [
              0.30607,
              0.47067,
              0.57577,
              0.72507,
              0.93767
            ],
            [
              0.3759,
              0.589,
              0.7251,
              0.918,
              1.182
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05038,
              0.13096,
              0.2115,
              0.37176,
              0.69235
            ],
            [
              0.05037,
              0.13094,
              0.21133,
              0.37164,
              0.69164
            ],
            [
              0.05029,
              0.13105,
              0.21132,
              0.37137,
              0.69291
            ],
            [
              0.05014,
              0.13103,
              0.21124,
              0.37151,
              0.69175
            ],
            [
              0.04964,
              0.131,
              0.21124,
              0.37154,
              0.69284
            ],
            [
              0.05043,
              0.1309,
              0.21118,
              0.3715,
              0.69217
            ],
            [
              0.05593,
              0.13061,
              0.21105,
              0.3717,
              0.6922
            ],
            [
              0.06798,
              0.13428,
              0.21107,
              0.37173,
              0.69227
            ],
            [
              0.08387,
              0.14763,
              0.21689,
              0.37151,
              0.69216
            ],
            [
              0.10629,
              0.17692,
              0.23679,
              0.37729,
              0.69148
            ],
            [
              0.13675,
              0.21878,
              0.28037,
              0.40359,
              0.6953
            ],
            [
              0.1779,
              0.2759,
              0.3463,
              0.4636,
              0.723
            ],
            [
              0.2324,
              0.3525,
              0.4357,
              0.5676,
              0.7992
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04142,
              0.11166,
              0.18228,
              0.32333,
              0.60445
            ],
            [
              0.0414,
              0.11189,
              0.18246,
              0.3235,
              0.60471
            ],
            [
              0.04142,
              0.11194,
              0.18235,
              0.32353,
              0.60498
            ],
            [
              0.04143,
              0.11204,
              0.18239,
              0.32325,
              0.60513
            ],
            [
              0.04148,
              0.1118,
              0.18259,
              0.32341,
              0.60518
            ],
            [
              0.04354,
              0.11179,
              0.18255,
              0.32333,
              0.60466
            ],
            [
              0.05112,
              0.11191,
              0.18231,
              0.32332,
              0.60593
            ],
            [
              0.06645,
              0.11764,
              0.18256,
              0.32308,
              0.6055
            ],
            [
              0.08635,
              0.13364,
              0.19026,
              0.32328,
              0.60554
            ],
            [
              0.11325,
              0.16709,
              0.21334,
              0.33123,
              0.60528
            ],
            [
              0.14936,
              0.21607,
              0.26191,
              0.36064,
              0.6098
            ],
            [
              0.1971,
              0.2817,
              0.338,
              0.4264,
              0.6422
            ],
            [
              0.2594,
              0.3685,
              0.4389,
              0.5442,
              0.7245
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&B2)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.08162,
              0.1494,
              0.21473,
              0.34388,
              0.60054
            ],
            [
              0.084,
              0.15201,
              0.21748,
              0.34667,
              0.60338
            ],
            [
              0.087,
              0.15526,
              0.22082,
              0.35016,
              0.60691
            ],
            [
              0.09174,
              0.16021,
              0.22587,
              0.35539,
              0.61228
            ],
            [
              0.09912,
              0.1679,
              0.23372,
              0.36335,
              0.62026
            ],
            [
              0.11049,
              0.17944,
              0.24548,
              0.37533,
              0.63244
            ],
            [
              0.1281,
              0.19719,
              0.26336,
              0.39324,
              0.65064
            ],
            [
              0.15587,
              0.22394,
              0.29017,
              0.42037,
              0.67791
            ],
            [
              0.19142,
              0.26494,
              0.33105,
              0.46127,
              0.71887
            ],
            [
              0.23488,
              0.32471,
              0.39312,
              0.52295,
              0.78079
            ],
            [
              0.28758,
              0.39914,
              0.48252,
              0.61602,
              0.87392
            ],
            [
              0.35067,
              0.49027,
              0.59317,
              0.75457,
              1.01507
            ],
            [
              0.425,
              0.5998,
              0.7291,
              0.9291,
              1.2275
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04884,
              0.1008,
              0.15128,
              0.25178,
              0.45237
            ],
            [
              0.05183,
              0.10419,
              0.15474,
              0.25528,
              0.45592
            ],
            [
              0.05552,
              0.10818,
              0.15894,
              0.25959,
              0.46022
            ],
            [
              0.06128,
              0.11427,
              0.1652,
              0.26594,
              0.46664
            ],
            [
              0.07024,
              0.12338,
              0.17453,
              0.27536,
              0.47608
            ],
            [
              0.08409,
              0.13715,
              0.18844,
              0.28944,
              0.4901
            ],
            [
              0.10465,
              0.15794,
              0.20938,
              0.31049,
              0.51162
            ],
            [
              0.13033,
              0.18974,
              0.24122,
              0.34252,
              0.54342
            ],
            [
              0.1623,
              0.23744,
              0.28933,
              0.39031,
              0.59201
            ],
            [
              0.20193,
              0.29918,
              0.36166,
              0.4631,
              0.66459
            ],
            [
              0.25047,
              0.37648,
              0.45712,
              0.57262,
              0.77382
            ],
            [
              0.30937,
              0.47267,
              0.57717,
              0.72607,
              0.93837
            ],
            [
              0.3802,
              0.5914,
              0.7269,
              0.9193,
              1.1829
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.07064,
              0.15582,
              0.24078,
              0.41039,
              0.74919
            ],
            [
              0.07064,
              0.1557,
              0.24077,
              0.41032,
              0.74917
            ],
            [
              0.07071,
              0.15582,
              0.24064,
              0.41059,
              0.74925
            ],
            [
              0.07068,
              0.15564,
              0.24074,
              0.41034,
              0.74969
            ],
            [
              0.0706,
              0.15579,
              0.24065,
              0.41045,
              0.74908
            ],
            [
              0.06978,
              0.15583,
              0.24072,
              0.41042,
              0.74921
            ],
            [
              0.07029,
              0.15552,
              0.24074,
              0.41046,
              0.74941
            ],
            [
              0.07707,
              0.15564,
              0.24046,
              0.4104,
              0.74927
            ],
            [
              0.09245,
              0.16361,
              0.24221,
              0.41038,
              0.74922
            ],
            [
              0.11345,
              0.18679,
              0.25635,
              0.41274,
              0.74976
            ],
            [
              0.14298,
              0.22763,
              0.29321,
              0.43272,
              0.75
            ],
            [
              0.183,
              0.2835,
              0.358,
              0.485,
              0.7716
            ],
            [
              0.237,
              0.3596,
              0.4463,
              0.5856,
              0.84
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.05124,
              0.12678,
              0.20096,
              0.34488,
              0.62658
            ],
            [
              0.05124,
              0.12674,
              0.20096,
              0.34473,
              0.62652
            ],
            [
              0.05124,
              0.12673,
              0.20098,
              0.34479,
              0.62633
            ],
            [
              0.05125,
              0.12671,
              0.20097,
              0.34475,
              0.62651
            ],
            [
              0.05126,
              0.12678,
              0.20093,
              0.34483,
              0.62648
            ],
            [
              0.05335,
              0.12679,
              0.20099,
              0.34478,
              0.62639
            ],
            [
              0.06086,
              0.12694,
              0.20097,
              0.34487,
              0.62631
            ],
            [
              0.07715,
              0.13252,
              0.20137,
              0.34487,
              0.62664
            ],
            [
              0.10275,
              0.14861,
              0.20917,
              0.34491,
              0.62626
            ],
            [
              0.1374,
              0.18224,
              0.23225,
              0.35312,
              0.62658
            ],
            [
              0.186,
              0.23809,
              0.28085,
              0.38271,
              0.6315
            ],
            [
              0.2514,
              0.3125,
              0.3626,
              0.4485,
              0.6637
            ],
            [
              0.3356,
              0.4113,
              0.4718,
              0.5685,
              0.7474
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&B1&!B2)"
      },
      {
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04879,
              0.10077,
              0.1516,
              0.25333,
              0.45625
            ],
            [
              0.05125,
              0.10355,
              0.15458,
              0.25629,
              0.45892
            ],
            [
              0.05431,
              0.10696,
              0.15811,
              0.25997,
              0.463
            ],
            [
              0.05924,
              0.11228,
              0.16357,
              0.26538,
              0.46825
            ],
            [
              0.0669,
              0.12007,
              0.1717,
              0.27362,
              0.47677
            ],
            [
              0.07908,
              0.13208,
              0.18407,
              0.28614,
              0.48957
            ],
            [
              0.0966,
              0.15045,
              0.20241,
              0.30479,
              0.50843
            ],
            [
              0.11819,
              0.17868,
              0.23052,
              0.33319,
              0.53677
            ],
            [
              0.14441,
              0.21989,
              0.27314,
              0.37584,
              0.57926
            ],
            [
              0.1761,
              0.27114,
              0.33578,
              0.43993,
              0.64369
            ],
            [
              0.21395,
              0.334,
              0.4153,
              0.53732,
              0.74062
            ],
            [
              0.25797,
              0.41047,
              0.51297,
              0.66547,
              0.88727
            ],
            [
              0.3082,
              0.5022,
              0.632,
              0.8236,
              1.0977
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04811,
              0.09995,
              0.15059,
              0.25128,
              0.45307
            ],
            [
              0.05102,
              0.10342,
              0.15403,
              0.25515,
              0.45514
            ],
            [
              0.05466,
              0.10742,
              0.15822,
              0.25921,
              0.4598
            ],
            [
              0.06038,
              0.11342,
              0.16415,
              0.26523,
              0.46601
            ],
            [
              0.06934,
              0.12233,
              0.17344,
              0.27463,
              0.47604
            ],
            [
              0.0832,
              0.13605,
              0.18738,
              0.28872,
              0.48981
            ],
            [
              0.10358,
              0.15685,
              0.20835,
              0.30985,
              0.51141
            ],
            [
              0.12904,
              0.18872,
              0.24007,
              0.34105,
              0.54242
            ],
            [
              0.16069,
              0.23631,
              0.28827,
              0.38895,
              0.5917
            ],
            [
              0.1998,
              0.29771,
              0.36051,
              0.4614,
              0.66349
            ],
            [
              0.2478,
              0.37473,
              0.45572,
              0.57182,
              0.77272
            ],
            [
              0.30607,
              0.47067,
              0.57557,
              0.72477,
              0.93757
            ],
            [
              0.3759,
              0.5889,
              0.725,
              0.9177,
              1.1817
            ]
          ]
        },
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04173,
              0.10986,
              0.17775,
              0.31247,
              0.58214
            ],
            [
              0.04171,
              0.10992,
              0.17774,
              0.31295,
              0.58322
            ],
            [
              0.0416,
              0.10993,
              0.17777,
              0.31249,
              0.58216
            ],
            [
              0.0414,
              0.1099,
              0.1777,
              0.31296,
              0.58314
            ],
            [
              0.04097,
              0.10989,
              0.17755,
              0.31294,
              0.58271
            ],
            [
              0.04283,
              0.10962,
              0.17723,
              0.31288,
              0.5823
            ],
            [
              0.04962,
              0.10977,
              0.17756,
              0.31288,
              0.58254
            ],
            [
              0.06165,
              0.11554,
              0.17805,
              0.31284,
              0.58266
            ],
            [
              0.07764,
              0.13157,
              0.18661,
              0.31255,
              0.58329
            ],
            [
              0.09967,
              0.16173,
              0.2106,
              0.32345,
              0.58276
            ],
            [
              0.12971,
              0.203,
              0.25659,
              0.35479,
              0.5912
            ],
            [
              0.16966,
              0.2589,
              0.3213,
              0.4214,
              0.6278
            ],
            [
              0.2232,
              0.3331,
              0.408,
              0.5247,
              0.7161
            ]
          ]
        },
        "related_pin": "C1",
        "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.00529,
            0.01058,
            0.02116,
            0.04231
          ],
          "values": [
            [
              0.04142,
              0.11187,
              0.18238,
              0.32359,
              0.60499
            ],
            [
              0.04144,
              0.11192,
              0.18245,
              0.32334,
              0.6054
            ],
            [
              0.04145,
              0.11193,
              0.1824,
              0.32322,
              0.60499
            ],
            [
              0.04141,
              0.11204,
              0.1825,
              0.32363,
              0.60568
            ],
            [
              0.04147,
              0.11181,
              0.1825,
              0.3238,
              0.6062
            ],
            [
              0.04365,
              0.11177,
              0.18239,
              0.32379,
              0.60451
            ],
            [
              0.05125,
              0.11206,
              0.18235,
              0.32287,
              0.60592
            ],
            [
              0.06666,
              0.1178,
              0.18255,
              0.32355,
              0.60533
            ],
            [
              0.08653,
              0.13377,
              0.19039,
              0.32328,
              0.60553
            ],
            [
              0.1135,
              0.16742,
              0.21368,
              0.33157,
              0.6049
            ],
            [
              0.14959,
              0.21637,
              0.26222,
              0.36032,
              0.6099
            ],
            [
              0.1971,
              0.2817,
              0.3383,
              0.4267,
              0.6417
            ],
            [
              0.2593,
              0.3688,
              0.4391,
              0.5447,
              0.7248
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&B1&B2)"
      }
    ]
  }
}