{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_lp__a32oi",
  "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.00247,
    "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.00542,
          0.00509,
          0.00508,
          0.00504,
          0.00509,
          0.00503,
          0.00504,
          0.00502,
          0.00502,
          0.00544,
          0.00544,
          0.00594,
          0.00585
        ]
      },
      "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.00303,
          0.0033,
          0.00312,
          0.00305,
          0.00304,
          0.00307,
          0.00316,
          0.00315,
          0.00322,
          0.00351,
          0.00355,
          0.00384,
          0.00388
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00241,
    "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.00584,
          0.00533,
          0.00524,
          0.00515,
          0.005,
          0.005,
          0.005,
          0.00501,
          0.00497,
          0.00541,
          0.00541,
          0.00583,
          0.00583
        ]
      },
      "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.00295,
          0.0034,
          0.00305,
          0.00305,
          0.00313,
          0.00312,
          0.00318,
          0.0032,
          0.00324,
          0.00354,
          0.00358,
          0.00389,
          0.00391
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00229,
    "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.00515,
          0.0051,
          0.0051,
          0.00503,
          0.00495,
          0.00496,
          0.00498,
          0.00498,
          0.00497,
          0.00538,
          0.00538,
          0.00579,
          0.00579
        ]
      },
      "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.00333,
          0.00313,
          0.00288,
          0.00304,
          0.00311,
          0.00313,
          0.00315,
          0.0032,
          0.00323,
          0.00354,
          0.00358,
          0.00388,
          0.00393
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00281,
    "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.00287,
          0.00285,
          0.003,
          0.00286,
          0.00289,
          0.00293,
          0.00297,
          0.00301,
          0.00305,
          0.00334,
          0.00338,
          0.00368,
          0.00371
        ]
      },
      "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.00511,
          0.00502,
          0.00495,
          0.005,
          0.00501,
          0.00494,
          0.00495,
          0.00496,
          0.00496,
          0.00536,
          0.00536,
          0.00577,
          0.00577
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00271,
    "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.00267,
          0.00293,
          0.00279,
          0.00278,
          0.00279,
          0.00279,
          0.00286,
          0.00289,
          0.00293,
          0.0032,
          0.00324,
          0.00351,
          0.00354
        ]
      },
      "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.00517,
          0.00489,
          0.00506,
          0.00488,
          0.00492,
          0.00489,
          0.00491,
          0.00491,
          0.00488,
          0.00529,
          0.00529,
          0.0057,
          0.0057
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,Y": {
    "direction": "output",
    "function": "(!A1&!B1) | (!A1&!B2) | (!A2&!B1) | (!A3&!B1) | (!A2&!B2) | (!A3&!B2)",
    "internal_power": [
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.0035,
              -0.0038,
              -0.00527,
              -0.00703,
              -0.00915,
              -0.01168,
              -0.01472
            ],
            [
              0.00352,
              -0.00379,
              -0.00525,
              -0.00702,
              -0.00913,
              -0.01167,
              -0.01471
            ],
            [
              0.00353,
              -0.00377,
              -0.00524,
              -0.007,
              -0.00912,
              -0.01166,
              -0.0147
            ],
            [
              0.00353,
              -0.00377,
              -0.00524,
              -0.007,
              -0.00912,
              -0.01165,
              -0.01469
            ],
            [
              0.00355,
              -0.00374,
              -0.0052,
              -0.00698,
              -0.00909,
              -0.01162,
              -0.01465
            ],
            [
              0.00358,
              -0.00372,
              -0.00518,
              -0.00694,
              -0.00905,
              -0.01159,
              -0.01462
            ],
            [
              0.00362,
              -0.00369,
              -0.00515,
              -0.00691,
              -0.00903,
              -0.01156,
              -0.0146
            ],
            [
              0.00366,
              -0.00366,
              -0.00512,
              -0.00688,
              -0.009,
              -0.01152,
              -0.01456
            ],
            [
              0.00372,
              -0.00362,
              -0.00508,
              -0.00685,
              -0.00897,
              -0.0115,
              -0.01454
            ],
            [
              0.0038,
              -0.00357,
              -0.00504,
              -0.00681,
              -0.00893,
              -0.01146,
              -0.0145
            ],
            [
              0.00387,
              -0.00351,
              -0.00498,
              -0.00676,
              -0.00888,
              -0.01142,
              -0.01447
            ],
            [
              0.00397,
              -0.00344,
              -0.00491,
              -0.00669,
              -0.00882,
              -0.01136,
              -0.01441
            ],
            [
              0.00406,
              -0.00336,
              -0.00484,
              -0.00662,
              -0.00875,
              -0.0113,
              -0.01436
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.01638,
              0.02368,
              0.02513,
              0.02686,
              0.02896,
              0.03146,
              0.03449
            ],
            [
              0.01636,
              0.02368,
              0.02514,
              0.02689,
              0.02899,
              0.03149,
              0.03449
            ],
            [
              0.01634,
              0.02368,
              0.02514,
              0.02689,
              0.02899,
              0.0315,
              0.03451
            ],
            [
              0.01631,
              0.02368,
              0.02513,
              0.02689,
              0.02899,
              0.03149,
              0.03451
            ],
            [
              0.01626,
              0.02365,
              0.02511,
              0.02686,
              0.02897,
              0.03148,
              0.03449
            ],
            [
              0.01621,
              0.02364,
              0.02509,
              0.02685,
              0.02895,
              0.03147,
              0.03448
            ],
            [
              0.01617,
              0.0236,
              0.02505,
              0.02681,
              0.02891,
              0.03144,
              0.03446
            ],
            [
              0.01612,
              0.02355,
              0.02502,
              0.02678,
              0.02888,
              0.0314,
              0.03443
            ],
            [
              0.01608,
              0.02349,
              0.02496,
              0.02672,
              0.02884,
              0.03137,
              0.0344
            ],
            [
              0.01605,
              0.02343,
              0.0249,
              0.02668,
              0.02878,
              0.03131,
              0.03434
            ],
            [
              0.01603,
              0.0234,
              0.02486,
              0.02662,
              0.02875,
              0.03127,
              0.03431
            ],
            [
              0.016,
              0.02334,
              0.02481,
              0.02657,
              0.02868,
              0.03115,
              0.03422
            ],
            [
              0.01599,
              0.0233,
              0.02476,
              0.02652,
              0.02863,
              0.03116,
              0.03419
            ]
          ]
        },
        "when": "(A2&A3&!B1) | (A2&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.00352,
              -0.00379,
              -0.00525,
              -0.00702,
              -0.00913,
              -0.01167,
              -0.01471
            ],
            [
              0.00351,
              -0.00379,
              -0.00525,
              -0.00702,
              -0.00913,
              -0.01167,
              -0.01471
            ],
            [
              0.00351,
              -0.00377,
              -0.00524,
              -0.00701,
              -0.00913,
              -0.01165,
              -0.01469
            ],
            [
              0.00356,
              -0.00374,
              -0.0052,
              -0.00697,
              -0.00908,
              -0.01162,
              -0.01466
            ],
            [
              0.00357,
              -0.00373,
              -0.0052,
              -0.00696,
              -0.00907,
              -0.01161,
              -0.01464
            ],
            [
              0.00359,
              -0.0037,
              -0.00517,
              -0.00693,
              -0.00905,
              -0.01158,
              -0.01461
            ],
            [
              0.00363,
              -0.00367,
              -0.00513,
              -0.0069,
              -0.00901,
              -0.01154,
              -0.01458
            ],
            [
              0.00368,
              -0.00363,
              -0.0051,
              -0.00686,
              -0.00897,
              -0.0115,
              -0.01454
            ],
            [
              0.00373,
              -0.0036,
              -0.00507,
              -0.00683,
              -0.00894,
              -0.01148,
              -0.01451
            ],
            [
              0.0038,
              -0.00355,
              -0.00502,
              -0.00679,
              -0.0089,
              -0.01144,
              -0.01448
            ],
            [
              0.00387,
              -0.0035,
              -0.00497,
              -0.00674,
              -0.00887,
              -0.01141,
              -0.01445
            ],
            [
              0.00395,
              -0.00344,
              -0.00491,
              -0.00669,
              -0.00881,
              -0.01135,
              -0.0144
            ],
            [
              0.00403,
              -0.00338,
              -0.00485,
              -0.00663,
              -0.00876,
              -0.01131,
              -0.01436
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.01754,
              0.02479,
              0.02625,
              0.02799,
              0.03008,
              0.0326,
              0.03561
            ],
            [
              0.01753,
              0.02479,
              0.02624,
              0.02799,
              0.03006,
              0.03257,
              0.0356
            ],
            [
              0.0175,
              0.02478,
              0.02623,
              0.02798,
              0.03007,
              0.03258,
              0.03559
            ],
            [
              0.01748,
              0.02476,
              0.02622,
              0.02797,
              0.03006,
              0.03257,
              0.03559
            ],
            [
              0.01745,
              0.02475,
              0.02621,
              0.02796,
              0.03005,
              0.03257,
              0.03558
            ],
            [
              0.01742,
              0.02472,
              0.02619,
              0.02794,
              0.03004,
              0.03255,
              0.03556
            ],
            [
              0.01738,
              0.02471,
              0.02616,
              0.02792,
              0.03001,
              0.03253,
              0.03554
            ],
            [
              0.01733,
              0.02468,
              0.02614,
              0.02789,
              0.02999,
              0.03249,
              0.03551
            ],
            [
              0.0173,
              0.02463,
              0.0261,
              0.02786,
              0.02996,
              0.03248,
              0.0355
            ],
            [
              0.01727,
              0.02459,
              0.02606,
              0.02782,
              0.02992,
              0.03244,
              0.03546
            ],
            [
              0.01726,
              0.02457,
              0.02603,
              0.02779,
              0.02988,
              0.03241,
              0.03542
            ],
            [
              0.01724,
              0.02454,
              0.02601,
              0.02776,
              0.02986,
              0.03238,
              0.03539
            ],
            [
              0.01722,
              0.02452,
              0.02598,
              0.02774,
              0.02983,
              0.03235,
              0.03536
            ]
          ]
        },
        "when": "(A1&A3&!B1) | (A1&A3&!B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.00358,
              -0.00373,
              -0.00519,
              -0.00696,
              -0.00907,
              -0.01161,
              -0.01465
            ],
            [
              0.00358,
              -0.00373,
              -0.00519,
              -0.00696,
              -0.00907,
              -0.01161,
              -0.01464
            ],
            [
              0.0036,
              -0.00369,
              -0.00516,
              -0.00692,
              -0.00904,
              -0.01157,
              -0.01461
            ],
            [
              0.00362,
              -0.00367,
              -0.00514,
              -0.0069,
              -0.00902,
              -0.01155,
              -0.01459
            ],
            [
              0.00364,
              -0.00365,
              -0.00512,
              -0.00689,
              -0.009,
              -0.01153,
              -0.01457
            ],
            [
              0.00367,
              -0.00363,
              -0.0051,
              -0.00685,
              -0.00897,
              -0.01151,
              -0.01455
            ],
            [
              0.00371,
              -0.0036,
              -0.00506,
              -0.00682,
              -0.00894,
              -0.01147,
              -0.01451
            ],
            [
              0.00376,
              -0.00356,
              -0.00502,
              -0.00679,
              -0.0089,
              -0.01144,
              -0.01448
            ],
            [
              0.00381,
              -0.00353,
              -0.00499,
              -0.00676,
              -0.00887,
              -0.0114,
              -0.01444
            ],
            [
              0.00388,
              -0.00348,
              -0.00494,
              -0.00671,
              -0.00883,
              -0.01137,
              -0.01441
            ],
            [
              0.00395,
              -0.00342,
              -0.00489,
              -0.00667,
              -0.00879,
              -0.01133,
              -0.01437
            ],
            [
              0.00404,
              -0.00336,
              -0.00483,
              -0.00661,
              -0.00873,
              -0.01127,
              -0.01432
            ],
            [
              0.00411,
              -0.00329,
              -0.00477,
              -0.00655,
              -0.00867,
              -0.01122,
              -0.01428
            ]
          ]
        },
        "related_pin": "A3",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.01848,
              0.02573,
              0.02718,
              0.02894,
              0.03102,
              0.03354,
              0.03655
            ],
            [
              0.01845,
              0.02571,
              0.02716,
              0.02891,
              0.031,
              0.03352,
              0.03652
            ],
            [
              0.01843,
              0.02569,
              0.02714,
              0.02889,
              0.03098,
              0.0335,
              0.0365
            ],
            [
              0.01842,
              0.02568,
              0.02713,
              0.02888,
              0.03098,
              0.0335,
              0.03651
            ],
            [
              0.0184,
              0.02566,
              0.02712,
              0.02887,
              0.03096,
              0.03348,
              0.03648
            ],
            [
              0.01838,
              0.02565,
              0.0271,
              0.02885,
              0.03095,
              0.03346,
              0.03648
            ],
            [
              0.01836,
              0.02563,
              0.02709,
              0.02885,
              0.03094,
              0.03346,
              0.03647
            ],
            [
              0.01833,
              0.02562,
              0.02707,
              0.02883,
              0.03093,
              0.03343,
              0.03645
            ],
            [
              0.0183,
              0.0256,
              0.02706,
              0.02881,
              0.0309,
              0.03342,
              0.03644
            ],
            [
              0.01829,
              0.02558,
              0.02704,
              0.02879,
              0.0309,
              0.03342,
              0.03642
            ],
            [
              0.01828,
              0.02556,
              0.02702,
              0.02877,
              0.03087,
              0.03339,
              0.03641
            ],
            [
              0.01827,
              0.02555,
              0.02701,
              0.02876,
              0.03086,
              0.03338,
              0.0364
            ],
            [
              0.01825,
              0.02554,
              0.02699,
              0.02874,
              0.03084,
              0.03335,
              0.03636
            ]
          ]
        },
        "when": "(A1&A2&!B1) | (A1&A2&!B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.00146,
              -0.00596,
              -0.00743,
              -0.0092,
              -0.0113,
              -0.01384,
              -0.01689
            ],
            [
              0.00148,
              -0.00593,
              -0.0074,
              -0.00918,
              -0.0113,
              -0.01384,
              -0.01689
            ],
            [
              0.00151,
              -0.00595,
              -0.00742,
              -0.00918,
              -0.0113,
              -0.01384,
              -0.01689
            ],
            [
              0.00154,
              -0.00592,
              -0.0074,
              -0.00917,
              -0.01129,
              -0.01383,
              -0.01688
            ],
            [
              0.00159,
              -0.0059,
              -0.00738,
              -0.00916,
              -0.01127,
              -0.01383,
              -0.01687
            ],
            [
              0.00165,
              -0.00589,
              -0.00736,
              -0.00914,
              -0.01126,
              -0.0138,
              -0.01685
            ],
            [
              0.00172,
              -0.00586,
              -0.00734,
              -0.00912,
              -0.01124,
              -0.01379,
              -0.01684
            ],
            [
              0.00181,
              -0.00583,
              -0.00731,
              -0.00909,
              -0.01122,
              -0.01377,
              -0.01682
            ],
            [
              0.0019,
              -0.00577,
              -0.00726,
              -0.00905,
              -0.01118,
              -0.01373,
              -0.01679
            ],
            [
              0.00198,
              -0.0057,
              -0.00719,
              -0.00898,
              -0.01112,
              -0.01368,
              -0.01674
            ],
            [
              0.00206,
              -0.00561,
              -0.00711,
              -0.0089,
              -0.01105,
              -0.01361,
              -0.01668
            ],
            [
              0.00213,
              -0.00551,
              -0.00701,
              -0.00881,
              -0.01096,
              -0.01353,
              -0.01661
            ],
            [
              0.0022,
              -0.0054,
              -0.0069,
              -0.00871,
              -0.01086,
              -0.01344,
              -0.01652
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.00861,
              0.01599,
              0.01745,
              0.0192,
              0.0213,
              0.02383,
              0.02684
            ],
            [
              0.00858,
              0.01597,
              0.01743,
              0.01918,
              0.0213,
              0.02382,
              0.02684
            ],
            [
              0.00857,
              0.01599,
              0.01745,
              0.0192,
              0.02131,
              0.02382,
              0.02684
            ],
            [
              0.00853,
              0.01598,
              0.01745,
              0.0192,
              0.02131,
              0.02384,
              0.02686
            ],
            [
              0.00849,
              0.01596,
              0.01743,
              0.0192,
              0.02131,
              0.02384,
              0.02686
            ],
            [
              0.00844,
              0.01593,
              0.0174,
              0.01917,
              0.02129,
              0.02382,
              0.02685
            ],
            [
              0.00839,
              0.01588,
              0.01735,
              0.01912,
              0.02125,
              0.02378,
              0.02681
            ],
            [
              0.00834,
              0.01582,
              0.0173,
              0.01907,
              0.02119,
              0.02372,
              0.02676
            ],
            [
              0.00829,
              0.01575,
              0.01723,
              0.019,
              0.02113,
              0.02367,
              0.02671
            ],
            [
              0.00826,
              0.01567,
              0.01715,
              0.01891,
              0.02103,
              0.02357,
              0.02661
            ],
            [
              0.00823,
              0.01562,
              0.01708,
              0.01885,
              0.02096,
              0.0235,
              0.02654
            ],
            [
              0.0082,
              0.01556,
              0.01702,
              0.01879,
              0.02091,
              0.02343,
              0.02647
            ],
            [
              0.00819,
              0.01551,
              0.01697,
              0.01873,
              0.02085,
              0.02337,
              0.02638
            ]
          ]
        },
        "when": "(!A1&B2) | (!A2&B2) | (!A3&B2)"
      },
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.00149,
              -0.00597,
              -0.00741,
              -0.00919,
              -0.01128,
              -0.01382,
              -0.01687
            ],
            [
              0.0015,
              -0.00593,
              -0.00741,
              -0.00918,
              -0.01129,
              -0.01384,
              -0.01688
            ],
            [
              0.00153,
              -0.00592,
              -0.00739,
              -0.00916,
              -0.01128,
              -0.01382,
              -0.01686
            ],
            [
              0.00158,
              -0.00591,
              -0.00739,
              -0.00916,
              -0.01128,
              -0.01382,
              -0.01686
            ],
            [
              0.00163,
              -0.0059,
              -0.00738,
              -0.00915,
              -0.01126,
              -0.01381,
              -0.01686
            ],
            [
              0.0017,
              -0.00587,
              -0.00735,
              -0.00913,
              -0.01125,
              -0.0138,
              -0.01685
            ],
            [
              0.00178,
              -0.00584,
              -0.00732,
              -0.0091,
              -0.01123,
              -0.01378,
              -0.01683
            ],
            [
              0.00187,
              -0.0058,
              -0.00728,
              -0.00907,
              -0.0112,
              -0.01375,
              -0.0168
            ],
            [
              0.00197,
              -0.00573,
              -0.00723,
              -0.00902,
              -0.01115,
              -0.01371,
              -0.01677
            ],
            [
              0.00206,
              -0.00565,
              -0.00715,
              -0.00895,
              -0.01109,
              -0.01365,
              -0.01672
            ],
            [
              0.00214,
              -0.00555,
              -0.00705,
              -0.00886,
              -0.01101,
              -0.01358,
              -0.01665
            ],
            [
              0.00222,
              -0.00544,
              -0.00694,
              -0.00875,
              -0.01091,
              -0.01349,
              -0.01657
            ],
            [
              0.00228,
              -0.00533,
              -0.00683,
              -0.00864,
              -0.0108,
              -0.01338,
              -0.01646
            ]
          ]
        },
        "related_pin": "B2",
        "rise_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.00993,
              0.01729,
              0.01875,
              0.02048,
              0.02258,
              0.02508,
              0.0281
            ],
            [
              0.00992,
              0.01726,
              0.01871,
              0.02047,
              0.02257,
              0.02509,
              0.02811
            ],
            [
              0.0099,
              0.01726,
              0.01871,
              0.02048,
              0.02259,
              0.0251,
              0.02812
            ],
            [
              0.00987,
              0.01725,
              0.0187,
              0.02046,
              0.02258,
              0.02509,
              0.02812
            ],
            [
              0.00983,
              0.01722,
              0.01869,
              0.02045,
              0.02255,
              0.02508,
              0.0281
            ],
            [
              0.00978,
              0.0172,
              0.01866,
              0.02043,
              0.02254,
              0.02506,
              0.0281
            ],
            [
              0.00973,
              0.01716,
              0.01863,
              0.0204,
              0.02251,
              0.02503,
              0.02806
            ],
            [
              0.00968,
              0.01711,
              0.01858,
              0.02036,
              0.02247,
              0.025,
              0.02804
            ],
            [
              0.00964,
              0.01704,
              0.01852,
              0.02028,
              0.0224,
              0.02492,
              0.02796
            ],
            [
              0.00959,
              0.01699,
              0.01846,
              0.02023,
              0.02235,
              0.02488,
              0.02791
            ],
            [
              0.00956,
              0.01692,
              0.01839,
              0.02017,
              0.02228,
              0.02481,
              0.02786
            ],
            [
              0.00953,
              0.01688,
              0.01835,
              0.02011,
              0.02222,
              0.02474,
              0.02778
            ],
            [
              0.00951,
              0.01683,
              0.01829,
              0.02006,
              0.02216,
              0.02467,
              0.0277
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.01519,
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.13597,
              0.28055,
              0.30821,
              0.34128,
              0.38069,
              0.42766,
              0.48378
            ],
            [
              0.13906,
              0.28366,
              0.31129,
              0.34439,
              0.38377,
              0.43078,
              0.48685
            ],
            [
              0.14286,
              0.28746,
              0.31511,
              0.34819,
              0.38759,
              0.43455,
              0.49069
            ],
            [
              0.14866,
              0.29326,
              0.32093,
              0.35401,
              0.39342,
              0.44039,
              0.49651
            ],
            [
              0.15744,
              0.30213,
              0.32979,
              0.36286,
              0.40226,
              0.44929,
              0.50542
            ],
            [
              0.17075,
              0.31544,
              0.34312,
              0.37622,
              0.41563,
              0.46265,
              0.51882
            ],
            [
              0.19073,
              0.33559,
              0.36328,
              0.3964,
              0.43562,
              0.48268,
              0.53887
            ],
            [
              0.22097,
              0.36586,
              0.39356,
              0.4266,
              0.46607,
              0.51315,
              0.56925
            ],
            [
              0.26743,
              0.41185,
              0.43954,
              0.47267,
              0.51209,
              0.55915,
              0.61528
            ],
            [
              0.33664,
              0.48094,
              0.5086,
              0.54172,
              0.58112,
              0.62796,
              0.68429
            ],
            [
              0.42939,
              0.58502,
              0.61242,
              0.64572,
              0.68512,
              0.73212,
              0.78822
            ],
            [
              0.54967,
              0.73827,
              0.76847,
              0.80297,
              0.84237,
              0.88887,
              0.94477
            ],
            [
              0.7055,
              0.9389,
              0.9759,
              1.018,
              1.0656,
              1.1192,
              1.1796
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.30631,
              0.65407,
              0.72354,
              0.80678,
              0.90616,
              1.02617,
              1.16907
            ],
            [
              0.31016,
              0.65921,
              0.72831,
              0.81191,
              0.91141,
              1.03134,
              1.17374
            ],
            [
              0.31451,
              0.66489,
              0.73379,
              0.81768,
              0.91707,
              1.03722,
              1.17972
            ],
            [
              0.32149,
              0.67285,
              0.74228,
              0.826,
              0.92563,
              1.04548,
              1.18918
            ],
            [
              0.33226,
              0.685,
              0.75438,
              0.83826,
              0.93824,
              1.05811,
              1.20151
            ],
            [
              0.34941,
              0.70338,
              0.77256,
              0.85654,
              0.95622,
              1.07682,
              1.22062
            ],
            [
              0.37605,
              0.73062,
              0.7997,
              0.88379,
              0.98403,
              1.10403,
              1.24853
            ],
            [
              0.41761,
              0.77169,
              0.84156,
              0.92606,
              1.02536,
              1.14626,
              1.28996
            ],
            [
              0.48087,
              0.83365,
              0.90395,
              0.98815,
              1.08845,
              1.20925,
              1.35305
            ],
            [
              0.57708,
              0.92899,
              0.99899,
              1.08319,
              1.18359,
              1.30369,
              1.44779
            ],
            [
              0.72212,
              1.07282,
              1.14262,
              1.22602,
              1.32762,
              1.44802,
              1.59192
            ],
            [
              0.93667,
              1.28577,
              1.35567,
              1.43927,
              1.53997,
              1.65837,
              1.80427
            ],
            [
              1.2506,
              1.6021,
              1.6716,
              1.755,
              1.8559,
              1.976,
              2.12
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.09208,
              0.26386,
              0.29804,
              0.3387,
              0.38794,
              0.4462,
              0.51725
            ],
            [
              0.09212,
              0.26406,
              0.29789,
              0.33904,
              0.38783,
              0.44689,
              0.51702
            ],
            [
              0.09209,
              0.2641,
              0.29802,
              0.33875,
              0.38794,
              0.44627,
              0.51714
            ],
            [
              0.09208,
              0.26392,
              0.29813,
              0.33877,
              0.38791,
              0.44637,
              0.51699
            ],
            [
              0.09212,
              0.26393,
              0.29813,
              0.33879,
              0.38788,
              0.44681,
              0.51709
            ],
            [
              0.09211,
              0.26413,
              0.29781,
              0.33879,
              0.38778,
              0.44674,
              0.51688
            ],
            [
              0.09215,
              0.2639,
              0.2981,
              0.3387,
              0.38791,
              0.44681,
              0.51687
            ],
            [
              0.09159,
              0.26399,
              0.29797,
              0.33862,
              0.38791,
              0.44649,
              0.51716
            ],
            [
              0.09075,
              0.2638,
              0.2978,
              0.33881,
              0.38771,
              0.44645,
              0.51683
            ],
            [
              0.10002,
              0.26301,
              0.29686,
              0.33825,
              0.3872,
              0.44616,
              0.51691
            ],
            [
              0.11892,
              0.27378,
              0.3051,
              0.3434,
              0.3901,
              0.4471,
              0.5164
            ],
            [
              0.1459,
              0.3102,
              0.3379,
              0.3726,
              0.415,
              0.467,
              0.5311
            ],
            [
              0.1839,
              0.3776,
              0.4075,
              0.4415,
              0.4804,
              0.5262,
              0.5833
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.15528,
              0.58462,
              0.67029,
              0.77358,
              0.89732,
              1.04607,
              1.22385
            ],
            [
              0.1552,
              0.58471,
              0.67034,
              0.77405,
              0.89805,
              1.04629,
              1.22322
            ],
            [
              0.15533,
              0.58454,
              0.67075,
              0.77365,
              0.8975,
              1.04726,
              1.22326
            ],
            [
              0.15539,
              0.58461,
              0.6703,
              0.77409,
              0.89828,
              1.0458,
              1.22377
            ],
            [
              0.15545,
              0.58448,
              0.67045,
              0.77362,
              0.89768,
              1.04716,
              1.22426
            ],
            [
              0.15544,
              0.5849,
              0.67034,
              0.7736,
              0.8975,
              1.04604,
              1.2238
            ],
            [
              0.15543,
              0.58459,
              0.67036,
              0.77366,
              0.89727,
              1.04547,
              1.22368
            ],
            [
              0.15582,
              0.58455,
              0.67054,
              0.77361,
              0.89741,
              1.04619,
              1.22489
            ],
            [
              0.15599,
              0.58452,
              0.67033,
              0.77358,
              0.89766,
              1.04687,
              1.2232
            ],
            [
              0.15575,
              0.5846,
              0.6703,
              0.774,
              0.8974,
              1.0461,
              1.2233
            ],
            [
              0.1562,
              0.5846,
              0.6703,
              0.7741,
              0.8977,
              1.0471,
              1.2236
            ],
            [
              0.1577,
              0.5847,
              0.6707,
              0.774,
              0.8977,
              1.0463,
              1.2239
            ],
            [
              0.1721,
              0.5848,
              0.6706,
              0.7741,
              0.8971,
              1.0461,
              1.2237
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A2&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.10413,
              0.25055,
              0.27827,
              0.31142,
              0.35088,
              0.39793,
              0.45397
            ],
            [
              0.10719,
              0.2536,
              0.28133,
              0.31449,
              0.35395,
              0.40095,
              0.45705
            ],
            [
              0.11097,
              0.25737,
              0.28509,
              0.31826,
              0.35772,
              0.40473,
              0.4608
            ],
            [
              0.11671,
              0.26314,
              0.29085,
              0.32399,
              0.36344,
              0.41051,
              0.46664
            ],
            [
              0.12547,
              0.27188,
              0.29959,
              0.33275,
              0.37223,
              0.41927,
              0.47539
            ],
            [
              0.13869,
              0.28514,
              0.31286,
              0.34603,
              0.38547,
              0.43251,
              0.48865
            ],
            [
              0.15893,
              0.30505,
              0.33283,
              0.36602,
              0.4055,
              0.45256,
              0.50871
            ],
            [
              0.18975,
              0.3354,
              0.36316,
              0.39619,
              0.43572,
              0.48259,
              0.53892
            ],
            [
              0.23765,
              0.381,
              0.40863,
              0.44194,
              0.48162,
              0.5282,
              0.58455
            ],
            [
              0.30313,
              0.45076,
              0.4783,
              0.51133,
              0.55072,
              0.59764,
              0.65379
            ],
            [
              0.38746,
              0.55582,
              0.58292,
              0.61562,
              0.65382,
              0.70182,
              0.75782
            ],
            [
              0.49797,
              0.70357,
              0.73527,
              0.77137,
              0.81207,
              0.85827,
              0.91417
            ],
            [
              0.6418,
              0.8959,
              0.9348,
              0.9788,
              1.0285,
              1.0845,
              1.1474
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.34241,
              0.79866,
              0.88956,
              0.99907,
              1.12917,
              1.28687,
              1.47507
            ],
            [
              0.34594,
              0.80385,
              0.8943,
              1.00384,
              1.13544,
              1.29224,
              1.47974
            ],
            [
              0.34991,
              0.8096,
              0.90012,
              1.00982,
              1.14112,
              1.29732,
              1.48632
            ],
            [
              0.35644,
              0.81751,
              0.90812,
              1.01808,
              1.14938,
              1.30547,
              1.49478
            ],
            [
              0.36681,
              0.82933,
              0.92027,
              1.03051,
              1.16181,
              1.31891,
              1.50751
            ],
            [
              0.38314,
              0.84749,
              0.93832,
              1.04842,
              1.17902,
              1.33702,
              1.52612
            ],
            [
              0.40909,
              0.87415,
              0.96493,
              1.07483,
              1.20633,
              1.36383,
              1.55313
            ],
            [
              0.44992,
              0.91446,
              1.00606,
              1.11676,
              1.24806,
              1.40546,
              1.59436
            ],
            [
              0.51279,
              0.97585,
              1.06765,
              1.17845,
              1.31035,
              1.46855,
              1.65815
            ],
            [
              0.60865,
              1.07059,
              1.16229,
              1.27259,
              1.40449,
              1.56269,
              1.75249
            ],
            [
              0.75302,
              1.21332,
              1.30502,
              1.41462,
              1.54712,
              1.70522,
              1.89452
            ],
            [
              0.96537,
              1.42347,
              1.51497,
              1.62487,
              1.75627,
              1.91187,
              2.10367
            ],
            [
              1.2747,
              1.7332,
              1.8242,
              1.9345,
              2.0664,
              2.2239,
              2.4123
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.08674,
              0.256,
              0.2896,
              0.33039,
              0.37922,
              0.4373,
              0.50726
            ],
            [
              0.08668,
              0.25597,
              0.2895,
              0.33043,
              0.37896,
              0.43736,
              0.50755
            ],
            [
              0.08659,
              0.25596,
              0.28959,
              0.33047,
              0.379,
              0.43741,
              0.50723
            ],
            [
              0.0865,
              0.25593,
              0.28963,
              0.33028,
              0.37904,
              0.43731,
              0.50736
            ],
            [
              0.08628,
              0.25608,
              0.28959,
              0.33043,
              0.37895,
              0.43735,
              0.5079
            ],
            [
              0.08596,
              0.25591,
              0.28963,
              0.33019,
              0.3787,
              0.43748,
              0.5079
            ],
            [
              0.08477,
              0.25549,
              0.2896,
              0.33037,
              0.37911,
              0.43756,
              0.50731
            ],
            [
              0.08299,
              0.25537,
              0.28923,
              0.33019,
              0.37882,
              0.43746,
              0.50727
            ],
            [
              0.08741,
              0.2547,
              0.28864,
              0.32976,
              0.37862,
              0.43705,
              0.50729
            ],
            [
              0.10166,
              0.25612,
              0.2889,
              0.32907,
              0.37752,
              0.43636,
              0.50702
            ],
            [
              0.1229,
              0.272,
              0.30202,
              0.33886,
              0.3844,
              0.44,
              0.5081
            ],
            [
              0.1522,
              0.3157,
              0.3419,
              0.3744,
              0.4151,
              0.4656,
              0.5273
            ],
            [
              0.1925,
              0.3869,
              0.4161,
              0.45,
              0.488,
              0.5322,
              0.5862
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.19376,
              0.76185,
              0.87589,
              1.01278,
              1.17798,
              1.37266,
              1.608
            ],
            [
              0.19384,
              0.76207,
              0.87534,
              1.01317,
              1.17612,
              1.37389,
              1.60896
            ],
            [
              0.1939,
              0.76201,
              0.87503,
              1.01299,
              1.17598,
              1.37389,
              1.60827
            ],
            [
              0.19394,
              0.76228,
              0.87542,
              1.01283,
              1.17602,
              1.37434,
              1.60818
            ],
            [
              0.19399,
              0.76192,
              0.8763,
              1.01244,
              1.17598,
              1.3727,
              1.60811
            ],
            [
              0.19409,
              0.76225,
              0.87468,
              1.0127,
              1.1778,
              1.37467,
              1.60816
            ],
            [
              0.19426,
              0.76222,
              0.87482,
              1.0137,
              1.17743,
              1.3745,
              1.60859
            ],
            [
              0.19443,
              0.76213,
              0.87537,
              1.01318,
              1.17624,
              1.37499,
              1.60879
            ],
            [
              0.19451,
              0.76216,
              0.87515,
              1.01257,
              1.17559,
              1.3745,
              1.6081
            ],
            [
              0.19464,
              0.7621,
              0.8756,
              1.012,
              1.177,
              1.3728,
              1.608
            ],
            [
              0.1948,
              0.7625,
              0.8755,
              1.0131,
              1.1783,
              1.3733,
              1.6089
            ],
            [
              0.1958,
              0.7621,
              0.8761,
              1.0134,
              1.1775,
              1.3741,
              1.6093
            ],
            [
              0.2085,
              0.7617,
              0.8751,
              1.0125,
              1.1763,
              1.373,
              1.6107
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A2&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.10768,
              0.25389,
              0.28159,
              0.31473,
              0.35414,
              0.40114,
              0.45721
            ],
            [
              0.11074,
              0.25694,
              0.28464,
              0.31778,
              0.35721,
              0.4042,
              0.46029
            ],
            [
              0.1145,
              0.2607,
              0.2884,
              0.32154,
              0.36096,
              0.40796,
              0.46405
            ],
            [
              0.12022,
              0.26643,
              0.29414,
              0.32727,
              0.36671,
              0.4137,
              0.4698
            ],
            [
              0.12896,
              0.2752,
              0.30292,
              0.33604,
              0.3755,
              0.4225,
              0.47857
            ],
            [
              0.14216,
              0.28845,
              0.31617,
              0.34932,
              0.38876,
              0.43578,
              0.49189
            ],
            [
              0.16222,
              0.30841,
              0.33615,
              0.36929,
              0.40876,
              0.4558,
              0.5119
            ],
            [
              0.19293,
              0.33872,
              0.36647,
              0.39947,
              0.439,
              0.4861,
              0.54206
            ],
            [
              0.24075,
              0.38428,
              0.41215,
              0.44523,
              0.48491,
              0.53149,
              0.58774
            ],
            [
              0.30694,
              0.45399,
              0.48158,
              0.51461,
              0.55398,
              0.60096,
              0.65709
            ],
            [
              0.39222,
              0.55892,
              0.58612,
              0.61892,
              0.65792,
              0.70502,
              0.76112
            ],
            [
              0.50397,
              0.70737,
              0.73897,
              0.77477,
              0.81527,
              0.86047,
              0.91777
            ],
            [
              0.6493,
              0.9006,
              0.9393,
              0.9829,
              1.0325,
              1.0882,
              1.151
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.38268,
              0.81162,
              0.89671,
              0.99917,
              1.12177,
              1.26877,
              1.44487
            ],
            [
              0.38689,
              0.81665,
              0.90185,
              1.00444,
              1.12724,
              1.27424,
              1.45034
            ],
            [
              0.39176,
              0.82235,
              0.90764,
              1.01032,
              1.13312,
              1.28012,
              1.45622
            ],
            [
              0.39883,
              0.83056,
              0.91588,
              1.01868,
              1.14148,
              1.28858,
              1.46478
            ],
            [
              0.40955,
              0.84247,
              0.92807,
              1.03091,
              1.15391,
              1.30101,
              1.47741
            ],
            [
              0.42642,
              0.8607,
              0.94652,
              1.04912,
              1.17212,
              1.31962,
              1.49592
            ],
            [
              0.45235,
              0.888,
              0.97383,
              1.07633,
              1.19943,
              1.34703,
              1.52383
            ],
            [
              0.49287,
              0.92866,
              1.01476,
              1.11736,
              1.24066,
              1.38846,
              1.56546
            ],
            [
              0.55551,
              0.99035,
              1.07645,
              1.17995,
              1.30355,
              1.45145,
              1.62865
            ],
            [
              0.65079,
              1.08489,
              1.17109,
              1.27439,
              1.39779,
              1.54579,
              1.72319
            ],
            [
              0.79462,
              1.22782,
              1.31332,
              1.41742,
              1.54092,
              1.68882,
              1.86622
            ],
            [
              1.00727,
              1.43837,
              1.52427,
              1.62737,
              1.75067,
              1.89667,
              2.07577
            ],
            [
              1.3183,
              1.7489,
              1.8345,
              1.9378,
              2.061,
              2.2086,
              2.3855
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.10552,
              0.27304,
              0.30671,
              0.34715,
              0.39572,
              0.45385,
              0.52371
            ],
            [
              0.10546,
              0.27318,
              0.30669,
              0.34707,
              0.39564,
              0.45394,
              0.52376
            ],
            [
              0.1054,
              0.27317,
              0.30679,
              0.34723,
              0.39572,
              0.45388,
              0.52388
            ],
            [
              0.10531,
              0.27309,
              0.30673,
              0.34723,
              0.3957,
              0.45388,
              0.52375
            ],
            [
              0.10518,
              0.27323,
              0.30662,
              0.34722,
              0.39562,
              0.45397,
              0.52392
            ],
            [
              0.10487,
              0.27303,
              0.30675,
              0.34714,
              0.39556,
              0.45391,
              0.52385
            ],
            [
              0.10386,
              0.27295,
              0.30655,
              0.34711,
              0.39563,
              0.45388,
              0.52386
            ],
            [
              0.10184,
              0.27278,
              0.30631,
              0.34699,
              0.39556,
              0.45379,
              0.52378
            ],
            [
              0.10564,
              0.27202,
              0.30581,
              0.34655,
              0.39533,
              0.45367,
              0.52369
            ],
            [
              0.12043,
              0.27316,
              0.30587,
              0.34589,
              0.39451,
              0.45319,
              0.52337
            ],
            [
              0.14444,
              0.28894,
              0.31895,
              0.3557,
              0.401,
              0.4563,
              0.5242
            ],
            [
              0.1784,
              0.3322,
              0.3585,
              0.3911,
              0.4316,
              0.4823,
              0.5438
            ],
            [
              0.2255,
              0.4059,
              0.4343,
              0.4673,
              0.5043,
              0.5481,
              0.6026
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.21222,
              0.74771,
              0.85422,
              0.98233,
              1.13495,
              1.32066,
              1.54151
            ],
            [
              0.21241,
              0.74727,
              0.85396,
              0.98268,
              1.13497,
              1.31919,
              1.53923
            ],
            [
              0.21199,
              0.74723,
              0.85434,
              0.98249,
              1.13651,
              1.31949,
              1.54164
            ],
            [
              0.21237,
              0.74729,
              0.85326,
              0.98194,
              1.13653,
              1.31875,
              1.54168
            ],
            [
              0.21202,
              0.74729,
              0.85421,
              0.98254,
              1.13483,
              1.32077,
              1.5416
            ],
            [
              0.21231,
              0.74677,
              0.85387,
              0.98281,
              1.13633,
              1.32086,
              1.54171
            ],
            [
              0.21252,
              0.74669,
              0.85386,
              0.98216,
              1.13628,
              1.31874,
              1.5417
            ],
            [
              0.21249,
              0.74726,
              0.85383,
              0.98276,
              1.1363,
              1.31886,
              1.54164
            ],
            [
              0.21256,
              0.74731,
              0.85434,
              0.98279,
              1.1366,
              1.3209,
              1.5416
            ],
            [
              0.2125,
              0.7477,
              0.8541,
              0.9823,
              1.1365,
              1.3208,
              1.5392
            ],
            [
              0.2126,
              0.7478,
              0.854,
              0.9826,
              1.1365,
              1.3209,
              1.5417
            ],
            [
              0.2132,
              0.7474,
              0.8539,
              0.9827,
              1.1366,
              1.3187,
              1.5394
            ],
            [
              0.222,
              0.7475,
              0.8545,
              0.9828,
              1.1363,
              1.3208,
              1.5418
            ]
          ]
        },
        "sdf_cond": "(A2&A3&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A2&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.14904,
              0.29363,
              0.32127,
              0.35436,
              0.39375,
              0.44074,
              0.49686
            ],
            [
              0.15246,
              0.29706,
              0.32469,
              0.35779,
              0.39719,
              0.44417,
              0.50028
            ],
            [
              0.15665,
              0.30124,
              0.32887,
              0.36197,
              0.40136,
              0.44836,
              0.50451
            ],
            [
              0.16295,
              0.30756,
              0.33519,
              0.36829,
              0.40768,
              0.45469,
              0.51084
            ],
            [
              0.17213,
              0.31679,
              0.34442,
              0.37752,
              0.4169,
              0.4639,
              0.52004
            ],
            [
              0.18561,
              0.33026,
              0.35791,
              0.39101,
              0.43039,
              0.47744,
              0.53357
            ],
            [
              0.20555,
              0.35023,
              0.37789,
              0.41099,
              0.4504,
              0.4974,
              0.55356
            ],
            [
              0.23525,
              0.38019,
              0.40788,
              0.44102,
              0.48043,
              0.52743,
              0.58354
            ],
            [
              0.28033,
              0.42523,
              0.45293,
              0.4861,
              0.52556,
              0.57264,
              0.62879
            ],
            [
              0.34729,
              0.49268,
              0.52044,
              0.55365,
              0.59318,
              0.64029,
              0.69649
            ],
            [
              0.44034,
              0.59382,
              0.62162,
              0.65482,
              0.69442,
              0.74162,
              0.79792
            ],
            [
              0.56727,
              0.74157,
              0.77137,
              0.80607,
              0.84627,
              0.89347,
              0.94987
            ],
            [
              0.7372,
              0.945,
              0.979,
              1.0183,
              1.0636,
              1.1155,
              1.1756
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.34505,
              0.6919,
              0.76089,
              0.84399,
              0.94337,
              1.06257,
              1.20527
            ],
            [
              0.34912,
              0.69633,
              0.76533,
              0.84845,
              0.94783,
              1.06694,
              1.20974
            ],
            [
              0.35398,
              0.70169,
              0.77074,
              0.85388,
              0.95331,
              1.07252,
              1.21532
            ],
            [
              0.3614,
              0.70973,
              0.7788,
              0.86201,
              0.96149,
              1.08068,
              1.22358
            ],
            [
              0.37275,
              0.72181,
              0.79094,
              0.87429,
              0.97381,
              1.09311,
              1.23601
            ],
            [
              0.39027,
              0.74007,
              0.80945,
              0.89278,
              0.99242,
              1.11172,
              1.25462
            ],
            [
              0.41761,
              0.76795,
              0.83724,
              0.92043,
              1.02023,
              1.13963,
              1.28263
            ],
            [
              0.45883,
              0.80976,
              0.87906,
              0.96246,
              1.06206,
              1.18176,
              1.32486
            ],
            [
              0.52222,
              0.87275,
              0.94245,
              1.02615,
              1.12605,
              1.24565,
              1.38885
            ],
            [
              0.61832,
              0.96839,
              1.03779,
              1.12159,
              1.22159,
              1.34119,
              1.48409
            ],
            [
              0.76282,
              1.11222,
              1.18162,
              1.26522,
              1.36512,
              1.48462,
              1.62762
            ],
            [
              0.97637,
              1.32557,
              1.39477,
              1.47827,
              1.57807,
              1.69777,
              1.84097
            ],
            [
              1.2914,
              1.6406,
              1.7099,
              1.7932,
              1.8929,
              2.0124,
              2.1553
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.09212,
              0.26404,
              0.29811,
              0.3391,
              0.38769,
              0.44639,
              0.517
            ],
            [
              0.09213,
              0.26405,
              0.29777,
              0.33882,
              0.38803,
              0.4466,
              0.51691
            ],
            [
              0.09212,
              0.26421,
              0.29787,
              0.33905,
              0.38786,
              0.44681,
              0.5169
            ],
            [
              0.09211,
              0.26415,
              0.29788,
              0.33911,
              0.38787,
              0.44674,
              0.51689
            ],
            [
              0.09217,
              0.26414,
              0.29803,
              0.33883,
              0.38804,
              0.44681,
              0.5169
            ],
            [
              0.09217,
              0.26423,
              0.29806,
              0.33872,
              0.38784,
              0.44678,
              0.5169
            ],
            [
              0.09211,
              0.26418,
              0.29814,
              0.3388,
              0.38783,
              0.44634,
              0.51716
            ],
            [
              0.09161,
              0.26411,
              0.29797,
              0.33911,
              0.38792,
              0.44673,
              0.51706
            ],
            [
              0.09153,
              0.26357,
              0.29783,
              0.339,
              0.38778,
              0.4468,
              0.51716
            ],
            [
              0.09679,
              0.26372,
              0.29748,
              0.33843,
              0.38758,
              0.44653,
              0.51684
            ],
            [
              0.10903,
              0.2704,
              0.3027,
              0.3422,
              0.39,
              0.4474,
              0.5169
            ],
            [
              0.1288,
              0.2926,
              0.3226,
              0.3598,
              0.4047,
              0.4595,
              0.5263
            ],
            [
              0.1587,
              0.3375,
              0.3684,
              0.4045,
              0.4465,
              0.497,
              0.5585
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.18062,
              0.61058,
              0.69644,
              0.79885,
              0.92224,
              1.07065,
              1.24729
            ],
            [
              0.18022,
              0.61051,
              0.69647,
              0.79886,
              0.92235,
              1.0707,
              1.247
            ],
            [
              0.18045,
              0.61054,
              0.69645,
              0.79881,
              0.92225,
              1.07005,
              1.24708
            ],
            [
              0.18017,
              0.61045,
              0.69643,
              0.79996,
              0.92313,
              1.06989,
              1.24694
            ],
            [
              0.18046,
              0.6106,
              0.69643,
              0.79918,
              0.92311,
              1.07005,
              1.24733
            ],
            [
              0.18044,
              0.61045,
              0.69644,
              0.79981,
              0.92314,
              1.07052,
              1.24745
            ],
            [
              0.18055,
              0.61059,
              0.69586,
              0.79883,
              0.92281,
              1.07013,
              1.24735
            ],
            [
              0.18077,
              0.61039,
              0.69641,
              0.79912,
              0.92313,
              1.0699,
              1.24752
            ],
            [
              0.18059,
              0.6105,
              0.69652,
              0.79907,
              0.92243,
              1.07026,
              1.2478
            ],
            [
              0.18064,
              0.6105,
              0.6967,
              0.7998,
              0.9225,
              1.0705,
              1.2478
            ],
            [
              0.1808,
              0.6106,
              0.6964,
              0.7989,
              0.9225,
              1.0705,
              1.2478
            ],
            [
              0.1814,
              0.6109,
              0.696,
              0.8,
              0.9224,
              1.0707,
              1.2477
            ],
            [
              0.1919,
              0.6107,
              0.6964,
              0.7997,
              0.9226,
              1.0703,
              1.2469
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.11731,
              0.2636,
              0.29132,
              0.32448,
              0.36395,
              0.41098,
              0.46713
            ],
            [
              0.1207,
              0.26697,
              0.2947,
              0.32786,
              0.36732,
              0.41429,
              0.47045
            ],
            [
              0.12487,
              0.27112,
              0.29884,
              0.33199,
              0.37143,
              0.41852,
              0.4747
            ],
            [
              0.13112,
              0.27737,
              0.30508,
              0.33824,
              0.37768,
              0.42468,
              0.48079
            ],
            [
              0.14024,
              0.28651,
              0.31421,
              0.34736,
              0.38679,
              0.43387,
              0.49004
            ],
            [
              0.15362,
              0.29986,
              0.32759,
              0.36075,
              0.40023,
              0.44726,
              0.50342
            ],
            [
              0.17352,
              0.31973,
              0.34745,
              0.38061,
              0.42012,
              0.46718,
              0.52336
            ],
            [
              0.20368,
              0.34949,
              0.37721,
              0.41039,
              0.44992,
              0.49696,
              0.55309
            ],
            [
              0.24931,
              0.39447,
              0.42215,
              0.45536,
              0.49482,
              0.54192,
              0.59807
            ],
            [
              0.31352,
              0.46194,
              0.48971,
              0.52292,
              0.5624,
              0.60955,
              0.66569
            ],
            [
              0.40178,
              0.56342,
              0.59112,
              0.62432,
              0.66382,
              0.71082,
              0.76712
            ],
            [
              0.52107,
              0.70777,
              0.73837,
              0.77397,
              0.81517,
              0.86267,
              0.91897
            ],
            [
              0.6801,
              0.9056,
              0.9411,
              0.9818,
              1.0283,
              1.0819,
              1.1431
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.39699,
              0.85675,
              0.94827,
              1.05837,
              1.19037,
              1.34827,
              1.53767
            ],
            [
              0.4009,
              0.86115,
              0.95264,
              1.06294,
              1.19474,
              1.35274,
              1.54204
            ],
            [
              0.40555,
              0.86641,
              0.95798,
              1.06822,
              1.20022,
              1.35812,
              1.54752
            ],
            [
              0.41264,
              0.87433,
              0.96596,
              1.07617,
              1.20828,
              1.36628,
              1.55568
            ],
            [
              0.42352,
              0.88621,
              0.97791,
              1.08841,
              1.22051,
              1.37861,
              1.56801
            ],
            [
              0.44053,
              0.90423,
              0.99622,
              1.10662,
              1.23892,
              1.39712,
              1.58652
            ],
            [
              0.46738,
              0.93173,
              1.02363,
              1.13403,
              1.26633,
              1.42463,
              1.61433
            ],
            [
              0.50796,
              0.97316,
              1.06516,
              1.17576,
              1.30776,
              1.46656,
              1.65636
            ],
            [
              0.57095,
              1.03565,
              1.12795,
              1.23895,
              1.37155,
              1.53005,
              1.72005
            ],
            [
              0.66669,
              1.13079,
              1.22279,
              1.33389,
              1.46649,
              1.62509,
              1.81479
            ],
            [
              0.81052,
              1.27372,
              1.36572,
              1.47662,
              1.60912,
              1.76762,
              1.95732
            ],
            [
              1.02167,
              1.48457,
              1.57637,
              1.68707,
              1.81937,
              1.97827,
              2.16807
            ],
            [
              1.3307,
              1.7925,
              1.8848,
              1.9954,
              2.1277,
              2.2861,
              2.4758
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.08625,
              0.25614,
              0.28961,
              0.3304,
              0.37907,
              0.4374,
              0.50755
            ],
            [
              0.0862,
              0.25622,
              0.28972,
              0.33051,
              0.37901,
              0.43735,
              0.50795
            ],
            [
              0.08609,
              0.25612,
              0.28983,
              0.33029,
              0.37891,
              0.43741,
              0.50743
            ],
            [
              0.08609,
              0.25611,
              0.28972,
              0.33033,
              0.37889,
              0.43742,
              0.50735
            ],
            [
              0.08594,
              0.25589,
              0.2897,
              0.33048,
              0.37883,
              0.43754,
              0.5074
            ],
            [
              0.08578,
              0.25604,
              0.2896,
              0.3302,
              0.37891,
              0.43727,
              0.50738
            ],
            [
              0.0851,
              0.25601,
              0.28952,
              0.33018,
              0.37895,
              0.43734,
              0.50733
            ],
            [
              0.08437,
              0.25571,
              0.28935,
              0.33004,
              0.379,
              0.43745,
              0.50762
            ],
            [
              0.08681,
              0.25506,
              0.28892,
              0.32977,
              0.37865,
              0.43714,
              0.50742
            ],
            [
              0.09538,
              0.25617,
              0.2892,
              0.32951,
              0.37804,
              0.43671,
              0.50737
            ],
            [
              0.10977,
              0.26572,
              0.29738,
              0.3359,
              0.3825,
              0.4396,
              0.5079
            ],
            [
              0.1323,
              0.2927,
              0.3219,
              0.3574,
              0.4012,
              0.4548,
              0.5199
            ],
            [
              0.1648,
              0.3417,
              0.3717,
              0.407,
              0.4486,
              0.4972,
              0.5569
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.22942,
              0.80529,
              0.92023,
              1.05761,
              1.22157,
              1.42153,
              1.65869
            ],
            [
              0.22933,
              0.80546,
              0.92035,
              1.05848,
              1.22219,
              1.41934,
              1.65885
            ],
            [
              0.22953,
              0.80478,
              0.92027,
              1.05778,
              1.22147,
              1.42161,
              1.659
            ],
            [
              0.22947,
              0.80531,
              0.92025,
              1.05801,
              1.22132,
              1.42181,
              1.65905
            ],
            [
              0.22951,
              0.80526,
              0.9202,
              1.05826,
              1.22157,
              1.4218,
              1.65872
            ],
            [
              0.22954,
              0.80445,
              0.92027,
              1.05829,
              1.22178,
              1.41987,
              1.65631
            ],
            [
              0.22951,
              0.80544,
              0.91954,
              1.05852,
              1.22138,
              1.41945,
              1.65931
            ],
            [
              0.22947,
              0.805,
              0.92037,
              1.05845,
              1.22352,
              1.41968,
              1.6567
            ],
            [
              0.2297,
              0.8055,
              0.92027,
              1.05826,
              1.2216,
              1.4216,
              1.6588
            ],
            [
              0.22995,
              0.8056,
              0.9202,
              1.0585,
              1.2236,
              1.4196,
              1.6587
            ],
            [
              0.2297,
              0.8051,
              0.9202,
              1.0586,
              1.2214,
              1.4218,
              1.6588
            ],
            [
              0.2305,
              0.8055,
              0.9204,
              1.0583,
              1.2238,
              1.4192,
              1.6565
            ],
            [
              0.2384,
              0.8054,
              0.9204,
              1.0588,
              1.2214,
              1.4195,
              1.6564
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.12086,
              0.26698,
              0.29468,
              0.32783,
              0.36725,
              0.41425,
              0.47033
            ],
            [
              0.12424,
              0.27034,
              0.29806,
              0.33119,
              0.37062,
              0.41761,
              0.47373
            ],
            [
              0.1284,
              0.27451,
              0.30222,
              0.33534,
              0.37477,
              0.42177,
              0.47786
            ],
            [
              0.13465,
              0.28074,
              0.30845,
              0.34159,
              0.38101,
              0.428,
              0.48414
            ],
            [
              0.14377,
              0.2899,
              0.31758,
              0.35071,
              0.39012,
              0.43717,
              0.49327
            ],
            [
              0.15713,
              0.30322,
              0.33096,
              0.36411,
              0.40354,
              0.45054,
              0.50662
            ],
            [
              0.177,
              0.32312,
              0.35082,
              0.38398,
              0.42343,
              0.47046,
              0.52658
            ],
            [
              0.20708,
              0.35287,
              0.38059,
              0.41375,
              0.45326,
              0.5003,
              0.55641
            ],
            [
              0.25268,
              0.39786,
              0.42553,
              0.45875,
              0.49822,
              0.54525,
              0.60142
            ],
            [
              0.31725,
              0.46536,
              0.4931,
              0.52631,
              0.5658,
              0.61288,
              0.66909
            ],
            [
              0.40608,
              0.56672,
              0.59442,
              0.62762,
              0.66712,
              0.71432,
              0.77042
            ],
            [
              0.52627,
              0.71147,
              0.74207,
              0.77747,
              0.81847,
              0.86607,
              0.92237
            ],
            [
              0.6866,
              0.9098,
              0.9451,
              0.9858,
              1.0324,
              1.0856,
              1.1467
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.42935,
              0.85632,
              0.9411,
              1.04317,
              1.16517,
              1.31137,
              1.48657
            ],
            [
              0.43348,
              0.86076,
              0.94555,
              1.04754,
              1.16964,
              1.31574,
              1.49104
            ],
            [
              0.43839,
              0.8661,
              0.95093,
              1.05302,
              1.17512,
              1.32132,
              1.49652
            ],
            [
              0.44581,
              0.87409,
              0.95898,
              1.06108,
              1.18318,
              1.32948,
              1.50478
            ],
            [
              0.45725,
              0.88612,
              0.97111,
              1.07331,
              1.19551,
              1.34181,
              1.51711
            ],
            [
              0.47468,
              0.90442,
              0.98942,
              1.09182,
              1.21402,
              1.36042,
              1.53562
            ],
            [
              0.50159,
              0.93203,
              1.01693,
              1.11923,
              1.24163,
              1.38813,
              1.56363
            ],
            [
              0.54226,
              0.97356,
              1.05866,
              1.16106,
              1.28356,
              1.43016,
              1.60566
            ],
            [
              0.60529,
              1.03655,
              1.12205,
              1.22455,
              1.34715,
              1.49385,
              1.66945
            ],
            [
              0.70099,
              1.13159,
              1.21709,
              1.31969,
              1.44229,
              1.58899,
              1.76519
            ],
            [
              0.84462,
              1.27472,
              1.36002,
              1.46252,
              1.58502,
              1.73172,
              1.90712
            ],
            [
              1.05647,
              1.48597,
              1.57107,
              1.67337,
              1.79587,
              1.94287,
              2.11847
            ],
            [
              1.3664,
              1.7957,
              1.8806,
              1.983,
              2.1054,
              2.252,
              2.4272
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.10507,
              0.27327,
              0.3068,
              0.34724,
              0.39574,
              0.45407,
              0.52391
            ],
            [
              0.10509,
              0.2733,
              0.3069,
              0.34715,
              0.39577,
              0.45404,
              0.52401
            ],
            [
              0.10504,
              0.2733,
              0.3068,
              0.34716,
              0.39572,
              0.45399,
              0.52376
            ],
            [
              0.10501,
              0.27315,
              0.30679,
              0.34721,
              0.39553,
              0.45399,
              0.52395
            ],
            [
              0.10489,
              0.27324,
              0.3068,
              0.34712,
              0.39569,
              0.45397,
              0.52375
            ],
            [
              0.10473,
              0.27309,
              0.30657,
              0.34714,
              0.39566,
              0.45386,
              0.52381
            ],
            [
              0.10408,
              0.27311,
              0.30684,
              0.34711,
              0.39573,
              0.45398,
              0.5238
            ],
            [
              0.10318,
              0.27294,
              0.30639,
              0.34709,
              0.39578,
              0.45389,
              0.52386
            ],
            [
              0.1053,
              0.27227,
              0.30614,
              0.34666,
              0.39538,
              0.45381,
              0.52383
            ],
            [
              0.11381,
              0.27337,
              0.30635,
              0.34649,
              0.39481,
              0.45342,
              0.52356
            ],
            [
              0.12985,
              0.28276,
              0.31413,
              0.3526,
              0.3992,
              0.4558,
              0.5244
            ],
            [
              0.1549,
              0.3095,
              0.3385,
              0.3743,
              0.4179,
              0.4713,
              0.5365
            ],
            [
              0.1915,
              0.36,
              0.3893,
              0.4241,
              0.4646,
              0.5136,
              0.5737
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.24255,
              0.7762,
              0.88332,
              1.01027,
              1.16497,
              1.34822,
              1.56741
            ],
            [
              0.24259,
              0.77625,
              0.88242,
              1.01084,
              1.16335,
              1.3482,
              1.56741
            ],
            [
              0.24282,
              0.77616,
              0.88344,
              1.01115,
              1.16321,
              1.34839,
              1.56736
            ],
            [
              0.24275,
              0.77612,
              0.88335,
              1.01122,
              1.16353,
              1.34683,
              1.56758
            ],
            [
              0.24277,
              0.77624,
              0.88341,
              1.0103,
              1.16508,
              1.34812,
              1.56741
            ],
            [
              0.24284,
              0.77615,
              0.88342,
              1.0103,
              1.1634,
              1.34804,
              1.56742
            ],
            [
              0.24263,
              0.7762,
              0.88291,
              1.01089,
              1.164,
              1.34811,
              1.56785
            ],
            [
              0.24265,
              0.77625,
              0.88289,
              1.01086,
              1.16372,
              1.34612,
              1.56787
            ],
            [
              0.24288,
              0.77623,
              0.88235,
              1.01101,
              1.1633,
              1.3464,
              1.5678
            ],
            [
              0.2427,
              0.7762,
              0.883,
              1.011,
              1.1649,
              1.348,
              1.5674
            ],
            [
              0.243,
              0.7761,
              0.8823,
              1.011,
              1.1634,
              1.3469,
              1.5675
            ],
            [
              0.2432,
              0.7763,
              0.8834,
              1.0108,
              1.1632,
              1.3482,
              1.5679
            ],
            [
              0.2483,
              0.7761,
              0.8829,
              1.0114,
              1.1633,
              1.348,
              1.5677
            ]
          ]
        },
        "sdf_cond": "(A1&A3&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.1525,
              0.29708,
              0.32472,
              0.35782,
              0.3972,
              0.44422,
              0.50036
            ],
            [
              0.15631,
              0.30089,
              0.32855,
              0.36163,
              0.40104,
              0.44804,
              0.50418
            ],
            [
              0.16078,
              0.3054,
              0.33303,
              0.36613,
              0.40552,
              0.45253,
              0.50865
            ],
            [
              0.16731,
              0.31189,
              0.33953,
              0.37263,
              0.41203,
              0.45903,
              0.51511
            ],
            [
              0.17664,
              0.32126,
              0.34891,
              0.38199,
              0.42138,
              0.46843,
              0.52454
            ],
            [
              0.19008,
              0.33475,
              0.3624,
              0.3955,
              0.4349,
              0.48191,
              0.53806
            ],
            [
              0.20957,
              0.35431,
              0.38197,
              0.41509,
              0.45452,
              0.50154,
              0.55761
            ],
            [
              0.23805,
              0.38292,
              0.41057,
              0.44372,
              0.48315,
              0.5302,
              0.58636
            ],
            [
              0.28025,
              0.42512,
              0.45283,
              0.48599,
              0.52544,
              0.57256,
              0.62873
            ],
            [
              0.34253,
              0.48801,
              0.51577,
              0.54895,
              0.58846,
              0.63559,
              0.69179
            ],
            [
              0.42947,
              0.58182,
              0.60962,
              0.64282,
              0.68242,
              0.72962,
              0.78602
            ],
            [
              0.55057,
              0.71817,
              0.74767,
              0.78247,
              0.82287,
              0.87017,
              0.92657
            ],
            [
              0.7179,
              0.9083,
              0.941,
              0.9792,
              1.0236,
              1.0751,
              1.135
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.34125,
              0.66445,
              0.72837,
              0.8053,
              0.89729,
              1.00747,
              1.13947
            ],
            [
              0.345,
              0.66834,
              0.73227,
              0.80919,
              0.90118,
              1.01134,
              1.14334
            ],
            [
              0.34988,
              0.67327,
              0.73724,
              0.81416,
              0.90617,
              1.01632,
              1.14832
            ],
            [
              0.35769,
              0.68114,
              0.74503,
              0.82195,
              0.91412,
              1.02428,
              1.15628
            ],
            [
              0.3694,
              0.69317,
              0.75715,
              0.83411,
              0.92613,
              1.03631,
              1.16831
            ],
            [
              0.38751,
              0.71159,
              0.77558,
              0.85259,
              0.94462,
              1.05482,
              1.18682
            ],
            [
              0.41505,
              0.73934,
              0.80324,
              0.88052,
              0.97263,
              1.08283,
              1.21473
            ],
            [
              0.45658,
              0.78115,
              0.84516,
              0.92246,
              1.01456,
              1.12486,
              1.25696
            ],
            [
              0.51936,
              0.84445,
              0.90855,
              0.98565,
              1.07775,
              1.18805,
              1.32015
            ],
            [
              0.61431,
              0.93889,
              1.00329,
              1.08039,
              1.17259,
              1.28289,
              1.41509
            ],
            [
              0.75522,
              1.08002,
              1.14412,
              1.22122,
              1.31342,
              1.42382,
              1.55592
            ],
            [
              0.96277,
              1.28727,
              1.35137,
              1.42837,
              1.52047,
              1.63117,
              1.76317
            ],
            [
              1.2674,
              1.5929,
              1.6569,
              1.7339,
              1.8261,
              1.9363,
              2.0681
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.09214,
              0.26398,
              0.2983,
              0.33914,
              0.38784,
              0.44682,
              0.51688
            ],
            [
              0.09218,
              0.26411,
              0.2981,
              0.3388,
              0.38804,
              0.44659,
              0.51692
            ],
            [
              0.09212,
              0.2642,
              0.29788,
              0.33908,
              0.38784,
              0.44679,
              0.5169
            ],
            [
              0.09213,
              0.26395,
              0.29798,
              0.33873,
              0.38785,
              0.4468,
              0.51694
            ],
            [
              0.09214,
              0.26397,
              0.29811,
              0.33877,
              0.38778,
              0.4468,
              0.5169
            ],
            [
              0.09214,
              0.26411,
              0.29796,
              0.33912,
              0.38789,
              0.44653,
              0.51685
            ],
            [
              0.09217,
              0.26419,
              0.29795,
              0.3388,
              0.38801,
              0.4465,
              0.51684
            ],
            [
              0.09181,
              0.26411,
              0.29806,
              0.33889,
              0.38787,
              0.44681,
              0.51718
            ],
            [
              0.09162,
              0.26369,
              0.29788,
              0.33901,
              0.38777,
              0.44638,
              0.51693
            ],
            [
              0.09591,
              0.26367,
              0.29765,
              0.3383,
              0.38747,
              0.44633,
              0.51669
            ],
            [
              0.1053,
              0.26967,
              0.3024,
              0.342,
              0.3897,
              0.4474,
              0.5171
            ],
            [
              0.1191,
              0.2878,
              0.3189,
              0.3569,
              0.4028,
              0.4584,
              0.5256
            ],
            [
              0.1408,
              0.3207,
              0.3531,
              0.3913,
              0.4361,
              0.4892,
              0.5528
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.18471,
              0.58366,
              0.66298,
              0.75869,
              0.87272,
              1.00911,
              1.17297
            ],
            [
              0.18485,
              0.58371,
              0.66298,
              0.7585,
              0.87269,
              1.01074,
              1.17412
            ],
            [
              0.18484,
              0.5837,
              0.66293,
              0.75859,
              0.87255,
              1.01023,
              1.17351
            ],
            [
              0.18476,
              0.58375,
              0.66297,
              0.75793,
              0.87196,
              1.01008,
              1.17327
            ],
            [
              0.18474,
              0.58344,
              0.66304,
              0.75862,
              0.87271,
              1.00897,
              1.17292
            ],
            [
              0.1849,
              0.58355,
              0.66294,
              0.75853,
              0.87272,
              1.00961,
              1.17429
            ],
            [
              0.18498,
              0.58367,
              0.66298,
              0.75863,
              0.87275,
              1.00887,
              1.17433
            ],
            [
              0.18468,
              0.58358,
              0.66289,
              0.75852,
              0.8724,
              1.00898,
              1.17348
            ],
            [
              0.18486,
              0.58369,
              0.66299,
              0.75862,
              0.87278,
              1.00892,
              1.17409
            ],
            [
              0.18489,
              0.5837,
              0.663,
              0.7586,
              0.8727,
              1.0089,
              1.173
            ],
            [
              0.185,
              0.5835,
              0.663,
              0.7584,
              0.8729,
              1.0101,
              1.1725
            ],
            [
              0.186,
              0.5837,
              0.6629,
              0.7587,
              0.8726,
              1.0095,
              1.1732
            ],
            [
              0.1999,
              0.5838,
              0.663,
              0.7579,
              0.8724,
              1.0093,
              1.1731
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.12081,
              0.26706,
              0.29477,
              0.32794,
              0.36736,
              0.41439,
              0.47056
            ],
            [
              0.12457,
              0.27078,
              0.2985,
              0.33166,
              0.37109,
              0.41812,
              0.47419
            ],
            [
              0.12906,
              0.27529,
              0.30299,
              0.33616,
              0.37559,
              0.42266,
              0.4788
            ],
            [
              0.13551,
              0.2817,
              0.30943,
              0.34258,
              0.38203,
              0.42907,
              0.48519
            ],
            [
              0.14475,
              0.29098,
              0.31868,
              0.35188,
              0.39133,
              0.43838,
              0.49452
            ],
            [
              0.15809,
              0.30434,
              0.33207,
              0.36521,
              0.40467,
              0.4518,
              0.50798
            ],
            [
              0.17752,
              0.32378,
              0.35149,
              0.38463,
              0.42409,
              0.47115,
              0.52728
            ],
            [
              0.20622,
              0.35225,
              0.37997,
              0.41311,
              0.45259,
              0.49961,
              0.55572
            ],
            [
              0.24883,
              0.39443,
              0.42219,
              0.45534,
              0.49477,
              0.54188,
              0.59807
            ],
            [
              0.30902,
              0.45728,
              0.48503,
              0.51823,
              0.55774,
              0.60482,
              0.66099
            ],
            [
              0.39271,
              0.55112,
              0.57882,
              0.61212,
              0.65162,
              0.69872,
              0.75502
            ],
            [
              0.50907,
              0.68497,
              0.71517,
              0.75057,
              0.79167,
              0.83957,
              0.89587
            ],
            [
              0.6691,
              0.8711,
              0.9048,
              0.944,
              0.9892,
              1.0416,
              1.1023
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.40618,
              0.84379,
              0.93044,
              1.03477,
              1.15947,
              1.30887,
              1.48777
            ],
            [
              0.40966,
              0.84746,
              0.93413,
              1.03844,
              1.16314,
              1.31244,
              1.49144
            ],
            [
              0.41433,
              0.85219,
              0.93889,
              1.04322,
              1.16792,
              1.31722,
              1.49622
            ],
            [
              0.42195,
              0.85989,
              0.94652,
              1.05078,
              1.17578,
              1.32517,
              1.50408
            ],
            [
              0.43335,
              0.87176,
              0.95851,
              1.06281,
              1.18761,
              1.33691,
              1.51591
            ],
            [
              0.45119,
              0.88996,
              0.97672,
              1.08112,
              1.20592,
              1.35532,
              1.53432
            ],
            [
              0.47843,
              0.91753,
              1.00423,
              1.10893,
              1.23373,
              1.38323,
              1.56213
            ],
            [
              0.51961,
              0.95916,
              1.04596,
              1.15066,
              1.27556,
              1.42506,
              1.60416
            ],
            [
              0.58203,
              1.02215,
              1.10905,
              1.21355,
              1.33845,
              1.48805,
              1.66715
            ],
            [
              0.67659,
              1.11619,
              1.20339,
              1.30789,
              1.43289,
              1.58249,
              1.76169
            ],
            [
              0.81642,
              1.25612,
              1.34302,
              1.44762,
              1.57252,
              1.72212,
              1.90132
            ],
            [
              1.02037,
              1.45977,
              1.54667,
              1.65117,
              1.77597,
              1.92597,
              2.10507
            ],
            [
              1.3175,
              1.757,
              1.8438,
              1.9482,
              2.0731,
              2.2226,
              2.4015
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.08604,
              0.25614,
              0.28962,
              0.33038,
              0.37885,
              0.43764,
              0.50756
            ],
            [
              0.08596,
              0.25585,
              0.28969,
              0.33025,
              0.37905,
              0.43762,
              0.50736
            ],
            [
              0.08592,
              0.2561,
              0.28963,
              0.33048,
              0.37881,
              0.43724,
              0.50744
            ],
            [
              0.08584,
              0.25574,
              0.28966,
              0.33034,
              0.37896,
              0.43723,
              0.50752
            ],
            [
              0.08582,
              0.25592,
              0.28965,
              0.33048,
              0.37921,
              0.43736,
              0.50746
            ],
            [
              0.08565,
              0.25559,
              0.2896,
              0.33044,
              0.37886,
              0.43735,
              0.50738
            ],
            [
              0.08522,
              0.25572,
              0.28962,
              0.33048,
              0.37927,
              0.43723,
              0.50736
            ],
            [
              0.08464,
              0.25577,
              0.28943,
              0.33008,
              0.37901,
              0.43745,
              0.50737
            ],
            [
              0.08645,
              0.25523,
              0.28912,
              0.32998,
              0.37874,
              0.43719,
              0.50732
            ],
            [
              0.09315,
              0.25627,
              0.28949,
              0.32998,
              0.37819,
              0.4368,
              0.50743
            ],
            [
              0.10346,
              0.26404,
              0.29628,
              0.3355,
              0.3824,
              0.4393,
              0.5083
            ],
            [
              0.1192,
              0.2854,
              0.3157,
              0.3527,
              0.3977,
              0.4524,
              0.5189
            ],
            [
              0.1443,
              0.3206,
              0.3525,
              0.39,
              0.4344,
              0.4864,
              0.5493
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.2419,
              0.7873,
              0.89598,
              1.0282,
              1.18432,
              1.3712,
              1.59656
            ],
            [
              0.24189,
              0.78851,
              0.89608,
              1.02771,
              1.18459,
              1.37144,
              1.59695
            ],
            [
              0.24181,
              0.7873,
              0.89631,
              1.0283,
              1.18222,
              1.37202,
              1.59699
            ],
            [
              0.24191,
              0.78833,
              0.89656,
              1.02783,
              1.18409,
              1.37071,
              1.59642
            ],
            [
              0.24189,
              0.78751,
              0.89618,
              1.02755,
              1.18422,
              1.37103,
              1.59605
            ],
            [
              0.24181,
              0.78754,
              0.89712,
              1.0274,
              1.18469,
              1.37085,
              1.5962
            ],
            [
              0.24176,
              0.78745,
              0.89655,
              1.02768,
              1.18391,
              1.37198,
              1.59617
            ],
            [
              0.2419,
              0.78746,
              0.89603,
              1.02773,
              1.18458,
              1.36937,
              1.59701
            ],
            [
              0.24195,
              0.78749,
              0.89632,
              1.02833,
              1.18406,
              1.3714,
              1.596
            ],
            [
              0.24187,
              0.7875,
              0.8964,
              1.0276,
              1.1847,
              1.371,
              1.5966
            ],
            [
              0.242,
              0.7875,
              0.8962,
              1.0277,
              1.184,
              1.3716,
              1.5965
            ],
            [
              0.2426,
              0.7877,
              0.8965,
              1.0277,
              1.1844,
              1.372,
              1.5962
            ],
            [
              0.2522,
              0.788,
              0.8964,
              1.0273,
              1.1846,
              1.3713,
              1.5963
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.12434,
              0.27043,
              0.29814,
              0.33127,
              0.3707,
              0.41769,
              0.47377
            ],
            [
              0.12808,
              0.27416,
              0.30186,
              0.335,
              0.37442,
              0.42141,
              0.4775
            ],
            [
              0.13256,
              0.27865,
              0.30635,
              0.33949,
              0.37893,
              0.42592,
              0.48201
            ],
            [
              0.13903,
              0.28508,
              0.31278,
              0.34591,
              0.38532,
              0.43233,
              0.48842
            ],
            [
              0.14826,
              0.29433,
              0.32203,
              0.3552,
              0.39461,
              0.44164,
              0.49774
            ],
            [
              0.1616,
              0.30771,
              0.33543,
              0.36856,
              0.40797,
              0.45506,
              0.51117
            ],
            [
              0.18101,
              0.32716,
              0.35487,
              0.38799,
              0.42742,
              0.47444,
              0.5305
            ],
            [
              0.20966,
              0.35565,
              0.38337,
              0.41651,
              0.45594,
              0.50297,
              0.55908
            ],
            [
              0.25224,
              0.39782,
              0.42558,
              0.45872,
              0.49815,
              0.5452,
              0.60134
            ],
            [
              0.31271,
              0.46067,
              0.48842,
              0.5216,
              0.56108,
              0.60815,
              0.66429
            ],
            [
              0.39676,
              0.55462,
              0.58242,
              0.61552,
              0.65492,
              0.70212,
              0.75842
            ],
            [
              0.51367,
              0.68867,
              0.71877,
              0.75407,
              0.79517,
              0.84297,
              0.89917
            ],
            [
              0.6746,
              0.8751,
              0.9087,
              0.9478,
              0.993,
              1.0453,
              1.1061
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.43262,
              0.8375,
              0.91747,
              1.01377,
              1.12887,
              1.26657,
              1.43157
            ],
            [
              0.4362,
              0.84122,
              0.9212,
              1.01744,
              1.13254,
              1.27034,
              1.43524
            ],
            [
              0.44099,
              0.84599,
              0.92606,
              1.02232,
              1.13732,
              1.27512,
              1.44012
            ],
            [
              0.44873,
              0.85371,
              0.9337,
              1.03008,
              1.14528,
              1.28308,
              1.44808
            ],
            [
              0.46039,
              0.86574,
              0.94576,
              1.04201,
              1.15711,
              1.29491,
              1.45991
            ],
            [
              0.47841,
              0.88401,
              0.96412,
              1.06042,
              1.17552,
              1.31342,
              1.47842
            ],
            [
              0.50576,
              0.91153,
              0.99193,
              1.08833,
              1.20353,
              1.34133,
              1.50623
            ],
            [
              0.54732,
              0.95336,
              1.03376,
              1.13016,
              1.24536,
              1.38326,
              1.54836
            ],
            [
              0.60982,
              1.01655,
              1.09665,
              1.19315,
              1.30845,
              1.44635,
              1.61145
            ],
            [
              0.70399,
              1.11099,
              1.19109,
              1.28769,
              1.40289,
              1.54089,
              1.70609
            ],
            [
              0.84432,
              1.25082,
              1.33112,
              1.42752,
              1.54282,
              1.68082,
              1.84602
            ],
            [
              1.04857,
              1.45507,
              1.53527,
              1.63167,
              1.74717,
              1.88527,
              2.05027
            ],
            [
              1.3473,
              1.7538,
              1.8338,
              1.9303,
              2.0455,
              2.1832,
              2.3481
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.10494,
              0.27328,
              0.30676,
              0.34714,
              0.39566,
              0.45398,
              0.52398
            ],
            [
              0.10491,
              0.27316,
              0.30675,
              0.34712,
              0.39561,
              0.454,
              0.52386
            ],
            [
              0.10484,
              0.27322,
              0.30673,
              0.34723,
              0.3957,
              0.45394,
              0.52391
            ],
            [
              0.10485,
              0.2731,
              0.30665,
              0.34715,
              0.39569,
              0.45393,
              0.5239
            ],
            [
              0.10478,
              0.27318,
              0.30674,
              0.34719,
              0.3958,
              0.45394,
              0.52378
            ],
            [
              0.10468,
              0.27302,
              0.30649,
              0.34718,
              0.39563,
              0.45397,
              0.52382
            ],
            [
              0.10426,
              0.27294,
              0.3066,
              0.34722,
              0.39557,
              0.45382,
              0.52384
            ],
            [
              0.10352,
              0.27297,
              0.30659,
              0.34705,
              0.39575,
              0.45388,
              0.52382
            ],
            [
              0.10505,
              0.2724,
              0.30611,
              0.34677,
              0.39546,
              0.4538,
              0.52374
            ],
            [
              0.11173,
              0.27332,
              0.30653,
              0.34668,
              0.39505,
              0.4534,
              0.52355
            ],
            [
              0.12354,
              0.28126,
              0.31325,
              0.3521,
              0.3991,
              0.456,
              0.5247
            ],
            [
              0.1412,
              0.3022,
              0.3326,
              0.3696,
              0.4145,
              0.4692,
              0.5354
            ],
            [
              0.169,
              0.3388,
              0.3701,
              0.4073,
              0.4509,
              0.5029,
              0.5656
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.25079,
              0.75606,
              0.85634,
              0.97676,
              1.1211,
              1.29548,
              1.50227
            ],
            [
              0.25093,
              0.75602,
              0.85612,
              0.97646,
              1.12101,
              1.29527,
              1.5012
            ],
            [
              0.25091,
              0.75643,
              0.85603,
              0.97756,
              1.12094,
              1.29422,
              1.50128
            ],
            [
              0.25092,
              0.75609,
              0.8571,
              0.97646,
              1.12089,
              1.29378,
              1.50221
            ],
            [
              0.25091,
              0.75611,
              0.85628,
              0.97677,
              1.12095,
              1.29433,
              1.50211
            ],
            [
              0.25121,
              0.75628,
              0.85587,
              0.97703,
              1.12187,
              1.29419,
              1.50255
            ],
            [
              0.25108,
              0.75607,
              0.85686,
              0.97676,
              1.12113,
              1.29519,
              1.50265
            ],
            [
              0.25077,
              0.7564,
              0.8562,
              0.97673,
              1.12121,
              1.29392,
              1.50256
            ],
            [
              0.25121,
              0.75599,
              0.8568,
              0.97672,
              1.12096,
              1.2939,
              1.5016
            ],
            [
              0.25118,
              0.7562,
              0.8567,
              0.9767,
              1.1217,
              1.2955,
              1.5021
            ],
            [
              0.2509,
              0.7563,
              0.8561,
              0.9767,
              1.1209,
              1.2951,
              1.5023
            ],
            [
              0.2511,
              0.7561,
              0.856,
              0.9777,
              1.1216,
              1.2945,
              1.5023
            ],
            [
              0.2588,
              0.7557,
              0.856,
              0.9776,
              1.1214,
              1.2945,
              1.5012
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.05373,
              0.14556,
              0.16374,
              0.18582,
              0.21199,
              0.24355,
              0.2814
            ],
            [
              0.05704,
              0.14899,
              0.16732,
              0.18931,
              0.21551,
              0.24716,
              0.28492
            ],
            [
              0.06093,
              0.15332,
              0.17156,
              0.19339,
              0.21988,
              0.25129,
              0.28914
            ],
            [
              0.06689,
              0.15959,
              0.17782,
              0.19989,
              0.22623,
              0.2576,
              0.2955
            ],
            [
              0.07589,
              0.16906,
              0.18728,
              0.20947,
              0.23582,
              0.26729,
              0.30496
            ],
            [
              0.08967,
              0.1832,
              0.20161,
              0.22371,
              0.25002,
              0.28147,
              0.3194
            ],
            [
              0.11062,
              0.2045,
              0.22285,
              0.24486,
              0.27142,
              0.30311,
              0.34091
            ],
            [
              0.13929,
              0.23676,
              0.25485,
              0.27695,
              0.30351,
              0.3351,
              0.37316
            ],
            [
              0.17688,
              0.28506,
              0.30346,
              0.32564,
              0.35191,
              0.38334,
              0.4217
            ],
            [
              0.22577,
              0.35759,
              0.37633,
              0.39827,
              0.42422,
              0.45653,
              0.49419
            ],
            [
              0.28981,
              0.45572,
              0.47892,
              0.50452,
              0.53382,
              0.56582,
              0.60382
            ],
            [
              0.37347,
              0.58427,
              0.61337,
              0.64577,
              0.68207,
              0.72157,
              0.76547
            ],
            [
              0.4828,
              0.7524,
              0.7894,
              0.8299,
              0.8754,
              0.9253,
              0.9792
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.14737,
              0.43418,
              0.49081,
              0.55905,
              0.64144,
              0.73988,
              0.85741
            ],
            [
              0.14988,
              0.43816,
              0.49501,
              0.56332,
              0.64577,
              0.74392,
              0.86166
            ],
            [
              0.15332,
              0.44227,
              0.49954,
              0.56772,
              0.65013,
              0.74855,
              0.86607
            ],
            [
              0.15909,
              0.44932,
              0.5064,
              0.57527,
              0.65694,
              0.75538,
              0.87355
            ],
            [
              0.16884,
              0.46004,
              0.51695,
              0.5863,
              0.66854,
              0.76669,
              0.88489
            ],
            [
              0.18512,
              0.47644,
              0.53376,
              0.60271,
              0.68527,
              0.78381,
              0.90124
            ],
            [
              0.21098,
              0.50218,
              0.55922,
              0.6282,
              0.71053,
              0.80967,
              0.92773
            ],
            [
              0.25112,
              0.54081,
              0.59833,
              0.66678,
              0.74893,
              0.84756,
              0.96636
            ],
            [
              0.31311,
              0.60243,
              0.65925,
              0.72782,
              0.81125,
              0.90935,
              1.02755
            ],
            [
              0.40701,
              0.69399,
              0.75169,
              0.81909,
              0.90249,
              1.00069,
              1.11819
            ],
            [
              0.54852,
              0.83432,
              0.89152,
              0.95972,
              1.04182,
              1.14102,
              1.25922
            ],
            [
              0.74777,
              1.04557,
              1.10267,
              1.17007,
              1.25297,
              1.35177,
              1.46847
            ],
            [
              1.0261,
              1.3642,
              1.4206,
              1.4893,
              1.572,
              1.6693,
              1.7854
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04068,
              0.15833,
              0.18215,
              0.21018,
              0.24409,
              0.28473,
              0.33374
            ],
            [
              0.04069,
              0.15832,
              0.18217,
              0.21015,
              0.24407,
              0.28497,
              0.33396
            ],
            [
              0.04071,
              0.15833,
              0.18181,
              0.21017,
              0.24422,
              0.28476,
              0.33347
            ],
            [
              0.0407,
              0.15862,
              0.18184,
              0.21058,
              0.24407,
              0.28476,
              0.33347
            ],
            [
              0.04072,
              0.15831,
              0.18184,
              0.2104,
              0.2443,
              0.28478,
              0.33352
            ],
            [
              0.04083,
              0.15831,
              0.18184,
              0.2103,
              0.2441,
              0.28475,
              0.33349
            ],
            [
              0.04404,
              0.15829,
              0.18183,
              0.21014,
              0.24406,
              0.28475,
              0.33351
            ],
            [
              0.05332,
              0.15833,
              0.18181,
              0.21026,
              0.24404,
              0.28469,
              0.33348
            ],
            [
              0.06691,
              0.1635,
              0.18516,
              0.21168,
              0.2445,
              0.28494,
              0.33351
            ],
            [
              0.08607,
              0.17987,
              0.19925,
              0.22338,
              0.25356,
              0.29048,
              0.33597
            ],
            [
              0.11264,
              0.21682,
              0.233,
              0.25346,
              0.27933,
              0.31248,
              0.35335
            ],
            [
              0.1492,
              0.2727,
              0.2911,
              0.3121,
              0.3356,
              0.3633,
              0.3984
            ],
            [
              0.2004,
              0.3485,
              0.3702,
              0.3949,
              0.4221,
              0.4525,
              0.4884
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.12207,
              0.4842,
              0.5572,
              0.64441,
              0.74865,
              0.87356,
              1.02478
            ],
            [
              0.12207,
              0.48457,
              0.55717,
              0.64458,
              0.74865,
              0.87388,
              1.02307
            ],
            [
              0.12211,
              0.48376,
              0.55637,
              0.64316,
              0.74748,
              0.87128,
              1.023
            ],
            [
              0.12198,
              0.48424,
              0.55667,
              0.64391,
              0.74689,
              0.87193,
              1.02197
            ],
            [
              0.1219,
              0.48351,
              0.55617,
              0.64369,
              0.74811,
              0.87192,
              1.02082
            ],
            [
              0.12177,
              0.48428,
              0.55603,
              0.64283,
              0.74684,
              0.87301,
              1.02186
            ],
            [
              0.122,
              0.48481,
              0.55663,
              0.64279,
              0.74734,
              0.87331,
              1.02297
            ],
            [
              0.12173,
              0.48439,
              0.55647,
              0.64364,
              0.74687,
              0.87248,
              1.02312
            ],
            [
              0.12142,
              0.48495,
              0.55654,
              0.64381,
              0.74794,
              0.87166,
              1.0222
            ],
            [
              0.12461,
              0.4843,
              0.55647,
              0.64253,
              0.74713,
              0.87255,
              1.0231
            ],
            [
              0.1409,
              0.4841,
              0.5572,
              0.6437,
              0.7479,
              0.873,
              1.023
            ],
            [
              0.1791,
              0.4847,
              0.5568,
              0.6445,
              0.748,
              0.8727,
              1.0233
            ],
            [
              0.2347,
              0.5057,
              0.5697,
              0.6509,
              0.7497,
              0.8725,
              1.0248
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.05381,
              0.14562,
              0.16383,
              0.1858,
              0.21196,
              0.24364,
              0.28119
            ],
            [
              0.05708,
              0.14906,
              0.16741,
              0.18934,
              0.21551,
              0.2472,
              0.2848
            ],
            [
              0.06102,
              0.15322,
              0.17158,
              0.19361,
              0.21982,
              0.25136,
              0.28924
            ],
            [
              0.06697,
              0.15971,
              0.17788,
              0.19994,
              0.22631,
              0.25767,
              0.29567
            ],
            [
              0.07598,
              0.16913,
              0.18752,
              0.20958,
              0.23589,
              0.26733,
              0.30529
            ],
            [
              0.08978,
              0.18344,
              0.20184,
              0.22388,
              0.25008,
              0.28184,
              0.31971
            ],
            [
              0.11081,
              0.20482,
              0.22316,
              0.2452,
              0.27173,
              0.30338,
              0.34113
            ],
            [
              0.13964,
              0.23684,
              0.25517,
              0.27736,
              0.3038,
              0.33537,
              0.37341
            ],
            [
              0.17718,
              0.28522,
              0.30365,
              0.32596,
              0.3519,
              0.38375,
              0.42182
            ],
            [
              0.22609,
              0.35784,
              0.37669,
              0.39885,
              0.42528,
              0.45693,
              0.49456
            ],
            [
              0.29015,
              0.45612,
              0.47942,
              0.50552,
              0.53442,
              0.56632,
              0.60442
            ],
            [
              0.37387,
              0.58487,
              0.61357,
              0.64607,
              0.68217,
              0.72187,
              0.76577
            ],
            [
              0.4831,
              0.7532,
              0.7901,
              0.8308,
              0.8758,
              0.926,
              0.9806
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.16746,
              0.50029,
              0.56621,
              0.64575,
              0.74116,
              0.85514,
              0.99146
            ],
            [
              0.16954,
              0.50385,
              0.57011,
              0.6496,
              0.74469,
              0.85905,
              0.99574
            ],
            [
              0.17245,
              0.50829,
              0.57456,
              0.65379,
              0.74926,
              0.86359,
              1.00022
            ],
            [
              0.17763,
              0.51453,
              0.58125,
              0.66075,
              0.75592,
              0.87037,
              1.00718
            ],
            [
              0.18677,
              0.52494,
              0.5916,
              0.6715,
              0.767,
              0.88134,
              1.01811
            ],
            [
              0.20208,
              0.54065,
              0.60759,
              0.68732,
              0.78317,
              0.89773,
              1.03462
            ],
            [
              0.22711,
              0.56516,
              0.63234,
              0.7123,
              0.80786,
              0.92293,
              1.05983
            ],
            [
              0.26633,
              0.60399,
              0.67082,
              0.75035,
              0.84586,
              0.96056,
              1.09846
            ],
            [
              0.32739,
              0.66261,
              0.72943,
              0.80905,
              0.90605,
              1.02115,
              1.15835
            ],
            [
              0.42009,
              0.75369,
              0.82039,
              0.89999,
              0.99389,
              1.10969,
              1.24629
            ],
            [
              0.56082,
              0.89132,
              0.95802,
              1.03782,
              1.13292,
              1.24782,
              1.38552
            ],
            [
              0.76237,
              1.10107,
              1.16657,
              1.24557,
              1.34287,
              1.45617,
              1.59207
            ],
            [
              1.0429,
              1.4161,
              1.4813,
              1.5607,
              1.6573,
              1.7701,
              1.905
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04066,
              0.15846,
              0.18218,
              0.21019,
              0.24408,
              0.28479,
              0.33349
            ],
            [
              0.04065,
              0.15829,
              0.18197,
              0.21019,
              0.24407,
              0.28478,
              0.33351
            ],
            [
              0.04068,
              0.1583,
              0.18205,
              0.21036,
              0.2441,
              0.28473,
              0.3335
            ],
            [
              0.04069,
              0.1586,
              0.18185,
              0.21017,
              0.24406,
              0.28472,
              0.33385
            ],
            [
              0.0407,
              0.15831,
              0.1822,
              0.21016,
              0.24409,
              0.28474,
              0.33384
            ],
            [
              0.0408,
              0.15831,
              0.18194,
              0.21012,
              0.24408,
              0.28474,
              0.33373
            ],
            [
              0.04395,
              0.15826,
              0.18182,
              0.21014,
              0.24407,
              0.28512,
              0.33354
            ],
            [
              0.05315,
              0.1583,
              0.1818,
              0.21031,
              0.24407,
              0.2847,
              0.33348
            ],
            [
              0.0667,
              0.16345,
              0.18511,
              0.21188,
              0.2445,
              0.28494,
              0.33365
            ],
            [
              0.0858,
              0.17974,
              0.19901,
              0.22313,
              0.25321,
              0.28991,
              0.33599
            ],
            [
              0.11238,
              0.21643,
              0.23247,
              0.25286,
              0.27896,
              0.3118,
              0.35302
            ],
            [
              0.1488,
              0.2719,
              0.2909,
              0.3119,
              0.3355,
              0.363,
              0.3982
            ],
            [
              0.2,
              0.3477,
              0.3696,
              0.394,
              0.4216,
              0.4519,
              0.487
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.14105,
              0.55863,
              0.642,
              0.74263,
              0.86316,
              1.00675,
              1.18066
            ],
            [
              0.14106,
              0.55913,
              0.64216,
              0.74311,
              0.8628,
              1.00755,
              1.17959
            ],
            [
              0.14085,
              0.55929,
              0.64195,
              0.74265,
              0.86283,
              1.00712,
              1.17994
            ],
            [
              0.14103,
              0.55942,
              0.64378,
              0.74252,
              0.86288,
              1.00843,
              1.1797
            ],
            [
              0.14093,
              0.55864,
              0.64389,
              0.74333,
              0.86312,
              1.00709,
              1.18085
            ],
            [
              0.14091,
              0.55851,
              0.64195,
              0.74264,
              0.86334,
              1.00677,
              1.18075
            ],
            [
              0.14064,
              0.55851,
              0.64278,
              0.74259,
              0.86443,
              1.00722,
              1.181
            ],
            [
              0.14015,
              0.55965,
              0.64378,
              0.74311,
              0.86348,
              1.00888,
              1.18088
            ],
            [
              0.13968,
              0.55933,
              0.6442,
              0.74338,
              0.86307,
              1.00711,
              1.18072
            ],
            [
              0.14071,
              0.55857,
              0.64243,
              0.74289,
              0.86336,
              1.00875,
              1.1811
            ],
            [
              0.1543,
              0.5594,
              0.6427,
              0.7429,
              0.8659,
              1.0078,
              1.1803
            ],
            [
              0.1895,
              0.5589,
              0.6425,
              0.7441,
              0.8655,
              1.0071,
              1.1797
            ],
            [
              0.2471,
              0.5722,
              0.65,
              0.7452,
              0.8643,
              1.0077,
              1.1799
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.0538,
              0.14563,
              0.16382,
              0.18577,
              0.21199,
              0.24364,
              0.2812
            ],
            [
              0.05707,
              0.14903,
              0.1674,
              0.18928,
              0.21563,
              0.24715,
              0.28478
            ],
            [
              0.06101,
              0.1532,
              0.17157,
              0.19361,
              0.21977,
              0.25141,
              0.28921
            ],
            [
              0.06697,
              0.15959,
              0.17797,
              0.2,
              0.22623,
              0.25782,
              0.29566
            ],
            [
              0.07596,
              0.1691,
              0.1875,
              0.20957,
              0.23572,
              0.26722,
              0.30528
            ],
            [
              0.08976,
              0.18338,
              0.20183,
              0.22387,
              0.25013,
              0.28177,
              0.31969
            ],
            [
              0.11078,
              0.20478,
              0.22312,
              0.24517,
              0.27169,
              0.30335,
              0.34119
            ],
            [
              0.13959,
              0.23677,
              0.25509,
              0.27741,
              0.3037,
              0.33534,
              0.37338
            ],
            [
              0.17712,
              0.28522,
              0.30363,
              0.32592,
              0.35189,
              0.38372,
              0.42165
            ],
            [
              0.22603,
              0.35781,
              0.37666,
              0.39878,
              0.42513,
              0.45662,
              0.49425
            ],
            [
              0.2899,
              0.45602,
              0.47942,
              0.50542,
              0.53432,
              0.56622,
              0.60432
            ],
            [
              0.37377,
              0.58477,
              0.61347,
              0.64597,
              0.68207,
              0.72197,
              0.76577
            ],
            [
              0.4831,
              0.7531,
              0.7901,
              0.8307,
              0.8755,
              0.9259,
              0.9809
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.16336,
              0.48549,
              0.54941,
              0.62675,
              0.71915,
              0.82962,
              0.96179
            ],
            [
              0.16553,
              0.48968,
              0.55366,
              0.63062,
              0.72294,
              0.83309,
              0.96518
            ],
            [
              0.16854,
              0.49371,
              0.55788,
              0.63519,
              0.72718,
              0.8376,
              0.97046
            ],
            [
              0.17377,
              0.5005,
              0.56425,
              0.64168,
              0.73435,
              0.84461,
              0.97728
            ],
            [
              0.18309,
              0.51057,
              0.57469,
              0.65227,
              0.74493,
              0.85589,
              0.98831
            ],
            [
              0.19857,
              0.52713,
              0.59141,
              0.66861,
              0.76123,
              0.8724,
              1.00502
            ],
            [
              0.22379,
              0.5518,
              0.61609,
              0.69392,
              0.78632,
              0.89753,
              1.03073
            ],
            [
              0.2633,
              0.59009,
              0.65442,
              0.73157,
              0.82478,
              0.93576,
              1.06866
            ],
            [
              0.3244,
              0.64878,
              0.7138,
              0.79115,
              0.88455,
              0.99625,
              1.12965
            ],
            [
              0.41746,
              0.74129,
              0.80569,
              0.88179,
              0.97299,
              1.08559,
              1.21729
            ],
            [
              0.55852,
              0.87972,
              0.94362,
              1.02012,
              1.11272,
              1.22392,
              1.35732
            ],
            [
              0.75937,
              1.08907,
              1.15247,
              1.22867,
              1.32297,
              1.43297,
              1.56407
            ],
            [
              1.0395,
              1.4049,
              1.468,
              1.5445,
              1.6382,
              1.7478,
              1.8778
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04067,
              0.15846,
              0.18217,
              0.21019,
              0.24453,
              0.28471,
              0.33349
            ],
            [
              0.04066,
              0.1583,
              0.18187,
              0.21018,
              0.24452,
              0.28477,
              0.33346
            ],
            [
              0.04068,
              0.15832,
              0.18204,
              0.21025,
              0.24409,
              0.28534,
              0.33352
            ],
            [
              0.04068,
              0.15833,
              0.18215,
              0.2103,
              0.24409,
              0.28475,
              0.33347
            ],
            [
              0.04071,
              0.15832,
              0.18219,
              0.21026,
              0.24409,
              0.28475,
              0.33384
            ],
            [
              0.04081,
              0.15831,
              0.18196,
              0.21012,
              0.2441,
              0.28474,
              0.33396
            ],
            [
              0.04396,
              0.15826,
              0.18182,
              0.21014,
              0.24408,
              0.28511,
              0.33355
            ],
            [
              0.05319,
              0.15831,
              0.1818,
              0.2103,
              0.24408,
              0.2847,
              0.33347
            ],
            [
              0.06674,
              0.16343,
              0.18512,
              0.21189,
              0.2445,
              0.2849,
              0.3335
            ],
            [
              0.08585,
              0.17976,
              0.19903,
              0.22315,
              0.25325,
              0.29047,
              0.33604
            ],
            [
              0.11239,
              0.21658,
              0.2326,
              0.2529,
              0.27905,
              0.31236,
              0.35363
            ],
            [
              0.149,
              0.272,
              0.291,
              0.312,
              0.3356,
              0.3629,
              0.3982
            ],
            [
              0.2001,
              0.3479,
              0.3696,
              0.3941,
              0.4218,
              0.452,
              0.4869
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.13656,
              0.54305,
              0.62432,
              0.72218,
              0.83751,
              0.97689,
              1.14428
            ],
            [
              0.13677,
              0.54242,
              0.62351,
              0.72101,
              0.83692,
              0.97775,
              1.14372
            ],
            [
              0.13652,
              0.54219,
              0.6232,
              0.71998,
              0.83659,
              0.97641,
              1.14525
            ],
            [
              0.13662,
              0.5415,
              0.62268,
              0.7202,
              0.83675,
              0.97637,
              1.14485
            ],
            [
              0.13665,
              0.54226,
              0.62302,
              0.72017,
              0.83687,
              0.97675,
              1.14415
            ],
            [
              0.13665,
              0.54302,
              0.6234,
              0.72005,
              0.83688,
              0.97667,
              1.14405
            ],
            [
              0.13648,
              0.54293,
              0.6232,
              0.7208,
              0.83674,
              0.97798,
              1.14483
            ],
            [
              0.13615,
              0.54341,
              0.62343,
              0.72056,
              0.83645,
              0.97742,
              1.14424
            ],
            [
              0.13568,
              0.5422,
              0.62323,
              0.71989,
              0.83689,
              0.97698,
              1.14395
            ],
            [
              0.13712,
              0.54323,
              0.62388,
              0.72071,
              0.8368,
              0.97716,
              1.1441
            ],
            [
              0.1512,
              0.543,
              0.6233,
              0.7204,
              0.8374,
              0.9805,
              1.1441
            ],
            [
              0.1872,
              0.5421,
              0.6235,
              0.7212,
              0.839,
              0.9774,
              1.1442
            ],
            [
              0.2445,
              0.5566,
              0.6319,
              0.7236,
              0.8382,
              0.9792,
              1.1446
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.0539,
              0.14557,
              0.16371,
              0.18582,
              0.21213,
              0.24349,
              0.2815
            ],
            [
              0.05717,
              0.14902,
              0.16736,
              0.18928,
              0.21578,
              0.24707,
              0.28502
            ],
            [
              0.06114,
              0.15336,
              0.17154,
              0.19367,
              0.21974,
              0.25147,
              0.28922
            ],
            [
              0.06706,
              0.15979,
              0.17802,
              0.19997,
              0.22643,
              0.2577,
              0.29584
            ],
            [
              0.07624,
              0.16938,
              0.1877,
              0.20962,
              0.2361,
              0.26762,
              0.3052
            ],
            [
              0.09004,
              0.18376,
              0.20197,
              0.224,
              0.25057,
              0.28209,
              0.31972
            ],
            [
              0.11112,
              0.20522,
              0.22351,
              0.24565,
              0.27215,
              0.30369,
              0.34135
            ],
            [
              0.14014,
              0.2374,
              0.25575,
              0.27799,
              0.30444,
              0.33603,
              0.37406
            ],
            [
              0.17778,
              0.28604,
              0.30421,
              0.32644,
              0.35283,
              0.38461,
              0.4225
            ],
            [
              0.22678,
              0.35868,
              0.37748,
              0.39953,
              0.42583,
              0.45745,
              0.49514
            ],
            [
              0.2907,
              0.45722,
              0.48032,
              0.50632,
              0.53512,
              0.56752,
              0.60532
            ],
            [
              0.37447,
              0.58587,
              0.61487,
              0.64737,
              0.68347,
              0.72307,
              0.76657
            ],
            [
              0.4838,
              0.7542,
              0.7911,
              0.832,
              0.8771,
              0.9267,
              0.9819
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.21871,
              0.67681,
              0.76742,
              0.87632,
              1.00737,
              1.16467,
              1.35277
            ],
            [
              0.21975,
              0.68005,
              0.77075,
              0.87971,
              1.01114,
              1.16844,
              1.35664
            ],
            [
              0.22147,
              0.68378,
              0.77485,
              0.88372,
              1.01512,
              1.17202,
              1.36052
            ],
            [
              0.2251,
              0.68953,
              0.7806,
              0.88975,
              1.02078,
              1.17878,
              1.36678
            ],
            [
              0.23251,
              0.69834,
              0.78971,
              0.89905,
              1.03101,
              1.18861,
              1.37711
            ],
            [
              0.24584,
              0.71285,
              0.8043,
              0.91424,
              1.04532,
              1.20312,
              1.39252
            ],
            [
              0.26871,
              0.7354,
              0.82721,
              0.93753,
              1.06903,
              1.22713,
              1.41503
            ],
            [
              0.30575,
              0.77143,
              0.86316,
              0.97326,
              1.10506,
              1.26356,
              1.45276
            ],
            [
              0.36424,
              0.82695,
              0.91955,
              1.02985,
              1.16075,
              1.32025,
              1.51015
            ],
            [
              0.45454,
              0.91319,
              1.00649,
              1.11619,
              1.24699,
              1.40589,
              1.59629
            ],
            [
              0.59192,
              1.04722,
              1.14032,
              1.24942,
              1.37922,
              1.53992,
              1.72762
            ],
            [
              0.79747,
              1.25067,
              1.34207,
              1.45047,
              1.58257,
              1.74167,
              1.92777
            ],
            [
              1.0838,
              1.5576,
              1.6482,
              1.757,
              1.8889,
              2.0467,
              2.233
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04059,
              0.15826,
              0.18179,
              0.21028,
              0.244,
              0.28475,
              0.33341
            ],
            [
              0.04061,
              0.15825,
              0.18191,
              0.21014,
              0.24431,
              0.28476,
              0.33342
            ],
            [
              0.04063,
              0.15845,
              0.18185,
              0.21019,
              0.24407,
              0.28478,
              0.3341
            ],
            [
              0.04064,
              0.15855,
              0.18178,
              0.2101,
              0.24434,
              0.28477,
              0.33387
            ],
            [
              0.04066,
              0.15826,
              0.1818,
              0.21011,
              0.24434,
              0.28478,
              0.33347
            ],
            [
              0.04075,
              0.15828,
              0.18183,
              0.21016,
              0.24432,
              0.28479,
              0.33349
            ],
            [
              0.04379,
              0.15826,
              0.18181,
              0.21013,
              0.24432,
              0.28478,
              0.33349
            ],
            [
              0.05277,
              0.15827,
              0.1821,
              0.21029,
              0.24407,
              0.28469,
              0.33379
            ],
            [
              0.0663,
              0.16318,
              0.1847,
              0.21152,
              0.24439,
              0.28495,
              0.33349
            ],
            [
              0.0853,
              0.17924,
              0.19856,
              0.22285,
              0.25297,
              0.2899,
              0.33593
            ],
            [
              0.11168,
              0.21555,
              0.23185,
              0.25225,
              0.27857,
              0.31122,
              0.35256
            ],
            [
              0.1482,
              0.2711,
              0.2898,
              0.3107,
              0.3344,
              0.362,
              0.3977
            ],
            [
              0.1993,
              0.3469,
              0.3683,
              0.3929,
              0.4205,
              0.4513,
              0.4859
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.19271,
              0.76241,
              0.87532,
              1.01388,
              1.17668,
              1.3725,
              1.60852
            ],
            [
              0.19245,
              0.76231,
              0.87529,
              1.01379,
              1.17676,
              1.37246,
              1.60812
            ],
            [
              0.19233,
              0.7619,
              0.87599,
              1.01381,
              1.17638,
              1.37456,
              1.61005
            ],
            [
              0.19196,
              0.76194,
              0.87808,
              1.01306,
              1.18026,
              1.3734,
              1.61019
            ],
            [
              0.19186,
              0.76232,
              0.87612,
              1.01378,
              1.17663,
              1.37259,
              1.60795
            ],
            [
              0.19152,
              0.76213,
              0.878,
              1.01555,
              1.17565,
              1.37447,
              1.60804
            ],
            [
              0.19085,
              0.76195,
              0.8755,
              1.01267,
              1.18013,
              1.37351,
              1.61096
            ],
            [
              0.19029,
              0.76215,
              0.87622,
              1.01384,
              1.17669,
              1.37247,
              1.6088
            ],
            [
              0.18882,
              0.76244,
              0.87552,
              1.01302,
              1.17544,
              1.37338,
              1.60787
            ],
            [
              0.18645,
              0.76214,
              0.87794,
              1.01292,
              1.181,
              1.3743,
              1.6079
            ],
            [
              0.1936,
              0.7635,
              0.8755,
              1.0153,
              1.1761,
              1.3727,
              1.6107
            ],
            [
              0.22,
              0.7622,
              0.8759,
              1.015,
              1.1769,
              1.3725,
              1.6096
            ],
            [
              0.2785,
              0.7618,
              0.8732,
              1.0117,
              1.1793,
              1.3721,
              1.6084
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.0539,
              0.14553,
              0.16381,
              0.18583,
              0.2122,
              0.24352,
              0.28126
            ],
            [
              0.05713,
              0.1491,
              0.16731,
              0.18949,
              0.2158,
              0.24705,
              0.28482
            ],
            [
              0.06108,
              0.15337,
              0.17157,
              0.19357,
              0.2201,
              0.25135,
              0.28917
            ],
            [
              0.06705,
              0.15976,
              0.17813,
              0.19994,
              0.22648,
              0.25801,
              0.29583
            ],
            [
              0.07607,
              0.16924,
              0.1875,
              0.20949,
              0.23598,
              0.26752,
              0.30548
            ],
            [
              0.08987,
              0.18347,
              0.20181,
              0.22383,
              0.25026,
              0.28185,
              0.31989
            ],
            [
              0.11089,
              0.2048,
              0.22327,
              0.2453,
              0.27187,
              0.30355,
              0.34128
            ],
            [
              0.13977,
              0.2368,
              0.25527,
              0.27747,
              0.30372,
              0.33546,
              0.37359
            ],
            [
              0.17719,
              0.28527,
              0.30372,
              0.32604,
              0.35198,
              0.38387,
              0.42195
            ],
            [
              0.22625,
              0.35794,
              0.37678,
              0.39894,
              0.42524,
              0.45682,
              0.49448
            ],
            [
              0.29033,
              0.45622,
              0.47952,
              0.50562,
              0.53452,
              0.56642,
              0.60452
            ],
            [
              0.37407,
              0.58497,
              0.61367,
              0.64617,
              0.68227,
              0.72197,
              0.76587
            ],
            [
              0.4835,
              0.7533,
              0.7903,
              0.8309,
              0.8758,
              0.9261,
              0.981
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.21089,
              0.54011,
              0.60527,
              0.6837,
              0.77751,
              0.88995,
              1.02467
            ],
            [
              0.21371,
              0.54381,
              0.60902,
              0.68753,
              0.78144,
              0.89391,
              1.02864
            ],
            [
              0.21729,
              0.54823,
              0.61346,
              0.69201,
              0.78598,
              0.89849,
              1.03322
            ],
            [
              0.2229,
              0.55485,
              0.62028,
              0.6989,
              0.7929,
              0.90575,
              1.04048
            ],
            [
              0.23225,
              0.5654,
              0.63091,
              0.70972,
              0.80379,
              0.91646,
              1.05141
            ],
            [
              0.24763,
              0.58136,
              0.64703,
              0.72598,
              0.82023,
              0.93302,
              1.06802
            ],
            [
              0.27239,
              0.6062,
              0.67196,
              0.7511,
              0.84554,
              0.95853,
              1.09363
            ],
            [
              0.31091,
              0.64453,
              0.7101,
              0.78917,
              0.88366,
              0.99686,
              1.13226
            ],
            [
              0.37158,
              0.70359,
              0.76935,
              0.84785,
              0.94375,
              1.05705,
              1.19275
            ],
            [
              0.46415,
              0.79499,
              0.86009,
              0.93749,
              1.03359,
              1.14599,
              1.28219
            ],
            [
              0.60382,
              0.93312,
              0.99832,
              1.07622,
              1.17162,
              1.28482,
              1.41932
            ],
            [
              0.81397,
              1.14217,
              1.20667,
              1.28627,
              1.38027,
              1.49267,
              1.62507
            ],
            [
              1.1113,
              1.4573,
              1.5209,
              1.6008,
              1.6946,
              1.807,
              1.9389
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04893,
              0.16987,
              0.19344,
              0.22173,
              0.25566,
              0.29632,
              0.34481
            ],
            [
              0.04892,
              0.16988,
              0.19341,
              0.22181,
              0.25568,
              0.29632,
              0.34506
            ],
            [
              0.04894,
              0.16992,
              0.19345,
              0.22179,
              0.25574,
              0.29627,
              0.34508
            ],
            [
              0.04896,
              0.16998,
              0.19351,
              0.22172,
              0.25574,
              0.29643,
              0.34481
            ],
            [
              0.04896,
              0.1699,
              0.19343,
              0.22173,
              0.25568,
              0.29642,
              0.34484
            ],
            [
              0.04909,
              0.16989,
              0.19342,
              0.22171,
              0.25563,
              0.2964,
              0.34482
            ],
            [
              0.05227,
              0.16988,
              0.19348,
              0.22175,
              0.25567,
              0.29627,
              0.34503
            ],
            [
              0.06156,
              0.16996,
              0.19346,
              0.22183,
              0.25565,
              0.29636,
              0.34507
            ],
            [
              0.07874,
              0.17488,
              0.19652,
              0.22325,
              0.25612,
              0.29623,
              0.34494
            ],
            [
              0.10202,
              0.19144,
              0.21058,
              0.23455,
              0.26455,
              0.30168,
              0.34746
            ],
            [
              0.13409,
              0.22827,
              0.24429,
              0.26478,
              0.29069,
              0.32375,
              0.36469
            ],
            [
              0.1781,
              0.2863,
              0.3043,
              0.3244,
              0.3472,
              0.3748,
              0.4101
            ],
            [
              0.2388,
              0.3657,
              0.3859,
              0.4094,
              0.4359,
              0.4652,
              0.499
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.16352,
              0.5772,
              0.65913,
              0.75846,
              0.87738,
              1.02052,
              1.19143
            ],
            [
              0.16358,
              0.57685,
              0.6595,
              0.75914,
              0.87781,
              1.02043,
              1.19079
            ],
            [
              0.16364,
              0.5773,
              0.6597,
              0.75894,
              0.87796,
              1.02042,
              1.19106
            ],
            [
              0.16361,
              0.57736,
              0.65978,
              0.75913,
              0.87761,
              1.02045,
              1.19135
            ],
            [
              0.16351,
              0.57731,
              0.65919,
              0.7589,
              0.87795,
              1.02062,
              1.19116
            ],
            [
              0.16359,
              0.57716,
              0.65954,
              0.7592,
              0.87801,
              1.02023,
              1.19111
            ],
            [
              0.16363,
              0.57729,
              0.65981,
              0.75897,
              0.87795,
              1.02044,
              1.19108
            ],
            [
              0.16342,
              0.57739,
              0.6599,
              0.75902,
              0.87808,
              1.02046,
              1.19118
            ],
            [
              0.16328,
              0.57733,
              0.6598,
              0.75862,
              0.87804,
              1.02014,
              1.19127
            ],
            [
              0.1625,
              0.57734,
              0.65939,
              0.75902,
              0.87797,
              1.0206,
              1.1912
            ],
            [
              0.1675,
              0.5771,
              0.6598,
              0.7589,
              0.8782,
              1.0205,
              1.1912
            ],
            [
              0.1915,
              0.577,
              0.6597,
              0.7587,
              0.8777,
              1.0206,
              1.1913
            ],
            [
              0.2442,
              0.5846,
              0.6632,
              0.7593,
              0.8778,
              1.0202,
              1.1908
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.05397,
              0.1456,
              0.16383,
              0.18569,
              0.21219,
              0.24355,
              0.28166
            ],
            [
              0.05725,
              0.14914,
              0.16737,
              0.1894,
              0.21559,
              0.24708,
              0.28525
            ],
            [
              0.0612,
              0.15335,
              0.17168,
              0.19365,
              0.21984,
              0.25147,
              0.28946
            ],
            [
              0.06719,
              0.15981,
              0.17803,
              0.20009,
              0.22631,
              0.25782,
              0.29607
            ],
            [
              0.07632,
              0.16938,
              0.18767,
              0.20974,
              0.23606,
              0.26755,
              0.30534
            ],
            [
              0.09017,
              0.18375,
              0.20211,
              0.22419,
              0.25077,
              0.28205,
              0.31984
            ],
            [
              0.11123,
              0.20527,
              0.22365,
              0.2458,
              0.27207,
              0.30366,
              0.34161
            ],
            [
              0.14028,
              0.23741,
              0.25587,
              0.27817,
              0.30444,
              0.33615,
              0.37427
            ],
            [
              0.17797,
              0.2861,
              0.30439,
              0.32655,
              0.35296,
              0.38484,
              0.42281
            ],
            [
              0.22703,
              0.35883,
              0.37764,
              0.3997,
              0.42598,
              0.45772,
              0.49516
            ],
            [
              0.29098,
              0.45742,
              0.48052,
              0.50652,
              0.53532,
              0.56762,
              0.60542
            ],
            [
              0.37487,
              0.58607,
              0.61507,
              0.64757,
              0.68367,
              0.72337,
              0.76687
            ],
            [
              0.4842,
              0.7544,
              0.7914,
              0.8322,
              0.8772,
              0.9269,
              0.9821
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.28496,
              0.74766,
              0.83931,
              0.94964,
              1.08157,
              1.23967,
              1.42917
            ],
            [
              0.28713,
              0.751,
              0.84275,
              0.95316,
              1.08534,
              1.24354,
              1.43304
            ],
            [
              0.28981,
              0.75492,
              0.84678,
              0.9573,
              1.08942,
              1.24772,
              1.43732
            ],
            [
              0.29407,
              0.76075,
              0.85267,
              0.9633,
              1.09558,
              1.25418,
              1.44388
            ],
            [
              0.30166,
              0.7701,
              0.8623,
              0.97301,
              1.10541,
              1.26391,
              1.45371
            ],
            [
              0.31492,
              0.78433,
              0.87672,
              0.98772,
              1.12032,
              1.27892,
              1.46912
            ],
            [
              0.33737,
              0.80701,
              0.89973,
              1.01103,
              1.14383,
              1.30273,
              1.49283
            ],
            [
              0.37323,
              0.84296,
              0.93556,
              1.04706,
              1.18016,
              1.33926,
              1.52966
            ],
            [
              0.43074,
              0.89945,
              0.99205,
              1.10285,
              1.23715,
              1.39635,
              1.58715
            ],
            [
              0.52031,
              0.98599,
              1.07829,
              1.18899,
              1.32089,
              1.48259,
              1.67339
            ],
            [
              0.65622,
              1.11982,
              1.21192,
              1.32272,
              1.45372,
              1.61542,
              1.80452
            ],
            [
              0.86167,
              1.32267,
              1.41347,
              1.52327,
              1.65837,
              1.81617,
              2.00617
            ],
            [
              1.1669,
              1.6293,
              1.7189,
              1.8308,
              1.9637,
              2.1216,
              2.3076
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04883,
              0.16981,
              0.19342,
              0.22167,
              0.25563,
              0.2962,
              0.34489
            ],
            [
              0.04884,
              0.16983,
              0.19338,
              0.22172,
              0.25563,
              0.29635,
              0.34491
            ],
            [
              0.04887,
              0.16983,
              0.19343,
              0.22169,
              0.25561,
              0.29619,
              0.34508
            ],
            [
              0.04889,
              0.16987,
              0.19341,
              0.22175,
              0.25566,
              0.29633,
              0.34482
            ],
            [
              0.04889,
              0.16986,
              0.19341,
              0.22173,
              0.25563,
              0.29632,
              0.34507
            ],
            [
              0.04902,
              0.16987,
              0.19338,
              0.22171,
              0.25561,
              0.29631,
              0.34506
            ],
            [
              0.05211,
              0.16986,
              0.19345,
              0.22174,
              0.2557,
              0.2963,
              0.34489
            ],
            [
              0.0612,
              0.16989,
              0.19343,
              0.22185,
              0.25563,
              0.29635,
              0.34486
            ],
            [
              0.07813,
              0.17464,
              0.19637,
              0.22315,
              0.25601,
              0.29626,
              0.34486
            ],
            [
              0.10135,
              0.1909,
              0.2101,
              0.23428,
              0.26428,
              0.3015,
              0.34736
            ],
            [
              0.13346,
              0.22726,
              0.24352,
              0.26416,
              0.29028,
              0.32306,
              0.36407
            ],
            [
              0.1772,
              0.2854,
              0.303,
              0.3232,
              0.346,
              0.3737,
              0.4092
            ],
            [
              0.238,
              0.3646,
              0.3848,
              0.408,
              0.4345,
              0.4644,
              0.498
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.22917,
              0.8052,
              0.92012,
              1.05829,
              1.22357,
              1.4219,
              1.65962
            ],
            [
              0.2292,
              0.80481,
              0.91952,
              1.0578,
              1.22384,
              1.42256,
              1.65983
            ],
            [
              0.22935,
              0.80549,
              0.92038,
              1.05855,
              1.22413,
              1.42264,
              1.66062
            ],
            [
              0.22934,
              0.80522,
              0.91932,
              1.0577,
              1.22351,
              1.42145,
              1.65983
            ],
            [
              0.22913,
              0.80563,
              0.92046,
              1.05829,
              1.22421,
              1.42187,
              1.66045
            ],
            [
              0.22901,
              0.8055,
              0.92006,
              1.05835,
              1.22332,
              1.42257,
              1.66051
            ],
            [
              0.22862,
              0.80533,
              0.92029,
              1.05857,
              1.2233,
              1.42148,
              1.65944
            ],
            [
              0.22849,
              0.80551,
              0.92007,
              1.05835,
              1.22421,
              1.42191,
              1.65979
            ],
            [
              0.22807,
              0.80506,
              0.92014,
              1.0584,
              1.22364,
              1.42145,
              1.6591
            ],
            [
              0.22664,
              0.80539,
              0.92023,
              1.0581,
              1.2236,
              1.4216,
              1.6591
            ],
            [
              0.2249,
              0.8054,
              0.9199,
              1.058,
              1.222,
              1.422,
              1.6596
            ],
            [
              0.2388,
              0.8045,
              0.9201,
              1.0584,
              1.2216,
              1.4215,
              1.6599
            ],
            [
              0.2818,
              0.8029,
              0.919,
              1.0569,
              1.2234,
              1.4205,
              1.6592
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.05397,
              0.14565,
              0.16378,
              0.1857,
              0.21226,
              0.24353,
              0.28173
            ],
            [
              0.05724,
              0.14914,
              0.16745,
              0.18932,
              0.21561,
              0.24714,
              0.28522
            ],
            [
              0.06119,
              0.15335,
              0.17168,
              0.19366,
              0.21982,
              0.2515,
              0.28941
            ],
            [
              0.06716,
              0.15978,
              0.17808,
              0.20009,
              0.22631,
              0.25794,
              0.29597
            ],
            [
              0.0763,
              0.16934,
              0.18766,
              0.20965,
              0.23626,
              0.26753,
              0.30531
            ],
            [
              0.09014,
              0.18373,
              0.20207,
              0.22417,
              0.25069,
              0.28199,
              0.31988
            ],
            [
              0.11119,
              0.20521,
              0.2236,
              0.24576,
              0.27228,
              0.30376,
              0.34147
            ],
            [
              0.14021,
              0.23732,
              0.25578,
              0.27809,
              0.30437,
              0.33606,
              0.3742
            ],
            [
              0.17786,
              0.28605,
              0.30427,
              0.32631,
              0.35286,
              0.38468,
              0.42255
            ],
            [
              0.22689,
              0.35873,
              0.37728,
              0.39933,
              0.42582,
              0.45742,
              0.49506
            ],
            [
              0.29081,
              0.45722,
              0.48032,
              0.50622,
              0.53522,
              0.56752,
              0.60532
            ],
            [
              0.37467,
              0.58577,
              0.61477,
              0.64747,
              0.68347,
              0.72307,
              0.76717
            ],
            [
              0.4841,
              0.7543,
              0.7913,
              0.8324,
              0.8771,
              0.9265,
              0.9812
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.31737,
              0.75792,
              0.84475,
              0.94919,
              1.07407,
              1.22347,
              1.40257
            ],
            [
              0.31991,
              0.76137,
              0.84828,
              0.95282,
              1.07774,
              1.22734,
              1.40654
            ],
            [
              0.32308,
              0.76541,
              0.85247,
              0.95706,
              1.08212,
              1.23162,
              1.41072
            ],
            [
              0.32825,
              0.77146,
              0.8586,
              0.96334,
              1.08848,
              1.23818,
              1.41748
            ],
            [
              0.33673,
              0.78098,
              0.86822,
              0.97301,
              1.09831,
              1.24821,
              1.42751
            ],
            [
              0.35041,
              0.79603,
              0.88338,
              0.98832,
              1.11362,
              1.26372,
              1.44322
            ],
            [
              0.37334,
              0.81952,
              0.90703,
              1.01213,
              1.13763,
              1.28773,
              1.46743
            ],
            [
              0.41022,
              0.85556,
              0.94356,
              1.04886,
              1.17456,
              1.32486,
              1.50476
            ],
            [
              0.46715,
              0.91235,
              0.99985,
              1.10625,
              1.23225,
              1.38275,
              1.56285
            ],
            [
              0.55655,
              0.99919,
              1.08719,
              1.19199,
              1.31859,
              1.46959,
              1.64979
            ],
            [
              0.69332,
              1.13442,
              1.22142,
              1.32442,
              1.45302,
              1.60292,
              1.78312
            ],
            [
              0.89877,
              1.33767,
              1.42317,
              1.53027,
              1.65587,
              1.80407,
              1.98477
            ],
            [
              1.2089,
              1.6449,
              1.7337,
              1.8377,
              1.963,
              2.1108,
              2.2911
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.0489,
              0.17331,
              0.19776,
              0.22714,
              0.26227,
              0.304,
              0.35361
            ],
            [
              0.0489,
              0.17325,
              0.19776,
              0.22714,
              0.2622,
              0.30402,
              0.35361
            ],
            [
              0.04891,
              0.17326,
              0.19778,
              0.22717,
              0.2622,
              0.30399,
              0.35365
            ],
            [
              0.04893,
              0.17328,
              0.19778,
              0.22719,
              0.26223,
              0.30395,
              0.35363
            ],
            [
              0.04895,
              0.17327,
              0.19776,
              0.22722,
              0.26233,
              0.30396,
              0.35362
            ],
            [
              0.04908,
              0.17329,
              0.19776,
              0.22717,
              0.26235,
              0.30396,
              0.3536
            ],
            [
              0.05216,
              0.17329,
              0.19782,
              0.22723,
              0.26234,
              0.30402,
              0.3536
            ],
            [
              0.06131,
              0.17332,
              0.19781,
              0.22724,
              0.26226,
              0.30401,
              0.35362
            ],
            [
              0.07858,
              0.17807,
              0.20071,
              0.22859,
              0.26266,
              0.30403,
              0.3536
            ],
            [
              0.1028,
              0.19438,
              0.21462,
              0.23988,
              0.27096,
              0.30922,
              0.35597
            ],
            [
              0.13754,
              0.23109,
              0.24802,
              0.26983,
              0.29693,
              0.3308,
              0.37287
            ],
            [
              0.1879,
              0.2916,
              0.3096,
              0.3299,
              0.3531,
              0.3816,
              0.4177
            ],
            [
              0.2606,
              0.3752,
              0.395,
              0.4178,
              0.4443,
              0.4744,
              0.5082
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.2419,
              0.7877,
              0.89735,
              1.0283,
              1.18205,
              1.37123,
              1.59323
            ],
            [
              0.24197,
              0.78801,
              0.89676,
              1.02604,
              1.18408,
              1.37195,
              1.59652
            ],
            [
              0.24189,
              0.78765,
              0.89738,
              1.02819,
              1.18399,
              1.37144,
              1.59594
            ],
            [
              0.24193,
              0.78803,
              0.89729,
              1.02796,
              1.18218,
              1.37187,
              1.59607
            ],
            [
              0.24192,
              0.78781,
              0.89706,
              1.02751,
              1.18392,
              1.37132,
              1.59728
            ],
            [
              0.24192,
              0.78797,
              0.89738,
              1.02781,
              1.18388,
              1.37116,
              1.59642
            ],
            [
              0.24175,
              0.7872,
              0.89707,
              1.02759,
              1.1833,
              1.3713,
              1.59748
            ],
            [
              0.24156,
              0.78794,
              0.89736,
              1.0282,
              1.18389,
              1.37191,
              1.59674
            ],
            [
              0.24149,
              0.78835,
              0.89599,
              1.02734,
              1.1833,
              1.37236,
              1.5966
            ],
            [
              0.24106,
              0.78782,
              0.8965,
              1.0273,
              1.1845,
              1.3724,
              1.5971
            ],
            [
              0.2391,
              0.7876,
              0.8964,
              1.0284,
              1.1843,
              1.3707,
              1.5968
            ],
            [
              0.2451,
              0.7878,
              0.8965,
              1.0274,
              1.1847,
              1.3722,
              1.5969
            ],
            [
              0.2792,
              0.7858,
              0.8955,
              1.0282,
              1.1842,
              1.3723,
              1.5962
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.06314,
              0.15511,
              0.1733,
              0.19516,
              0.22162,
              0.25295,
              0.29087
            ],
            [
              0.0669,
              0.15898,
              0.17729,
              0.19933,
              0.22548,
              0.25714,
              0.29495
            ],
            [
              0.07126,
              0.16374,
              0.18197,
              0.20402,
              0.23032,
              0.26177,
              0.29958
            ],
            [
              0.07755,
              0.17047,
              0.18876,
              0.21077,
              0.23706,
              0.26864,
              0.30647
            ],
            [
              0.08675,
              0.1801,
              0.19843,
              0.22048,
              0.24685,
              0.2784,
              0.31628
            ],
            [
              0.1003,
              0.19429,
              0.21264,
              0.23469,
              0.26102,
              0.29269,
              0.33057
            ],
            [
              0.12057,
              0.21519,
              0.23361,
              0.25564,
              0.28214,
              0.3138,
              0.35158
            ],
            [
              0.14969,
              0.24636,
              0.26479,
              0.28694,
              0.31355,
              0.34517,
              0.38301
            ],
            [
              0.18946,
              0.29282,
              0.31145,
              0.33373,
              0.36042,
              0.39212,
              0.43014
            ],
            [
              0.24402,
              0.36225,
              0.38124,
              0.40366,
              0.43032,
              0.46226,
              0.50049
            ],
            [
              0.31783,
              0.45912,
              0.48082,
              0.50582,
              0.53442,
              0.56722,
              0.60562
            ],
            [
              0.41687,
              0.59217,
              0.61787,
              0.64687,
              0.67987,
              0.71737,
              0.75987
            ],
            [
              0.5497,
              0.7733,
              0.805,
              0.8403,
              0.8796,
              0.9238,
              0.9732
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.17145,
              0.43314,
              0.48502,
              0.54741,
              0.62232,
              0.7119,
              0.81919
            ],
            [
              0.17431,
              0.4365,
              0.48847,
              0.55107,
              0.62583,
              0.71538,
              0.82271
            ],
            [
              0.17799,
              0.44086,
              0.49282,
              0.55543,
              0.63026,
              0.71988,
              0.82733
            ],
            [
              0.1841,
              0.4477,
              0.49974,
              0.56234,
              0.63736,
              0.72706,
              0.83444
            ],
            [
              0.19412,
              0.4584,
              0.5105,
              0.57328,
              0.64822,
              0.73798,
              0.84554
            ],
            [
              0.21009,
              0.47504,
              0.52724,
              0.58998,
              0.66494,
              0.7548,
              0.86252
            ],
            [
              0.23567,
              0.50066,
              0.55291,
              0.61572,
              0.69077,
              0.78066,
              0.88843
            ],
            [
              0.27519,
              0.53922,
              0.59154,
              0.65494,
              0.7299,
              0.81988,
              0.92756
            ],
            [
              0.33546,
              0.59963,
              0.65168,
              0.71326,
              0.79005,
              0.87825,
              0.98565
            ],
            [
              0.42706,
              0.69059,
              0.74289,
              0.80499,
              0.88089,
              0.96989,
              1.07689
            ],
            [
              0.56602,
              0.82762,
              0.88032,
              0.94282,
              1.01832,
              1.10662,
              1.21552
            ],
            [
              0.76667,
              1.03557,
              1.08757,
              1.14997,
              1.22467,
              1.31377,
              1.42207
            ],
            [
              1.0447,
              1.3477,
              1.3996,
              1.4619,
              1.5366,
              1.626,
              1.7332
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04072,
              0.15862,
              0.18183,
              0.21017,
              0.24413,
              0.28475,
              0.33346
            ],
            [
              0.04073,
              0.15834,
              0.1822,
              0.21017,
              0.2441,
              0.28471,
              0.33366
            ],
            [
              0.04072,
              0.15841,
              0.18184,
              0.21028,
              0.24418,
              0.28479,
              0.33345
            ],
            [
              0.0407,
              0.15843,
              0.18198,
              0.21035,
              0.24407,
              0.28468,
              0.33349
            ],
            [
              0.0407,
              0.1583,
              0.18181,
              0.21017,
              0.24403,
              0.28467,
              0.33344
            ],
            [
              0.04069,
              0.15863,
              0.18181,
              0.21015,
              0.24408,
              0.28468,
              0.3335
            ],
            [
              0.04183,
              0.15856,
              0.1818,
              0.21017,
              0.24409,
              0.28504,
              0.33355
            ],
            [
              0.04652,
              0.1584,
              0.18181,
              0.21052,
              0.24418,
              0.28477,
              0.33344
            ],
            [
              0.05474,
              0.1611,
              0.18338,
              0.21124,
              0.2441,
              0.28474,
              0.3341
            ],
            [
              0.06712,
              0.17026,
              0.19146,
              0.21762,
              0.24945,
              0.28779,
              0.33551
            ],
            [
              0.08567,
              0.19254,
              0.21166,
              0.23519,
              0.26443,
              0.30087,
              0.3451
            ],
            [
              0.1125,
              0.2287,
              0.2484,
              0.2721,
              0.2999,
              0.3324,
              0.3723
            ],
            [
              0.1506,
              0.2824,
              0.3032,
              0.3276,
              0.3563,
              0.3898,
              0.4293
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.1298,
              0.46116,
              0.52733,
              0.60683,
              0.70229,
              0.81678,
              0.95312
            ],
            [
              0.12982,
              0.46121,
              0.52717,
              0.60637,
              0.70232,
              0.81598,
              0.95349
            ],
            [
              0.12986,
              0.46087,
              0.52689,
              0.60681,
              0.70218,
              0.81595,
              0.95356
            ],
            [
              0.12983,
              0.46087,
              0.52727,
              0.60698,
              0.70235,
              0.8166,
              0.95354
            ],
            [
              0.12996,
              0.46096,
              0.52736,
              0.60659,
              0.70232,
              0.81621,
              0.95347
            ],
            [
              0.12967,
              0.46112,
              0.52716,
              0.607,
              0.70232,
              0.81652,
              0.95347
            ],
            [
              0.12969,
              0.46104,
              0.52732,
              0.60664,
              0.70241,
              0.81595,
              0.95352
            ],
            [
              0.12959,
              0.4611,
              0.52717,
              0.607,
              0.70179,
              0.8167,
              0.95345
            ],
            [
              0.12933,
              0.46107,
              0.52734,
              0.60698,
              0.70233,
              0.81651,
              0.95338
            ],
            [
              0.12979,
              0.46124,
              0.52732,
              0.60706,
              0.70227,
              0.81661,
              0.95345
            ],
            [
              0.1422,
              0.461,
              0.5272,
              0.6069,
              0.7023,
              0.8165,
              0.9536
            ],
            [
              0.1756,
              0.4625,
              0.527,
              0.6069,
              0.7024,
              0.8166,
              0.9537
            ],
            [
              0.2283,
              0.4858,
              0.5442,
              0.6166,
              0.7061,
              0.8172,
              0.9535
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.06317,
              0.15495,
              0.17317,
              0.19533,
              0.2215,
              0.25314,
              0.2907
            ],
            [
              0.06693,
              0.15921,
              0.17744,
              0.19923,
              0.22569,
              0.25711,
              0.29485
            ],
            [
              0.07129,
              0.16379,
              0.18209,
              0.20398,
              0.2303,
              0.26194,
              0.29956
            ],
            [
              0.07763,
              0.1705,
              0.18884,
              0.21082,
              0.23716,
              0.26872,
              0.30635
            ],
            [
              0.08686,
              0.18027,
              0.1986,
              0.22065,
              0.247,
              0.27858,
              0.31621
            ],
            [
              0.10045,
              0.19448,
              0.21281,
              0.23486,
              0.26115,
              0.29288,
              0.3307
            ],
            [
              0.12078,
              0.21544,
              0.23385,
              0.2559,
              0.28224,
              0.31404,
              0.35181
            ],
            [
              0.14995,
              0.24668,
              0.26512,
              0.28726,
              0.31382,
              0.34553,
              0.38321
            ],
            [
              0.18976,
              0.29322,
              0.31182,
              0.33411,
              0.36082,
              0.39236,
              0.43051
            ],
            [
              0.24434,
              0.36266,
              0.38164,
              0.40408,
              0.4308,
              0.46272,
              0.5008
            ],
            [
              0.31809,
              0.45952,
              0.48132,
              0.50632,
              0.53502,
              0.56772,
              0.60612
            ],
            [
              0.41727,
              0.59277,
              0.61837,
              0.64747,
              0.68037,
              0.71787,
              0.76037
            ],
            [
              0.55,
              0.7741,
              0.8056,
              0.8409,
              0.8802,
              0.9243,
              0.9737
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.19702,
              0.5035,
              0.56435,
              0.63752,
              0.72512,
              0.83013,
              0.956
            ],
            [
              0.19947,
              0.50667,
              0.56754,
              0.64081,
              0.72851,
              0.83361,
              0.95944
            ],
            [
              0.20273,
              0.51069,
              0.57163,
              0.64496,
              0.73274,
              0.83781,
              0.96365
            ],
            [
              0.20832,
              0.51721,
              0.57825,
              0.65163,
              0.7395,
              0.84447,
              0.97037
            ],
            [
              0.21768,
              0.52745,
              0.58853,
              0.66204,
              0.74991,
              0.85513,
              0.98121
            ],
            [
              0.2329,
              0.54348,
              0.60466,
              0.67823,
              0.76617,
              0.87151,
              0.99762
            ],
            [
              0.25744,
              0.56849,
              0.62973,
              0.70337,
              0.7914,
              0.89683,
              1.02303
            ],
            [
              0.29621,
              0.60624,
              0.66758,
              0.74187,
              0.82999,
              0.93546,
              1.06176
            ],
            [
              0.35539,
              0.66421,
              0.7257,
              0.79945,
              0.88755,
              0.99315,
              1.11935
            ],
            [
              0.44566,
              0.75469,
              0.81589,
              0.88949,
              0.97609,
              1.08169,
              1.20779
            ],
            [
              0.58272,
              0.88952,
              0.95042,
              1.02462,
              1.11312,
              1.21682,
              1.34452
            ],
            [
              0.78557,
              1.09467,
              1.15517,
              1.22897,
              1.31637,
              1.42157,
              1.54797
            ],
            [
              1.0664,
              1.4029,
              1.4638,
              1.5368,
              1.6244,
              1.7293,
              1.8549
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04069,
              0.15841,
              0.18185,
              0.21029,
              0.2441,
              0.28477,
              0.33349
            ],
            [
              0.04067,
              0.15867,
              0.18192,
              0.21019,
              0.24425,
              0.28478,
              0.33348
            ],
            [
              0.04071,
              0.15864,
              0.18199,
              0.21018,
              0.24409,
              0.28483,
              0.33352
            ],
            [
              0.0407,
              0.15863,
              0.18192,
              0.21018,
              0.2444,
              0.28472,
              0.33353
            ],
            [
              0.0407,
              0.1586,
              0.18193,
              0.21018,
              0.24407,
              0.28497,
              0.33354
            ],
            [
              0.04071,
              0.15839,
              0.18179,
              0.21015,
              0.2441,
              0.2847,
              0.33352
            ],
            [
              0.0418,
              0.15856,
              0.18178,
              0.21017,
              0.24406,
              0.28505,
              0.33355
            ],
            [
              0.04644,
              0.15857,
              0.18181,
              0.21052,
              0.24449,
              0.28472,
              0.33346
            ],
            [
              0.0546,
              0.16077,
              0.18334,
              0.21121,
              0.24415,
              0.28471,
              0.33409
            ],
            [
              0.06696,
              0.17013,
              0.19134,
              0.21752,
              0.24938,
              0.28774,
              0.33488
            ],
            [
              0.08551,
              0.1923,
              0.21134,
              0.2349,
              0.26413,
              0.30064,
              0.34509
            ],
            [
              0.1123,
              0.2283,
              0.248,
              0.2717,
              0.2994,
              0.3319,
              0.372
            ],
            [
              0.1504,
              0.2817,
              0.3026,
              0.3271,
              0.3559,
              0.3895,
              0.429
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.15173,
              0.53798,
              0.61503,
              0.70787,
              0.81897,
              0.95169,
              1.11183
            ],
            [
              0.15173,
              0.53811,
              0.61484,
              0.70796,
              0.81914,
              0.95154,
              1.11153
            ],
            [
              0.15173,
              0.53812,
              0.6149,
              0.70798,
              0.81909,
              0.95217,
              1.11176
            ],
            [
              0.1518,
              0.538,
              0.61482,
              0.70768,
              0.81844,
              0.95186,
              1.11157
            ],
            [
              0.15174,
              0.53811,
              0.61496,
              0.70798,
              0.81914,
              0.95224,
              1.11146
            ],
            [
              0.15165,
              0.53806,
              0.6152,
              0.70769,
              0.81917,
              0.95172,
              1.11161
            ],
            [
              0.15154,
              0.53814,
              0.61532,
              0.70802,
              0.81858,
              0.95157,
              1.11163
            ],
            [
              0.15133,
              0.53819,
              0.6153,
              0.70804,
              0.81913,
              0.95226,
              1.11164
            ],
            [
              0.15082,
              0.5382,
              0.61517,
              0.70781,
              0.81912,
              0.95225,
              1.1119
            ],
            [
              0.15007,
              0.53809,
              0.61524,
              0.70811,
              0.8192,
              0.95223,
              1.1118
            ],
            [
              0.1588,
              0.5381,
              0.6149,
              0.708,
              0.8192,
              0.9523,
              1.1119
            ],
            [
              0.1877,
              0.5373,
              0.6147,
              0.7078,
              0.819,
              0.9518,
              1.1116
            ],
            [
              0.2422,
              0.553,
              0.6238,
              0.7112,
              0.8195,
              0.9519,
              1.1119
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.06317,
              0.15496,
              0.17317,
              0.19533,
              0.22147,
              0.25312,
              0.29077
            ],
            [
              0.06695,
              0.15917,
              0.17742,
              0.19921,
              0.22567,
              0.25715,
              0.29479
            ],
            [
              0.07131,
              0.16381,
              0.18203,
              0.20397,
              0.23032,
              0.26193,
              0.29957
            ],
            [
              0.07765,
              0.17053,
              0.18882,
              0.21082,
              0.237,
              0.26872,
              0.30647
            ],
            [
              0.08686,
              0.18026,
              0.19859,
              0.22062,
              0.24696,
              0.27855,
              0.31629
            ],
            [
              0.10044,
              0.19447,
              0.21279,
              0.23485,
              0.26112,
              0.29284,
              0.33075
            ],
            [
              0.12076,
              0.21541,
              0.23383,
              0.25588,
              0.28227,
              0.31401,
              0.35178
            ],
            [
              0.1499,
              0.24663,
              0.26508,
              0.28722,
              0.31381,
              0.34544,
              0.38334
            ],
            [
              0.1897,
              0.2931,
              0.31176,
              0.33413,
              0.36075,
              0.39233,
              0.43043
            ],
            [
              0.24428,
              0.3626,
              0.38157,
              0.40398,
              0.43075,
              0.46265,
              0.50085
            ],
            [
              0.31802,
              0.45942,
              0.48122,
              0.50622,
              0.53492,
              0.56762,
              0.60602
            ],
            [
              0.41717,
              0.59267,
              0.61827,
              0.64737,
              0.68027,
              0.71777,
              0.76027
            ],
            [
              0.5499,
              0.774,
              0.8055,
              0.8407,
              0.8801,
              0.9242,
              0.9736
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.19176,
              0.48816,
              0.54695,
              0.61768,
              0.70245,
              0.80399,
              0.9257
            ],
            [
              0.19427,
              0.49131,
              0.55021,
              0.62105,
              0.70581,
              0.80741,
              0.92906
            ],
            [
              0.1976,
              0.4954,
              0.55433,
              0.6253,
              0.71013,
              0.81169,
              0.93338
            ],
            [
              0.2033,
              0.50199,
              0.56097,
              0.63189,
              0.71691,
              0.81844,
              0.94027
            ],
            [
              0.21279,
              0.51229,
              0.57137,
              0.64248,
              0.72748,
              0.82918,
              0.95103
            ],
            [
              0.22818,
              0.5285,
              0.58763,
              0.65879,
              0.74383,
              0.84569,
              0.96772
            ],
            [
              0.2529,
              0.55366,
              0.61288,
              0.68407,
              0.76918,
              0.8711,
              0.99323
            ],
            [
              0.29188,
              0.59159,
              0.6509,
              0.72274,
              0.80795,
              0.90996,
              1.03196
            ],
            [
              0.35131,
              0.64977,
              0.70925,
              0.78055,
              0.86575,
              0.96785,
              1.08975
            ],
            [
              0.44186,
              0.74059,
              0.79979,
              0.87089,
              0.95639,
              1.05659,
              1.17849
            ],
            [
              0.57932,
              0.87592,
              0.93482,
              1.00662,
              1.09212,
              1.19232,
              1.31602
            ],
            [
              0.78177,
              1.08167,
              1.14087,
              1.21157,
              1.29607,
              1.39767,
              1.51997
            ],
            [
              1.062,
              1.3908,
              1.4497,
              1.5203,
              1.605,
              1.7064,
              1.8279
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.0407,
              0.1584,
              0.18185,
              0.21028,
              0.24409,
              0.28501,
              0.33351
            ],
            [
              0.0407,
              0.15865,
              0.1819,
              0.21018,
              0.24455,
              0.28477,
              0.33348
            ],
            [
              0.04072,
              0.15863,
              0.1822,
              0.21018,
              0.24409,
              0.28487,
              0.33353
            ],
            [
              0.04072,
              0.15832,
              0.18195,
              0.21014,
              0.2441,
              0.28513,
              0.33353
            ],
            [
              0.04069,
              0.1586,
              0.18194,
              0.21013,
              0.24405,
              0.2849,
              0.33356
            ],
            [
              0.04069,
              0.15842,
              0.18179,
              0.21014,
              0.2441,
              0.28469,
              0.33346
            ],
            [
              0.04181,
              0.15857,
              0.1818,
              0.21017,
              0.24407,
              0.28505,
              0.33355
            ],
            [
              0.04645,
              0.15857,
              0.18181,
              0.21052,
              0.2441,
              0.28477,
              0.33344
            ],
            [
              0.05463,
              0.16105,
              0.18334,
              0.21079,
              0.24415,
              0.28473,
              0.3341
            ],
            [
              0.06697,
              0.17015,
              0.19133,
              0.21719,
              0.24913,
              0.28776,
              0.33549
            ],
            [
              0.08554,
              0.19241,
              0.21141,
              0.23494,
              0.26436,
              0.30068,
              0.34505
            ],
            [
              0.1124,
              0.2285,
              0.2481,
              0.2718,
              0.2996,
              0.3321,
              0.3721
            ],
            [
              0.1504,
              0.2818,
              0.3027,
              0.3273,
              0.3559,
              0.3894,
              0.429
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.14669,
              0.5205,
              0.59537,
              0.68522,
              0.79284,
              0.92164,
              1.07565
            ],
            [
              0.14671,
              0.5207,
              0.59534,
              0.68501,
              0.79265,
              0.92149,
              1.07599
            ],
            [
              0.1467,
              0.52072,
              0.5954,
              0.68521,
              0.79278,
              0.92152,
              1.07546
            ],
            [
              0.14681,
              0.52073,
              0.59536,
              0.68515,
              0.79278,
              0.92173,
              1.07619
            ],
            [
              0.14677,
              0.52058,
              0.59534,
              0.68495,
              0.79199,
              0.9213,
              1.07616
            ],
            [
              0.14671,
              0.52075,
              0.59535,
              0.68523,
              0.79252,
              0.92129,
              1.07615
            ],
            [
              0.14662,
              0.52081,
              0.59526,
              0.68525,
              0.79278,
              0.9216,
              1.07559
            ],
            [
              0.14643,
              0.52083,
              0.5954,
              0.68531,
              0.79272,
              0.92175,
              1.07604
            ],
            [
              0.14606,
              0.52085,
              0.59533,
              0.68524,
              0.79283,
              0.92128,
              1.07614
            ],
            [
              0.14532,
              0.52073,
              0.59542,
              0.68519,
              0.79286,
              0.92174,
              1.0761
            ],
            [
              0.155,
              0.5206,
              0.5953,
              0.6852,
              0.7929,
              0.9218,
              1.0763
            ],
            [
              0.185,
              0.5202,
              0.5949,
              0.685,
              0.7926,
              0.9218,
              1.0755
            ],
            [
              0.2392,
              0.5377,
              0.6056,
              0.6901,
              0.7938,
              0.9213,
              1.0761
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.06326,
              0.15499,
              0.17324,
              0.19531,
              0.22157,
              0.25314,
              0.29081
            ],
            [
              0.06699,
              0.15916,
              0.1773,
              0.19943,
              0.22559,
              0.25717,
              0.29493
            ],
            [
              0.07138,
              0.16387,
              0.18197,
              0.20423,
              0.23028,
              0.26203,
              0.29971
            ],
            [
              0.0778,
              0.17053,
              0.18899,
              0.21097,
              0.23728,
              0.26905,
              0.30662
            ],
            [
              0.08709,
              0.18048,
              0.1987,
              0.22065,
              0.24713,
              0.27862,
              0.31665
            ],
            [
              0.10074,
              0.19478,
              0.21302,
              0.23501,
              0.26162,
              0.29313,
              0.33088
            ],
            [
              0.12116,
              0.21584,
              0.23425,
              0.25628,
              0.28275,
              0.31446,
              0.3522
            ],
            [
              0.15047,
              0.24725,
              0.26569,
              0.2878,
              0.31438,
              0.34609,
              0.38391
            ],
            [
              0.19046,
              0.29393,
              0.31253,
              0.33483,
              0.36148,
              0.39312,
              0.43121
            ],
            [
              0.24512,
              0.36352,
              0.38251,
              0.40492,
              0.43162,
              0.46349,
              0.50177
            ],
            [
              0.31897,
              0.46062,
              0.48232,
              0.50742,
              0.53602,
              0.56872,
              0.60702
            ],
            [
              0.41807,
              0.59387,
              0.61957,
              0.64867,
              0.68157,
              0.71897,
              0.76147
            ],
            [
              0.5507,
              0.7754,
              0.8069,
              0.8422,
              0.8815,
              0.9255,
              0.9749
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.26349,
              0.6919,
              0.777,
              0.87947,
              1.00207,
              1.14897,
              1.32507
            ],
            [
              0.26503,
              0.6944,
              0.77978,
              0.88226,
              1.00494,
              1.15174,
              1.32784
            ],
            [
              0.2674,
              0.698,
              0.78321,
              0.88586,
              1.00862,
              1.15552,
              1.33172
            ],
            [
              0.27178,
              0.70371,
              0.78904,
              0.89165,
              1.01448,
              1.16158,
              1.33787
            ],
            [
              0.27964,
              0.71281,
              0.79825,
              0.90114,
              1.02411,
              1.17121,
              1.34751
            ],
            [
              0.29293,
              0.72742,
              0.81306,
              0.91595,
              1.03912,
              1.18642,
              1.36292
            ],
            [
              0.31544,
              0.75076,
              0.83645,
              0.93953,
              1.06273,
              1.21023,
              1.38683
            ],
            [
              0.35168,
              0.78636,
              0.87226,
              0.97626,
              1.09956,
              1.24716,
              1.42386
            ],
            [
              0.4085,
              0.84205,
              0.92805,
              1.03125,
              1.15485,
              1.30265,
              1.47925
            ],
            [
              0.49539,
              0.92769,
              1.01369,
              1.11719,
              1.24069,
              1.38839,
              1.56489
            ],
            [
              0.62872,
              1.05892,
              1.14292,
              1.24582,
              1.37012,
              1.51772,
              1.69402
            ],
            [
              0.83147,
              1.25607,
              1.34277,
              1.44597,
              1.56827,
              1.71467,
              1.89337
            ],
            [
              1.1198,
              1.5572,
              1.6422,
              1.7448,
              1.8645,
              2.0147,
              2.1904
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04063,
              0.15827,
              0.18181,
              0.21013,
              0.24402,
              0.28471,
              0.33342
            ],
            [
              0.04065,
              0.15845,
              0.18181,
              0.21055,
              0.2441,
              0.28499,
              0.33353
            ],
            [
              0.04064,
              0.15842,
              0.1818,
              0.21027,
              0.24405,
              0.28492,
              0.33356
            ],
            [
              0.04065,
              0.15828,
              0.1818,
              0.21016,
              0.24404,
              0.28503,
              0.33357
            ],
            [
              0.04065,
              0.15831,
              0.1818,
              0.21014,
              0.24404,
              0.28471,
              0.33361
            ],
            [
              0.04067,
              0.1584,
              0.18182,
              0.21016,
              0.24423,
              0.28477,
              0.33347
            ],
            [
              0.04171,
              0.15854,
              0.18177,
              0.21016,
              0.24407,
              0.28478,
              0.33347
            ],
            [
              0.04625,
              0.15837,
              0.18179,
              0.21051,
              0.2441,
              0.28471,
              0.33344
            ],
            [
              0.0543,
              0.16093,
              0.1832,
              0.21117,
              0.24406,
              0.28473,
              0.33408
            ],
            [
              0.06653,
              0.16985,
              0.19107,
              0.21733,
              0.24887,
              0.28764,
              0.33542
            ],
            [
              0.08492,
              0.19187,
              0.21107,
              0.23445,
              0.26392,
              0.30039,
              0.34476
            ],
            [
              0.1118,
              0.2275,
              0.2475,
              0.2711,
              0.2987,
              0.3313,
              0.3715
            ],
            [
              0.1499,
              0.2807,
              0.3017,
              0.3261,
              0.3549,
              0.3886,
              0.4283
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.21181,
              0.74715,
              0.85392,
              0.98245,
              1.13595,
              1.32091,
              1.54174
            ],
            [
              0.21175,
              0.74753,
              0.85395,
              0.98174,
              1.13603,
              1.32092,
              1.54228
            ],
            [
              0.21174,
              0.74762,
              0.85409,
              0.98207,
              1.13666,
              1.3206,
              1.54117
            ],
            [
              0.21172,
              0.74767,
              0.85339,
              0.98283,
              1.13598,
              1.32092,
              1.54218
            ],
            [
              0.21163,
              0.74743,
              0.85384,
              0.98217,
              1.13643,
              1.32056,
              1.54144
            ],
            [
              0.21143,
              0.7476,
              0.85421,
              0.98287,
              1.13606,
              1.3206,
              1.54179
            ],
            [
              0.21137,
              0.7477,
              0.85427,
              0.98283,
              1.13611,
              1.31973,
              1.54218
            ],
            [
              0.21079,
              0.74762,
              0.85347,
              0.98227,
              1.13664,
              1.32036,
              1.54184
            ],
            [
              0.21007,
              0.74762,
              0.85437,
              0.98279,
              1.13668,
              1.32104,
              1.54179
            ],
            [
              0.20814,
              0.74759,
              0.8544,
              0.9827,
              1.1367,
              1.321,
              1.5416
            ],
            [
              0.2091,
              0.7468,
              0.8543,
              0.9828,
              1.1365,
              1.321,
              1.5414
            ],
            [
              0.2277,
              0.7464,
              0.8531,
              0.9828,
              1.1362,
              1.321,
              1.542
            ],
            [
              0.2792,
              0.7476,
              0.8519,
              0.9814,
              1.1361,
              1.3209,
              1.5418
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.06325,
              0.15507,
              0.17325,
              0.19521,
              0.22155,
              0.25329,
              0.29083
            ],
            [
              0.06699,
              0.15904,
              0.17731,
              0.19922,
              0.22585,
              0.25708,
              0.29496
            ],
            [
              0.07136,
              0.16376,
              0.18199,
              0.20405,
              0.23049,
              0.26209,
              0.29965
            ],
            [
              0.07772,
              0.17059,
              0.18874,
              0.21077,
              0.23717,
              0.26889,
              0.30638
            ],
            [
              0.08692,
              0.18024,
              0.19851,
              0.22064,
              0.24716,
              0.2784,
              0.3164
            ],
            [
              0.10051,
              0.19442,
              0.21276,
              0.23481,
              0.26126,
              0.29303,
              0.33093
            ],
            [
              0.12085,
              0.2154,
              0.23377,
              0.25587,
              0.28249,
              0.31416,
              0.3519
            ],
            [
              0.15002,
              0.24658,
              0.26508,
              0.28734,
              0.31368,
              0.34537,
              0.38347
            ],
            [
              0.18983,
              0.29326,
              0.3119,
              0.33412,
              0.36066,
              0.39244,
              0.43059
            ],
            [
              0.24442,
              0.36271,
              0.38168,
              0.40411,
              0.43085,
              0.46279,
              0.50087
            ],
            [
              0.31819,
              0.45962,
              0.48132,
              0.50632,
              0.53502,
              0.56772,
              0.60612
            ],
            [
              0.41737,
              0.59277,
              0.61837,
              0.64747,
              0.68037,
              0.71787,
              0.76047
            ],
            [
              0.5502,
              0.7742,
              0.8057,
              0.8409,
              0.8803,
              0.9243,
              0.9737
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.23325,
              0.53328,
              0.59271,
              0.66414,
              0.74969,
              0.85209,
              0.97475
            ],
            [
              0.23595,
              0.53656,
              0.596,
              0.66752,
              0.75313,
              0.85554,
              0.9782
            ],
            [
              0.23959,
              0.54063,
              0.60018,
              0.67176,
              0.75738,
              0.85986,
              0.98252
            ],
            [
              0.24558,
              0.54729,
              0.60681,
              0.67841,
              0.76406,
              0.86657,
              0.98938
            ],
            [
              0.25533,
              0.55768,
              0.61734,
              0.68906,
              0.77478,
              0.87735,
              1.00021
            ],
            [
              0.27092,
              0.57393,
              0.63364,
              0.7054,
              0.79124,
              0.89389,
              1.01682
            ],
            [
              0.29551,
              0.59916,
              0.65886,
              0.73072,
              0.81662,
              0.91943,
              1.04243
            ],
            [
              0.33392,
              0.63714,
              0.69752,
              0.76944,
              0.85536,
              0.95816,
              1.08126
            ],
            [
              0.39333,
              0.69549,
              0.75525,
              0.82715,
              0.91325,
              1.01605,
              1.13875
            ],
            [
              0.48364,
              0.78599,
              0.84569,
              0.91789,
              1.00209,
              1.10479,
              1.22749
            ],
            [
              0.62022,
              0.92092,
              0.98122,
              1.05362,
              1.13862,
              1.24162,
              1.36522
            ],
            [
              0.82737,
              1.12687,
              1.18617,
              1.25777,
              1.34167,
              1.44597,
              1.56897
            ],
            [
              1.1211,
              1.4358,
              1.4949,
              1.5653,
              1.6518,
              1.7541,
              1.8763
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04894,
              0.1699,
              0.19341,
              0.22175,
              0.25573,
              0.29631,
              0.34505
            ],
            [
              0.04895,
              0.1699,
              0.19343,
              0.22171,
              0.25566,
              0.29632,
              0.34494
            ],
            [
              0.04897,
              0.16986,
              0.19344,
              0.2218,
              0.25573,
              0.29639,
              0.34506
            ],
            [
              0.04897,
              0.16998,
              0.19344,
              0.22179,
              0.25573,
              0.29625,
              0.34492
            ],
            [
              0.04897,
              0.16991,
              0.19344,
              0.22181,
              0.25562,
              0.29627,
              0.34505
            ],
            [
              0.04897,
              0.16987,
              0.19342,
              0.2217,
              0.25573,
              0.29628,
              0.34479
            ],
            [
              0.05009,
              0.16991,
              0.19345,
              0.22177,
              0.25572,
              0.29628,
              0.3448
            ],
            [
              0.05474,
              0.1699,
              0.19343,
              0.22178,
              0.2557,
              0.29632,
              0.34487
            ],
            [
              0.06521,
              0.17245,
              0.19505,
              0.22247,
              0.2558,
              0.29636,
              0.34483
            ],
            [
              0.08014,
              0.18183,
              0.20302,
              0.229,
              0.26068,
              0.29931,
              0.34625
            ],
            [
              0.10209,
              0.20398,
              0.22294,
              0.2468,
              0.27612,
              0.31223,
              0.35667
            ],
            [
              0.1335,
              0.2416,
              0.2609,
              0.2839,
              0.311,
              0.3433,
              0.3837
            ],
            [
              0.178,
              0.2971,
              0.3174,
              0.3412,
              0.3693,
              0.4019,
              0.4408
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.16967,
              0.54794,
              0.62305,
              0.71426,
              0.82208,
              0.95207,
              1.10758
            ],
            [
              0.1697,
              0.54785,
              0.62343,
              0.71426,
              0.82237,
              0.9519,
              1.10691
            ],
            [
              0.16982,
              0.54796,
              0.62307,
              0.71412,
              0.82234,
              0.95206,
              1.10773
            ],
            [
              0.1697,
              0.54779,
              0.62298,
              0.71421,
              0.82231,
              0.95187,
              1.10767
            ],
            [
              0.16964,
              0.54814,
              0.62299,
              0.71402,
              0.82229,
              0.95207,
              1.10742
            ],
            [
              0.16975,
              0.54779,
              0.62304,
              0.71427,
              0.82234,
              0.95198,
              1.10765
            ],
            [
              0.16965,
              0.54814,
              0.62285,
              0.71408,
              0.82237,
              0.95188,
              1.10754
            ],
            [
              0.1696,
              0.54786,
              0.62307,
              0.71418,
              0.82214,
              0.95218,
              1.10762
            ],
            [
              0.16938,
              0.54782,
              0.62308,
              0.71422,
              0.82217,
              0.9521,
              1.10715
            ],
            [
              0.16893,
              0.54806,
              0.62347,
              0.71413,
              0.82242,
              0.9521,
              1.1077
            ],
            [
              0.1714,
              0.5478,
              0.6233,
              0.714,
              0.8224,
              0.9522,
              1.1078
            ],
            [
              0.1924,
              0.5474,
              0.6234,
              0.7135,
              0.822,
              0.9515,
              1.1077
            ],
            [
              0.2429,
              0.5585,
              0.6285,
              0.716,
              0.8223,
              0.9517,
              1.1068
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.06332,
              0.15505,
              0.17324,
              0.19521,
              0.22167,
              0.25301,
              0.29087
            ],
            [
              0.06704,
              0.15905,
              0.17731,
              0.19958,
              0.22561,
              0.25733,
              0.2948
            ],
            [
              0.07144,
              0.16379,
              0.18205,
              0.20405,
              0.23035,
              0.26219,
              0.29983
            ],
            [
              0.07787,
              0.17062,
              0.1889,
              0.21091,
              0.23731,
              0.26921,
              0.30672
            ],
            [
              0.08714,
              0.18042,
              0.19878,
              0.22074,
              0.24722,
              0.27866,
              0.3168
            ],
            [
              0.10082,
              0.1947,
              0.21311,
              0.23512,
              0.26176,
              0.29308,
              0.33096
            ],
            [
              0.12125,
              0.21581,
              0.23418,
              0.25633,
              0.2829,
              0.31431,
              0.35225
            ],
            [
              0.15056,
              0.24717,
              0.2657,
              0.2879,
              0.31424,
              0.3461,
              0.384
            ],
            [
              0.19056,
              0.294,
              0.31263,
              0.33485,
              0.36137,
              0.39339,
              0.43133
            ],
            [
              0.24524,
              0.3636,
              0.38259,
              0.40501,
              0.43168,
              0.46359,
              0.50181
            ],
            [
              0.31911,
              0.46072,
              0.48242,
              0.50752,
              0.53602,
              0.56872,
              0.60712
            ],
            [
              0.41827,
              0.59397,
              0.61957,
              0.64877,
              0.68167,
              0.71907,
              0.76157
            ],
            [
              0.5509,
              0.7755,
              0.807,
              0.8423,
              0.8816,
              0.9256,
              0.9751
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.3208,
              0.74875,
              0.83354,
              0.93561,
              1.05767,
              1.20387,
              1.37907
            ],
            [
              0.32275,
              0.75136,
              0.83635,
              0.93842,
              1.06044,
              1.20664,
              1.38194
            ],
            [
              0.32559,
              0.75498,
              0.83986,
              0.94207,
              1.06422,
              1.21052,
              1.38582
            ],
            [
              0.33043,
              0.76079,
              0.84574,
              0.948,
              1.07028,
              1.21657,
              1.39187
            ],
            [
              0.33871,
              0.77002,
              0.85517,
              0.95761,
              1.07991,
              1.22641,
              1.40171
            ],
            [
              0.35244,
              0.78484,
              0.87003,
              0.97252,
              1.09502,
              1.24162,
              1.41722
            ],
            [
              0.37494,
              0.80832,
              0.89363,
              0.99623,
              1.11883,
              1.26563,
              1.44123
            ],
            [
              0.41071,
              0.84416,
              0.93036,
              1.03306,
              1.15576,
              1.30256,
              1.47826
            ],
            [
              0.467,
              0.90005,
              0.98545,
              1.08845,
              1.21125,
              1.35815,
              1.53365
            ],
            [
              0.55427,
              0.98569,
              1.07149,
              1.17439,
              1.29719,
              1.44389,
              1.61949
            ],
            [
              0.68642,
              1.11512,
              1.20032,
              1.30412,
              1.42662,
              1.57332,
              1.75122
            ],
            [
              0.88707,
              1.31517,
              1.40067,
              1.50287,
              1.62427,
              1.77267,
              1.94817
            ],
            [
              1.1876,
              1.6149,
              1.6999,
              1.8004,
              1.9233,
              2.0705,
              2.2449
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04886,
              0.16984,
              0.19336,
              0.2217,
              0.25559,
              0.29631,
              0.345
            ],
            [
              0.04888,
              0.16984,
              0.1934,
              0.22186,
              0.25569,
              0.29638,
              0.34492
            ],
            [
              0.04888,
              0.16985,
              0.19339,
              0.22171,
              0.25566,
              0.29625,
              0.34503
            ],
            [
              0.0489,
              0.16989,
              0.19341,
              0.2217,
              0.25566,
              0.29637,
              0.34479
            ],
            [
              0.04891,
              0.16984,
              0.19346,
              0.22174,
              0.25568,
              0.29638,
              0.34507
            ],
            [
              0.04893,
              0.16986,
              0.19345,
              0.22175,
              0.25566,
              0.29629,
              0.34502
            ],
            [
              0.04999,
              0.16989,
              0.19344,
              0.22178,
              0.25572,
              0.29629,
              0.34489
            ],
            [
              0.05457,
              0.16988,
              0.19344,
              0.22178,
              0.25569,
              0.29622,
              0.34504
            ],
            [
              0.06486,
              0.17234,
              0.19493,
              0.22241,
              0.2557,
              0.29627,
              0.34507
            ],
            [
              0.07965,
              0.18154,
              0.20272,
              0.22877,
              0.26049,
              0.29931,
              0.34621
            ],
            [
              0.10145,
              0.20338,
              0.22248,
              0.24626,
              0.27574,
              0.3119,
              0.35616
            ],
            [
              0.1329,
              0.2407,
              0.2602,
              0.2832,
              0.3103,
              0.3427,
              0.3832
            ],
            [
              0.1774,
              0.296,
              0.3164,
              0.3401,
              0.368,
              0.4011,
              0.4401
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.24225,
              0.77626,
              0.88355,
              1.01105,
              1.16348,
              1.34601,
              1.56544
            ],
            [
              0.2422,
              0.77632,
              0.88352,
              1.01031,
              1.1641,
              1.34722,
              1.56697
            ],
            [
              0.24237,
              0.77631,
              0.88309,
              1.01056,
              1.16356,
              1.34671,
              1.56703
            ],
            [
              0.24221,
              0.77709,
              0.88347,
              1.01038,
              1.16443,
              1.348,
              1.56687
            ],
            [
              0.24232,
              0.77696,
              0.88311,
              1.01062,
              1.1634,
              1.34762,
              1.56717
            ],
            [
              0.24219,
              0.77641,
              0.88322,
              1.01099,
              1.16328,
              1.34712,
              1.56688
            ],
            [
              0.24215,
              0.77632,
              0.88329,
              1.01077,
              1.1633,
              1.3485,
              1.56698
            ],
            [
              0.24207,
              0.77711,
              0.88315,
              1.01093,
              1.16312,
              1.34789,
              1.56679
            ],
            [
              0.2421,
              0.77627,
              0.8833,
              1.01046,
              1.16403,
              1.34643,
              1.5656
            ],
            [
              0.24112,
              0.77647,
              0.88301,
              1.0104,
              1.1635,
              1.3479,
              1.5676
            ],
            [
              0.2383,
              0.7772,
              0.8828,
              1.0105,
              1.1647,
              1.3481,
              1.5672
            ],
            [
              0.2475,
              0.776,
              0.8829,
              1.0105,
              1.1633,
              1.3479,
              1.5671
            ],
            [
              0.2856,
              0.7744,
              0.8805,
              1.0104,
              1.1633,
              1.3476,
              1.5676
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.06331,
              0.15508,
              0.17324,
              0.19521,
              0.22177,
              0.25304,
              0.29096
            ],
            [
              0.06702,
              0.15905,
              0.17728,
              0.19923,
              0.22549,
              0.25731,
              0.29501
            ],
            [
              0.07143,
              0.16382,
              0.18206,
              0.20404,
              0.23029,
              0.26217,
              0.29976
            ],
            [
              0.07785,
              0.17061,
              0.18887,
              0.21091,
              0.23722,
              0.26909,
              0.30679
            ],
            [
              0.08712,
              0.18041,
              0.19873,
              0.22078,
              0.24712,
              0.27871,
              0.3168
            ],
            [
              0.10081,
              0.19468,
              0.21309,
              0.23508,
              0.26168,
              0.29302,
              0.33098
            ],
            [
              0.1212,
              0.21576,
              0.23414,
              0.25624,
              0.28281,
              0.31457,
              0.35214
            ],
            [
              0.15049,
              0.2471,
              0.26564,
              0.28784,
              0.31418,
              0.34603,
              0.38394
            ],
            [
              0.19046,
              0.2939,
              0.31251,
              0.33477,
              0.36127,
              0.393,
              0.43125
            ],
            [
              0.2451,
              0.36346,
              0.38248,
              0.40489,
              0.43158,
              0.46345,
              0.50168
            ],
            [
              0.31896,
              0.46052,
              0.48232,
              0.50732,
              0.53592,
              0.56862,
              0.60692
            ],
            [
              0.41807,
              0.59377,
              0.61937,
              0.64857,
              0.68147,
              0.71887,
              0.76137
            ],
            [
              0.5508,
              0.7754,
              0.8068,
              0.8421,
              0.8814,
              0.9254,
              0.9748
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.34691,
              0.75274,
              0.83281,
              0.92914,
              1.04427,
              1.18207,
              1.34707
            ],
            [
              0.34905,
              0.75561,
              0.83565,
              0.93202,
              1.04704,
              1.18494,
              1.35004
            ],
            [
              0.3522,
              0.75924,
              0.83942,
              0.93581,
              1.05102,
              1.18892,
              1.35412
            ],
            [
              0.35751,
              0.76528,
              0.84545,
              0.94185,
              1.05718,
              1.19508,
              1.36018
            ],
            [
              0.36635,
              0.77478,
              0.85514,
              0.95171,
              1.06701,
              1.20501,
              1.37021
            ],
            [
              0.3808,
              0.78994,
              0.87039,
              0.96702,
              1.08252,
              1.22062,
              1.38592
            ],
            [
              0.40394,
              0.81386,
              0.89443,
              0.99113,
              1.10673,
              1.24493,
              1.41033
            ],
            [
              0.44038,
              0.85096,
              0.93156,
              1.02846,
              1.14406,
              1.28236,
              1.44776
            ],
            [
              0.49714,
              0.90675,
              0.98745,
              1.08445,
              1.20015,
              1.33835,
              1.50355
            ],
            [
              0.58352,
              0.99339,
              1.07399,
              1.17099,
              1.28659,
              1.42479,
              1.59149
            ],
            [
              0.71742,
              1.12312,
              1.20492,
              1.30122,
              1.41682,
              1.55492,
              1.72282
            ],
            [
              0.91807,
              1.32497,
              1.40497,
              1.50057,
              1.61527,
              1.75577,
              1.92097
            ],
            [
              1.2217,
              1.6261,
              1.7055,
              1.8025,
              1.9177,
              2.0553,
              2.2189
            ]
          ]
        },
        "fall_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.04892,
              0.17327,
              0.19772,
              0.22716,
              0.2623,
              0.30395,
              0.35359
            ],
            [
              0.04895,
              0.17325,
              0.19778,
              0.22715,
              0.26222,
              0.30406,
              0.35363
            ],
            [
              0.04895,
              0.17326,
              0.19773,
              0.22716,
              0.2622,
              0.30404,
              0.35362
            ],
            [
              0.04895,
              0.17332,
              0.19775,
              0.22716,
              0.26229,
              0.30405,
              0.3536
            ],
            [
              0.04897,
              0.17327,
              0.19781,
              0.22723,
              0.2623,
              0.30406,
              0.35367
            ],
            [
              0.04897,
              0.17329,
              0.1978,
              0.22723,
              0.26241,
              0.30393,
              0.35365
            ],
            [
              0.05005,
              0.17331,
              0.19778,
              0.22725,
              0.26236,
              0.30405,
              0.35358
            ],
            [
              0.05463,
              0.1733,
              0.19777,
              0.22726,
              0.26224,
              0.30404,
              0.35361
            ],
            [
              0.06511,
              0.17577,
              0.19928,
              0.2279,
              0.26231,
              0.30394,
              0.35364
            ],
            [
              0.08046,
              0.18499,
              0.2071,
              0.23424,
              0.26717,
              0.30693,
              0.35495
            ],
            [
              0.10346,
              0.20704,
              0.22694,
              0.25177,
              0.28232,
              0.31969,
              0.36505
            ],
            [
              0.1376,
              0.2463,
              0.2661,
              0.2897,
              0.3173,
              0.3506,
              0.3921
            ],
            [
              0.1887,
              0.3041,
              0.3247,
              0.3489,
              0.3772,
              0.4104,
              0.4494
            ]
          ]
        },
        "related_pin": "B2",
        "rise_transition,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0061,
            0.00732,
            0.00879,
            0.01055,
            0.01266,
            0.01519
          ],
          "values": [
            [
              0.25119,
              0.75586,
              0.85662,
              0.97695,
              1.12082,
              1.29368,
              1.50033
            ],
            [
              0.25129,
              0.75645,
              0.85699,
              0.97693,
              1.12108,
              1.29402,
              1.50249
            ],
            [
              0.25099,
              0.756,
              0.85589,
              0.97772,
              1.12149,
              1.29415,
              1.50023
            ],
            [
              0.25113,
              0.75595,
              0.85602,
              0.97748,
              1.12142,
              1.29514,
              1.50197
            ],
            [
              0.25116,
              0.75631,
              0.85605,
              0.97734,
              1.12086,
              1.29541,
              1.50254
            ],
            [
              0.25114,
              0.75581,
              0.85625,
              0.97711,
              1.12157,
              1.29398,
              1.50218
            ],
            [
              0.2513,
              0.75576,
              0.85618,
              0.97761,
              1.12131,
              1.29535,
              1.50243
            ],
            [
              0.25117,
              0.75578,
              0.85616,
              0.97729,
              1.12104,
              1.29411,
              1.50206
            ],
            [
              0.25101,
              0.7561,
              0.85661,
              0.97732,
              1.12121,
              1.29542,
              1.50218
            ],
            [
              0.25036,
              0.75647,
              0.857,
              0.9772,
              1.1208,
              1.2955,
              1.5026
            ],
            [
              0.2493,
              0.7562,
              0.8564,
              0.977,
              1.1208,
              1.2941,
              1.5028
            ],
            [
              0.2524,
              0.7557,
              0.8562,
              0.9766,
              1.121,
              1.2942,
              1.5028
            ],
            [
              0.2842,
              0.7546,
              0.8554,
              0.9768,
              1.1209,
              1.2938,
              1.5011
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}