{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_ls__o32ai",
  "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.00277,
    "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.00743,
          0.00733,
          0.00699,
          0.00707,
          0.00709,
          0.00708,
          0.00704,
          0.00703,
          0.00703,
          0.0076,
          0.00742,
          0.008,
          0.008
        ]
      },
      "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.00438,
          0.0045,
          0.00433,
          0.0043,
          0.00438,
          0.00441,
          0.00449,
          0.00453,
          0.00458,
          0.005,
          0.00502,
          0.00541,
          0.0054
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.0032,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00591,
          0.00583,
          0.00527,
          0.00524,
          0.0052,
          0.00522,
          0.00522,
          0.00522,
          0.00521,
          0.00565,
          0.00563,
          0.00601,
          0.00598
        ]
      },
      "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.00516,
          0.00482,
          0.0046,
          0.00455,
          0.00453,
          0.00458,
          0.00462,
          0.00467,
          0.0047,
          0.00513,
          0.00515,
          0.00557,
          0.00557
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00305,
    "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.00505,
          0.005,
          0.00485,
          0.00479,
          0.00484,
          0.00489,
          0.00497,
          0.00502,
          0.00505,
          0.00552,
          0.00554,
          0.00596,
          0.00592
        ]
      },
      "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.00752,
          0.00735,
          0.00725,
          0.00725,
          0.00721,
          0.00724,
          0.00723,
          0.00721,
          0.0072,
          0.00779,
          0.00761,
          0.00824,
          0.00824
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00308,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00686,
          0.00676,
          0.00629,
          0.00639,
          0.00641,
          0.0064,
          0.00638,
          0.00636,
          0.00635,
          0.00687,
          0.00686,
          0.0074,
          0.00745
        ]
      },
      "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.00488,
          0.00517,
          0.00495,
          0.00491,
          0.00497,
          0.00501,
          0.005,
          0.00504,
          0.00505,
          0.00548,
          0.00546,
          0.00592,
          0.00578
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00325,
    "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.0044,
          0.00472,
          0.00453,
          0.00452,
          0.00455,
          0.00465,
          0.0047,
          0.00474,
          0.00479,
          0.00522,
          0.00523,
          0.00579,
          0.00569
        ]
      },
      "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.00696,
          0.00683,
          0.00643,
          0.00658,
          0.00659,
          0.0066,
          0.0066,
          0.00657,
          0.00658,
          0.00711,
          0.0071,
          0.00765,
          0.0077
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,Y": {
    "direction": "output",
    "function": "(!A1&!A2&!A3) | (!B1&!B2)",
    "internal_power": [
      {
        "fall_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.00745,
              -0.00098,
              -0.00942,
              -0.02634
            ],
            [
              0.00751,
              -0.00092,
              -0.00937,
              -0.02628
            ],
            [
              0.00756,
              -0.00087,
              -0.00931,
              -0.02623
            ],
            [
              0.00759,
              -0.00082,
              -0.00927,
              -0.02618
            ],
            [
              0.00767,
              -0.00076,
              -0.00921,
              -0.02612
            ],
            [
              0.00773,
              -0.00071,
              -0.00916,
              -0.02607
            ],
            [
              0.0078,
              -0.00065,
              -0.00911,
              -0.02603
            ],
            [
              0.00787,
              -0.0006,
              -0.00906,
              -0.02598
            ],
            [
              0.00795,
              -0.00054,
              -0.00902,
              -0.02595
            ],
            [
              0.00806,
              -0.00046,
              -0.00895,
              -0.0259
            ],
            [
              0.00814,
              -0.00039,
              -0.00889,
              -0.02585
            ],
            [
              0.00823,
              -0.00031,
              -0.00882,
              -0.02579
            ],
            [
              0.00827,
              -0.00026,
              -0.00877,
              -0.02575
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03323,
              0.04161,
              0.04996,
              0.06666
            ],
            [
              0.03318,
              0.04157,
              0.04992,
              0.06661
            ],
            [
              0.03314,
              0.04152,
              0.04989,
              0.06658
            ],
            [
              0.03308,
              0.04149,
              0.04986,
              0.06659
            ],
            [
              0.03303,
              0.04145,
              0.04982,
              0.06655
            ],
            [
              0.03294,
              0.0414,
              0.04977,
              0.06652
            ],
            [
              0.03288,
              0.04133,
              0.04973,
              0.06647
            ],
            [
              0.03282,
              0.04128,
              0.04967,
              0.06642
            ],
            [
              0.03277,
              0.04122,
              0.04965,
              0.06639
            ],
            [
              0.03273,
              0.04118,
              0.04958,
              0.06636
            ],
            [
              0.0327,
              0.04113,
              0.04952,
              0.06632
            ],
            [
              0.03269,
              0.04111,
              0.04952,
              0.06625
            ],
            [
              0.03271,
              0.04108,
              0.04948,
              0.06625
            ]
          ]
        },
        "when": "(!A2&!A3&B1) | (!A2&!A3&B2)"
      },
      {
        "fall_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.00551,
              -0.00294,
              -0.0114,
              -0.02832
            ],
            [
              0.00551,
              -0.00293,
              -0.01139,
              -0.02831
            ],
            [
              0.00552,
              -0.00292,
              -0.01138,
              -0.0283
            ],
            [
              0.00554,
              -0.00291,
              -0.01137,
              -0.0283
            ],
            [
              0.0056,
              -0.00288,
              -0.01136,
              -0.02829
            ],
            [
              0.00565,
              -0.00285,
              -0.01133,
              -0.02826
            ],
            [
              0.00575,
              -0.0028,
              -0.01129,
              -0.02824
            ],
            [
              0.00586,
              -0.00273,
              -0.01124,
              -0.0282
            ],
            [
              0.00599,
              -0.00264,
              -0.01117,
              -0.02816
            ],
            [
              0.00613,
              -0.00252,
              -0.01108,
              -0.02809
            ],
            [
              0.00626,
              -0.0024,
              -0.01097,
              -0.02801
            ],
            [
              0.00637,
              -0.00227,
              -0.01085,
              -0.02791
            ],
            [
              0.00642,
              -0.00217,
              -0.01074,
              -0.02781
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.02695,
              0.03532,
              0.04368,
              0.06037
            ],
            [
              0.02688,
              0.03528,
              0.04363,
              0.06032
            ],
            [
              0.02685,
              0.03524,
              0.0436,
              0.0603
            ],
            [
              0.02678,
              0.03519,
              0.04357,
              0.06028
            ],
            [
              0.0267,
              0.03514,
              0.04351,
              0.06026
            ],
            [
              0.02662,
              0.03509,
              0.04348,
              0.06018
            ],
            [
              0.02655,
              0.03503,
              0.04341,
              0.06018
            ],
            [
              0.02649,
              0.03496,
              0.04338,
              0.06014
            ],
            [
              0.02642,
              0.03488,
              0.04331,
              0.06011
            ],
            [
              0.0264,
              0.03485,
              0.04325,
              0.06007
            ],
            [
              0.02636,
              0.0348,
              0.0432,
              0.06
            ],
            [
              0.02634,
              0.03476,
              0.04316,
              0.05994
            ],
            [
              0.02635,
              0.03471,
              0.0431,
              0.05987
            ]
          ]
        },
        "when": "(!A1&!A3&B1) | (!A1&!A3&B2)"
      },
      {
        "fall_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.0033,
              -0.00523,
              -0.01372,
              -0.03066
            ],
            [
              0.0033,
              -0.00526,
              -0.01375,
              -0.0307
            ],
            [
              0.00333,
              -0.00527,
              -0.01379,
              -0.03073
            ],
            [
              0.00336,
              -0.00529,
              -0.01379,
              -0.03076
            ],
            [
              0.00343,
              -0.00528,
              -0.0138,
              -0.03078
            ],
            [
              0.00351,
              -0.00525,
              -0.0138,
              -0.03079
            ],
            [
              0.00362,
              -0.0052,
              -0.01377,
              -0.03078
            ],
            [
              0.00375,
              -0.00512,
              -0.01371,
              -0.03075
            ],
            [
              0.00389,
              -0.005,
              -0.01363,
              -0.0307
            ],
            [
              0.00403,
              -0.00484,
              -0.01351,
              -0.03062
            ],
            [
              0.00414,
              -0.00468,
              -0.01336,
              -0.0305
            ],
            [
              0.00423,
              -0.00452,
              -0.01319,
              -0.03036
            ],
            [
              0.00427,
              -0.00441,
              -0.01304,
              -0.03021
            ]
          ]
        },
        "related_pin": "A3",
        "rise_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.0201,
              0.02851,
              0.03691,
              0.05358
            ],
            [
              0.02006,
              0.02848,
              0.03686,
              0.05356
            ],
            [
              0.02002,
              0.02847,
              0.03686,
              0.05357
            ],
            [
              0.01994,
              0.0284,
              0.0368,
              0.05354
            ],
            [
              0.01984,
              0.02834,
              0.03675,
              0.0535
            ],
            [
              0.01974,
              0.02827,
              0.03668,
              0.05347
            ],
            [
              0.01965,
              0.02819,
              0.03663,
              0.05336
            ],
            [
              0.01955,
              0.02807,
              0.03654,
              0.05333
            ],
            [
              0.01945,
              0.02798,
              0.03642,
              0.05323
            ],
            [
              0.01942,
              0.0279,
              0.03635,
              0.05317
            ],
            [
              0.01943,
              0.02787,
              0.03628,
              0.05308
            ],
            [
              0.01947,
              0.02785,
              0.03624,
              0.05301
            ],
            [
              0.01961,
              0.0279,
              0.03626,
              0.05303
            ]
          ]
        },
        "when": "(!A1&!A2&B1) | (!A1&!A2&B2)"
      },
      {
        "fall_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.00589,
              -0.00253,
              -0.01099,
              -0.02791
            ],
            [
              0.00597,
              -0.00248,
              -0.01094,
              -0.02785
            ],
            [
              0.00603,
              -0.00243,
              -0.0109,
              -0.02782
            ],
            [
              0.00609,
              -0.00238,
              -0.01085,
              -0.02777
            ],
            [
              0.00618,
              -0.00233,
              -0.0108,
              -0.02773
            ],
            [
              0.00628,
              -0.00227,
              -0.01075,
              -0.02769
            ],
            [
              0.00638,
              -0.0022,
              -0.0107,
              -0.02765
            ],
            [
              0.00649,
              -0.00212,
              -0.01064,
              -0.02761
            ],
            [
              0.00659,
              -0.00204,
              -0.01058,
              -0.02757
            ],
            [
              0.00669,
              -0.00193,
              -0.01048,
              -0.0275
            ],
            [
              0.00674,
              -0.00185,
              -0.01043,
              -0.02745
            ],
            [
              0.00673,
              -0.00179,
              -0.01033,
              -0.02736
            ],
            [
              0.0066,
              -0.00183,
              -0.01033,
              -0.02733
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.02186,
              0.03034,
              0.03874,
              0.05551
            ],
            [
              0.02177,
              0.03032,
              0.03873,
              0.05549
            ],
            [
              0.0217,
              0.0303,
              0.03874,
              0.05551
            ],
            [
              0.02161,
              0.03027,
              0.0387,
              0.05553
            ],
            [
              0.02152,
              0.0302,
              0.03866,
              0.05548
            ],
            [
              0.02144,
              0.03012,
              0.03861,
              0.05548
            ],
            [
              0.02135,
              0.03002,
              0.03853,
              0.05542
            ],
            [
              0.02129,
              0.02991,
              0.03843,
              0.05534
            ],
            [
              0.02125,
              0.02981,
              0.03831,
              0.05525
            ],
            [
              0.02122,
              0.02974,
              0.03824,
              0.05516
            ],
            [
              0.02121,
              0.02968,
              0.03814,
              0.05501
            ],
            [
              0.02119,
              0.02965,
              0.03808,
              0.05494
            ],
            [
              0.02119,
              0.02967,
              0.03803,
              0.05481
            ]
          ]
        },
        "when": "(A1&!B2) | (A2&!B2) | (A3&!B2)"
      },
      {
        "fall_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.00378,
              -0.00478,
              -0.01326,
              -0.0302
            ],
            [
              0.00383,
              -0.00479,
              -0.01328,
              -0.03022
            ],
            [
              0.00387,
              -0.00479,
              -0.01329,
              -0.03024
            ],
            [
              0.00395,
              -0.00478,
              -0.01329,
              -0.03025
            ],
            [
              0.00405,
              -0.00473,
              -0.01326,
              -0.03024
            ],
            [
              0.00417,
              -0.00466,
              -0.01323,
              -0.03022
            ],
            [
              0.0043,
              -0.00457,
              -0.01317,
              -0.03019
            ],
            [
              0.00445,
              -0.00444,
              -0.01307,
              -0.03013
            ],
            [
              0.00458,
              -0.00429,
              -0.01296,
              -0.03006
            ],
            [
              0.00468,
              -0.00413,
              -0.0128,
              -0.02995
            ],
            [
              0.00471,
              -0.00399,
              -0.01265,
              -0.02984
            ],
            [
              0.00468,
              -0.00391,
              -0.01257,
              -0.02967
            ],
            [
              0.00457,
              -0.00391,
              -0.01246,
              -0.02956
            ]
          ]
        },
        "related_pin": "B2",
        "rise_power,pwr_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.01554,
              0.02415,
              0.03257,
              0.04929
            ],
            [
              0.01547,
              0.02418,
              0.03262,
              0.04937
            ],
            [
              0.01539,
              0.0241,
              0.03256,
              0.04935
            ],
            [
              0.01525,
              0.02405,
              0.03254,
              0.04933
            ],
            [
              0.01514,
              0.02398,
              0.03248,
              0.0493
            ],
            [
              0.01504,
              0.02386,
              0.03241,
              0.04925
            ],
            [
              0.01496,
              0.02373,
              0.03231,
              0.04923
            ],
            [
              0.0149,
              0.0236,
              0.03217,
              0.04912
            ],
            [
              0.01487,
              0.02349,
              0.03204,
              0.04898
            ],
            [
              0.0149,
              0.02343,
              0.03192,
              0.04883
            ],
            [
              0.01496,
              0.02337,
              0.03179,
              0.04869
            ],
            [
              0.01509,
              0.0234,
              0.03177,
              0.04861
            ],
            [
              0.01524,
              0.02354,
              0.03181,
              0.04856
            ]
          ]
        },
        "when": "(A1&!B1) | (A2&!B1) | (A3&!B1)"
      }
    ],
    "max_capacitance": 0.01555,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.07785,
              0.1449,
              0.20624,
              0.32476
            ],
            [
              0.081,
              0.14801,
              0.20934,
              0.3279
            ],
            [
              0.08481,
              0.1518,
              0.21312,
              0.33168
            ],
            [
              0.09065,
              0.1576,
              0.21893,
              0.33746
            ],
            [
              0.09939,
              0.16635,
              0.22765,
              0.34617
            ],
            [
              0.11201,
              0.17888,
              0.2402,
              0.35874
            ],
            [
              0.13015,
              0.19666,
              0.25799,
              0.37658
            ],
            [
              0.15597,
              0.22239,
              0.28364,
              0.40227
            ],
            [
              0.18997,
              0.26035,
              0.32139,
              0.44002
            ],
            [
              0.23416,
              0.31337,
              0.37752,
              0.49613
            ],
            [
              0.29054,
              0.38303,
              0.45542,
              0.57992
            ],
            [
              0.36037,
              0.47297,
              0.55747,
              0.69837
            ],
            [
              0.4446,
              0.586,
              0.6892,
              0.8541
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.3202,
              0.55363,
              0.78189,
              1.23527
            ],
            [
              0.32258,
              0.55626,
              0.78457,
              1.23804
            ],
            [
              0.32577,
              0.55969,
              0.78816,
              1.24152
            ],
            [
              0.33095,
              0.56522,
              0.79375,
              1.24728
            ],
            [
              0.33914,
              0.57393,
              0.80274,
              1.25641
            ],
            [
              0.35139,
              0.58664,
              0.81565,
              1.26962
            ],
            [
              0.36917,
              0.60469,
              0.83395,
              1.28823
            ],
            [
              0.39482,
              0.63042,
              0.85986,
              1.31456
            ],
            [
              0.43143,
              0.6668,
              0.89645,
              1.35125
            ],
            [
              0.48346,
              0.71859,
              0.94819,
              1.40319
            ],
            [
              0.55722,
              0.79282,
              1.02232,
              1.47732
            ],
            [
              0.65097,
              0.90067,
              1.12997,
              1.58507
            ],
            [
              0.7707,
              1.0469,
              1.2879,
              1.7432
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.05867,
              0.13838,
              0.21541,
              0.36906
            ],
            [
              0.05854,
              0.13823,
              0.21535,
              0.36896
            ],
            [
              0.05842,
              0.13828,
              0.21538,
              0.3688
            ],
            [
              0.05829,
              0.13822,
              0.21526,
              0.36897
            ],
            [
              0.05814,
              0.138,
              0.21528,
              0.36894
            ],
            [
              0.05782,
              0.13801,
              0.21532,
              0.36891
            ],
            [
              0.05809,
              0.13767,
              0.21514,
              0.36874
            ],
            [
              0.06153,
              0.13792,
              0.21471,
              0.3689
            ],
            [
              0.07029,
              0.14231,
              0.2161,
              0.36829
            ],
            [
              0.08344,
              0.15511,
              0.22472,
              0.37075
            ],
            [
              0.10309,
              0.17957,
              0.24667,
              0.38384
            ],
            [
              0.1319,
              0.2159,
              0.2868,
              0.4178
            ],
            [
              0.1727,
              0.2694,
              0.3462,
              0.4828
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.21974,
              0.52181,
              0.81967,
              1.41426
            ],
            [
              0.21981,
              0.52194,
              0.82063,
              1.41507
            ],
            [
              0.21975,
              0.52196,
              0.82079,
              1.41421
            ],
            [
              0.21966,
              0.5218,
              0.82011,
              1.41558
            ],
            [
              0.21981,
              0.52202,
              0.82084,
              1.41452
            ],
            [
              0.21962,
              0.52179,
              0.82058,
              1.41466
            ],
            [
              0.21965,
              0.52177,
              0.81997,
              1.41453
            ],
            [
              0.2197,
              0.52192,
              0.82052,
              1.41498
            ],
            [
              0.21987,
              0.52185,
              0.82085,
              1.41417
            ],
            [
              0.22144,
              0.52143,
              0.82069,
              1.4148
            ],
            [
              0.23416,
              0.5246,
              0.8204,
              1.4159
            ],
            [
              0.2608,
              0.5419,
              0.8283,
              1.4154
            ],
            [
              0.2976,
              0.584,
              0.8584,
              1.4267
            ]
          ]
        },
        "sdf_cond": "(!A2&!A3&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A2&!A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.10133,
              0.17132,
              0.23584,
              0.36066
            ],
            [
              0.10444,
              0.17442,
              0.23892,
              0.36374
            ],
            [
              0.10823,
              0.17819,
              0.24268,
              0.36753
            ],
            [
              0.11403,
              0.18397,
              0.24848,
              0.3733
            ],
            [
              0.12276,
              0.19269,
              0.25719,
              0.382
            ],
            [
              0.13518,
              0.20516,
              0.26967,
              0.3945
            ],
            [
              0.15283,
              0.22274,
              0.28729,
              0.41216
            ],
            [
              0.17854,
              0.24802,
              0.31256,
              0.43749
            ],
            [
              0.21456,
              0.28511,
              0.34957,
              0.47456
            ],
            [
              0.26178,
              0.33916,
              0.40451,
              0.5295
            ],
            [
              0.32325,
              0.41115,
              0.48352,
              0.61152
            ],
            [
              0.40117,
              0.50507,
              0.58787,
              0.73017
            ],
            [
              0.4969,
              0.6252,
              0.7239,
              0.8875
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.32131,
              0.55481,
              0.78325,
              1.23677
            ],
            [
              0.32366,
              0.55736,
              0.78583,
              1.23944
            ],
            [
              0.32682,
              0.56079,
              0.78933,
              1.24292
            ],
            [
              0.332,
              0.56634,
              0.795,
              1.24877
            ],
            [
              0.34024,
              0.57505,
              0.80393,
              1.25771
            ],
            [
              0.3525,
              0.58777,
              0.8169,
              1.27102
            ],
            [
              0.37027,
              0.60585,
              0.83523,
              1.28953
            ],
            [
              0.39591,
              0.63155,
              0.86116,
              1.31586
            ],
            [
              0.43257,
              0.66802,
              0.89775,
              1.35275
            ],
            [
              0.48458,
              0.71979,
              0.94949,
              1.40459
            ],
            [
              0.55832,
              0.79412,
              1.02372,
              1.47892
            ],
            [
              0.65227,
              0.90187,
              1.13127,
              1.58647
            ],
            [
              0.7723,
              1.0482,
              1.2892,
              1.7447
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.07239,
              0.15658,
              0.23768,
              0.39963
            ],
            [
              0.07228,
              0.15653,
              0.23785,
              0.39936
            ],
            [
              0.0722,
              0.15648,
              0.2377,
              0.39925
            ],
            [
              0.07218,
              0.15642,
              0.2378,
              0.39924
            ],
            [
              0.07211,
              0.15637,
              0.23774,
              0.39959
            ],
            [
              0.07188,
              0.15631,
              0.23758,
              0.39937
            ],
            [
              0.07143,
              0.15614,
              0.23769,
              0.39938
            ],
            [
              0.07278,
              0.15582,
              0.23752,
              0.39949
            ],
            [
              0.07925,
              0.15836,
              0.23784,
              0.39914
            ],
            [
              0.09108,
              0.168,
              0.24407,
              0.40019
            ],
            [
              0.10897,
              0.19017,
              0.26213,
              0.41082
            ],
            [
              0.1364,
              0.2241,
              0.2997,
              0.4399
            ],
            [
              0.1761,
              0.2751,
              0.3556,
              0.5005
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.30021,
              0.59842,
              0.89543,
              1.48825
            ],
            [
              0.3002,
              0.59859,
              0.89514,
              1.48833
            ],
            [
              0.30016,
              0.59847,
              0.89522,
              1.48808
            ],
            [
              0.30018,
              0.59841,
              0.89528,
              1.48841
            ],
            [
              0.30017,
              0.59822,
              0.89521,
              1.48834
            ],
            [
              0.30022,
              0.59841,
              0.89515,
              1.4889
            ],
            [
              0.30018,
              0.59817,
              0.89531,
              1.48793
            ],
            [
              0.30018,
              0.59837,
              0.89533,
              1.48829
            ],
            [
              0.3002,
              0.59815,
              0.89512,
              1.48834
            ],
            [
              0.30211,
              0.59853,
              0.89533,
              1.4885
            ],
            [
              0.31457,
              0.6012,
              0.8952,
              1.4888
            ],
            [
              0.3436,
              0.6181,
              0.9028,
              1.488
            ],
            [
              0.3884,
              0.6608,
              0.9333,
              1.4998
            ]
          ]
        },
        "sdf_cond": "(!A2&!A3&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(!A2&!A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.06449,
              0.11784,
              0.1665,
              0.26021
            ],
            [
              0.06773,
              0.12104,
              0.16968,
              0.26338
            ],
            [
              0.07162,
              0.1249,
              0.17352,
              0.26722
            ],
            [
              0.07755,
              0.13079,
              0.17941,
              0.27309
            ],
            [
              0.08647,
              0.13967,
              0.18829,
              0.28196
            ],
            [
              0.09965,
              0.15267,
              0.20128,
              0.29496
            ],
            [
              0.11922,
              0.17166,
              0.22023,
              0.31392
            ],
            [
              0.1466,
              0.19996,
              0.24833,
              0.34202
            ],
            [
              0.18228,
              0.24207,
              0.29039,
              0.38395
            ],
            [
              0.22775,
              0.29866,
              0.35265,
              0.44676
            ],
            [
              0.28464,
              0.37155,
              0.43566,
              0.54032
            ],
            [
              0.35447,
              0.46327,
              0.54227,
              0.66697
            ],
            [
              0.4382,
              0.5766,
              0.6762,
              0.83
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.35249,
              0.58462,
              0.81265,
              1.26547
            ],
            [
              0.35504,
              0.58751,
              0.81537,
              1.26844
            ],
            [
              0.35834,
              0.5911,
              0.81912,
              1.27222
            ],
            [
              0.36356,
              0.59676,
              0.82493,
              1.27818
            ],
            [
              0.37178,
              0.60544,
              0.83396,
              1.28741
            ],
            [
              0.38397,
              0.61802,
              0.84689,
              1.30052
            ],
            [
              0.40166,
              0.63595,
              0.86505,
              1.31913
            ],
            [
              0.42719,
              0.66154,
              0.89076,
              1.34516
            ],
            [
              0.46378,
              0.69783,
              0.92725,
              1.38185
            ],
            [
              0.51571,
              0.74949,
              0.97859,
              1.43349
            ],
            [
              0.59012,
              0.82372,
              1.05272,
              1.50762
            ],
            [
              0.68727,
              0.93137,
              1.16037,
              1.61507
            ],
            [
              0.8112,
              1.0804,
              1.3184,
              1.7731
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.05025,
              0.11283,
              0.17325,
              0.2932
            ],
            [
              0.05019,
              0.11275,
              0.17324,
              0.29348
            ],
            [
              0.05006,
              0.11269,
              0.17308,
              0.29348
            ],
            [
              0.04998,
              0.1126,
              0.1732,
              0.29344
            ],
            [
              0.04983,
              0.11248,
              0.173,
              0.29342
            ],
            [
              0.04954,
              0.11237,
              0.17305,
              0.29339
            ],
            [
              0.05068,
              0.11204,
              0.17269,
              0.29332
            ],
            [
              0.05624,
              0.11316,
              0.17262,
              0.29315
            ],
            [
              0.06793,
              0.12005,
              0.17573,
              0.29303
            ],
            [
              0.08437,
              0.13857,
              0.18864,
              0.29845
            ],
            [
              0.10728,
              0.16804,
              0.2191,
              0.31824
            ],
            [
              0.1391,
              0.21,
              0.2666,
              0.3647
            ],
            [
              0.1829,
              0.2685,
              0.3335,
              0.4419
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.238,
              0.54108,
              0.83984,
              1.43485
            ],
            [
              0.23816,
              0.54136,
              0.84003,
              1.43478
            ],
            [
              0.23824,
              0.54136,
              0.83961,
              1.43589
            ],
            [
              0.23814,
              0.54127,
              0.83991,
              1.43474
            ],
            [
              0.23817,
              0.54108,
              0.84052,
              1.43633
            ],
            [
              0.238,
              0.54089,
              0.83951,
              1.43475
            ],
            [
              0.23816,
              0.54121,
              0.84072,
              1.43479
            ],
            [
              0.23814,
              0.54145,
              0.83953,
              1.43593
            ],
            [
              0.23824,
              0.54148,
              0.83994,
              1.4343
            ],
            [
              0.23914,
              0.54144,
              0.84061,
              1.4359
            ],
            [
              0.2499,
              0.5428,
              0.8394,
              1.4361
            ],
            [
              0.2761,
              0.5586,
              0.847,
              1.4357
            ],
            [
              0.314,
              0.5995,
              0.876,
              1.4449
            ]
          ]
        },
        "sdf_cond": "(!A2&!A3&B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A2&!A3&B1&B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.07578,
              0.13659,
              0.19494,
              0.31029
            ],
            [
              0.07913,
              0.13997,
              0.19832,
              0.31366
            ],
            [
              0.08304,
              0.14395,
              0.2023,
              0.31765
            ],
            [
              0.08896,
              0.14988,
              0.20827,
              0.32366
            ],
            [
              0.09755,
              0.15865,
              0.21705,
              0.33245
            ],
            [
              0.10971,
              0.17101,
              0.22951,
              0.34496
            ],
            [
              0.1268,
              0.1883,
              0.24686,
              0.36242
            ],
            [
              0.15019,
              0.21302,
              0.27174,
              0.38742
            ],
            [
              0.18022,
              0.24894,
              0.30805,
              0.42396
            ],
            [
              0.21859,
              0.29737,
              0.36139,
              0.47811
            ],
            [
              0.26613,
              0.3603,
              0.43331,
              0.55862
            ],
            [
              0.32287,
              0.44017,
              0.52677,
              0.66937
            ],
            [
              0.3883,
              0.5382,
              0.6455,
              0.8141
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.30124,
              0.53469,
              0.76298,
              1.21637
            ],
            [
              0.30264,
              0.53634,
              0.76473,
              1.21804
            ],
            [
              0.3049,
              0.53901,
              0.76743,
              1.22092
            ],
            [
              0.30895,
              0.54346,
              0.77214,
              1.22568
            ],
            [
              0.31597,
              0.55102,
              0.77987,
              1.23361
            ],
            [
              0.32736,
              0.56299,
              0.79207,
              1.24622
            ],
            [
              0.34517,
              0.5811,
              0.81054,
              1.26493
            ],
            [
              0.37174,
              0.60766,
              0.83736,
              1.29216
            ],
            [
              0.41092,
              0.64654,
              0.87645,
              1.33145
            ],
            [
              0.46904,
              0.70449,
              0.93419,
              1.38949
            ],
            [
              0.55482,
              0.79122,
              1.02092,
              1.47622
            ],
            [
              0.66707,
              0.92157,
              1.15117,
              1.60657
            ],
            [
              0.8157,
              1.1059,
              1.3468,
              1.8025
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.04708,
              0.12413,
              0.20073,
              0.35381
            ],
            [
              0.04712,
              0.12399,
              0.20074,
              0.35382
            ],
            [
              0.04711,
              0.12413,
              0.20077,
              0.35404
            ],
            [
              0.04709,
              0.12405,
              0.20064,
              0.35395
            ],
            [
              0.04708,
              0.12405,
              0.20078,
              0.35405
            ],
            [
              0.047,
              0.12394,
              0.20063,
              0.35399
            ],
            [
              0.04771,
              0.12397,
              0.20077,
              0.35389
            ],
            [
              0.05186,
              0.1249,
              0.20076,
              0.3541
            ],
            [
              0.05992,
              0.13056,
              0.2033,
              0.35372
            ],
            [
              0.07246,
              0.14504,
              0.21328,
              0.35764
            ],
            [
              0.09184,
              0.1697,
              0.23755,
              0.37258
            ],
            [
              0.1204,
              0.2071,
              0.2783,
              0.4093
            ],
            [
              0.1612,
              0.2618,
              0.3389,
              0.4755
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.21964,
              0.52176,
              0.82029,
              1.4145
            ],
            [
              0.2196,
              0.52188,
              0.82075,
              1.41496
            ],
            [
              0.21981,
              0.52183,
              0.82066,
              1.41491
            ],
            [
              0.21981,
              0.52201,
              0.82082,
              1.41465
            ],
            [
              0.21966,
              0.52144,
              0.82046,
              1.4156
            ],
            [
              0.21977,
              0.52168,
              0.82036,
              1.41454
            ],
            [
              0.21977,
              0.52134,
              0.82071,
              1.41519
            ],
            [
              0.21982,
              0.52141,
              0.82044,
              1.41455
            ],
            [
              0.21967,
              0.52189,
              0.8208,
              1.41451
            ],
            [
              0.22439,
              0.52192,
              0.82037,
              1.4158
            ],
            [
              0.24202,
              0.5258,
              0.8208,
              1.4156
            ],
            [
              0.2776,
              0.5472,
              0.8288,
              1.4152
            ],
            [
              0.3294,
              0.5995,
              0.8634,
              1.424
            ]
          ]
        },
        "sdf_cond": "(!A1&!A3&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.09589,
              0.16104,
              0.22301,
              0.34497
            ],
            [
              0.09926,
              0.16442,
              0.22641,
              0.34837
            ],
            [
              0.10322,
              0.1684,
              0.23039,
              0.35235
            ],
            [
              0.1091,
              0.17434,
              0.23634,
              0.35833
            ],
            [
              0.11782,
              0.18313,
              0.24514,
              0.36715
            ],
            [
              0.13002,
              0.19546,
              0.25755,
              0.37961
            ],
            [
              0.147,
              0.21261,
              0.27478,
              0.39691
            ],
            [
              0.17129,
              0.23702,
              0.29931,
              0.42154
            ],
            [
              0.20381,
              0.27252,
              0.33495,
              0.45741
            ],
            [
              0.24592,
              0.32267,
              0.38762,
              0.51038
            ],
            [
              0.29975,
              0.38838,
              0.46112,
              0.58922
            ],
            [
              0.36617,
              0.47307,
              0.55717,
              0.70087
            ],
            [
              0.445,
              0.5793,
              0.6809,
              0.8473
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.3023,
              0.53588,
              0.76432,
              1.21787
            ],
            [
              0.30371,
              0.53748,
              0.766,
              1.21954
            ],
            [
              0.30596,
              0.54005,
              0.76863,
              1.22232
            ],
            [
              0.31002,
              0.54454,
              0.77331,
              1.22698
            ],
            [
              0.31703,
              0.55211,
              0.78108,
              1.23501
            ],
            [
              0.32845,
              0.56406,
              0.79332,
              1.24742
            ],
            [
              0.34629,
              0.58223,
              0.81179,
              1.26623
            ],
            [
              0.37289,
              0.60884,
              0.83866,
              1.29346
            ],
            [
              0.41206,
              0.64776,
              0.87765,
              1.33285
            ],
            [
              0.47018,
              0.70569,
              0.93559,
              1.39089
            ],
            [
              0.55602,
              0.79242,
              1.02222,
              1.47782
            ],
            [
              0.66847,
              0.92277,
              1.15257,
              1.60807
            ],
            [
              0.8174,
              1.1073,
              1.3481,
              1.804
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.06038,
              0.14222,
              0.22305,
              0.38414
            ],
            [
              0.06036,
              0.1422,
              0.22283,
              0.38435
            ],
            [
              0.06039,
              0.14212,
              0.22298,
              0.38406
            ],
            [
              0.06038,
              0.14225,
              0.22288,
              0.38405
            ],
            [
              0.06037,
              0.14223,
              0.22306,
              0.3843
            ],
            [
              0.06029,
              0.14212,
              0.22306,
              0.38434
            ],
            [
              0.06025,
              0.14216,
              0.22286,
              0.38435
            ],
            [
              0.06248,
              0.14231,
              0.22292,
              0.38438
            ],
            [
              0.06949,
              0.14591,
              0.22422,
              0.38403
            ],
            [
              0.08089,
              0.15755,
              0.2319,
              0.38659
            ],
            [
              0.09878,
              0.18038,
              0.25246,
              0.39891
            ],
            [
              0.1263,
              0.2149,
              0.2905,
              0.4306
            ],
            [
              0.1663,
              0.267,
              0.3474,
              0.4926
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.3002,
              0.59821,
              0.89517,
              1.48819
            ],
            [
              0.30023,
              0.59842,
              0.89518,
              1.488
            ],
            [
              0.30017,
              0.59824,
              0.89512,
              1.48823
            ],
            [
              0.30017,
              0.59853,
              0.8957,
              1.4884
            ],
            [
              0.30019,
              0.59812,
              0.89526,
              1.48827
            ],
            [
              0.30017,
              0.59828,
              0.89511,
              1.48848
            ],
            [
              0.30021,
              0.59833,
              0.89507,
              1.48862
            ],
            [
              0.30021,
              0.59805,
              0.89525,
              1.48824
            ],
            [
              0.30032,
              0.5981,
              0.89508,
              1.4884
            ],
            [
              0.30467,
              0.59822,
              0.89512,
              1.4887
            ],
            [
              0.32232,
              0.6021,
              0.895,
              1.4882
            ],
            [
              0.3609,
              0.6236,
              0.9038,
              1.4887
            ],
            [
              0.4226,
              0.676,
              0.9383,
              1.4973
            ]
          ]
        },
        "sdf_cond": "(!A1&!A3&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.06442,
              0.11259,
              0.1585,
              0.24907
            ],
            [
              0.06777,
              0.11598,
              0.16188,
              0.25245
            ],
            [
              0.0717,
              0.11995,
              0.16587,
              0.25644
            ],
            [
              0.07762,
              0.12593,
              0.17186,
              0.26243
            ],
            [
              0.08639,
              0.13478,
              0.18073,
              0.27135
            ],
            [
              0.09905,
              0.14756,
              0.19359,
              0.28425
            ],
            [
              0.11743,
              0.16605,
              0.21212,
              0.30284
            ],
            [
              0.14229,
              0.1933,
              0.23947,
              0.33031
            ],
            [
              0.17388,
              0.23285,
              0.28013,
              0.37116
            ],
            [
              0.21324,
              0.28467,
              0.33898,
              0.43212
            ],
            [
              0.26108,
              0.35042,
              0.41583,
              0.52182
            ],
            [
              0.31777,
              0.43167,
              0.51327,
              0.64067
            ],
            [
              0.3827,
              0.5298,
              0.6338,
              0.7922
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.3336,
              0.56577,
              0.79376,
              1.24667
            ],
            [
              0.33519,
              0.56779,
              0.79566,
              1.24874
            ],
            [
              0.33756,
              0.57054,
              0.79853,
              1.25172
            ],
            [
              0.34168,
              0.57507,
              0.80344,
              1.25678
            ],
            [
              0.3487,
              0.58264,
              0.81134,
              1.26481
            ],
            [
              0.36006,
              0.59448,
              0.82343,
              1.27732
            ],
            [
              0.37773,
              0.61243,
              0.84171,
              1.29593
            ],
            [
              0.40423,
              0.63882,
              0.86836,
              1.32306
            ],
            [
              0.44328,
              0.6776,
              0.90715,
              1.36215
            ],
            [
              0.50134,
              0.73539,
              0.96479,
              1.41999
            ],
            [
              0.58812,
              0.82222,
              1.05142,
              1.50652
            ],
            [
              0.70517,
              0.95237,
              1.18167,
              1.63677
            ],
            [
              0.8598,
              1.14,
              1.3773,
              1.8326
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.04136,
              0.10126,
              0.16106,
              0.28048
            ],
            [
              0.04138,
              0.10126,
              0.16103,
              0.28054
            ],
            [
              0.04134,
              0.10126,
              0.16092,
              0.28034
            ],
            [
              0.04138,
              0.10118,
              0.16103,
              0.28062
            ],
            [
              0.04135,
              0.10111,
              0.16092,
              0.28028
            ],
            [
              0.04124,
              0.10124,
              0.16097,
              0.28063
            ],
            [
              0.04259,
              0.10114,
              0.1608,
              0.28053
            ],
            [
              0.04851,
              0.10303,
              0.16112,
              0.28044
            ],
            [
              0.05912,
              0.11133,
              0.16578,
              0.28098
            ],
            [
              0.0748,
              0.13093,
              0.18072,
              0.28805
            ],
            [
              0.09716,
              0.16048,
              0.21255,
              0.31017
            ],
            [
              0.1285,
              0.2029,
              0.2606,
              0.3596
            ],
            [
              0.1724,
              0.2622,
              0.3284,
              0.4373
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.23822,
              0.54126,
              0.84007,
              1.4351
            ],
            [
              0.238,
              0.54148,
              0.84014,
              1.43488
            ],
            [
              0.23816,
              0.54145,
              0.84005,
              1.4349
            ],
            [
              0.23817,
              0.54098,
              0.84,
              1.43618
            ],
            [
              0.23825,
              0.54148,
              0.8401,
              1.43483
            ],
            [
              0.23804,
              0.54149,
              0.84057,
              1.43554
            ],
            [
              0.23798,
              0.54075,
              0.83997,
              1.43473
            ],
            [
              0.23811,
              0.54084,
              0.84068,
              1.4362
            ],
            [
              0.23831,
              0.54119,
              0.84023,
              1.43617
            ],
            [
              0.24069,
              0.54142,
              0.84007,
              1.4361
            ],
            [
              0.2566,
              0.5438,
              0.8406,
              1.4359
            ],
            [
              0.2913,
              0.5636,
              0.8474,
              1.4357
            ],
            [
              0.3429,
              0.6128,
              0.8793,
              1.4439
            ]
          ]
        },
        "sdf_cond": "(!A1&!A3&B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A3&B1&B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.05915,
              0.11469,
              0.16943,
              0.27894
            ],
            [
              0.06241,
              0.11818,
              0.17306,
              0.28232
            ],
            [
              0.06622,
              0.12226,
              0.17721,
              0.28668
            ],
            [
              0.07193,
              0.12835,
              0.18338,
              0.29258
            ],
            [
              0.08035,
              0.13717,
              0.19239,
              0.30197
            ],
            [
              0.09229,
              0.14954,
              0.20499,
              0.31471
            ],
            [
              0.10867,
              0.16696,
              0.22231,
              0.33243
            ],
            [
              0.12932,
              0.19172,
              0.24744,
              0.35769
            ],
            [
              0.15522,
              0.22663,
              0.28392,
              0.39436
            ],
            [
              0.18686,
              0.27194,
              0.3364,
              0.44893
            ],
            [
              0.22421,
              0.32982,
              0.40509,
              0.52942
            ],
            [
              0.26667,
              0.40147,
              0.49327,
              0.63737
            ],
            [
              0.3117,
              0.4873,
              0.6033,
              0.777
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.23763,
              0.47134,
              0.69975,
              1.15307
            ],
            [
              0.23869,
              0.47281,
              0.70132,
              1.15474
            ],
            [
              0.24045,
              0.47506,
              0.7037,
              1.15732
            ],
            [
              0.24355,
              0.47886,
              0.70781,
              1.16168
            ],
            [
              0.24917,
              0.48524,
              0.71452,
              1.16861
            ],
            [
              0.25849,
              0.49541,
              0.72498,
              1.17942
            ],
            [
              0.27425,
              0.51144,
              0.74153,
              1.19643
            ],
            [
              0.29971,
              0.53657,
              0.76723,
              1.22246
            ],
            [
              0.3397,
              0.5758,
              0.80615,
              1.26195
            ],
            [
              0.40146,
              0.63629,
              0.86619,
              1.32189
            ],
            [
              0.49602,
              0.72952,
              0.95882,
              1.41382
            ],
            [
              0.61617,
              0.87137,
              1.09927,
              1.55307
            ],
            [
              0.7663,
              1.077,
              1.3126,
              1.7642
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03244,
              0.10589,
              0.17903,
              0.32525
            ],
            [
              0.03245,
              0.10595,
              0.17924,
              0.32492
            ],
            [
              0.03246,
              0.10596,
              0.17926,
              0.32549
            ],
            [
              0.03245,
              0.1059,
              0.17929,
              0.32515
            ],
            [
              0.0325,
              0.10592,
              0.17892,
              0.32558
            ],
            [
              0.03279,
              0.10582,
              0.17906,
              0.3253
            ],
            [
              0.03519,
              0.10604,
              0.17907,
              0.32517
            ],
            [
              0.04097,
              0.10822,
              0.17934,
              0.32519
            ],
            [
              0.04974,
              0.11579,
              0.18322,
              0.3255
            ],
            [
              0.06334,
              0.13325,
              0.19603,
              0.33097
            ],
            [
              0.0836,
              0.15976,
              0.22395,
              0.34893
            ],
            [
              0.1129,
              0.1992,
              0.2671,
              0.3905
            ],
            [
              0.1547,
              0.2564,
              0.3307,
              0.4595
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.21976,
              0.5217,
              0.82072,
              1.41447
            ],
            [
              0.21977,
              0.52166,
              0.82071,
              1.41469
            ],
            [
              0.21959,
              0.52195,
              0.82016,
              1.41458
            ],
            [
              0.21978,
              0.52191,
              0.82077,
              1.41556
            ],
            [
              0.2196,
              0.52189,
              0.8208,
              1.41472
            ],
            [
              0.21968,
              0.52188,
              0.82086,
              1.41429
            ],
            [
              0.21943,
              0.52201,
              0.82081,
              1.41432
            ],
            [
              0.21876,
              0.52197,
              0.82082,
              1.41465
            ],
            [
              0.21669,
              0.52189,
              0.8201,
              1.41587
            ],
            [
              0.22576,
              0.52034,
              0.82007,
              1.4148
            ],
            [
              0.25481,
              0.5255,
              0.8199,
              1.4159
            ],
            [
              0.3038,
              0.5587,
              0.8297,
              1.4151
            ],
            [
              0.3713,
              0.6392,
              0.8822,
              1.4253
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.07679,
              0.1394,
              0.19946,
              0.31826
            ],
            [
              0.08022,
              0.14297,
              0.20307,
              0.32191
            ],
            [
              0.08424,
              0.14711,
              0.20723,
              0.32612
            ],
            [
              0.09022,
              0.15326,
              0.21347,
              0.33233
            ],
            [
              0.09891,
              0.16211,
              0.22243,
              0.3414
            ],
            [
              0.11104,
              0.17447,
              0.23493,
              0.35404
            ],
            [
              0.12798,
              0.19164,
              0.25219,
              0.37142
            ],
            [
              0.15111,
              0.2159,
              0.27661,
              0.39604
            ],
            [
              0.18047,
              0.25112,
              0.31204,
              0.43171
            ],
            [
              0.2178,
              0.29834,
              0.36413,
              0.48453
            ],
            [
              0.26406,
              0.35955,
              0.43423,
              0.56292
            ],
            [
              0.31907,
              0.43727,
              0.52527,
              0.67097
            ],
            [
              0.3818,
              0.5328,
              0.641,
              0.8119
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.23858,
              0.47228,
              0.70083,
              1.15437
            ],
            [
              0.23962,
              0.4737,
              0.70233,
              1.15594
            ],
            [
              0.24139,
              0.47595,
              0.70467,
              1.15842
            ],
            [
              0.2446,
              0.47978,
              0.70869,
              1.16268
            ],
            [
              0.25019,
              0.48619,
              0.71542,
              1.16961
            ],
            [
              0.25962,
              0.49643,
              0.72593,
              1.18052
            ],
            [
              0.27539,
              0.51253,
              0.74258,
              1.19753
            ],
            [
              0.30088,
              0.53802,
              0.76839,
              1.22376
            ],
            [
              0.34083,
              0.57704,
              0.80745,
              1.26335
            ],
            [
              0.40259,
              0.63749,
              0.86759,
              1.32339
            ],
            [
              0.49722,
              0.73082,
              0.96002,
              1.41532
            ],
            [
              0.61777,
              0.87247,
              1.10057,
              1.55467
            ],
            [
              0.7684,
              1.0783,
              1.3139,
              1.7658
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.04714,
              0.12653,
              0.20555,
              0.36322
            ],
            [
              0.04718,
              0.12658,
              0.20556,
              0.36359
            ],
            [
              0.04718,
              0.12647,
              0.20555,
              0.36329
            ],
            [
              0.04714,
              0.12652,
              0.20541,
              0.36326
            ],
            [
              0.04718,
              0.12643,
              0.20557,
              0.3634
            ],
            [
              0.04712,
              0.12648,
              0.20556,
              0.36347
            ],
            [
              0.04768,
              0.12653,
              0.20543,
              0.3632
            ],
            [
              0.05167,
              0.12711,
              0.20541,
              0.36353
            ],
            [
              0.05938,
              0.13247,
              0.20777,
              0.36315
            ],
            [
              0.07131,
              0.1465,
              0.21722,
              0.36668
            ],
            [
              0.09012,
              0.17031,
              0.2408,
              0.38082
            ],
            [
              0.1182,
              0.2064,
              0.28,
              0.4164
            ],
            [
              0.1585,
              0.2603,
              0.3392,
              0.4805
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.30025,
              0.59821,
              0.89531,
              1.48792
            ],
            [
              0.30015,
              0.59818,
              0.89517,
              1.48842
            ],
            [
              0.30021,
              0.59836,
              0.89517,
              1.48806
            ],
            [
              0.30019,
              0.59844,
              0.8952,
              1.48837
            ],
            [
              0.30015,
              0.59857,
              0.89521,
              1.48833
            ],
            [
              0.30005,
              0.59846,
              0.8952,
              1.48878
            ],
            [
              0.29989,
              0.5986,
              0.89507,
              1.48786
            ],
            [
              0.29919,
              0.59817,
              0.8951,
              1.48829
            ],
            [
              0.2973,
              0.59808,
              0.89509,
              1.48791
            ],
            [
              0.30623,
              0.59702,
              0.8952,
              1.4883
            ],
            [
              0.33561,
              0.6024,
              0.8943,
              1.488
            ],
            [
              0.3952,
              0.635,
              0.9045,
              1.4882
            ],
            [
              0.4763,
              0.7163,
              0.9567,
              1.4984
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.05242,
              0.09643,
              0.13994,
              0.22642
            ],
            [
              0.0557,
              0.1,
              0.14334,
              0.22984
            ],
            [
              0.05954,
              0.10394,
              0.14746,
              0.23387
            ],
            [
              0.06532,
              0.11006,
              0.15349,
              0.24005
            ],
            [
              0.07393,
              0.11903,
              0.1627,
              0.24935
            ],
            [
              0.08636,
              0.13187,
              0.17551,
              0.26224
            ],
            [
              0.10346,
              0.15044,
              0.19431,
              0.28118
            ],
            [
              0.12495,
              0.17759,
              0.22176,
              0.30876
            ],
            [
              0.15142,
              0.21517,
              0.26244,
              0.34978
            ],
            [
              0.18326,
              0.26301,
              0.31929,
              0.41117
            ],
            [
              0.22061,
              0.32245,
              0.3919,
              0.49952
            ],
            [
              0.26297,
              0.39457,
              0.48267,
              0.61427
            ],
            [
              0.3078,
              0.4802,
              0.5933,
              0.759
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.26997,
              0.50238,
              0.73033,
              1.18347
            ],
            [
              0.27119,
              0.50409,
              0.73216,
              1.18544
            ],
            [
              0.27305,
              0.50654,
              0.73473,
              1.18812
            ],
            [
              0.27626,
              0.51035,
              0.73906,
              1.19268
            ],
            [
              0.28195,
              0.51672,
              0.74579,
              1.19971
            ],
            [
              0.29131,
              0.52678,
              0.75623,
              1.21062
            ],
            [
              0.30695,
              0.54271,
              0.77253,
              1.22743
            ],
            [
              0.33238,
              0.56771,
              0.79785,
              1.25336
            ],
            [
              0.3721,
              0.60678,
              0.83685,
              1.29245
            ],
            [
              0.43362,
              0.66719,
              0.89669,
              1.35219
            ],
            [
              0.52912,
              0.76032,
              0.98912,
              1.44402
            ],
            [
              0.65647,
              0.90177,
              1.12947,
              1.58307
            ],
            [
              0.8157,
              1.1112,
              1.3427,
              1.7941
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.0293,
              0.08737,
              0.14488,
              0.26008
            ],
            [
              0.02926,
              0.08728,
              0.14492,
              0.25982
            ],
            [
              0.0293,
              0.08738,
              0.14495,
              0.25983
            ],
            [
              0.02928,
              0.08735,
              0.14476,
              0.25984
            ],
            [
              0.02933,
              0.08728,
              0.14493,
              0.25996
            ],
            [
              0.02978,
              0.08736,
              0.14484,
              0.25976
            ],
            [
              0.03313,
              0.08765,
              0.14488,
              0.25986
            ],
            [
              0.0406,
              0.0912,
              0.1458,
              0.25973
            ],
            [
              0.05178,
              0.10207,
              0.15213,
              0.26081
            ],
            [
              0.06788,
              0.12364,
              0.17015,
              0.27012
            ],
            [
              0.09051,
              0.15452,
              0.20449,
              0.29624
            ],
            [
              0.1225,
              0.1982,
              0.2543,
              0.3494
            ],
            [
              0.1677,
              0.2589,
              0.3237,
              0.4289
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.23816,
              0.54128,
              0.84063,
              1.43552
            ],
            [
              0.23826,
              0.54146,
              0.84057,
              1.43506
            ],
            [
              0.23799,
              0.5415,
              0.84047,
              1.43444
            ],
            [
              0.23822,
              0.54072,
              0.83984,
              1.4353
            ],
            [
              0.23817,
              0.54074,
              0.83984,
              1.43528
            ],
            [
              0.23806,
              0.54073,
              0.84026,
              1.43487
            ],
            [
              0.23806,
              0.54112,
              0.84027,
              1.43498
            ],
            [
              0.23762,
              0.54131,
              0.84028,
              1.43534
            ],
            [
              0.23528,
              0.54139,
              0.83976,
              1.43587
            ],
            [
              0.24102,
              0.54067,
              0.8398,
              1.4353
            ],
            [
              0.26615,
              0.5434,
              0.84,
              1.4361
            ],
            [
              0.3166,
              0.5725,
              0.8475,
              1.4347
            ],
            [
              0.3849,
              0.6485,
              0.8958,
              1.4437
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&B1&B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.05523,
              0.11754,
              0.17754,
              0.29632
            ],
            [
              0.05778,
              0.12016,
              0.18013,
              0.29891
            ],
            [
              0.06097,
              0.12346,
              0.18352,
              0.3023
            ],
            [
              0.06598,
              0.12868,
              0.18873,
              0.30745
            ],
            [
              0.07374,
              0.13655,
              0.19677,
              0.31558
            ],
            [
              0.08578,
              0.14862,
              0.20881,
              0.32786
            ],
            [
              0.1045,
              0.16706,
              0.22736,
              0.34632
            ],
            [
              0.12876,
              0.19481,
              0.25509,
              0.37394
            ],
            [
              0.1581,
              0.23683,
              0.29696,
              0.41565
            ],
            [
              0.1935,
              0.29179,
              0.36035,
              0.47927
            ],
            [
              0.23573,
              0.35888,
              0.44436,
              0.57472
            ],
            [
              0.28497,
              0.44027,
              0.54727,
              0.70877
            ],
            [
              0.3408,
              0.5372,
              0.6718,
              0.8736
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.1144,
              0.26007,
              0.40301,
              0.68898
            ],
            [
              0.11701,
              0.26349,
              0.40713,
              0.69323
            ],
            [
              0.12025,
              0.26763,
              0.41142,
              0.69779
            ],
            [
              0.12552,
              0.27348,
              0.41784,
              0.70413
            ],
            [
              0.13387,
              0.28222,
              0.42699,
              0.71348
            ],
            [
              0.14631,
              0.2949,
              0.43991,
              0.7268
            ],
            [
              0.16465,
              0.31291,
              0.45811,
              0.74572
            ],
            [
              0.19114,
              0.33884,
              0.4842,
              0.77229
            ],
            [
              0.22685,
              0.37696,
              0.52217,
              0.81055
            ],
            [
              0.27169,
              0.4341,
              0.57899,
              0.86769
            ],
            [
              0.32951,
              0.51712,
              0.66482,
              0.95342
            ],
            [
              0.40207,
              0.62507,
              0.79137,
              1.08187
            ],
            [
              0.49,
              0.7654,
              0.9587,
              1.2753
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.04734,
              0.12649,
              0.20536,
              0.3635
            ],
            [
              0.04734,
              0.12657,
              0.20543,
              0.36321
            ],
            [
              0.0473,
              0.1265,
              0.20536,
              0.3631
            ],
            [
              0.04718,
              0.1266,
              0.2054,
              0.36322
            ],
            [
              0.04659,
              0.1265,
              0.2054,
              0.36319
            ],
            [
              0.04669,
              0.12654,
              0.2055,
              0.36329
            ],
            [
              0.0509,
              0.12612,
              0.20552,
              0.36335
            ],
            [
              0.06117,
              0.12941,
              0.20539,
              0.36327
            ],
            [
              0.07549,
              0.14213,
              0.2111,
              0.363
            ],
            [
              0.09565,
              0.16982,
              0.23066,
              0.36958
            ],
            [
              0.12287,
              0.21058,
              0.27297,
              0.39562
            ],
            [
              0.1597,
              0.2656,
              0.338,
              0.4555
            ],
            [
              0.209,
              0.34,
              0.4261,
              0.5599
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.08492,
              0.2766,
              0.46828,
              0.85069
            ],
            [
              0.08485,
              0.27691,
              0.46843,
              0.85043
            ],
            [
              0.08492,
              0.27662,
              0.46837,
              0.85042
            ],
            [
              0.08494,
              0.27687,
              0.46819,
              0.85081
            ],
            [
              0.08496,
              0.27682,
              0.46844,
              0.85085
            ],
            [
              0.08497,
              0.27689,
              0.46779,
              0.85077
            ],
            [
              0.08517,
              0.2765,
              0.46764,
              0.85075
            ],
            [
              0.0883,
              0.27689,
              0.46817,
              0.85083
            ],
            [
              0.09878,
              0.27708,
              0.46823,
              0.8502
            ],
            [
              0.11675,
              0.28544,
              0.46832,
              0.85021
            ],
            [
              0.14069,
              0.30798,
              0.48045,
              0.8508
            ],
            [
              0.1773,
              0.3541,
              0.5125,
              0.863
            ],
            [
              0.2314,
              0.421,
              0.5822,
              0.9037
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&!B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.07397,
              0.13918,
              0.20115,
              0.32311
            ],
            [
              0.07659,
              0.14178,
              0.20374,
              0.32573
            ],
            [
              0.07982,
              0.14508,
              0.20712,
              0.32909
            ],
            [
              0.08488,
              0.15019,
              0.21233,
              0.33431
            ],
            [
              0.09266,
              0.15816,
              0.2202,
              0.3424
            ],
            [
              0.10462,
              0.1704,
              0.23239,
              0.35462
            ],
            [
              0.12305,
              0.18872,
              0.25094,
              0.37305
            ],
            [
              0.15149,
              0.21642,
              0.2786,
              0.4006
            ],
            [
              0.18735,
              0.25847,
              0.32038,
              0.44261
            ],
            [
              0.23111,
              0.31891,
              0.38381,
              0.50582
            ],
            [
              0.28397,
              0.393,
              0.47342,
              0.60102
            ],
            [
              0.34677,
              0.48367,
              0.58367,
              0.73937
            ],
            [
              0.4201,
              0.5923,
              0.7178,
              0.9118
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.11597,
              0.26132,
              0.40438,
              0.68986
            ],
            [
              0.11858,
              0.26494,
              0.40822,
              0.69397
            ],
            [
              0.12185,
              0.26903,
              0.4126,
              0.69852
            ],
            [
              0.12712,
              0.27505,
              0.41895,
              0.70505
            ],
            [
              0.13541,
              0.28381,
              0.42812,
              0.71458
            ],
            [
              0.1479,
              0.29643,
              0.44111,
              0.72792
            ],
            [
              0.16613,
              0.31428,
              0.45931,
              0.74665
            ],
            [
              0.19272,
              0.34016,
              0.48531,
              0.77307
            ],
            [
              0.22868,
              0.37842,
              0.52349,
              0.81155
            ],
            [
              0.27382,
              0.43574,
              0.58055,
              0.86869
            ],
            [
              0.33203,
              0.51882,
              0.66642,
              0.95432
            ],
            [
              0.40527,
              0.62717,
              0.79307,
              1.08337
            ],
            [
              0.4942,
              0.7678,
              0.9608,
              1.277
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.06043,
              0.14219,
              0.22298,
              0.38428
            ],
            [
              0.06048,
              0.1422,
              0.22301,
              0.38425
            ],
            [
              0.06049,
              0.1422,
              0.22303,
              0.38441
            ],
            [
              0.06051,
              0.14221,
              0.22295,
              0.38433
            ],
            [
              0.06043,
              0.14222,
              0.22302,
              0.38424
            ],
            [
              0.05943,
              0.14221,
              0.22297,
              0.38424
            ],
            [
              0.06039,
              0.14201,
              0.22288,
              0.38413
            ],
            [
              0.06739,
              0.14252,
              0.22263,
              0.38409
            ],
            [
              0.0815,
              0.15145,
              0.22548,
              0.38407
            ],
            [
              0.10119,
              0.17491,
              0.24075,
              0.38768
            ],
            [
              0.12834,
              0.21517,
              0.27879,
              0.40977
            ],
            [
              0.1654,
              0.2696,
              0.3432,
              0.4648
            ],
            [
              0.215,
              0.3433,
              0.4305,
              0.5667
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.13018,
              0.32919,
              0.52134,
              0.90196
            ],
            [
              0.13023,
              0.32915,
              0.52123,
              0.9026
            ],
            [
              0.13018,
              0.32917,
              0.52121,
              0.90258
            ],
            [
              0.13025,
              0.32915,
              0.52124,
              0.90223
            ],
            [
              0.13025,
              0.32915,
              0.52124,
              0.90212
            ],
            [
              0.13027,
              0.32914,
              0.52124,
              0.90247
            ],
            [
              0.13045,
              0.32916,
              0.5213,
              0.90185
            ],
            [
              0.13364,
              0.32917,
              0.52128,
              0.90214
            ],
            [
              0.14406,
              0.32962,
              0.52116,
              0.90241
            ],
            [
              0.16741,
              0.33836,
              0.52206,
              0.90213
            ],
            [
              0.20208,
              0.36095,
              0.5343,
              0.9026
            ],
            [
              0.2499,
              0.4082,
              0.567,
              0.916
            ],
            [
              0.3189,
              0.4831,
              0.6356,
              0.9577
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&!B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.04507,
              0.0945,
              0.14181,
              0.23532
            ],
            [
              0.04788,
              0.09731,
              0.14464,
              0.23815
            ],
            [
              0.05136,
              0.10086,
              0.14812,
              0.24179
            ],
            [
              0.05671,
              0.10637,
              0.15371,
              0.24723
            ],
            [
              0.065,
              0.11467,
              0.16215,
              0.25565
            ],
            [
              0.0779,
              0.12728,
              0.17472,
              0.26822
            ],
            [
              0.09639,
              0.14661,
              0.19409,
              0.28772
            ],
            [
              0.11913,
              0.17572,
              0.22308,
              0.31655
            ],
            [
              0.14683,
              0.21742,
              0.26685,
              0.36012
            ],
            [
              0.18047,
              0.26936,
              0.33029,
              0.42611
            ],
            [
              0.22049,
              0.33305,
              0.40959,
              0.52452
            ],
            [
              0.26727,
              0.41017,
              0.50697,
              0.65157
            ],
            [
              0.3204,
              0.5024,
              0.6253,
              0.8076
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.11407,
              0.25974,
              0.40265,
              0.68866
            ],
            [
              0.11646,
              0.26292,
              0.40656,
              0.69267
            ],
            [
              0.11959,
              0.26689,
              0.41067,
              0.69665
            ],
            [
              0.12477,
              0.27255,
              0.41691,
              0.70322
            ],
            [
              0.13315,
              0.28122,
              0.42557,
              0.71274
            ],
            [
              0.14569,
              0.29374,
              0.43873,
              0.72542
            ],
            [
              0.16414,
              0.31185,
              0.45689,
              0.74445
            ],
            [
              0.19084,
              0.33791,
              0.48303,
              0.77096
            ],
            [
              0.22662,
              0.37625,
              0.52113,
              0.80935
            ],
            [
              0.27152,
              0.43362,
              0.57821,
              0.86649
            ],
            [
              0.32939,
              0.51672,
              0.66422,
              0.95252
            ],
            [
              0.40197,
              0.62487,
              0.79097,
              1.08117
            ],
            [
              0.4899,
              0.7652,
              0.9584,
              1.2748
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03646,
              0.09892,
              0.16135,
              0.28608
            ],
            [
              0.03648,
              0.09888,
              0.16128,
              0.28628
            ],
            [
              0.03638,
              0.09886,
              0.16134,
              0.28619
            ],
            [
              0.03615,
              0.09894,
              0.16136,
              0.28597
            ],
            [
              0.03571,
              0.09894,
              0.16119,
              0.28585
            ],
            [
              0.03738,
              0.09877,
              0.1613,
              0.2863
            ],
            [
              0.04349,
              0.09938,
              0.16133,
              0.28625
            ],
            [
              0.05397,
              0.10546,
              0.16265,
              0.28629
            ],
            [
              0.06826,
              0.12166,
              0.17232,
              0.28705
            ],
            [
              0.08764,
              0.15085,
              0.19672,
              0.29972
            ],
            [
              0.1141,
              0.19017,
              0.24273,
              0.33318
            ],
            [
              0.1496,
              0.2434,
              0.3058,
              0.4018
            ],
            [
              0.1976,
              0.3148,
              0.3901,
              0.5042
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.0849,
              0.2766,
              0.46828,
              0.85074
            ],
            [
              0.08493,
              0.27691,
              0.46844,
              0.85039
            ],
            [
              0.08493,
              0.27662,
              0.46837,
              0.85065
            ],
            [
              0.08495,
              0.27687,
              0.46822,
              0.85083
            ],
            [
              0.08498,
              0.27675,
              0.46829,
              0.85112
            ],
            [
              0.08497,
              0.27687,
              0.46778,
              0.85041
            ],
            [
              0.08516,
              0.27653,
              0.46768,
              0.85083
            ],
            [
              0.08839,
              0.2769,
              0.46818,
              0.8508
            ],
            [
              0.09888,
              0.27692,
              0.46825,
              0.85017
            ],
            [
              0.11683,
              0.28553,
              0.46837,
              0.85024
            ],
            [
              0.14075,
              0.30826,
              0.48054,
              0.8508
            ],
            [
              0.1773,
              0.3543,
              0.5126,
              0.8631
            ],
            [
              0.2315,
              0.4212,
              0.5823,
              0.9038
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&!B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.08096,
              0.15085,
              0.21532,
              0.34016
            ],
            [
              0.08354,
              0.15344,
              0.21789,
              0.34277
            ],
            [
              0.08676,
              0.15676,
              0.22129,
              0.34613
            ],
            [
              0.0918,
              0.16193,
              0.22643,
              0.35125
            ],
            [
              0.09967,
              0.16978,
              0.23449,
              0.35935
            ],
            [
              0.11188,
              0.18192,
              0.2465,
              0.37162
            ],
            [
              0.13054,
              0.20042,
              0.26505,
              0.39001
            ],
            [
              0.16031,
              0.22827,
              0.2927,
              0.41771
            ],
            [
              0.20022,
              0.27053,
              0.3344,
              0.45956
            ],
            [
              0.24935,
              0.33376,
              0.39827,
              0.52265
            ],
            [
              0.30914,
              0.41342,
              0.49102,
              0.61772
            ],
            [
              0.38117,
              0.51067,
              0.60697,
              0.75867
            ],
            [
              0.4665,
              0.6281,
              0.7483,
              0.9366
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.11595,
              0.26131,
              0.4044,
              0.68979
            ],
            [
              0.11856,
              0.26493,
              0.4082,
              0.69396
            ],
            [
              0.12184,
              0.26901,
              0.41259,
              0.69851
            ],
            [
              0.12712,
              0.27504,
              0.41894,
              0.70503
            ],
            [
              0.1354,
              0.2838,
              0.42815,
              0.71456
            ],
            [
              0.14788,
              0.29642,
              0.44107,
              0.72792
            ],
            [
              0.16612,
              0.31427,
              0.45931,
              0.74664
            ],
            [
              0.1927,
              0.34014,
              0.48529,
              0.77302
            ],
            [
              0.22866,
              0.3784,
              0.52349,
              0.81155
            ],
            [
              0.2738,
              0.43573,
              0.58054,
              0.86869
            ],
            [
              0.332,
              0.51882,
              0.66632,
              0.95442
            ],
            [
              0.40517,
              0.62707,
              0.79307,
              1.08337
            ],
            [
              0.4941,
              0.7677,
              0.9607,
              1.277
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.07162,
              0.15613,
              0.23753,
              0.39957
            ],
            [
              0.07185,
              0.15613,
              0.23752,
              0.39956
            ],
            [
              0.07191,
              0.15619,
              0.23767,
              0.39955
            ],
            [
              0.07199,
              0.1562,
              0.23767,
              0.39946
            ],
            [
              0.07171,
              0.15616,
              0.23761,
              0.39946
            ],
            [
              0.07037,
              0.15603,
              0.2376,
              0.39951
            ],
            [
              0.06981,
              0.15553,
              0.23748,
              0.3991
            ],
            [
              0.07457,
              0.15473,
              0.23684,
              0.39922
            ],
            [
              0.08813,
              0.16108,
              0.23772,
              0.39866
            ],
            [
              0.10743,
              0.18132,
              0.25015,
              0.40051
            ],
            [
              0.13452,
              0.22021,
              0.28467,
              0.41975
            ],
            [
              0.1714,
              0.2738,
              0.3469,
              0.4702
            ],
            [
              0.221,
              0.3463,
              0.4328,
              0.5698
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.13284,
              0.34098,
              0.54497,
              0.94536
            ],
            [
              0.13284,
              0.34095,
              0.54503,
              0.94559
            ],
            [
              0.13284,
              0.34094,
              0.545,
              0.94567
            ],
            [
              0.13285,
              0.34093,
              0.54495,
              0.94533
            ],
            [
              0.13285,
              0.34094,
              0.54498,
              0.94531
            ],
            [
              0.13288,
              0.34092,
              0.54495,
              0.94538
            ],
            [
              0.13306,
              0.34095,
              0.545,
              0.94535
            ],
            [
              0.13627,
              0.34093,
              0.54494,
              0.94558
            ],
            [
              0.14667,
              0.34138,
              0.54496,
              0.9456
            ],
            [
              0.17103,
              0.35026,
              0.54566,
              0.94553
            ],
            [
              0.20988,
              0.37275,
              0.558,
              0.9457
            ],
            [
              0.2636,
              0.4212,
              0.5906,
              0.9587
            ],
            [
              0.3435,
              0.5035,
              0.6604,
              1.001
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.04414,
              0.09236,
              0.13848,
              0.22964
            ],
            [
              0.04697,
              0.09519,
              0.14134,
              0.23249
            ],
            [
              0.05049,
              0.09876,
              0.14483,
              0.23613
            ],
            [
              0.05586,
              0.10418,
              0.15044,
              0.2416
            ],
            [
              0.06419,
              0.11263,
              0.15892,
              0.25007
            ],
            [
              0.07718,
              0.12528,
              0.17153,
              0.26268
            ],
            [
              0.09554,
              0.14469,
              0.19097,
              0.28223
            ],
            [
              0.11811,
              0.17392,
              0.22007,
              0.31116
            ],
            [
              0.14562,
              0.21541,
              0.26399,
              0.35488
            ],
            [
              0.17905,
              0.26698,
              0.32717,
              0.42133
            ],
            [
              0.21882,
              0.33025,
              0.40591,
              0.51942
            ],
            [
              0.26537,
              0.40687,
              0.50267,
              0.64557
            ],
            [
              0.3182,
              0.4986,
              0.6203,
              0.8006
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.11403,
              0.25971,
              0.40261,
              0.68863
            ],
            [
              0.11639,
              0.26289,
              0.4065,
              0.6926
            ],
            [
              0.1195,
              0.2668,
              0.41057,
              0.69653
            ],
            [
              0.12469,
              0.27243,
              0.4168,
              0.7031
            ],
            [
              0.13306,
              0.28132,
              0.42544,
              0.71261
            ],
            [
              0.14561,
              0.2936,
              0.43858,
              0.72527
            ],
            [
              0.16409,
              0.31172,
              0.45674,
              0.74429
            ],
            [
              0.1908,
              0.3378,
              0.48289,
              0.77081
            ],
            [
              0.2266,
              0.37617,
              0.52102,
              0.80915
            ],
            [
              0.2715,
              0.43357,
              0.57812,
              0.86639
            ],
            [
              0.32938,
              0.51672,
              0.66412,
              0.95242
            ],
            [
              0.40197,
              0.62477,
              0.79097,
              1.08107
            ],
            [
              0.4899,
              0.7651,
              0.9584,
              1.2748
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03545,
              0.09634,
              0.15716,
              0.27853
            ],
            [
              0.03546,
              0.09632,
              0.1571,
              0.27896
            ],
            [
              0.03538,
              0.0963,
              0.15699,
              0.27882
            ],
            [
              0.03516,
              0.09632,
              0.15718,
              0.27853
            ],
            [
              0.03473,
              0.09632,
              0.15695,
              0.27876
            ],
            [
              0.03652,
              0.09618,
              0.15718,
              0.27871
            ],
            [
              0.04296,
              0.09692,
              0.15699,
              0.2789
            ],
            [
              0.05329,
              0.1033,
              0.15864,
              0.27894
            ],
            [
              0.06754,
              0.11978,
              0.1686,
              0.28039
            ],
            [
              0.08682,
              0.14899,
              0.19378,
              0.29308
            ],
            [
              0.11316,
              0.18816,
              0.23972,
              0.3273
            ],
            [
              0.1485,
              0.2412,
              0.3025,
              0.3967
            ],
            [
              0.1963,
              0.3121,
              0.3867,
              0.4985
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.0849,
              0.27663,
              0.46828,
              0.85067
            ],
            [
              0.08493,
              0.27692,
              0.46844,
              0.85036
            ],
            [
              0.08494,
              0.27662,
              0.46837,
              0.85064
            ],
            [
              0.08495,
              0.27687,
              0.46823,
              0.85075
            ],
            [
              0.08498,
              0.27679,
              0.46829,
              0.85117
            ],
            [
              0.08491,
              0.27687,
              0.46778,
              0.85036
            ],
            [
              0.08516,
              0.27653,
              0.46768,
              0.8508
            ],
            [
              0.0884,
              0.2769,
              0.46819,
              0.85078
            ],
            [
              0.09889,
              0.27692,
              0.46827,
              0.85022
            ],
            [
              0.11683,
              0.28554,
              0.46837,
              0.85027
            ],
            [
              0.14076,
              0.30821,
              0.48061,
              0.8508
            ],
            [
              0.1773,
              0.3543,
              0.5127,
              0.8631
            ],
            [
              0.2315,
              0.4212,
              0.5824,
              0.9039
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.05813,
              0.10904,
              0.15705,
              0.25128
            ],
            [
              0.06099,
              0.11188,
              0.15989,
              0.25414
            ],
            [
              0.06452,
              0.11539,
              0.16349,
              0.25775
            ],
            [
              0.06996,
              0.12086,
              0.169,
              0.26322
            ],
            [
              0.07818,
              0.12924,
              0.17728,
              0.2717
            ],
            [
              0.09096,
              0.14206,
              0.19002,
              0.28449
            ],
            [
              0.11082,
              0.16103,
              0.20945,
              0.30377
            ],
            [
              0.13812,
              0.19043,
              0.23843,
              0.33261
            ],
            [
              0.17168,
              0.23427,
              0.28224,
              0.37607
            ],
            [
              0.21276,
              0.29107,
              0.34784,
              0.44229
            ],
            [
              0.26278,
              0.36111,
              0.4321,
              0.54172
            ],
            [
              0.32187,
              0.44617,
              0.53577,
              0.67347
            ],
            [
              0.3913,
              0.5489,
              0.6623,
              0.8357
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.11563,
              0.26098,
              0.40403,
              0.68951
            ],
            [
              0.11801,
              0.26436,
              0.40763,
              0.69338
            ],
            [
              0.12114,
              0.26824,
              0.41181,
              0.69764
            ],
            [
              0.12631,
              0.27405,
              0.41796,
              0.70407
            ],
            [
              0.1346,
              0.28268,
              0.42695,
              0.71349
            ],
            [
              0.1472,
              0.29521,
              0.43981,
              0.7267
            ],
            [
              0.16563,
              0.3131,
              0.45798,
              0.74527
            ],
            [
              0.19238,
              0.33914,
              0.48403,
              0.77167
            ],
            [
              0.22843,
              0.37764,
              0.52238,
              0.81015
            ],
            [
              0.27362,
              0.43521,
              0.57967,
              0.86749
            ],
            [
              0.3319,
              0.51852,
              0.66572,
              0.95332
            ],
            [
              0.40517,
              0.62687,
              0.79267,
              1.08267
            ],
            [
              0.494,
              0.7675,
              0.9604,
              1.2765
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.04576,
              0.10904,
              0.17161,
              0.29626
            ],
            [
              0.04575,
              0.10909,
              0.17165,
              0.29655
            ],
            [
              0.04576,
              0.10909,
              0.17163,
              0.29636
            ],
            [
              0.0457,
              0.1091,
              0.17164,
              0.29619
            ],
            [
              0.04531,
              0.10906,
              0.17165,
              0.29662
            ],
            [
              0.04494,
              0.10888,
              0.17158,
              0.29654
            ],
            [
              0.04816,
              0.10864,
              0.17163,
              0.29637
            ],
            [
              0.05774,
              0.11222,
              0.17181,
              0.29667
            ],
            [
              0.07175,
              0.12508,
              0.17897,
              0.29696
            ],
            [
              0.09094,
              0.15267,
              0.20009,
              0.30664
            ],
            [
              0.11696,
              0.19158,
              0.24381,
              0.33707
            ],
            [
              0.1526,
              0.2438,
              0.3062,
              0.4024
            ],
            [
              0.2005,
              0.3142,
              0.3898,
              0.5041
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.13025,
              0.3292,
              0.52127,
              0.90222
            ],
            [
              0.13017,
              0.32917,
              0.52124,
              0.90249
            ],
            [
              0.13025,
              0.32918,
              0.52121,
              0.90193
            ],
            [
              0.13025,
              0.32915,
              0.52125,
              0.90212
            ],
            [
              0.13025,
              0.32916,
              0.52118,
              0.90261
            ],
            [
              0.13029,
              0.32913,
              0.52119,
              0.90232
            ],
            [
              0.13049,
              0.32916,
              0.52132,
              0.90194
            ],
            [
              0.13376,
              0.32918,
              0.5214,
              0.90232
            ],
            [
              0.14416,
              0.32966,
              0.52118,
              0.9025
            ],
            [
              0.16755,
              0.33853,
              0.52211,
              0.90237
            ],
            [
              0.20216,
              0.36108,
              0.53446,
              0.9026
            ],
            [
              0.2501,
              0.4084,
              0.5672,
              0.916
            ],
            [
              0.319,
              0.4833,
              0.6359,
              0.9579
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.04106,
              0.08559,
              0.12809,
              0.21199
            ],
            [
              0.04398,
              0.0885,
              0.13098,
              0.21489
            ],
            [
              0.04759,
              0.09213,
              0.13458,
              0.21862
            ],
            [
              0.05308,
              0.09763,
              0.14028,
              0.22418
            ],
            [
              0.0616,
              0.10621,
              0.14867,
              0.23278
            ],
            [
              0.07486,
              0.11923,
              0.16163,
              0.24556
            ],
            [
              0.09284,
              0.13878,
              0.18137,
              0.26538
            ],
            [
              0.11498,
              0.16846,
              0.21089,
              0.29473
            ],
            [
              0.14198,
              0.20928,
              0.25543,
              0.33903
            ],
            [
              0.17484,
              0.25987,
              0.31776,
              0.40631
            ],
            [
              0.21397,
              0.32201,
              0.39501,
              0.50402
            ],
            [
              0.25977,
              0.39737,
              0.49007,
              0.62777
            ],
            [
              0.3118,
              0.4876,
              0.6057,
              0.78
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.11384,
              0.25952,
              0.40242,
              0.68844
            ],
            [
              0.11614,
              0.26259,
              0.40619,
              0.69228
            ],
            [
              0.11921,
              0.26645,
              0.41022,
              0.69608
            ],
            [
              0.1244,
              0.27204,
              0.41639,
              0.70269
            ],
            [
              0.13279,
              0.28089,
              0.42508,
              0.71222
            ],
            [
              0.14542,
              0.29317,
              0.43813,
              0.72481
            ],
            [
              0.16396,
              0.31135,
              0.4563,
              0.74381
            ],
            [
              0.19072,
              0.3375,
              0.48249,
              0.77035
            ],
            [
              0.22653,
              0.37596,
              0.52069,
              0.80875
            ],
            [
              0.27145,
              0.43343,
              0.57788,
              0.86599
            ],
            [
              0.32934,
              0.51662,
              0.66402,
              0.95212
            ],
            [
              0.40197,
              0.62477,
              0.79087,
              1.08087
            ],
            [
              0.4899,
              0.7651,
              0.9583,
              1.2746
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03246,
              0.08847,
              0.1443,
              0.25675
            ],
            [
              0.03238,
              0.08849,
              0.1445,
              0.25678
            ],
            [
              0.03231,
              0.08848,
              0.14437,
              0.25676
            ],
            [
              0.03208,
              0.08846,
              0.14436,
              0.25677
            ],
            [
              0.03185,
              0.08836,
              0.14448,
              0.25664
            ],
            [
              0.03414,
              0.08829,
              0.14448,
              0.25682
            ],
            [
              0.04106,
              0.08961,
              0.14431,
              0.25679
            ],
            [
              0.05129,
              0.09686,
              0.14687,
              0.25632
            ],
            [
              0.06538,
              0.11445,
              0.158,
              0.25878
            ],
            [
              0.08446,
              0.14347,
              0.18475,
              0.2735
            ],
            [
              0.11054,
              0.18222,
              0.23085,
              0.31082
            ],
            [
              0.14541,
              0.2345,
              0.2928,
              0.3816
            ],
            [
              0.1926,
              0.3045,
              0.3758,
              0.4821
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.08491,
              0.27666,
              0.46828,
              0.85067
            ],
            [
              0.08495,
              0.27692,
              0.46841,
              0.8508
            ],
            [
              0.08495,
              0.27661,
              0.46837,
              0.85021
            ],
            [
              0.08495,
              0.27687,
              0.46824,
              0.85076
            ],
            [
              0.08498,
              0.27679,
              0.46832,
              0.85037
            ],
            [
              0.08489,
              0.27686,
              0.46776,
              0.85044
            ],
            [
              0.08517,
              0.27654,
              0.46769,
              0.85078
            ],
            [
              0.08842,
              0.2769,
              0.46819,
              0.85088
            ],
            [
              0.09892,
              0.2769,
              0.46829,
              0.85015
            ],
            [
              0.11686,
              0.28557,
              0.46843,
              0.85025
            ],
            [
              0.14077,
              0.30825,
              0.48061,
              0.8508
            ],
            [
              0.1774,
              0.3543,
              0.5127,
              0.8631
            ],
            [
              0.2316,
              0.4212,
              0.5824,
              0.9039
            ]
          ]
        },
        "sdf_cond": "(A1&A2&A3&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&A3&!B2)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03836,
              0.09424,
              0.1491,
              0.2584
            ],
            [
              0.04096,
              0.09723,
              0.15218,
              0.26149
            ],
            [
              0.04412,
              0.1008,
              0.15577,
              0.2652
            ],
            [
              0.04903,
              0.10598,
              0.16107,
              0.27054
            ],
            [
              0.05669,
              0.11407,
              0.16909,
              0.27899
            ],
            [
              0.06834,
              0.12564,
              0.18118,
              0.29099
            ],
            [
              0.0824,
              0.14344,
              0.1989,
              0.30924
            ],
            [
              0.09908,
              0.17075,
              0.22626,
              0.33648
            ],
            [
              0.11857,
              0.20849,
              0.26695,
              0.37731
            ],
            [
              0.14093,
              0.25433,
              0.32635,
              0.43859
            ],
            [
              0.16563,
              0.30906,
              0.39923,
              0.53152
            ],
            [
              0.19127,
              0.37347,
              0.48667,
              0.65227
            ],
            [
              0.2158,
              0.4478,
              0.5913,
              0.7984
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.09233,
              0.23907,
              0.38276,
              0.66905
            ],
            [
              0.09352,
              0.24178,
              0.38551,
              0.67159
            ],
            [
              0.09547,
              0.24459,
              0.38889,
              0.67571
            ],
            [
              0.09928,
              0.24938,
              0.39371,
              0.68073
            ],
            [
              0.10596,
              0.25658,
              0.4016,
              0.68891
            ],
            [
              0.11739,
              0.26761,
              0.41325,
              0.70128
            ],
            [
              0.1358,
              0.28522,
              0.43105,
              0.71903
            ],
            [
              0.16509,
              0.31281,
              0.45858,
              0.74712
            ],
            [
              0.20288,
              0.35553,
              0.50106,
              0.78975
            ],
            [
              0.25039,
              0.42125,
              0.56587,
              0.85369
            ],
            [
              0.3095,
              0.51992,
              0.66472,
              0.95182
            ],
            [
              0.38287,
              0.64717,
              0.81587,
              1.10187
            ],
            [
              0.4742,
              0.8064,
              1.0172,
              1.3284
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.032,
              0.10596,
              0.17926,
              0.32493
            ],
            [
              0.03191,
              0.10589,
              0.17919,
              0.3252
            ],
            [
              0.03171,
              0.10595,
              0.17912,
              0.32523
            ],
            [
              0.03141,
              0.10586,
              0.17908,
              0.32516
            ],
            [
              0.03166,
              0.10593,
              0.1791,
              0.32542
            ],
            [
              0.03508,
              0.10556,
              0.17899,
              0.32529
            ],
            [
              0.04296,
              0.10633,
              0.17881,
              0.3255
            ],
            [
              0.05353,
              0.113,
              0.18004,
              0.3255
            ],
            [
              0.06874,
              0.1304,
              0.18953,
              0.32584
            ],
            [
              0.08946,
              0.16017,
              0.21414,
              0.33629
            ],
            [
              0.11779,
              0.20123,
              0.26062,
              0.3687
            ],
            [
              0.15614,
              0.2572,
              0.3258,
              0.4356
            ],
            [
              0.2069,
              0.3318,
              0.4132,
              0.5398
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.08481,
              0.27652,
              0.46844,
              0.84989
            ],
            [
              0.08483,
              0.27695,
              0.4682,
              0.8486
            ],
            [
              0.0849,
              0.27677,
              0.46843,
              0.85051
            ],
            [
              0.08479,
              0.27699,
              0.46796,
              0.84872
            ],
            [
              0.08483,
              0.27693,
              0.46842,
              0.85006
            ],
            [
              0.0846,
              0.27689,
              0.46847,
              0.85043
            ],
            [
              0.08581,
              0.2767,
              0.46808,
              0.85114
            ],
            [
              0.09446,
              0.27672,
              0.46824,
              0.85054
            ],
            [
              0.11464,
              0.27759,
              0.46828,
              0.851
            ],
            [
              0.14141,
              0.2905,
              0.46874,
              0.85058
            ],
            [
              0.17692,
              0.32572,
              0.4845,
              0.8503
            ],
            [
              0.2246,
              0.396,
              0.5317,
              0.8637
            ],
            [
              0.287,
              0.4937,
              0.6323,
              0.9207
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&!B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&!B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.05493,
              0.11629,
              0.17476,
              0.29018
            ],
            [
              0.0578,
              0.11933,
              0.17786,
              0.29332
            ],
            [
              0.06118,
              0.12291,
              0.18143,
              0.29705
            ],
            [
              0.06627,
              0.12821,
              0.18696,
              0.30242
            ],
            [
              0.07399,
              0.13625,
              0.19501,
              0.31066
            ],
            [
              0.08585,
              0.14819,
              0.20702,
              0.32278
            ],
            [
              0.10451,
              0.166,
              0.2251,
              0.34091
            ],
            [
              0.12802,
              0.1931,
              0.25212,
              0.36816
            ],
            [
              0.1561,
              0.23401,
              0.29304,
              0.40857
            ],
            [
              0.18927,
              0.28645,
              0.35476,
              0.47045
            ],
            [
              0.22783,
              0.34991,
              0.43452,
              0.56352
            ],
            [
              0.27157,
              0.42537,
              0.53097,
              0.69107
            ],
            [
              0.3191,
              0.513,
              0.6466,
              0.8475
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.09401,
              0.24074,
              0.38401,
              0.66958
            ],
            [
              0.0952,
              0.24328,
              0.38696,
              0.67282
            ],
            [
              0.09722,
              0.2463,
              0.39028,
              0.67635
            ],
            [
              0.10099,
              0.25098,
              0.39538,
              0.68178
            ],
            [
              0.10773,
              0.25821,
              0.40306,
              0.68995
            ],
            [
              0.11907,
              0.26939,
              0.4147,
              0.7021
            ],
            [
              0.13746,
              0.2869,
              0.43263,
              0.72046
            ],
            [
              0.1667,
              0.31444,
              0.46026,
              0.7486
            ],
            [
              0.20503,
              0.35714,
              0.50256,
              0.79085
            ],
            [
              0.25315,
              0.423,
              0.56735,
              0.85539
            ],
            [
              0.31292,
              0.52172,
              0.66632,
              0.95342
            ],
            [
              0.38737,
              0.64937,
              0.81767,
              1.10307
            ],
            [
              0.48,
              0.8092,
              1.0194,
              1.3302
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.0473,
              0.12415,
              0.20076,
              0.35404
            ],
            [
              0.0473,
              0.12402,
              0.20067,
              0.35401
            ],
            [
              0.04728,
              0.12412,
              0.20066,
              0.35399
            ],
            [
              0.04705,
              0.12411,
              0.20077,
              0.35397
            ],
            [
              0.04635,
              0.12415,
              0.20072,
              0.35374
            ],
            [
              0.04619,
              0.12392,
              0.2005,
              0.35405
            ],
            [
              0.05014,
              0.12344,
              0.20066,
              0.35412
            ],
            [
              0.06012,
              0.12657,
              0.20032,
              0.35402
            ],
            [
              0.07387,
              0.13927,
              0.20624,
              0.35374
            ],
            [
              0.09352,
              0.1672,
              0.2261,
              0.36084
            ],
            [
              0.12067,
              0.20715,
              0.26951,
              0.38805
            ],
            [
              0.1575,
              0.2618,
              0.3341,
              0.4505
            ],
            [
              0.2065,
              0.3358,
              0.4213,
              0.5537
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.13021,
              0.32913,
              0.52114,
              0.90197
            ],
            [
              0.13023,
              0.32918,
              0.52126,
              0.90221
            ],
            [
              0.13023,
              0.32913,
              0.52117,
              0.90238
            ],
            [
              0.13012,
              0.3292,
              0.52125,
              0.90192
            ],
            [
              0.13012,
              0.32917,
              0.52126,
              0.90217
            ],
            [
              0.12993,
              0.3292,
              0.52135,
              0.90241
            ],
            [
              0.13102,
              0.32922,
              0.52125,
              0.90229
            ],
            [
              0.13982,
              0.32919,
              0.52128,
              0.9022
            ],
            [
              0.1598,
              0.33008,
              0.5212,
              0.90228
            ],
            [
              0.1995,
              0.34307,
              0.52188,
              0.90256
            ],
            [
              0.24868,
              0.37848,
              0.53803,
              0.9022
            ],
            [
              0.3144,
              0.4494,
              0.586,
              0.9159
            ],
            [
              0.4013,
              0.5592,
              0.6862,
              0.973
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&!B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&!B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03272,
              0.07635,
              0.11922,
              0.20448
            ],
            [
              0.03554,
              0.07949,
              0.12241,
              0.2079
            ],
            [
              0.03895,
              0.08325,
              0.1262,
              0.21181
            ],
            [
              0.04421,
              0.08878,
              0.13187,
              0.21746
            ],
            [
              0.05233,
              0.0971,
              0.14017,
              0.22593
            ],
            [
              0.06351,
              0.10954,
              0.15278,
              0.2385
            ],
            [
              0.07677,
              0.12836,
              0.17162,
              0.25734
            ],
            [
              0.09255,
              0.15649,
              0.2002,
              0.28591
            ],
            [
              0.11102,
              0.19215,
              0.24294,
              0.32905
            ],
            [
              0.13224,
              0.23554,
              0.29966,
              0.39372
            ],
            [
              0.15567,
              0.28742,
              0.36865,
              0.48572
            ],
            [
              0.17997,
              0.34857,
              0.45157,
              0.60007
            ],
            [
              0.2026,
              0.4193,
              0.551,
              0.7387
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.09196,
              0.23884,
              0.38215,
              0.66866
            ],
            [
              0.09295,
              0.24118,
              0.38471,
              0.67148
            ],
            [
              0.09482,
              0.24388,
              0.38822,
              0.67499
            ],
            [
              0.09853,
              0.24849,
              0.39287,
              0.67983
            ],
            [
              0.10539,
              0.2556,
              0.40052,
              0.68784
            ],
            [
              0.11673,
              0.26666,
              0.4122,
              0.70008
            ],
            [
              0.13535,
              0.28412,
              0.42983,
              0.71778
            ],
            [
              0.1648,
              0.31189,
              0.4573,
              0.74584
            ],
            [
              0.20273,
              0.35483,
              0.49998,
              0.78845
            ],
            [
              0.25024,
              0.42071,
              0.56467,
              0.85239
            ],
            [
              0.30929,
              0.51922,
              0.66412,
              0.95092
            ],
            [
              0.38277,
              0.64657,
              0.81547,
              1.10117
            ],
            [
              0.4743,
              0.8065,
              1.017,
              1.328
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.02423,
              0.08198,
              0.13965,
              0.25478
            ],
            [
              0.02419,
              0.08199,
              0.13952,
              0.25477
            ],
            [
              0.02414,
              0.08201,
              0.13945,
              0.25451
            ],
            [
              0.02401,
              0.08199,
              0.13956,
              0.25474
            ],
            [
              0.02527,
              0.08192,
              0.13953,
              0.25461
            ],
            [
              0.03,
              0.08184,
              0.13956,
              0.25475
            ],
            [
              0.03784,
              0.08457,
              0.13951,
              0.25473
            ],
            [
              0.04842,
              0.09398,
              0.14315,
              0.2543
            ],
            [
              0.06315,
              0.11419,
              0.15653,
              0.25766
            ],
            [
              0.08346,
              0.14351,
              0.1861,
              0.27448
            ],
            [
              0.11077,
              0.1832,
              0.2329,
              0.31418
            ],
            [
              0.14792,
              0.2372,
              0.2962,
              0.3869
            ],
            [
              0.1978,
              0.3098,
              0.3807,
              0.4878
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.0849,
              0.27696,
              0.4684,
              0.84967
            ],
            [
              0.08482,
              0.27669,
              0.46821,
              0.84929
            ],
            [
              0.0849,
              0.27665,
              0.46839,
              0.85051
            ],
            [
              0.08482,
              0.27699,
              0.46805,
              0.84857
            ],
            [
              0.08476,
              0.27694,
              0.46841,
              0.85002
            ],
            [
              0.0846,
              0.27664,
              0.46846,
              0.85043
            ],
            [
              0.08592,
              0.27671,
              0.46814,
              0.85111
            ],
            [
              0.09467,
              0.2767,
              0.46821,
              0.85056
            ],
            [
              0.11472,
              0.27767,
              0.46826,
              0.85108
            ],
            [
              0.14167,
              0.2907,
              0.46887,
              0.85069
            ],
            [
              0.17706,
              0.32617,
              0.4846,
              0.8503
            ],
            [
              0.2248,
              0.3966,
              0.532,
              0.8639
            ],
            [
              0.2868,
              0.4937,
              0.6325,
              0.921
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&!B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&!B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.0582,
              0.12594,
              0.18738,
              0.30598
            ],
            [
              0.06105,
              0.12898,
              0.19046,
              0.30912
            ],
            [
              0.06446,
              0.13253,
              0.19415,
              0.31285
            ],
            [
              0.06968,
              0.13786,
              0.19956,
              0.31827
            ],
            [
              0.07775,
              0.14585,
              0.2075,
              0.32649
            ],
            [
              0.09024,
              0.15794,
              0.21969,
              0.33862
            ],
            [
              0.11026,
              0.17572,
              0.23773,
              0.3567
            ],
            [
              0.13734,
              0.20344,
              0.2649,
              0.38388
            ],
            [
              0.17022,
              0.24552,
              0.30554,
              0.42482
            ],
            [
              0.20995,
              0.30233,
              0.3685,
              0.48591
            ],
            [
              0.25688,
              0.37127,
              0.45302,
              0.57932
            ],
            [
              0.31157,
              0.45417,
              0.55547,
              0.71087
            ],
            [
              0.3734,
              0.5515,
              0.6783,
              0.8724
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.09399,
              0.24073,
              0.384,
              0.66956
            ],
            [
              0.09519,
              0.24329,
              0.38694,
              0.67279
            ],
            [
              0.09721,
              0.24629,
              0.39027,
              0.67635
            ],
            [
              0.10097,
              0.25094,
              0.39537,
              0.68175
            ],
            [
              0.10772,
              0.2582,
              0.40305,
              0.68993
            ],
            [
              0.11904,
              0.26938,
              0.41469,
              0.7021
            ],
            [
              0.13745,
              0.28687,
              0.43262,
              0.72055
            ],
            [
              0.16668,
              0.31443,
              0.46025,
              0.74857
            ],
            [
              0.20501,
              0.35714,
              0.50255,
              0.79085
            ],
            [
              0.25312,
              0.42298,
              0.56736,
              0.85529
            ],
            [
              0.31302,
              0.52172,
              0.66632,
              0.95342
            ],
            [
              0.38727,
              0.64937,
              0.81767,
              1.10307
            ],
            [
              0.4799,
              0.8091,
              1.0193,
              1.3302
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.05853,
              0.13803,
              0.21504,
              0.36881
            ],
            [
              0.05881,
              0.13811,
              0.2153,
              0.36886
            ],
            [
              0.05883,
              0.13798,
              0.21532,
              0.36891
            ],
            [
              0.05844,
              0.13821,
              0.21533,
              0.36883
            ],
            [
              0.05719,
              0.13812,
              0.21519,
              0.36858
            ],
            [
              0.05617,
              0.13765,
              0.21519,
              0.36864
            ],
            [
              0.05853,
              0.13643,
              0.21488,
              0.36866
            ],
            [
              0.06758,
              0.13782,
              0.21375,
              0.36877
            ],
            [
              0.0812,
              0.14784,
              0.21748,
              0.368
            ],
            [
              0.10035,
              0.17287,
              0.23425,
              0.37282
            ],
            [
              0.12696,
              0.21212,
              0.274,
              0.39647
            ],
            [
              0.1631,
              0.2654,
              0.3372,
              0.455
            ],
            [
              0.2118,
              0.3382,
              0.4233,
              0.5565
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.13283,
              0.34094,
              0.54473,
              0.94535
            ],
            [
              0.13283,
              0.34089,
              0.54498,
              0.94533
            ],
            [
              0.13283,
              0.34092,
              0.54479,
              0.94568
            ],
            [
              0.13282,
              0.34097,
              0.54492,
              0.94522
            ],
            [
              0.13274,
              0.34096,
              0.54502,
              0.94546
            ],
            [
              0.13252,
              0.34098,
              0.54498,
              0.9456
            ],
            [
              0.13368,
              0.34098,
              0.54494,
              0.94538
            ],
            [
              0.14243,
              0.34096,
              0.54501,
              0.9455
            ],
            [
              0.16252,
              0.34185,
              0.545,
              0.94557
            ],
            [
              0.2037,
              0.35486,
              0.54567,
              0.94565
            ],
            [
              0.25854,
              0.39028,
              0.56173,
              0.9456
            ],
            [
              0.3325,
              0.4619,
              0.6096,
              0.9591
            ],
            [
              0.4367,
              0.5803,
              0.7104,
              1.0165
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&!B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&!B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03215,
              0.07458,
              0.1163,
              0.19926
            ],
            [
              0.03502,
              0.07776,
              0.11947,
              0.20252
            ],
            [
              0.03843,
              0.08149,
              0.12323,
              0.20651
            ],
            [
              0.04373,
              0.08707,
              0.12888,
              0.21216
            ],
            [
              0.05188,
              0.09539,
              0.13733,
              0.22065
            ],
            [
              0.06296,
              0.10796,
              0.1499,
              0.23337
            ],
            [
              0.07612,
              0.12683,
              0.16885,
              0.25234
            ],
            [
              0.09182,
              0.15492,
              0.1976,
              0.28099
            ],
            [
              0.11012,
              0.1903,
              0.24039,
              0.3243
            ],
            [
              0.1312,
              0.23336,
              0.29666,
              0.38913
            ],
            [
              0.15447,
              0.28488,
              0.36513,
              0.48072
            ],
            [
              0.17857,
              0.34567,
              0.44747,
              0.59407
            ],
            [
              0.201,
              0.4158,
              0.5462,
              0.7318
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.09192,
              0.23877,
              0.3822,
              0.66869
            ],
            [
              0.09292,
              0.24111,
              0.38463,
              0.67141
            ],
            [
              0.09471,
              0.24378,
              0.38811,
              0.67489
            ],
            [
              0.09843,
              0.24835,
              0.39274,
              0.6797
            ],
            [
              0.10529,
              0.25547,
              0.40036,
              0.68768
            ],
            [
              0.11667,
              0.26651,
              0.41203,
              0.69991
            ],
            [
              0.1353,
              0.28388,
              0.42966,
              0.7176
            ],
            [
              0.16475,
              0.31178,
              0.45715,
              0.74565
            ],
            [
              0.20272,
              0.35491,
              0.49969,
              0.78835
            ],
            [
              0.25022,
              0.42063,
              0.56458,
              0.85219
            ],
            [
              0.30942,
              0.51922,
              0.66402,
              0.95082
            ],
            [
              0.38277,
              0.64647,
              0.81547,
              1.10107
            ],
            [
              0.4743,
              0.8065,
              1.017,
              1.3279
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.02344,
              0.07956,
              0.13562,
              0.24773
            ],
            [
              0.02346,
              0.07966,
              0.13557,
              0.24779
            ],
            [
              0.02337,
              0.07956,
              0.13573,
              0.24744
            ],
            [
              0.0233,
              0.07964,
              0.13569,
              0.24789
            ],
            [
              0.0247,
              0.07954,
              0.13545,
              0.24782
            ],
            [
              0.02962,
              0.07958,
              0.13545,
              0.24732
            ],
            [
              0.03732,
              0.08247,
              0.13546,
              0.24756
            ],
            [
              0.04791,
              0.09212,
              0.13981,
              0.24756
            ],
            [
              0.06254,
              0.11257,
              0.15355,
              0.25131
            ],
            [
              0.08272,
              0.14158,
              0.18333,
              0.26812
            ],
            [
              0.10994,
              0.1812,
              0.22998,
              0.30905
            ],
            [
              0.14696,
              0.235,
              0.293,
              0.382
            ],
            [
              0.1968,
              0.3071,
              0.3764,
              0.4822
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.08489,
              0.27698,
              0.4684,
              0.85023
            ],
            [
              0.08484,
              0.2767,
              0.4682,
              0.84926
            ],
            [
              0.08491,
              0.27665,
              0.4684,
              0.85051
            ],
            [
              0.08483,
              0.27699,
              0.46805,
              0.8486
            ],
            [
              0.08476,
              0.27694,
              0.46841,
              0.85007
            ],
            [
              0.08459,
              0.27664,
              0.46846,
              0.85039
            ],
            [
              0.08593,
              0.27688,
              0.46812,
              0.85109
            ],
            [
              0.09468,
              0.2767,
              0.46822,
              0.85064
            ],
            [
              0.11471,
              0.27739,
              0.46821,
              0.85105
            ],
            [
              0.14167,
              0.2907,
              0.46884,
              0.85064
            ],
            [
              0.17698,
              0.32621,
              0.4846,
              0.8503
            ],
            [
              0.2249,
              0.3967,
              0.532,
              0.8639
            ],
            [
              0.2868,
              0.4938,
              0.6325,
              0.9209
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&!B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&!B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.04365,
              0.09076,
              0.13536,
              0.22321
            ],
            [
              0.0467,
              0.09396,
              0.13857,
              0.22647
            ],
            [
              0.05031,
              0.0977,
              0.14229,
              0.23036
            ],
            [
              0.05577,
              0.10322,
              0.14805,
              0.23592
            ],
            [
              0.06412,
              0.1117,
              0.15647,
              0.24448
            ],
            [
              0.07699,
              0.12426,
              0.16906,
              0.25719
            ],
            [
              0.09502,
              0.14309,
              0.18809,
              0.27606
            ],
            [
              0.1169,
              0.17186,
              0.21659,
              0.30432
            ],
            [
              0.14311,
              0.21193,
              0.25968,
              0.3474
            ],
            [
              0.17416,
              0.26095,
              0.32057,
              0.41239
            ],
            [
              0.21034,
              0.32035,
              0.39548,
              0.50742
            ],
            [
              0.25137,
              0.39117,
              0.48567,
              0.62747
            ],
            [
              0.2959,
              0.4736,
              0.5942,
              0.7733
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.09363,
              0.24032,
              0.38364,
              0.66923
            ],
            [
              0.0946,
              0.24269,
              0.38631,
              0.67214
            ],
            [
              0.09647,
              0.24546,
              0.38946,
              0.67556
            ],
            [
              0.10014,
              0.24995,
              0.39437,
              0.68078
            ],
            [
              0.10691,
              0.25706,
              0.40183,
              0.68874
            ],
            [
              0.11838,
              0.2681,
              0.41331,
              0.70073
            ],
            [
              0.13691,
              0.28561,
              0.4312,
              0.71901
            ],
            [
              0.16633,
              0.31334,
              0.45885,
              0.74708
            ],
            [
              0.20483,
              0.35631,
              0.50128,
              0.78935
            ],
            [
              0.25292,
              0.42238,
              0.56617,
              0.85389
            ],
            [
              0.31286,
              0.52102,
              0.66562,
              0.95222
            ],
            [
              0.38717,
              0.64887,
              0.81727,
              1.10227
            ],
            [
              0.4799,
              0.8093,
              1.0191,
              1.3297
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03489,
              0.09358,
              0.1521,
              0.26888
            ],
            [
              0.03489,
              0.09357,
              0.15194,
              0.26901
            ],
            [
              0.03481,
              0.09358,
              0.15205,
              0.26919
            ],
            [
              0.03462,
              0.0935,
              0.15213,
              0.26925
            ],
            [
              0.03402,
              0.09351,
              0.15204,
              0.2692
            ],
            [
              0.03569,
              0.09338,
              0.15196,
              0.26924
            ],
            [
              0.04208,
              0.09397,
              0.15199,
              0.26921
            ],
            [
              0.05205,
              0.10037,
              0.15359,
              0.26916
            ],
            [
              0.0658,
              0.11726,
              0.16384,
              0.27093
            ],
            [
              0.08487,
              0.14606,
              0.18967,
              0.28475
            ],
            [
              0.11079,
              0.18482,
              0.23548,
              0.32072
            ],
            [
              0.14588,
              0.237,
              0.2981,
              0.3911
            ],
            [
              0.1934,
              0.3084,
              0.3815,
              0.4916
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.13021,
              0.32916,
              0.52109,
              0.9018
            ],
            [
              0.13026,
              0.32921,
              0.52107,
              0.90193
            ],
            [
              0.13023,
              0.32912,
              0.52115,
              0.90236
            ],
            [
              0.13022,
              0.32918,
              0.52121,
              0.9017
            ],
            [
              0.13005,
              0.32919,
              0.52127,
              0.90197
            ],
            [
              0.12985,
              0.3292,
              0.52117,
              0.90238
            ],
            [
              0.13116,
              0.32923,
              0.52121,
              0.90225
            ],
            [
              0.14008,
              0.32917,
              0.5213,
              0.90231
            ],
            [
              0.16008,
              0.33018,
              0.52127,
              0.90216
            ],
            [
              0.19977,
              0.34339,
              0.52204,
              0.90217
            ],
            [
              0.24878,
              0.37899,
              0.53835,
              0.9026
            ],
            [
              0.3147,
              0.4499,
              0.5863,
              0.9161
            ],
            [
              0.4013,
              0.5592,
              0.6865,
              0.9736
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&!B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&!B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.03038,
              0.06938,
              0.10773,
              0.18411
            ],
            [
              0.03331,
              0.07262,
              0.11098,
              0.18729
            ],
            [
              0.03681,
              0.07642,
              0.11486,
              0.19135
            ],
            [
              0.04225,
              0.08202,
              0.12059,
              0.19698
            ],
            [
              0.05051,
              0.09054,
              0.12908,
              0.20566
            ],
            [
              0.06138,
              0.10328,
              0.14192,
              0.21855
            ],
            [
              0.07426,
              0.12249,
              0.16111,
              0.23784
            ],
            [
              0.08969,
              0.15045,
              0.19025,
              0.26694
            ],
            [
              0.10769,
              0.18517,
              0.23323,
              0.31076
            ],
            [
              0.12843,
              0.22745,
              0.28842,
              0.37664
            ],
            [
              0.15133,
              0.2781,
              0.35564,
              0.46682
            ],
            [
              0.17497,
              0.33787,
              0.43657,
              0.57807
            ],
            [
              0.197,
              0.407,
              0.5337,
              0.7134
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.09171,
              0.23849,
              0.3822,
              0.6684
            ],
            [
              0.09266,
              0.24082,
              0.38434,
              0.67111
            ],
            [
              0.09446,
              0.24344,
              0.38778,
              0.67456
            ],
            [
              0.09816,
              0.24798,
              0.39233,
              0.67927
            ],
            [
              0.10507,
              0.25485,
              0.39991,
              0.68723
            ],
            [
              0.1165,
              0.26611,
              0.41141,
              0.69943
            ],
            [
              0.13519,
              0.28353,
              0.42919,
              0.71713
            ],
            [
              0.16466,
              0.31151,
              0.45676,
              0.74516
            ],
            [
              0.20251,
              0.35454,
              0.49944,
              0.78785
            ],
            [
              0.25017,
              0.42037,
              0.56434,
              0.85179
            ],
            [
              0.30923,
              0.51902,
              0.66382,
              0.95052
            ],
            [
              0.38287,
              0.64657,
              0.81527,
              1.10087
            ],
            [
              0.4743,
              0.8064,
              1.017,
              1.3278
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.02135,
              0.07302,
              0.1246,
              0.22751
            ],
            [
              0.02137,
              0.07298,
              0.12448,
              0.22743
            ],
            [
              0.02134,
              0.07297,
              0.12445,
              0.22794
            ],
            [
              0.0213,
              0.07305,
              0.12451,
              0.22751
            ],
            [
              0.02307,
              0.07301,
              0.12447,
              0.2274
            ],
            [
              0.02822,
              0.07317,
              0.12454,
              0.22742
            ],
            [
              0.03587,
              0.07681,
              0.12464,
              0.22782
            ],
            [
              0.04639,
              0.08723,
              0.12985,
              0.22758
            ],
            [
              0.06098,
              0.1081,
              0.14476,
              0.23286
            ],
            [
              0.08078,
              0.13693,
              0.17597,
              0.25174
            ],
            [
              0.10796,
              0.1759,
              0.22201,
              0.29482
            ],
            [
              0.14445,
              0.229,
              0.2839,
              0.368
            ],
            [
              0.1939,
              0.3001,
              0.3666,
              0.4669
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x4": {
          "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.00661,
            0.01322,
            0.02644
          ],
          "values": [
            [
              0.08493,
              0.27672,
              0.46836,
              0.8504
            ],
            [
              0.08482,
              0.2767,
              0.46814,
              0.84922
            ],
            [
              0.08495,
              0.27669,
              0.4684,
              0.85054
            ],
            [
              0.08485,
              0.277,
              0.46804,
              0.84859
            ],
            [
              0.08473,
              0.27695,
              0.4684,
              0.85001
            ],
            [
              0.08457,
              0.27664,
              0.46847,
              0.85037
            ],
            [
              0.08595,
              0.27687,
              0.46803,
              0.85107
            ],
            [
              0.09478,
              0.27664,
              0.46822,
              0.85062
            ],
            [
              0.11497,
              0.27768,
              0.46819,
              0.85099
            ],
            [
              0.14173,
              0.29072,
              0.46886,
              0.85065
            ],
            [
              0.17712,
              0.32631,
              0.48463,
              0.8503
            ],
            [
              0.2247,
              0.3966,
              0.5322,
              0.8639
            ],
            [
              0.2868,
              0.4938,
              0.6325,
              0.921
            ]
          ]
        },
        "sdf_cond": "(A1&A2&A3&!B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&A3&!B1)"
      }
    ]
  }
}