{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_lp__a32oi",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00256,
    "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.00669,
          0.0066,
          0.00607,
          0.00596,
          0.00603,
          0.00602,
          0.00602,
          0.006,
          0.006,
          0.0065,
          0.0065,
          0.007,
          0.007
        ]
      },
      "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.00347,
          0.00364,
          0.00377,
          0.00365,
          0.00375,
          0.00373,
          0.00384,
          0.00386,
          0.0039,
          0.00428,
          0.00431,
          0.0047,
          0.0047
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.0024,
    "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.00676,
          0.00623,
          0.00612,
          0.00603,
          0.00595,
          0.00597,
          0.00599,
          0.00599,
          0.00598,
          0.00647,
          0.00648,
          0.00697,
          0.00697
        ]
      },
      "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.00357,
          0.00398,
          0.00371,
          0.00366,
          0.00373,
          0.00377,
          0.00388,
          0.00391,
          0.00394,
          0.00433,
          0.00437,
          0.00476,
          0.00479
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00232,
    "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.00611,
          0.00638,
          0.0061,
          0.00594,
          0.00597,
          0.00598,
          0.00594,
          0.00594,
          0.00595,
          0.00643,
          0.00643,
          0.00692,
          0.00692
        ]
      },
      "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.00386,
          0.0038,
          0.00354,
          0.00367,
          0.00377,
          0.00378,
          0.00387,
          0.00392,
          0.00396,
          0.00433,
          0.00436,
          0.00473,
          0.00476
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.0029,
    "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.00342,
          0.00347,
          0.00356,
          0.00345,
          0.00354,
          0.00359,
          0.00363,
          0.00369,
          0.00376,
          0.0041,
          0.00414,
          0.00449,
          0.00452
        ]
      },
      "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.00576,
          0.00609,
          0.00591,
          0.0059,
          0.00594,
          0.0059,
          0.00593,
          0.0059,
          0.0059,
          0.00641,
          0.0064,
          0.007,
          0.00689
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00263,
    "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.00314,
          0.00311,
          0.00328,
          0.00332,
          0.00338,
          0.00338,
          0.00349,
          0.00353,
          0.00357,
          0.00391,
          0.00395,
          0.00428,
          0.00431
        ]
      },
      "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.00613,
          0.00582,
          0.00597,
          0.00584,
          0.00585,
          0.00585,
          0.00582,
          0.00584,
          0.00584,
          0.00632,
          0.00631,
          0.0068,
          0.00688
        ]
      }
    },
    "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.00428,
              -0.00725,
              -0.00957,
              -0.01234,
              -0.01568,
              -0.01968,
              -0.02449
            ],
            [
              0.00429,
              -0.00722,
              -0.00954,
              -0.01231,
              -0.01565,
              -0.01965,
              -0.02446
            ],
            [
              0.00432,
              -0.00724,
              -0.00955,
              -0.01232,
              -0.01565,
              -0.01965,
              -0.02446
            ],
            [
              0.00433,
              -0.00719,
              -0.0095,
              -0.01227,
              -0.01561,
              -0.01961,
              -0.02442
            ],
            [
              0.00437,
              -0.00715,
              -0.00946,
              -0.01223,
              -0.01557,
              -0.01956,
              -0.02437
            ],
            [
              0.00442,
              -0.00711,
              -0.00943,
              -0.01221,
              -0.01554,
              -0.01954,
              -0.02434
            ],
            [
              0.00448,
              -0.00707,
              -0.0094,
              -0.01217,
              -0.0155,
              -0.0195,
              -0.02431
            ],
            [
              0.00455,
              -0.00703,
              -0.00934,
              -0.01213,
              -0.01546,
              -0.01946,
              -0.02427
            ],
            [
              0.00463,
              -0.00698,
              -0.0093,
              -0.01208,
              -0.01542,
              -0.01942,
              -0.02423
            ],
            [
              0.00473,
              -0.00691,
              -0.00923,
              -0.01201,
              -0.01536,
              -0.01937,
              -0.02418
            ],
            [
              0.00485,
              -0.00684,
              -0.00916,
              -0.01195,
              -0.0153,
              -0.01931,
              -0.02413
            ],
            [
              0.00497,
              -0.00674,
              -0.00907,
              -0.01187,
              -0.01522,
              -0.01924,
              -0.02406
            ],
            [
              0.00507,
              -0.00664,
              -0.00898,
              -0.01177,
              -0.01513,
              -0.01916,
              -0.02398
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.01931,
              0.03083,
              0.03313,
              0.03589,
              0.03918,
              0.04314,
              0.0479
            ],
            [
              0.01928,
              0.03083,
              0.03313,
              0.03589,
              0.0392,
              0.04315,
              0.04791
            ],
            [
              0.01925,
              0.03084,
              0.03314,
              0.0359,
              0.03919,
              0.04316,
              0.04791
            ],
            [
              0.01921,
              0.03083,
              0.03314,
              0.03589,
              0.0392,
              0.04315,
              0.04791
            ],
            [
              0.01915,
              0.03081,
              0.03311,
              0.03587,
              0.03917,
              0.04315,
              0.04792
            ],
            [
              0.01909,
              0.03079,
              0.03309,
              0.03584,
              0.03916,
              0.04314,
              0.0479
            ],
            [
              0.01904,
              0.03075,
              0.03306,
              0.03581,
              0.03913,
              0.04311,
              0.04789
            ],
            [
              0.01898,
              0.03068,
              0.03301,
              0.03578,
              0.0391,
              0.04308,
              0.04783
            ],
            [
              0.01894,
              0.03062,
              0.03294,
              0.0357,
              0.03902,
              0.043,
              0.04779
            ],
            [
              0.01891,
              0.03057,
              0.03289,
              0.03566,
              0.03898,
              0.04296,
              0.04774
            ],
            [
              0.01888,
              0.03052,
              0.03284,
              0.0356,
              0.0389,
              0.0429,
              0.04769
            ],
            [
              0.01886,
              0.03041,
              0.03273,
              0.03552,
              0.03884,
              0.04283,
              0.04762
            ],
            [
              0.01885,
              0.03037,
              0.03267,
              0.03545,
              0.03877,
              0.04276,
              0.04754
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.00429,
              -0.00723,
              -0.00955,
              -0.01232,
              -0.01566,
              -0.01967,
              -0.02447
            ],
            [
              0.00432,
              -0.0072,
              -0.00952,
              -0.01229,
              -0.01563,
              -0.01963,
              -0.02444
            ],
            [
              0.00434,
              -0.00718,
              -0.0095,
              -0.01227,
              -0.01561,
              -0.01961,
              -0.02442
            ],
            [
              0.00436,
              -0.00718,
              -0.00949,
              -0.01226,
              -0.0156,
              -0.01959,
              -0.02439
            ],
            [
              0.00438,
              -0.00714,
              -0.00944,
              -0.01222,
              -0.01555,
              -0.01955,
              -0.02437
            ],
            [
              0.00444,
              -0.0071,
              -0.00941,
              -0.01219,
              -0.01552,
              -0.01952,
              -0.02432
            ],
            [
              0.00449,
              -0.00705,
              -0.00936,
              -0.01214,
              -0.01547,
              -0.01948,
              -0.02428
            ],
            [
              0.00455,
              -0.00701,
              -0.00932,
              -0.0121,
              -0.01543,
              -0.01943,
              -0.02424
            ],
            [
              0.00462,
              -0.00697,
              -0.00928,
              -0.01206,
              -0.0154,
              -0.0194,
              -0.02421
            ],
            [
              0.00472,
              -0.00691,
              -0.00923,
              -0.01201,
              -0.01535,
              -0.01936,
              -0.02417
            ],
            [
              0.00482,
              -0.00684,
              -0.00917,
              -0.01195,
              -0.0153,
              -0.01931,
              -0.02413
            ],
            [
              0.00492,
              -0.00676,
              -0.00909,
              -0.01188,
              -0.01523,
              -0.01925,
              -0.02407
            ],
            [
              0.00502,
              -0.00668,
              -0.00901,
              -0.01181,
              -0.01516,
              -0.01919,
              -0.02402
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.02069,
              0.03215,
              0.03444,
              0.03719,
              0.04049,
              0.04446,
              0.0492
            ],
            [
              0.02067,
              0.03214,
              0.03444,
              0.03718,
              0.04048,
              0.04445,
              0.0492
            ],
            [
              0.02064,
              0.03214,
              0.03443,
              0.03718,
              0.04048,
              0.04445,
              0.04921
            ],
            [
              0.02061,
              0.03212,
              0.03441,
              0.03716,
              0.04047,
              0.04444,
              0.0492
            ],
            [
              0.02057,
              0.0321,
              0.03439,
              0.03715,
              0.04046,
              0.04441,
              0.04917
            ],
            [
              0.02053,
              0.03208,
              0.03438,
              0.03713,
              0.04043,
              0.0444,
              0.04917
            ],
            [
              0.02047,
              0.03205,
              0.03435,
              0.03711,
              0.04041,
              0.04439,
              0.04915
            ],
            [
              0.02043,
              0.032,
              0.0343,
              0.03706,
              0.04037,
              0.04435,
              0.04911
            ],
            [
              0.0204,
              0.03196,
              0.03426,
              0.03703,
              0.04034,
              0.04431,
              0.04909
            ],
            [
              0.02037,
              0.03192,
              0.03423,
              0.03699,
              0.04029,
              0.04428,
              0.04904
            ],
            [
              0.02035,
              0.03187,
              0.0342,
              0.03697,
              0.04028,
              0.04427,
              0.04904
            ],
            [
              0.02033,
              0.03185,
              0.03418,
              0.03693,
              0.04024,
              0.04422,
              0.04899
            ],
            [
              0.02031,
              0.03182,
              0.03412,
              0.03688,
              0.0402,
              0.04417,
              0.04895
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.00436,
              -0.00717,
              -0.00948,
              -0.01226,
              -0.01559,
              -0.0196,
              -0.02441
            ],
            [
              0.00438,
              -0.00715,
              -0.00946,
              -0.01224,
              -0.01558,
              -0.01958,
              -0.02439
            ],
            [
              0.0044,
              -0.00712,
              -0.00944,
              -0.01221,
              -0.01555,
              -0.01955,
              -0.02436
            ],
            [
              0.00443,
              -0.00709,
              -0.0094,
              -0.01218,
              -0.01552,
              -0.01952,
              -0.02432
            ],
            [
              0.00447,
              -0.00707,
              -0.00939,
              -0.01217,
              -0.0155,
              -0.0195,
              -0.0243
            ],
            [
              0.0045,
              -0.00702,
              -0.00933,
              -0.01212,
              -0.01546,
              -0.01946,
              -0.02427
            ],
            [
              0.00456,
              -0.00698,
              -0.0093,
              -0.01207,
              -0.0154,
              -0.01941,
              -0.02421
            ],
            [
              0.00463,
              -0.00694,
              -0.00925,
              -0.01203,
              -0.01536,
              -0.01937,
              -0.02417
            ],
            [
              0.00471,
              -0.00689,
              -0.0092,
              -0.01198,
              -0.01532,
              -0.01933,
              -0.02414
            ],
            [
              0.00481,
              -0.00683,
              -0.00915,
              -0.01193,
              -0.01527,
              -0.01928,
              -0.02409
            ],
            [
              0.0049,
              -0.00676,
              -0.00908,
              -0.01187,
              -0.01522,
              -0.01923,
              -0.02405
            ],
            [
              0.00501,
              -0.00668,
              -0.00901,
              -0.0118,
              -0.01515,
              -0.01916,
              -0.02398
            ],
            [
              0.00509,
              -0.0066,
              -0.00893,
              -0.01173,
              -0.01508,
              -0.01911,
              -0.02393
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.02179,
              0.03326,
              0.03556,
              0.0383,
              0.04161,
              0.04556,
              0.05032
            ],
            [
              0.02176,
              0.03322,
              0.03551,
              0.03827,
              0.04157,
              0.04553,
              0.05029
            ],
            [
              0.02175,
              0.03322,
              0.03551,
              0.03826,
              0.04156,
              0.04552,
              0.05028
            ],
            [
              0.02173,
              0.0332,
              0.0355,
              0.03824,
              0.04155,
              0.0455,
              0.05027
            ],
            [
              0.0217,
              0.03319,
              0.03547,
              0.03822,
              0.04153,
              0.04549,
              0.05025
            ],
            [
              0.02168,
              0.03316,
              0.03546,
              0.03822,
              0.04152,
              0.04549,
              0.05024
            ],
            [
              0.02166,
              0.03315,
              0.03545,
              0.0382,
              0.04151,
              0.04548,
              0.05023
            ],
            [
              0.02163,
              0.03314,
              0.03544,
              0.03818,
              0.04148,
              0.04545,
              0.0502
            ],
            [
              0.0216,
              0.03311,
              0.03541,
              0.03816,
              0.04147,
              0.04544,
              0.05019
            ],
            [
              0.02159,
              0.03309,
              0.03539,
              0.03815,
              0.04146,
              0.04543,
              0.05018
            ],
            [
              0.02156,
              0.03305,
              0.03537,
              0.03814,
              0.04145,
              0.04542,
              0.0502
            ],
            [
              0.02154,
              0.03304,
              0.03535,
              0.03812,
              0.04144,
              0.04541,
              0.05016
            ],
            [
              0.02153,
              0.03302,
              0.03532,
              0.03809,
              0.0414,
              0.04537,
              0.05013
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.00182,
              -0.00986,
              -0.01218,
              -0.01499,
              -0.01835,
              -0.02234,
              -0.02714
            ],
            [
              0.00186,
              -0.00985,
              -0.01218,
              -0.01496,
              -0.01831,
              -0.02231,
              -0.02713
            ],
            [
              0.0019,
              -0.00985,
              -0.01218,
              -0.01497,
              -0.01831,
              -0.02232,
              -0.02713
            ],
            [
              0.00195,
              -0.00983,
              -0.01216,
              -0.01494,
              -0.01829,
              -0.0223,
              -0.02711
            ],
            [
              0.00203,
              -0.00981,
              -0.01215,
              -0.01493,
              -0.01828,
              -0.02229,
              -0.0271
            ],
            [
              0.00212,
              -0.00979,
              -0.01212,
              -0.01491,
              -0.01826,
              -0.02227,
              -0.02709
            ],
            [
              0.00222,
              -0.00975,
              -0.01209,
              -0.01488,
              -0.01823,
              -0.02225,
              -0.02707
            ],
            [
              0.00233,
              -0.0097,
              -0.01204,
              -0.01484,
              -0.0182,
              -0.02222,
              -0.02704
            ],
            [
              0.00244,
              -0.00963,
              -0.01197,
              -0.01478,
              -0.01814,
              -0.02217,
              -0.02699
            ],
            [
              0.00254,
              -0.00953,
              -0.01189,
              -0.0147,
              -0.01807,
              -0.0221,
              -0.02694
            ],
            [
              0.00264,
              -0.00941,
              -0.01177,
              -0.0146,
              -0.01797,
              -0.02202,
              -0.02687
            ],
            [
              0.00272,
              -0.00928,
              -0.01164,
              -0.01447,
              -0.01787,
              -0.02192,
              -0.02677
            ],
            [
              0.00279,
              -0.00914,
              -0.01151,
              -0.01433,
              -0.01773,
              -0.02179,
              -0.02664
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.01004,
              0.02163,
              0.02391,
              0.02668,
              0.03003,
              0.034,
              0.03878
            ],
            [
              0.00997,
              0.02162,
              0.02394,
              0.0267,
              0.03001,
              0.03399,
              0.03875
            ],
            [
              0.00994,
              0.02163,
              0.02394,
              0.0267,
              0.03004,
              0.034,
              0.03877
            ],
            [
              0.00988,
              0.02162,
              0.02393,
              0.0267,
              0.03002,
              0.034,
              0.03877
            ],
            [
              0.00984,
              0.0216,
              0.02392,
              0.02669,
              0.03001,
              0.034,
              0.03877
            ],
            [
              0.00976,
              0.02157,
              0.02388,
              0.02667,
              0.02998,
              0.03398,
              0.03875
            ],
            [
              0.0097,
              0.0215,
              0.02383,
              0.02661,
              0.02994,
              0.03394,
              0.03872
            ],
            [
              0.00964,
              0.02142,
              0.02375,
              0.02653,
              0.02987,
              0.03387,
              0.03867
            ],
            [
              0.0096,
              0.02134,
              0.02364,
              0.02644,
              0.02978,
              0.03378,
              0.03859
            ],
            [
              0.00956,
              0.02125,
              0.02356,
              0.02635,
              0.02969,
              0.03369,
              0.03849
            ],
            [
              0.00953,
              0.02116,
              0.02347,
              0.02625,
              0.02958,
              0.03356,
              0.03837
            ],
            [
              0.00952,
              0.02109,
              0.0234,
              0.02618,
              0.0295,
              0.03348,
              0.03827
            ],
            [
              0.00952,
              0.02103,
              0.02334,
              0.0261,
              0.02941,
              0.03342,
              0.03819
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.00178,
              -0.00984,
              -0.01216,
              -0.01494,
              -0.01828,
              -0.02229,
              -0.0271
            ],
            [
              0.00188,
              -0.00986,
              -0.01218,
              -0.01498,
              -0.01832,
              -0.02233,
              -0.02714
            ],
            [
              0.00192,
              -0.00985,
              -0.01217,
              -0.01495,
              -0.0183,
              -0.02231,
              -0.02712
            ],
            [
              0.00199,
              -0.00985,
              -0.01217,
              -0.01496,
              -0.0183,
              -0.02231,
              -0.02712
            ],
            [
              0.00206,
              -0.00983,
              -0.01215,
              -0.01493,
              -0.01828,
              -0.0223,
              -0.02711
            ],
            [
              0.00217,
              -0.00979,
              -0.01212,
              -0.01491,
              -0.01826,
              -0.02228,
              -0.0271
            ],
            [
              0.00228,
              -0.00975,
              -0.01208,
              -0.01488,
              -0.01824,
              -0.02225,
              -0.02708
            ],
            [
              0.0024,
              -0.00969,
              -0.01203,
              -0.01483,
              -0.0182,
              -0.02222,
              -0.02705
            ],
            [
              0.00252,
              -0.0096,
              -0.01195,
              -0.01476,
              -0.01814,
              -0.02217,
              -0.02701
            ],
            [
              0.00262,
              -0.00949,
              -0.01186,
              -0.01468,
              -0.01806,
              -0.0221,
              -0.02694
            ],
            [
              0.00272,
              -0.00936,
              -0.01173,
              -0.01457,
              -0.01796,
              -0.02201,
              -0.02686
            ],
            [
              0.00281,
              -0.00922,
              -0.0116,
              -0.01444,
              -0.01783,
              -0.02189,
              -0.02675
            ],
            [
              0.00287,
              -0.00908,
              -0.01145,
              -0.01428,
              -0.01768,
              -0.02174,
              -0.02663
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.01158,
              0.02313,
              0.02545,
              0.0282,
              0.03151,
              0.03548,
              0.04025
            ],
            [
              0.01154,
              0.02309,
              0.0254,
              0.02814,
              0.03146,
              0.03545,
              0.04021
            ],
            [
              0.01148,
              0.02309,
              0.02538,
              0.02815,
              0.03147,
              0.03546,
              0.04023
            ],
            [
              0.01145,
              0.02308,
              0.02539,
              0.02815,
              0.03147,
              0.03546,
              0.04022
            ],
            [
              0.0114,
              0.02306,
              0.02536,
              0.02813,
              0.03145,
              0.03543,
              0.04019
            ],
            [
              0.01134,
              0.02302,
              0.02535,
              0.02811,
              0.03143,
              0.03541,
              0.04018
            ],
            [
              0.01128,
              0.02299,
              0.0253,
              0.02807,
              0.03139,
              0.03538,
              0.04016
            ],
            [
              0.01121,
              0.02291,
              0.02523,
              0.028,
              0.03133,
              0.03533,
              0.04012
            ],
            [
              0.01117,
              0.02284,
              0.02515,
              0.02793,
              0.03126,
              0.03524,
              0.04002
            ],
            [
              0.01112,
              0.02278,
              0.02509,
              0.02786,
              0.03118,
              0.03517,
              0.03997
            ],
            [
              0.01109,
              0.02269,
              0.025,
              0.02777,
              0.0311,
              0.03509,
              0.03988
            ],
            [
              0.01107,
              0.02263,
              0.02494,
              0.0277,
              0.03103,
              0.03501,
              0.03979
            ],
            [
              0.01107,
              0.02258,
              0.02488,
              0.02764,
              0.03096,
              0.03492,
              0.03971
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.02115,
    "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.12221,
              0.28905,
              0.32097,
              0.35905,
              0.40458,
              0.45902,
              0.52412
            ],
            [
              0.12513,
              0.292,
              0.32392,
              0.362,
              0.40754,
              0.46198,
              0.52715
            ],
            [
              0.12874,
              0.29558,
              0.3275,
              0.3656,
              0.41115,
              0.4656,
              0.53077
            ],
            [
              0.13414,
              0.30106,
              0.33298,
              0.37107,
              0.41661,
              0.47106,
              0.53622
            ],
            [
              0.14247,
              0.30935,
              0.3413,
              0.37941,
              0.42496,
              0.47942,
              0.54453
            ],
            [
              0.15496,
              0.32205,
              0.354,
              0.39211,
              0.43766,
              0.492,
              0.55723
            ],
            [
              0.17378,
              0.34107,
              0.37302,
              0.41116,
              0.45674,
              0.5112,
              0.57632
            ],
            [
              0.20234,
              0.3696,
              0.40168,
              0.43984,
              0.48544,
              0.53994,
              0.60514
            ],
            [
              0.24676,
              0.41297,
              0.44501,
              0.48317,
              0.52873,
              0.58319,
              0.64835
            ],
            [
              0.30914,
              0.47825,
              0.51019,
              0.54822,
              0.59395,
              0.64859,
              0.71389
            ],
            [
              0.38889,
              0.57702,
              0.60872,
              0.64672,
              0.69222,
              0.74652,
              0.81132
            ],
            [
              0.49027,
              0.71887,
              0.75407,
              0.79477,
              0.84087,
              0.89507,
              0.96007
            ],
            [
              0.6188,
              0.9016,
              0.9454,
              0.9946,
              1.0492,
              1.1117,
              1.1819
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.22932,
              0.58131,
              0.65159,
              0.73583,
              0.83697,
              0.95739,
              1.10347
            ],
            [
              0.23295,
              0.58621,
              0.65653,
              0.74053,
              0.84154,
              0.96279,
              1.10864
            ],
            [
              0.2373,
              0.5918,
              0.66166,
              0.74625,
              0.84727,
              0.96814,
              1.11372
            ],
            [
              0.24416,
              0.59969,
              0.66958,
              0.75423,
              0.85501,
              0.97667,
              1.12188
            ],
            [
              0.25491,
              0.61119,
              0.68187,
              0.76574,
              0.86746,
              0.98811,
              1.13471
            ],
            [
              0.27177,
              0.6294,
              0.69962,
              0.78396,
              0.88478,
              1.00682,
              1.15142
            ],
            [
              0.29786,
              0.6559,
              0.7263,
              0.81086,
              0.91153,
              1.03393,
              1.17983
            ],
            [
              0.33805,
              0.69572,
              0.7662,
              0.85086,
              0.95296,
              1.07406,
              1.22046
            ],
            [
              0.39937,
              0.75625,
              0.82715,
              0.91175,
              1.01335,
              1.13495,
              1.28145
            ],
            [
              0.49191,
              0.84769,
              0.91839,
              1.00359,
              1.10529,
              1.22679,
              1.37219
            ],
            [
              0.62862,
              0.98342,
              1.05452,
              1.13932,
              1.24032,
              1.36242,
              1.50842
            ],
            [
              0.82647,
              1.18307,
              1.25357,
              1.33847,
              1.43967,
              1.56207,
              1.70857
            ],
            [
              1.1022,
              1.4807,
              1.5511,
              1.6357,
              1.7373,
              1.8589,
              2.0049
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.08399,
              0.28556,
              0.3255,
              0.37328,
              0.43033,
              0.49991,
              0.58252
            ],
            [
              0.08398,
              0.2855,
              0.32552,
              0.37316,
              0.43102,
              0.4999,
              0.58249
            ],
            [
              0.08395,
              0.28553,
              0.32551,
              0.37341,
              0.43083,
              0.49991,
              0.58255
            ],
            [
              0.08398,
              0.28562,
              0.32548,
              0.37336,
              0.43045,
              0.49994,
              0.58273
            ],
            [
              0.084,
              0.28555,
              0.32524,
              0.37319,
              0.43088,
              0.49969,
              0.58288
            ],
            [
              0.08398,
              0.28558,
              0.32536,
              0.37327,
              0.4308,
              0.49978,
              0.58261
            ],
            [
              0.08401,
              0.28554,
              0.32542,
              0.37328,
              0.43085,
              0.49974,
              0.58262
            ],
            [
              0.08258,
              0.28538,
              0.32547,
              0.37341,
              0.43057,
              0.49971,
              0.58241
            ],
            [
              0.08536,
              0.28506,
              0.32519,
              0.37316,
              0.43056,
              0.49931,
              0.58235
            ],
            [
              0.09867,
              0.28601,
              0.32525,
              0.37278,
              0.43037,
              0.49954,
              0.58271
            ],
            [
              0.11868,
              0.30095,
              0.33692,
              0.3811,
              0.4356,
              0.5019,
              0.5825
            ],
            [
              0.1469,
              0.344,
              0.3764,
              0.4156,
              0.4646,
              0.5256,
              0.6004
            ],
            [
              0.1858,
              0.4183,
              0.4527,
              0.4921,
              0.5377,
              0.5914,
              0.658
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.11916,
              0.5575,
              0.64499,
              0.75052,
              0.8757,
              1.02661,
              1.20889
            ],
            [
              0.11921,
              0.55755,
              0.64478,
              0.74999,
              0.8755,
              1.02735,
              1.20818
            ],
            [
              0.11928,
              0.55737,
              0.64482,
              0.74994,
              0.87565,
              1.02635,
              1.20855
            ],
            [
              0.11934,
              0.55736,
              0.64484,
              0.75,
              0.87586,
              1.02658,
              1.20841
            ],
            [
              0.11947,
              0.5575,
              0.64533,
              0.7496,
              0.87565,
              1.02649,
              1.20783
            ],
            [
              0.1196,
              0.55765,
              0.64528,
              0.74992,
              0.87562,
              1.027,
              1.20764
            ],
            [
              0.11951,
              0.55772,
              0.64483,
              0.75003,
              0.87553,
              1.02707,
              1.20757
            ],
            [
              0.11964,
              0.55775,
              0.64485,
              0.74965,
              0.87621,
              1.02641,
              1.20885
            ],
            [
              0.11988,
              0.55734,
              0.64499,
              0.74975,
              0.87556,
              1.02697,
              1.20785
            ],
            [
              0.11984,
              0.55759,
              0.64482,
              0.7504,
              0.8761,
              1.0267,
              1.2076
            ],
            [
              0.1214,
              0.5575,
              0.6449,
              0.7497,
              0.8755,
              1.0265,
              1.2075
            ],
            [
              0.1343,
              0.5576,
              0.6449,
              0.7495,
              0.8752,
              1.0263,
              1.2078
            ],
            [
              0.1633,
              0.5632,
              0.6471,
              0.7503,
              0.8762,
              1.0266,
              1.2072
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.09249,
              0.26138,
              0.29335,
              0.33149,
              0.37709,
              0.43154,
              0.49663
            ],
            [
              0.09539,
              0.26426,
              0.29625,
              0.33441,
              0.37999,
              0.43439,
              0.49959
            ],
            [
              0.09893,
              0.26778,
              0.29978,
              0.33794,
              0.38347,
              0.43791,
              0.50305
            ],
            [
              0.10428,
              0.27318,
              0.30516,
              0.34331,
              0.38892,
              0.44335,
              0.50841
            ],
            [
              0.11249,
              0.28142,
              0.31342,
              0.35158,
              0.39717,
              0.4516,
              0.51675
            ],
            [
              0.12487,
              0.29382,
              0.32597,
              0.36413,
              0.40971,
              0.46417,
              0.52929
            ],
            [
              0.144,
              0.31262,
              0.34484,
              0.38304,
              0.42867,
              0.48315,
              0.54839
            ],
            [
              0.17379,
              0.34134,
              0.37328,
              0.41166,
              0.45729,
              0.51179,
              0.57694
            ],
            [
              0.21791,
              0.38469,
              0.41672,
              0.45468,
              0.50028,
              0.55481,
              0.61985
            ],
            [
              0.27421,
              0.44988,
              0.48178,
              0.51991,
              0.56552,
              0.62005,
              0.68529
            ],
            [
              0.34615,
              0.54942,
              0.58092,
              0.61872,
              0.66352,
              0.71792,
              0.78302
            ],
            [
              0.43737,
              0.68627,
              0.72357,
              0.76547,
              0.81277,
              0.86687,
              0.93167
            ],
            [
              0.5529,
              0.8615,
              0.9072,
              0.9584,
              1.0159,
              1.0801,
              1.1517
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.25511,
              0.71465,
              0.80673,
              0.91609,
              1.04847,
              1.20667,
              1.39597
            ],
            [
              0.25857,
              0.71949,
              0.81163,
              0.92081,
              1.05354,
              1.21174,
              1.40194
            ],
            [
              0.26257,
              0.72539,
              0.81654,
              0.92717,
              1.05882,
              1.21742,
              1.40742
            ],
            [
              0.2691,
              0.73321,
              0.82441,
              0.93512,
              1.06707,
              1.22498,
              1.41528
            ],
            [
              0.27919,
              0.7444,
              0.8368,
              0.94665,
              1.07851,
              1.23781,
              1.42811
            ],
            [
              0.2955,
              0.76258,
              0.8542,
              0.96432,
              1.09692,
              1.25522,
              1.44582
            ],
            [
              0.32124,
              0.78876,
              0.88069,
              0.99103,
              1.12353,
              1.28213,
              1.47293
            ],
            [
              0.36098,
              0.82766,
              0.92036,
              1.03136,
              1.16346,
              1.32276,
              1.51296
            ],
            [
              0.42192,
              0.88785,
              0.98055,
              1.09095,
              1.22385,
              1.38305,
              1.57395
            ],
            [
              0.51403,
              0.97859,
              1.07119,
              1.18209,
              1.31499,
              1.47359,
              1.66459
            ],
            [
              0.64902,
              1.11262,
              1.20522,
              1.31602,
              1.44802,
              1.60692,
              1.79822
            ],
            [
              0.84357,
              1.30657,
              1.39837,
              1.50977,
              1.64257,
              1.80117,
              1.99227
            ],
            [
              1.1143,
              1.594,
              1.6854,
              1.7966,
              1.9286,
              2.0883,
              2.279
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.07737,
              0.27627,
              0.31564,
              0.36343,
              0.42052,
              0.48935,
              0.57232
            ],
            [
              0.07732,
              0.27593,
              0.31579,
              0.36353,
              0.42057,
              0.48912,
              0.5721
            ],
            [
              0.07725,
              0.27618,
              0.31579,
              0.36338,
              0.42057,
              0.48954,
              0.57218
            ],
            [
              0.07711,
              0.27614,
              0.3156,
              0.36354,
              0.42064,
              0.48925,
              0.57201
            ],
            [
              0.07696,
              0.27628,
              0.31593,
              0.36337,
              0.42064,
              0.48941,
              0.57201
            ],
            [
              0.0764,
              0.27597,
              0.3158,
              0.36333,
              0.42066,
              0.48961,
              0.57209
            ],
            [
              0.07448,
              0.27602,
              0.31577,
              0.36345,
              0.42078,
              0.48953,
              0.57178
            ],
            [
              0.07509,
              0.2758,
              0.31536,
              0.36327,
              0.4207,
              0.4895,
              0.57223
            ],
            [
              0.08336,
              0.27509,
              0.31499,
              0.36299,
              0.42035,
              0.48925,
              0.57192
            ],
            [
              0.09857,
              0.27839,
              0.31646,
              0.36299,
              0.4199,
              0.48909,
              0.57177
            ],
            [
              0.1201,
              0.29816,
              0.33289,
              0.37541,
              0.4285,
              0.4931,
              0.5735
            ],
            [
              0.1498,
              0.347,
              0.3778,
              0.4156,
              0.463,
              0.5216,
              0.5946
            ],
            [
              0.1901,
              0.4237,
              0.458,
              0.4971,
              0.5416,
              0.5937,
              0.6586
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.14369,
              0.71974,
              0.83565,
              0.97336,
              1.13919,
              1.33837,
              1.57762
            ],
            [
              0.14359,
              0.71986,
              0.83481,
              0.9733,
              1.13924,
              1.33841,
              1.57755
            ],
            [
              0.14353,
              0.71943,
              0.83499,
              0.97441,
              1.13916,
              1.33848,
              1.57751
            ],
            [
              0.14371,
              0.71931,
              0.83495,
              0.97442,
              1.14061,
              1.33838,
              1.57748
            ],
            [
              0.14399,
              0.71974,
              0.83514,
              0.97364,
              1.13922,
              1.33855,
              1.57786
            ],
            [
              0.14383,
              0.71948,
              0.83481,
              0.97314,
              1.13963,
              1.34011,
              1.57781
            ],
            [
              0.14392,
              0.71971,
              0.83519,
              0.97314,
              1.13973,
              1.33991,
              1.57751
            ],
            [
              0.14425,
              0.71996,
              0.83476,
              0.97426,
              1.14234,
              1.33844,
              1.57749
            ],
            [
              0.14416,
              0.71948,
              0.83562,
              0.97383,
              1.13927,
              1.33845,
              1.5776
            ],
            [
              0.14455,
              0.7194,
              0.8347,
              0.9743,
              1.1396,
              1.3387,
              1.5777
            ],
            [
              0.1459,
              0.7199,
              0.8348,
              0.9742,
              1.1393,
              1.3384,
              1.5779
            ],
            [
              0.157,
              0.7194,
              0.8349,
              0.9737,
              1.1405,
              1.3382,
              1.5799
            ],
            [
              0.1817,
              0.7215,
              0.8355,
              0.9729,
              1.1392,
              1.3388,
              1.5774
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.09536,
              0.26399,
              0.29596,
              0.33407,
              0.37962,
              0.434,
              0.49909
            ],
            [
              0.09825,
              0.26688,
              0.29884,
              0.33696,
              0.38251,
              0.43693,
              0.50198
            ],
            [
              0.10178,
              0.2704,
              0.30237,
              0.34049,
              0.38604,
              0.44045,
              0.50554
            ],
            [
              0.10712,
              0.27579,
              0.30779,
              0.34593,
              0.39148,
              0.44588,
              0.51094
            ],
            [
              0.11531,
              0.28401,
              0.316,
              0.35413,
              0.39966,
              0.45409,
              0.51916
            ],
            [
              0.12765,
              0.29644,
              0.32855,
              0.3667,
              0.41225,
              0.46669,
              0.53179
            ],
            [
              0.14684,
              0.31524,
              0.34743,
              0.38561,
              0.4312,
              0.48565,
              0.55076
            ],
            [
              0.17633,
              0.34396,
              0.37594,
              0.41422,
              0.45985,
              0.51429,
              0.57946
            ],
            [
              0.22069,
              0.38731,
              0.41933,
              0.45725,
              0.50287,
              0.55732,
              0.62234
            ],
            [
              0.27764,
              0.45249,
              0.48444,
              0.52255,
              0.56812,
              0.6226,
              0.68779
            ],
            [
              0.35041,
              0.55192,
              0.58352,
              0.62132,
              0.66622,
              0.72062,
              0.78562
            ],
            [
              0.44277,
              0.68937,
              0.72647,
              0.76827,
              0.81547,
              0.86947,
              0.93427
            ],
            [
              0.5597,
              0.8654,
              0.9108,
              0.9618,
              1.019,
              1.0831,
              1.1544
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.28914,
              0.72763,
              0.81477,
              0.9193,
              1.04467,
              1.19517,
              1.37577
            ],
            [
              0.29315,
              0.73241,
              0.81965,
              0.92427,
              1.04964,
              1.20014,
              1.38074
            ],
            [
              0.2977,
              0.73786,
              0.82515,
              0.92969,
              1.05522,
              1.20572,
              1.38642
            ],
            [
              0.3045,
              0.74574,
              0.83308,
              0.93775,
              1.06328,
              1.21398,
              1.39468
            ],
            [
              0.31506,
              0.75749,
              0.84494,
              0.94971,
              1.07541,
              1.22611,
              1.40701
            ],
            [
              0.33156,
              0.775,
              0.86247,
              0.96732,
              1.09312,
              1.24392,
              1.42502
            ],
            [
              0.35717,
              0.80174,
              0.88904,
              0.99403,
              1.11983,
              1.27073,
              1.45213
            ],
            [
              0.39674,
              0.84136,
              0.92926,
              1.03446,
              1.16046,
              1.31146,
              1.49256
            ],
            [
              0.45722,
              0.90155,
              0.98915,
              1.09445,
              1.22065,
              1.37185,
              1.55315
            ],
            [
              0.54899,
              0.99239,
              1.08019,
              1.18549,
              1.31169,
              1.46249,
              1.64389
            ],
            [
              0.68362,
              1.12632,
              1.21432,
              1.31882,
              1.44512,
              1.59642,
              1.77762
            ],
            [
              0.88037,
              1.32077,
              1.40877,
              1.51427,
              1.64027,
              1.79167,
              1.97317
            ],
            [
              1.1586,
              1.6091,
              1.697,
              1.8021,
              1.9281,
              2.0794,
              2.2608
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.0946,
              0.29116,
              0.33069,
              0.37823,
              0.4353,
              0.50435,
              0.58686
            ],
            [
              0.09454,
              0.29119,
              0.33074,
              0.37815,
              0.4353,
              0.50401,
              0.58691
            ],
            [
              0.09445,
              0.29118,
              0.33063,
              0.3783,
              0.43544,
              0.50404,
              0.58687
            ],
            [
              0.09437,
              0.2912,
              0.33072,
              0.3783,
              0.43547,
              0.50424,
              0.58671
            ],
            [
              0.09424,
              0.2912,
              0.33061,
              0.37825,
              0.43523,
              0.50399,
              0.58649
            ],
            [
              0.09378,
              0.29108,
              0.33071,
              0.37827,
              0.43525,
              0.5039,
              0.58672
            ],
            [
              0.09201,
              0.29101,
              0.33064,
              0.37826,
              0.43537,
              0.50424,
              0.58695
            ],
            [
              0.09218,
              0.2909,
              0.33043,
              0.37817,
              0.43541,
              0.5042,
              0.58651
            ],
            [
              0.0999,
              0.29028,
              0.33011,
              0.37782,
              0.43517,
              0.50409,
              0.58686
            ],
            [
              0.11711,
              0.29333,
              0.33142,
              0.37794,
              0.43463,
              0.50388,
              0.58628
            ],
            [
              0.14183,
              0.31315,
              0.34771,
              0.3905,
              0.4433,
              0.5082,
              0.5881
            ],
            [
              0.1765,
              0.362,
              0.3927,
              0.4304,
              0.4778,
              0.5367,
              0.6097
            ],
            [
              0.2238,
              0.4412,
              0.4746,
              0.5128,
              0.5564,
              0.6088,
              0.6735
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.16171,
              0.71293,
              0.82263,
              0.95442,
              1.11287,
              1.3026,
              1.53054
            ],
            [
              0.16177,
              0.71262,
              0.82276,
              0.9545,
              1.11283,
              1.30281,
              1.53071
            ],
            [
              0.16177,
              0.71275,
              0.82279,
              0.95431,
              1.11283,
              1.3026,
              1.52905
            ],
            [
              0.16184,
              0.71273,
              0.82272,
              0.95451,
              1.11293,
              1.3022,
              1.5282
            ],
            [
              0.16188,
              0.71262,
              0.82213,
              0.95426,
              1.11275,
              1.30287,
              1.53062
            ],
            [
              0.16194,
              0.71263,
              0.82265,
              0.95459,
              1.11284,
              1.30276,
              1.53064
            ],
            [
              0.16197,
              0.71268,
              0.82266,
              0.95457,
              1.11293,
              1.30278,
              1.53074
            ],
            [
              0.16199,
              0.71265,
              0.82266,
              0.95419,
              1.11248,
              1.30252,
              1.52879
            ],
            [
              0.16188,
              0.71221,
              0.82266,
              0.95435,
              1.1129,
              1.30262,
              1.5303
            ],
            [
              0.16215,
              0.7129,
              0.8227,
              0.9542,
              1.1129,
              1.3028,
              1.53
            ],
            [
              0.1626,
              0.7127,
              0.8227,
              0.9546,
              1.1126,
              1.3028,
              1.5308
            ],
            [
              0.1704,
              0.7125,
              0.8228,
              0.9544,
              1.1129,
              1.3023,
              1.5302
            ],
            [
              0.195,
              0.7142,
              0.8234,
              0.9547,
              1.1131,
              1.3025,
              1.5307
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.1336,
              0.30044,
              0.33236,
              0.37046,
              0.41598,
              0.47044,
              0.53556
            ],
            [
              0.13685,
              0.30369,
              0.33562,
              0.3737,
              0.41925,
              0.47368,
              0.53879
            ],
            [
              0.14079,
              0.30763,
              0.33956,
              0.37764,
              0.42317,
              0.47763,
              0.54278
            ],
            [
              0.14657,
              0.31341,
              0.34537,
              0.38345,
              0.42895,
              0.4834,
              0.54851
            ],
            [
              0.15496,
              0.32188,
              0.35379,
              0.39188,
              0.43742,
              0.49181,
              0.55698
            ],
            [
              0.16729,
              0.33431,
              0.36626,
              0.40435,
              0.44988,
              0.50431,
              0.56941
            ],
            [
              0.18571,
              0.35283,
              0.38477,
              0.42292,
              0.46851,
              0.52292,
              0.58806
            ],
            [
              0.21335,
              0.38076,
              0.41273,
              0.45087,
              0.49645,
              0.5509,
              0.61606
            ],
            [
              0.25539,
              0.42263,
              0.45464,
              0.49282,
              0.53844,
              0.59296,
              0.65819
            ],
            [
              0.31512,
              0.48535,
              0.51742,
              0.55568,
              0.60137,
              0.65599,
              0.72129
            ],
            [
              0.39647,
              0.57932,
              0.61142,
              0.64982,
              0.69562,
              0.75032,
              0.81572
            ],
            [
              0.50467,
              0.71467,
              0.74947,
              0.78987,
              0.83677,
              0.89157,
              0.95717
            ],
            [
              0.6457,
              0.898,
              0.9379,
              0.9837,
              1.0362,
              1.097,
              1.1667
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.25999,
              0.61211,
              0.68228,
              0.76638,
              0.86735,
              0.98846,
              1.13387
            ],
            [
              0.26393,
              0.61647,
              0.68659,
              0.77074,
              0.87172,
              0.99284,
              1.13824
            ],
            [
              0.2687,
              0.62166,
              0.6918,
              0.77597,
              0.87697,
              0.99812,
              1.14352
            ],
            [
              0.2759,
              0.62953,
              0.69974,
              0.7839,
              0.88491,
              1.00608,
              1.15148
            ],
            [
              0.28698,
              0.6414,
              0.71156,
              0.79579,
              0.89692,
              1.01811,
              1.16361
            ],
            [
              0.3042,
              0.65923,
              0.72955,
              0.81377,
              0.91489,
              1.03612,
              1.18172
            ],
            [
              0.33038,
              0.68616,
              0.75653,
              0.84088,
              0.94203,
              1.06333,
              1.20893
            ],
            [
              0.37062,
              0.72639,
              0.79685,
              0.88126,
              0.98256,
              1.10406,
              1.24966
            ],
            [
              0.43208,
              0.78755,
              0.85805,
              0.94255,
              1.04395,
              1.16545,
              1.31135
            ],
            [
              0.52431,
              0.87919,
              0.94969,
              1.03409,
              1.13539,
              1.25699,
              1.40279
            ],
            [
              0.66062,
              1.01442,
              1.08552,
              1.17002,
              1.27152,
              1.39302,
              1.53892
            ],
            [
              0.86007,
              1.21437,
              1.28537,
              1.36977,
              1.47117,
              1.59277,
              1.73857
            ],
            [
              1.1412,
              1.5108,
              1.5812,
              1.6657,
              1.767,
              1.8885,
              2.0344
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.08402,
              0.28556,
              0.32534,
              0.37335,
              0.43067,
              0.49981,
              0.58304
            ],
            [
              0.08402,
              0.28557,
              0.3255,
              0.37329,
              0.43079,
              0.49977,
              0.5828
            ],
            [
              0.08402,
              0.28557,
              0.32553,
              0.37313,
              0.43085,
              0.49976,
              0.58258
            ],
            [
              0.08404,
              0.2853,
              0.32556,
              0.37299,
              0.43092,
              0.49976,
              0.58267
            ],
            [
              0.08401,
              0.28574,
              0.32535,
              0.37312,
              0.43087,
              0.49955,
              0.58286
            ],
            [
              0.08404,
              0.28545,
              0.32549,
              0.37291,
              0.43046,
              0.49963,
              0.58272
            ],
            [
              0.08381,
              0.28557,
              0.32531,
              0.37331,
              0.4307,
              0.4996,
              0.58258
            ],
            [
              0.08312,
              0.28565,
              0.32546,
              0.37347,
              0.43064,
              0.49971,
              0.58253
            ],
            [
              0.08532,
              0.28509,
              0.32502,
              0.37315,
              0.43049,
              0.49961,
              0.58247
            ],
            [
              0.09341,
              0.2863,
              0.32541,
              0.37311,
              0.43027,
              0.49951,
              0.58267
            ],
            [
              0.10752,
              0.29535,
              0.33305,
              0.3786,
              0.4344,
              0.5015,
              0.5828
            ],
            [
              0.1297,
              0.3225,
              0.3575,
              0.4,
              0.4523,
              0.5165,
              0.5946
            ],
            [
              0.1622,
              0.374,
              0.4098,
              0.4514,
              0.5001,
              0.5589,
              0.6309
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.13993,
              0.58011,
              0.66765,
              0.77296,
              0.89854,
              1.04979,
              1.23073
            ],
            [
              0.13997,
              0.58015,
              0.66771,
              0.77263,
              0.89897,
              1.04966,
              1.23074
            ],
            [
              0.13991,
              0.58016,
              0.66747,
              0.77288,
              0.899,
              1.04959,
              1.23083
            ],
            [
              0.14007,
              0.5801,
              0.66768,
              0.77311,
              0.89836,
              1.04969,
              1.23081
            ],
            [
              0.14012,
              0.58027,
              0.66768,
              0.77248,
              0.89939,
              1.0496,
              1.23077
            ],
            [
              0.14014,
              0.58031,
              0.66742,
              0.77288,
              0.89922,
              1.05002,
              1.23062
            ],
            [
              0.14003,
              0.57989,
              0.66776,
              0.77288,
              0.89923,
              1.04998,
              1.23078
            ],
            [
              0.14019,
              0.5799,
              0.66788,
              0.77251,
              0.89898,
              1.04998,
              1.23049
            ],
            [
              0.14021,
              0.58016,
              0.66748,
              0.77282,
              0.89899,
              1.04936,
              1.23054
            ],
            [
              0.14024,
              0.58,
              0.66744,
              0.7732,
              0.8989,
              1.0496,
              1.2308
            ],
            [
              0.1411,
              0.5799,
              0.6678,
              0.7729,
              0.899,
              1.0495,
              1.231
            ],
            [
              0.1505,
              0.5803,
              0.6675,
              0.7726,
              0.8983,
              1.0494,
              1.2308
            ],
            [
              0.1786,
              0.5841,
              0.6689,
              0.7731,
              0.8989,
              1.0496,
              1.2309
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.10395,
              0.27274,
              0.30474,
              0.34289,
              0.38846,
              0.4429,
              0.50806
            ],
            [
              0.10716,
              0.27593,
              0.30792,
              0.34607,
              0.39166,
              0.44611,
              0.51121
            ],
            [
              0.11105,
              0.27982,
              0.31182,
              0.34995,
              0.39556,
              0.44994,
              0.51512
            ],
            [
              0.11675,
              0.28553,
              0.31754,
              0.35568,
              0.40125,
              0.45574,
              0.5209
            ],
            [
              0.12506,
              0.29387,
              0.32586,
              0.364,
              0.40956,
              0.46404,
              0.52917
            ],
            [
              0.13736,
              0.30616,
              0.33817,
              0.37633,
              0.42189,
              0.47641,
              0.54143
            ],
            [
              0.15587,
              0.32454,
              0.35655,
              0.39473,
              0.44031,
              0.4948,
              0.55992
            ],
            [
              0.18401,
              0.35231,
              0.38433,
              0.42253,
              0.46817,
              0.52267,
              0.58772
            ],
            [
              0.22528,
              0.3941,
              0.42613,
              0.46438,
              0.50998,
              0.56454,
              0.62973
            ],
            [
              0.28175,
              0.45692,
              0.48892,
              0.52723,
              0.5729,
              0.6275,
              0.69279
            ],
            [
              0.35758,
              0.55092,
              0.58312,
              0.62142,
              0.66712,
              0.72182,
              0.78722
            ],
            [
              0.45727,
              0.68277,
              0.71867,
              0.75997,
              0.80767,
              0.86297,
              0.92847
            ],
            [
              0.5868,
              0.8612,
              0.9028,
              0.9501,
              1.0041,
              1.0658,
              1.1367
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.29804,
              0.76292,
              0.85555,
              0.96667,
              1.10007,
              1.26007,
              1.45217
            ],
            [
              0.30178,
              0.7672,
              0.8599,
              0.97099,
              1.10444,
              1.26444,
              1.45654
            ],
            [
              0.30637,
              0.77232,
              0.86505,
              0.97617,
              1.10962,
              1.26962,
              1.46172
            ],
            [
              0.31328,
              0.78012,
              0.87287,
              0.98408,
              1.11747,
              1.27758,
              1.46968
            ],
            [
              0.32396,
              0.79183,
              0.88457,
              0.99581,
              1.12941,
              1.28951,
              1.48181
            ],
            [
              0.34082,
              0.8095,
              0.90239,
              1.01362,
              1.14722,
              1.30742,
              1.49972
            ],
            [
              0.36652,
              0.83618,
              0.92913,
              1.04053,
              1.17413,
              1.33443,
              1.52673
            ],
            [
              0.40638,
              0.87596,
              0.96906,
              1.08066,
              1.21446,
              1.37486,
              1.56736
            ],
            [
              0.46754,
              0.93675,
              1.02995,
              1.14155,
              1.27545,
              1.43595,
              1.62865
            ],
            [
              0.5592,
              1.02769,
              1.12079,
              1.23239,
              1.36619,
              1.52679,
              1.71939
            ],
            [
              0.69362,
              1.16072,
              1.25462,
              1.36632,
              1.50032,
              1.66092,
              1.85362
            ],
            [
              0.88867,
              1.35567,
              1.44937,
              1.56077,
              1.69477,
              1.85547,
              2.04817
            ],
            [
              1.1646,
              1.6414,
              1.7345,
              1.846,
              1.9799,
              2.1405,
              2.3332
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.07696,
              0.27591,
              0.31587,
              0.36345,
              0.42057,
              0.48926,
              0.57211
            ],
            [
              0.07692,
              0.27618,
              0.31556,
              0.36349,
              0.42063,
              0.48923,
              0.57224
            ],
            [
              0.07685,
              0.27616,
              0.31586,
              0.36338,
              0.42064,
              0.48911,
              0.5725
            ],
            [
              0.0768,
              0.27599,
              0.31581,
              0.36347,
              0.42073,
              0.48938,
              0.57204
            ],
            [
              0.07667,
              0.27624,
              0.31585,
              0.36344,
              0.42079,
              0.48938,
              0.57237
            ],
            [
              0.07631,
              0.27617,
              0.31547,
              0.36326,
              0.42052,
              0.48939,
              0.57192
            ],
            [
              0.07545,
              0.27609,
              0.31588,
              0.36358,
              0.42035,
              0.48929,
              0.57177
            ],
            [
              0.07607,
              0.27591,
              0.31543,
              0.36329,
              0.42064,
              0.48928,
              0.57202
            ],
            [
              0.08068,
              0.27514,
              0.31514,
              0.36314,
              0.42035,
              0.48932,
              0.57195
            ],
            [
              0.09082,
              0.27787,
              0.31638,
              0.36368,
              0.42027,
              0.48927,
              0.57152
            ],
            [
              0.1071,
              0.28991,
              0.32674,
              0.37153,
              0.426,
              0.4925,
              0.5734
            ],
            [
              0.1313,
              0.3215,
              0.3551,
              0.3964,
              0.4471,
              0.5103,
              0.5869
            ],
            [
              0.165,
              0.3758,
              0.4108,
              0.4517,
              0.5,
              0.5568,
              0.6276
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.17264,
              0.75837,
              0.87451,
              1.01493,
              1.18328,
              1.38464,
              1.6249
            ],
            [
              0.17246,
              0.75789,
              0.87487,
              1.01487,
              1.18347,
              1.38474,
              1.62686
            ],
            [
              0.17262,
              0.75774,
              0.87478,
              1.01497,
              1.18341,
              1.38544,
              1.62725
            ],
            [
              0.17243,
              0.75836,
              0.87481,
              1.0152,
              1.18347,
              1.38557,
              1.62801
            ],
            [
              0.17272,
              0.75791,
              0.87463,
              1.01515,
              1.18347,
              1.38481,
              1.62621
            ],
            [
              0.17274,
              0.75824,
              0.87464,
              1.01513,
              1.18337,
              1.38474,
              1.62739
            ],
            [
              0.1726,
              0.75806,
              0.87477,
              1.01489,
              1.18342,
              1.38547,
              1.62796
            ],
            [
              0.17261,
              0.75809,
              0.87468,
              1.0148,
              1.18274,
              1.38538,
              1.62728
            ],
            [
              0.17289,
              0.75797,
              0.87471,
              1.01523,
              1.18335,
              1.3849,
              1.6277
            ],
            [
              0.17299,
              0.758,
              0.8749,
              1.015,
              1.1834,
              1.3854,
              1.6276
            ],
            [
              0.1733,
              0.7579,
              0.8747,
              1.0151,
              1.1829,
              1.3854,
              1.6281
            ],
            [
              0.1809,
              0.7581,
              0.8751,
              1.015,
              1.1836,
              1.3853,
              1.6281
            ],
            [
              0.2041,
              0.7591,
              0.8755,
              1.015,
              1.1832,
              1.3856,
              1.6278
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.10685,
              0.27541,
              0.30739,
              0.34551,
              0.39105,
              0.44546,
              0.51053
            ],
            [
              0.11005,
              0.2786,
              0.31058,
              0.3487,
              0.39425,
              0.44866,
              0.51373
            ],
            [
              0.11394,
              0.28249,
              0.31446,
              0.35259,
              0.39814,
              0.45254,
              0.51766
            ],
            [
              0.11964,
              0.28823,
              0.32018,
              0.3583,
              0.40386,
              0.45824,
              0.52334
            ],
            [
              0.12794,
              0.29655,
              0.32852,
              0.36664,
              0.41216,
              0.46655,
              0.53171
            ],
            [
              0.14022,
              0.30885,
              0.34084,
              0.37898,
              0.42454,
              0.47895,
              0.54402
            ],
            [
              0.15869,
              0.32723,
              0.35923,
              0.39738,
              0.44298,
              0.49743,
              0.56255
            ],
            [
              0.18674,
              0.355,
              0.38702,
              0.4252,
              0.47079,
              0.52526,
              0.59035
            ],
            [
              0.22817,
              0.39681,
              0.42883,
              0.46706,
              0.51266,
              0.56713,
              0.63227
            ],
            [
              0.28494,
              0.45961,
              0.49168,
              0.5299,
              0.57557,
              0.63009,
              0.69539
            ],
            [
              0.36137,
              0.55362,
              0.58582,
              0.62412,
              0.66982,
              0.72452,
              0.78982
            ],
            [
              0.46197,
              0.68577,
              0.72157,
              0.76277,
              0.81047,
              0.86567,
              0.93117
            ],
            [
              0.5927,
              0.8647,
              0.9061,
              0.9533,
              1.0072,
              1.0688,
              1.1395
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.32605,
              0.76307,
              0.84997,
              0.95409,
              1.07917,
              1.22897,
              1.40897
            ],
            [
              0.33004,
              0.7674,
              0.85427,
              0.95848,
              1.08344,
              1.23334,
              1.41324
            ],
            [
              0.33476,
              0.77255,
              0.85951,
              0.96367,
              1.08872,
              1.23862,
              1.41852
            ],
            [
              0.34197,
              0.78038,
              0.86735,
              0.97157,
              1.09658,
              1.24658,
              1.42648
            ],
            [
              0.35318,
              0.7921,
              0.87914,
              0.98341,
              1.10861,
              1.25861,
              1.43861
            ],
            [
              0.37008,
              0.80995,
              0.89695,
              1.00122,
              1.12662,
              1.27652,
              1.45652
            ],
            [
              0.39605,
              0.83675,
              0.92393,
              1.02833,
              1.15343,
              1.30363,
              1.48383
            ],
            [
              0.43609,
              0.87676,
              0.96396,
              1.06856,
              1.19386,
              1.34416,
              1.52446
            ],
            [
              0.49701,
              0.93765,
              1.02495,
              1.12955,
              1.25505,
              1.40535,
              1.58585
            ],
            [
              0.58833,
              1.02869,
              1.11599,
              1.22039,
              1.34589,
              1.49639,
              1.67679
            ],
            [
              0.72312,
              1.16232,
              1.25012,
              1.35482,
              1.48032,
              1.63082,
              1.81132
            ],
            [
              0.91907,
              1.35847,
              1.44577,
              1.55017,
              1.67567,
              1.82617,
              2.00667
            ],
            [
              1.2009,
              1.6454,
              1.7326,
              1.8372,
              1.9627,
              2.1131,
              2.2936
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.09429,
              0.29112,
              0.33071,
              0.37836,
              0.43547,
              0.50398,
              0.58686
            ],
            [
              0.09418,
              0.29121,
              0.33077,
              0.37828,
              0.43544,
              0.50404,
              0.58684
            ],
            [
              0.09416,
              0.29126,
              0.33083,
              0.37827,
              0.43542,
              0.50408,
              0.58675
            ],
            [
              0.09411,
              0.29111,
              0.33069,
              0.37834,
              0.43554,
              0.50398,
              0.58668
            ],
            [
              0.09404,
              0.29125,
              0.3307,
              0.37823,
              0.4354,
              0.50426,
              0.58674
            ],
            [
              0.09372,
              0.29112,
              0.33081,
              0.37822,
              0.43544,
              0.50404,
              0.5867
            ],
            [
              0.09284,
              0.29106,
              0.33076,
              0.37824,
              0.43536,
              0.50423,
              0.58677
            ],
            [
              0.09323,
              0.291,
              0.33074,
              0.37821,
              0.43544,
              0.50402,
              0.58643
            ],
            [
              0.09746,
              0.29051,
              0.33023,
              0.37797,
              0.43525,
              0.50417,
              0.58695
            ],
            [
              0.10854,
              0.29302,
              0.33165,
              0.37847,
              0.435,
              0.50405,
              0.58653
            ],
            [
              0.12648,
              0.30493,
              0.34161,
              0.38636,
              0.441,
              0.5074,
              0.5882
            ],
            [
              0.1534,
              0.3362,
              0.37,
              0.4113,
              0.4623,
              0.5252,
              0.602
            ],
            [
              0.1919,
              0.3924,
              0.4267,
              0.467,
              0.5144,
              0.5717,
              0.6425
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.18666,
              0.73751,
              0.84679,
              0.97901,
              1.13684,
              1.32547,
              1.55268
            ],
            [
              0.18673,
              0.73697,
              0.84794,
              0.97937,
              1.13669,
              1.32553,
              1.55241
            ],
            [
              0.18669,
              0.7378,
              0.84663,
              0.97774,
              1.1367,
              1.32567,
              1.5528
            ],
            [
              0.18686,
              0.73779,
              0.84689,
              0.97935,
              1.13669,
              1.32573,
              1.55281
            ],
            [
              0.18669,
              0.73743,
              0.84667,
              0.9784,
              1.13682,
              1.32558,
              1.5526
            ],
            [
              0.18684,
              0.73758,
              0.84666,
              0.97899,
              1.13645,
              1.32553,
              1.55278
            ],
            [
              0.18682,
              0.7375,
              0.84682,
              0.97933,
              1.13669,
              1.32573,
              1.55262
            ],
            [
              0.18675,
              0.73753,
              0.84683,
              0.97916,
              1.1366,
              1.32575,
              1.55248
            ],
            [
              0.18678,
              0.73742,
              0.84727,
              0.9787,
              1.13707,
              1.32572,
              1.5525
            ],
            [
              0.18698,
              0.7375,
              0.8468,
              0.9792,
              1.1367,
              1.3257,
              1.5527
            ],
            [
              0.1872,
              0.7374,
              0.8473,
              0.9792,
              1.1367,
              1.3258,
              1.5518
            ],
            [
              0.1921,
              0.7375,
              0.8473,
              0.979,
              1.1367,
              1.3253,
              1.5515
            ],
            [
              0.2141,
              0.7382,
              0.8476,
              0.9778,
              1.1368,
              1.3253,
              1.5527
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.13679,
              0.30363,
              0.33554,
              0.37364,
              0.41917,
              0.47357,
              0.53871
            ],
            [
              0.14035,
              0.30714,
              0.33906,
              0.37714,
              0.42269,
              0.47709,
              0.54222
            ],
            [
              0.14449,
              0.31133,
              0.34326,
              0.38134,
              0.42689,
              0.48129,
              0.5464
            ],
            [
              0.15035,
              0.31722,
              0.34915,
              0.38725,
              0.43279,
              0.48723,
              0.55239
            ],
            [
              0.15878,
              0.32568,
              0.35762,
              0.39572,
              0.44128,
              0.49572,
              0.56086
            ],
            [
              0.17088,
              0.33789,
              0.36981,
              0.4079,
              0.45352,
              0.50795,
              0.57306
            ],
            [
              0.18842,
              0.35554,
              0.38749,
              0.42561,
              0.47118,
              0.52559,
              0.59075
            ],
            [
              0.21416,
              0.38147,
              0.41344,
              0.45156,
              0.49713,
              0.5516,
              0.61674
            ],
            [
              0.25258,
              0.41981,
              0.45182,
              0.49004,
              0.53567,
              0.59017,
              0.65536
            ],
            [
              0.3071,
              0.4771,
              0.50916,
              0.54739,
              0.59308,
              0.64769,
              0.71299
            ],
            [
              0.38228,
              0.56272,
              0.59472,
              0.63312,
              0.67892,
              0.73362,
              0.79892
            ],
            [
              0.48557,
              0.68507,
              0.71967,
              0.75987,
              0.80697,
              0.86197,
              0.92747
            ],
            [
              0.6258,
              0.8535,
              0.8918,
              0.9362,
              0.9877,
              1.0476,
              1.1172
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.26032,
              0.59115,
              0.65667,
              0.73515,
              0.82934,
              0.94227,
              1.07777
            ],
            [
              0.26414,
              0.59497,
              0.66045,
              0.73897,
              0.83316,
              0.94607,
              1.08154
            ],
            [
              0.269,
              0.59998,
              0.66548,
              0.74402,
              0.8382,
              0.95115,
              1.08662
            ],
            [
              0.27652,
              0.60762,
              0.67319,
              0.7517,
              0.84591,
              0.95886,
              1.09438
            ],
            [
              0.28798,
              0.61944,
              0.68494,
              0.76347,
              0.85771,
              0.97061,
              1.10621
            ],
            [
              0.30552,
              0.63712,
              0.70268,
              0.78126,
              0.87552,
              0.98852,
              1.12402
            ],
            [
              0.33213,
              0.66405,
              0.72961,
              0.80829,
              0.90253,
              1.01553,
              1.15113
            ],
            [
              0.37219,
              0.7046,
              0.77022,
              0.84876,
              0.94296,
              1.05596,
              1.19156
            ],
            [
              0.43274,
              0.76525,
              0.83075,
              0.90935,
              1.00365,
              1.11685,
              1.25245
            ],
            [
              0.52276,
              0.85499,
              0.92069,
              0.99939,
              1.09369,
              1.20679,
              1.34219
            ],
            [
              0.65492,
              0.98662,
              1.05232,
              1.13142,
              1.22582,
              1.33902,
              1.47472
            ],
            [
              0.84797,
              1.18047,
              1.24667,
              1.32537,
              1.41977,
              1.53287,
              1.66857
            ],
            [
              1.1187,
              1.4682,
              1.5339,
              1.6126,
              1.707,
              1.8202,
              1.956
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.08402,
              0.28557,
              0.32517,
              0.3733,
              0.4309,
              0.49947,
              0.58276
            ],
            [
              0.08404,
              0.28567,
              0.32557,
              0.37296,
              0.43086,
              0.49961,
              0.5826
            ],
            [
              0.08402,
              0.28537,
              0.32541,
              0.37307,
              0.43069,
              0.4996,
              0.58223
            ],
            [
              0.08404,
              0.28547,
              0.32545,
              0.37295,
              0.43088,
              0.49974,
              0.58257
            ],
            [
              0.084,
              0.28554,
              0.32543,
              0.37297,
              0.43087,
              0.49971,
              0.58286
            ],
            [
              0.08407,
              0.28573,
              0.32536,
              0.37311,
              0.43084,
              0.49971,
              0.58261
            ],
            [
              0.08393,
              0.2857,
              0.3254,
              0.37325,
              0.43072,
              0.49938,
              0.58273
            ],
            [
              0.08341,
              0.28566,
              0.32547,
              0.37325,
              0.43058,
              0.49953,
              0.58236
            ],
            [
              0.08507,
              0.28526,
              0.32549,
              0.37318,
              0.43082,
              0.49948,
              0.58244
            ],
            [
              0.0916,
              0.28634,
              0.32584,
              0.37318,
              0.4306,
              0.49938,
              0.58254
            ],
            [
              0.10176,
              0.29436,
              0.33258,
              0.37875,
              0.4345,
              0.5018,
              0.5837
            ],
            [
              0.1175,
              0.3159,
              0.3523,
              0.3962,
              0.4498,
              0.5149,
              0.5938
            ],
            [
              0.1426,
              0.3532,
              0.3906,
              0.4352,
              0.4873,
              0.5492,
              0.6242
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.14556,
              0.55711,
              0.63834,
              0.73677,
              0.85468,
              0.9958,
              1.16372
            ],
            [
              0.1456,
              0.55654,
              0.63888,
              0.7365,
              0.85464,
              0.99507,
              1.16397
            ],
            [
              0.14575,
              0.55658,
              0.63883,
              0.73645,
              0.85458,
              0.99598,
              1.16509
            ],
            [
              0.1456,
              0.5566,
              0.63833,
              0.7363,
              0.85452,
              0.99573,
              1.16504
            ],
            [
              0.14556,
              0.55649,
              0.63888,
              0.73686,
              0.85476,
              0.99578,
              1.16386
            ],
            [
              0.14556,
              0.55654,
              0.63893,
              0.73699,
              0.85487,
              0.99561,
              1.16508
            ],
            [
              0.14559,
              0.55648,
              0.63822,
              0.73686,
              0.85492,
              0.99569,
              1.16384
            ],
            [
              0.14578,
              0.55651,
              0.63829,
              0.73639,
              0.85473,
              0.99577,
              1.1651
            ],
            [
              0.14568,
              0.55663,
              0.63828,
              0.73673,
              0.85495,
              0.99568,
              1.16516
            ],
            [
              0.14587,
              0.55651,
              0.63879,
              0.7369,
              0.8545,
              0.9957,
              1.1653
            ],
            [
              0.1468,
              0.5565,
              0.6383,
              0.7364,
              0.8544,
              0.9957,
              1.1645
            ],
            [
              0.1582,
              0.5565,
              0.6389,
              0.7367,
              0.8547,
              0.9947,
              1.1653
            ],
            [
              0.1875,
              0.5643,
              0.643,
              0.7385,
              0.8546,
              0.9953,
              1.165
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.10716,
              0.27591,
              0.30791,
              0.34604,
              0.39164,
              0.44608,
              0.51113
            ],
            [
              0.11069,
              0.27942,
              0.31141,
              0.34955,
              0.39515,
              0.44963,
              0.5148
            ],
            [
              0.11476,
              0.2835,
              0.31549,
              0.35363,
              0.39919,
              0.45366,
              0.51883
            ],
            [
              0.12055,
              0.28931,
              0.32129,
              0.35946,
              0.40502,
              0.45952,
              0.52468
            ],
            [
              0.12887,
              0.29764,
              0.32966,
              0.36782,
              0.41344,
              0.46786,
              0.53305
            ],
            [
              0.14089,
              0.30971,
              0.34169,
              0.3799,
              0.42552,
              0.47995,
              0.54503
            ],
            [
              0.15844,
              0.32721,
              0.35923,
              0.39741,
              0.44297,
              0.49747,
              0.56266
            ],
            [
              0.18451,
              0.35302,
              0.38503,
              0.42324,
              0.46888,
              0.5233,
              0.5885
            ],
            [
              0.22238,
              0.3914,
              0.42342,
              0.46164,
              0.50724,
              0.56179,
              0.62703
            ],
            [
              0.27454,
              0.44862,
              0.48071,
              0.51895,
              0.56463,
              0.6192,
              0.68439
            ],
            [
              0.34618,
              0.53402,
              0.56642,
              0.60472,
              0.65042,
              0.70502,
              0.77042
            ],
            [
              0.44417,
              0.65387,
              0.68917,
              0.73017,
              0.77797,
              0.83357,
              0.89897
            ],
            [
              0.5755,
              0.819,
              0.8582,
              0.9036,
              0.9561,
              1.0168,
              1.0872
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.30798,
              0.75295,
              0.84113,
              0.9469,
              1.07377,
              1.22587,
              1.40847
            ],
            [
              0.31159,
              0.75653,
              0.84476,
              0.95052,
              1.07744,
              1.22954,
              1.41204
            ],
            [
              0.31631,
              0.76144,
              0.84969,
              0.95546,
              1.08232,
              1.23452,
              1.41702
            ],
            [
              0.32364,
              0.76901,
              0.85723,
              0.963,
              1.08988,
              1.24208,
              1.42468
            ],
            [
              0.33488,
              0.78063,
              0.86892,
              0.97471,
              1.10161,
              1.25381,
              1.43631
            ],
            [
              0.35218,
              0.79824,
              0.88652,
              0.99232,
              1.11932,
              1.27152,
              1.45412
            ],
            [
              0.37858,
              0.82504,
              0.91333,
              1.01913,
              1.14623,
              1.29853,
              1.48113
            ],
            [
              0.41834,
              0.86546,
              0.95376,
              1.05966,
              1.18656,
              1.33876,
              1.52146
            ],
            [
              0.47858,
              0.92585,
              1.01395,
              1.11985,
              1.24695,
              1.39945,
              1.58205
            ],
            [
              0.56767,
              1.01459,
              1.10299,
              1.20899,
              1.33609,
              1.48839,
              1.67109
            ],
            [
              0.69722,
              1.14322,
              1.23192,
              1.33842,
              1.46552,
              1.61802,
              1.80082
            ],
            [
              0.88487,
              1.33107,
              1.42007,
              1.52607,
              1.65327,
              1.80567,
              1.98857
            ],
            [
              1.15,
              1.6064,
              1.6949,
              1.8009,
              1.9281,
              2.0806,
              2.2634
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.07679,
              0.2763,
              0.31579,
              0.36355,
              0.42065,
              0.48928,
              0.57198
            ],
            [
              0.07674,
              0.27589,
              0.31562,
              0.36323,
              0.4208,
              0.48936,
              0.57185
            ],
            [
              0.07669,
              0.27632,
              0.31576,
              0.36348,
              0.42061,
              0.48965,
              0.57206
            ],
            [
              0.07664,
              0.27591,
              0.31555,
              0.36349,
              0.42078,
              0.48934,
              0.57204
            ],
            [
              0.07657,
              0.2761,
              0.31554,
              0.36333,
              0.42059,
              0.4896,
              0.572
            ],
            [
              0.0763,
              0.27627,
              0.31579,
              0.36356,
              0.42058,
              0.48957,
              0.57182
            ],
            [
              0.07572,
              0.27602,
              0.31589,
              0.36327,
              0.42039,
              0.48929,
              0.57203
            ],
            [
              0.07606,
              0.27596,
              0.31541,
              0.36312,
              0.4206,
              0.48953,
              0.57201
            ],
            [
              0.07971,
              0.27524,
              0.31516,
              0.36308,
              0.42044,
              0.48911,
              0.57196
            ],
            [
              0.08726,
              0.27762,
              0.31676,
              0.36385,
              0.42034,
              0.48891,
              0.57213
            ],
            [
              0.09855,
              0.28758,
              0.32518,
              0.37078,
              0.42573,
              0.4925,
              0.5732
            ],
            [
              0.1165,
              0.3119,
              0.3478,
              0.3907,
              0.4436,
              0.5075,
              0.5861
            ],
            [
              0.1446,
              0.3512,
              0.3879,
              0.432,
              0.4837,
              0.5446,
              0.6191
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.18481,
              0.7433,
              0.85439,
              0.98737,
              1.14798,
              1.33994,
              1.57072
            ],
            [
              0.18477,
              0.74327,
              0.85415,
              0.98771,
              1.14774,
              1.33992,
              1.57063
            ],
            [
              0.18497,
              0.74324,
              0.85411,
              0.98805,
              1.1478,
              1.3399,
              1.57018
            ],
            [
              0.18497,
              0.74288,
              0.85439,
              0.98746,
              1.14776,
              1.33954,
              1.57013
            ],
            [
              0.18499,
              0.74305,
              0.85457,
              0.98752,
              1.1478,
              1.34013,
              1.57043
            ],
            [
              0.1848,
              0.7435,
              0.85446,
              0.98769,
              1.14774,
              1.34016,
              1.57044
            ],
            [
              0.18482,
              0.74328,
              0.85435,
              0.98749,
              1.14774,
              1.33966,
              1.57011
            ],
            [
              0.18485,
              0.74332,
              0.85437,
              0.9874,
              1.148,
              1.33976,
              1.57069
            ],
            [
              0.18486,
              0.74331,
              0.85428,
              0.98768,
              1.14784,
              1.33988,
              1.5705
            ],
            [
              0.18484,
              0.7433,
              0.8544,
              0.9879,
              1.1481,
              1.3397,
              1.5705
            ],
            [
              0.1857,
              0.7432,
              0.8544,
              0.9876,
              1.1479,
              1.3398,
              1.5709
            ],
            [
              0.1937,
              0.7432,
              0.8542,
              0.9879,
              1.1479,
              1.3393,
              1.5706
            ],
            [
              0.2178,
              0.7458,
              0.855,
              0.988,
              1.1477,
              1.3398,
              1.5706
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.11004,
              0.27858,
              0.31056,
              0.34868,
              0.39423,
              0.44863,
              0.51373
            ],
            [
              0.11357,
              0.28209,
              0.31407,
              0.35219,
              0.39773,
              0.45215,
              0.51726
            ],
            [
              0.11763,
              0.28617,
              0.31814,
              0.35627,
              0.40181,
              0.45622,
              0.5213
            ],
            [
              0.12343,
              0.29198,
              0.32397,
              0.36208,
              0.40764,
              0.46203,
              0.52712
            ],
            [
              0.13174,
              0.30032,
              0.33232,
              0.37045,
              0.416,
              0.47044,
              0.53552
            ],
            [
              0.14375,
              0.31239,
              0.34436,
              0.38254,
              0.42811,
              0.48253,
              0.54761
            ],
            [
              0.16127,
              0.32991,
              0.36191,
              0.40006,
              0.44559,
              0.50001,
              0.56514
            ],
            [
              0.18728,
              0.35574,
              0.38777,
              0.42593,
              0.47151,
              0.52595,
              0.59104
            ],
            [
              0.22526,
              0.3941,
              0.42612,
              0.46431,
              0.50991,
              0.5644,
              0.62952
            ],
            [
              0.27766,
              0.45133,
              0.48339,
              0.52161,
              0.56726,
              0.62181,
              0.68699
            ],
            [
              0.34964,
              0.53672,
              0.56902,
              0.60732,
              0.65302,
              0.70772,
              0.77302
            ],
            [
              0.44827,
              0.65677,
              0.69207,
              0.73297,
              0.78067,
              0.83627,
              0.90167
            ],
            [
              0.5805,
              0.8222,
              0.8614,
              0.9067,
              0.9591,
              1.0197,
              1.0901
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.33224,
              0.74927,
              0.83179,
              0.93069,
              1.04937,
              1.19157,
              1.36217
            ],
            [
              0.33594,
              0.75292,
              0.83545,
              0.93437,
              1.05304,
              1.19524,
              1.36584
            ],
            [
              0.34066,
              0.75785,
              0.8404,
              0.93934,
              1.05792,
              1.20022,
              1.37082
            ],
            [
              0.34819,
              0.7654,
              0.848,
              0.94695,
              1.06557,
              1.20778,
              1.37848
            ],
            [
              0.35955,
              0.77714,
              0.85973,
              0.95861,
              1.07731,
              1.21951,
              1.39021
            ],
            [
              0.37691,
              0.79476,
              0.87738,
              0.97642,
              1.09512,
              1.23732,
              1.40802
            ],
            [
              0.40351,
              0.82161,
              0.90423,
              1.00333,
              1.12203,
              1.26433,
              1.43503
            ],
            [
              0.44359,
              0.86206,
              0.94476,
              1.04376,
              1.16236,
              1.30466,
              1.47536
            ],
            [
              0.5037,
              0.92235,
              1.00505,
              1.10405,
              1.22295,
              1.36535,
              1.53615
            ],
            [
              0.59291,
              1.01149,
              1.09419,
              1.19329,
              1.31209,
              1.45449,
              1.62519
            ],
            [
              0.72262,
              1.14082,
              1.22402,
              1.32312,
              1.44212,
              1.58452,
              1.75542
            ],
            [
              0.91117,
              1.32927,
              1.41257,
              1.51177,
              1.63067,
              1.77317,
              1.94417
            ],
            [
              1.182,
              1.6067,
              1.6895,
              1.7886,
              1.9076,
              2.0501,
              2.221
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.09415,
              0.29125,
              0.33067,
              0.37826,
              0.43543,
              0.50412,
              0.58651
            ],
            [
              0.09409,
              0.29123,
              0.33063,
              0.37826,
              0.43555,
              0.50418,
              0.58667
            ],
            [
              0.09405,
              0.29119,
              0.33067,
              0.3783,
              0.43552,
              0.50429,
              0.58698
            ],
            [
              0.094,
              0.29116,
              0.3308,
              0.37833,
              0.43532,
              0.50432,
              0.58692
            ],
            [
              0.09393,
              0.29111,
              0.33066,
              0.37829,
              0.43535,
              0.50411,
              0.58683
            ],
            [
              0.09373,
              0.29122,
              0.33065,
              0.37825,
              0.43545,
              0.50432,
              0.58683
            ],
            [
              0.09316,
              0.29105,
              0.33076,
              0.3782,
              0.43542,
              0.50426,
              0.5868
            ],
            [
              0.09329,
              0.29104,
              0.33059,
              0.37814,
              0.43543,
              0.50404,
              0.58692
            ],
            [
              0.09664,
              0.29066,
              0.33031,
              0.37795,
              0.43536,
              0.50396,
              0.58688
            ],
            [
              0.10501,
              0.2929,
              0.3316,
              0.37863,
              0.43508,
              0.50379,
              0.58664
            ],
            [
              0.11762,
              0.30282,
              0.34025,
              0.38565,
              0.44078,
              0.5075,
              0.5882
            ],
            [
              0.1374,
              0.327,
              0.3627,
              0.4058,
              0.4585,
              0.5229,
              0.6009
            ],
            [
              0.1684,
              0.3674,
              0.404,
              0.4473,
              0.4986,
              0.5592,
              0.6335
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.1962,
              0.71991,
              0.82388,
              0.94906,
              1.09869,
              1.27876,
              1.49449
            ],
            [
              0.19608,
              0.72036,
              0.82452,
              0.94873,
              1.09816,
              1.27962,
              1.49421
            ],
            [
              0.19595,
              0.72001,
              0.82454,
              0.94965,
              1.09818,
              1.27864,
              1.49417
            ],
            [
              0.19601,
              0.71991,
              0.82391,
              0.94892,
              1.09943,
              1.27836,
              1.49395
            ],
            [
              0.19625,
              0.71984,
              0.82456,
              0.94915,
              1.09811,
              1.27974,
              1.49442
            ],
            [
              0.19621,
              0.71984,
              0.82389,
              0.94987,
              1.09914,
              1.27974,
              1.49441
            ],
            [
              0.19611,
              0.71977,
              0.82386,
              0.94888,
              1.09921,
              1.27838,
              1.49394
            ],
            [
              0.19612,
              0.71987,
              0.82413,
              0.94911,
              1.09904,
              1.27893,
              1.49491
            ],
            [
              0.19599,
              0.71994,
              0.82452,
              0.95008,
              1.0982,
              1.27929,
              1.4944
            ],
            [
              0.19607,
              0.7199,
              0.8239,
              0.9496,
              1.0998,
              1.2788,
              1.4941
            ],
            [
              0.1966,
              0.7205,
              0.8244,
              0.9494,
              1.0987,
              1.2788,
              1.4942
            ],
            [
              0.2025,
              0.7205,
              0.8245,
              0.9494,
              1.0989,
              1.2783,
              1.4939
            ],
            [
              0.2262,
              0.7222,
              0.8247,
              0.95,
              1.0996,
              1.2783,
              1.4938
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.04667,
              0.15474,
              0.1762,
              0.20196,
              0.2329,
              0.27017,
              0.31462
            ],
            [
              0.04968,
              0.15813,
              0.17962,
              0.20536,
              0.23621,
              0.27351,
              0.31812
            ],
            [
              0.0533,
              0.16209,
              0.18362,
              0.20945,
              0.24027,
              0.27761,
              0.32214
            ],
            [
              0.05884,
              0.16806,
              0.18967,
              0.21549,
              0.24649,
              0.28359,
              0.32804
            ],
            [
              0.06728,
              0.17708,
              0.19855,
              0.22451,
              0.25558,
              0.29267,
              0.33715
            ],
            [
              0.08017,
              0.19058,
              0.21223,
              0.23805,
              0.26897,
              0.30623,
              0.35102
            ],
            [
              0.09913,
              0.21079,
              0.23235,
              0.25819,
              0.2894,
              0.3266,
              0.37108
            ],
            [
              0.12328,
              0.2411,
              0.26267,
              0.28869,
              0.31965,
              0.35709,
              0.40174
            ],
            [
              0.15399,
              0.28679,
              0.3083,
              0.33426,
              0.36508,
              0.40273,
              0.44773
            ],
            [
              0.19321,
              0.35512,
              0.37751,
              0.40337,
              0.43448,
              0.47195,
              0.51637
            ],
            [
              0.24309,
              0.44702,
              0.47412,
              0.50482,
              0.53832,
              0.57562,
              0.62022
            ],
            [
              0.30647,
              0.56437,
              0.59847,
              0.63577,
              0.67797,
              0.72377,
              0.77397
            ],
            [
              0.386,
              0.7152,
              0.7577,
              0.8046,
              0.8571,
              0.9144,
              0.9771
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.10993,
              0.4022,
              0.45991,
              0.5295,
              0.61346,
              0.71321,
              0.83397
            ],
            [
              0.11253,
              0.40584,
              0.46423,
              0.53377,
              0.61745,
              0.71768,
              0.83738
            ],
            [
              0.11607,
              0.41071,
              0.46884,
              0.53848,
              0.62178,
              0.72197,
              0.84257
            ],
            [
              0.12202,
              0.41763,
              0.47569,
              0.54522,
              0.62928,
              0.72955,
              0.84954
            ],
            [
              0.13202,
              0.4283,
              0.48661,
              0.55635,
              0.64012,
              0.74051,
              0.86035
            ],
            [
              0.14803,
              0.4446,
              0.50285,
              0.57298,
              0.65672,
              0.75709,
              0.87761
            ],
            [
              0.17354,
              0.46954,
              0.52757,
              0.59785,
              0.68191,
              0.78251,
              0.90243
            ],
            [
              0.21272,
              0.5075,
              0.56597,
              0.63547,
              0.72052,
              0.82155,
              0.94246
            ],
            [
              0.27271,
              0.56602,
              0.62413,
              0.6943,
              0.77925,
              0.87985,
              1.00015
            ],
            [
              0.36281,
              0.65549,
              0.71349,
              0.78219,
              0.86739,
              0.96779,
              1.08909
            ],
            [
              0.48782,
              0.79002,
              0.84772,
              0.91802,
              1.00172,
              1.10132,
              1.22232
            ],
            [
              0.66047,
              0.99327,
              1.05137,
              1.12077,
              1.20387,
              1.30347,
              1.42467
            ],
            [
              0.8996,
              1.2994,
              1.3569,
              1.4261,
              1.5092,
              1.6097,
              1.7302
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.03458,
              0.17409,
              0.20164,
              0.23514,
              0.27517,
              0.32344,
              0.38131
            ],
            [
              0.0346,
              0.1741,
              0.20185,
              0.23504,
              0.2753,
              0.32347,
              0.3813
            ],
            [
              0.03459,
              0.17371,
              0.20171,
              0.23517,
              0.27531,
              0.32343,
              0.38162
            ],
            [
              0.03461,
              0.17373,
              0.20167,
              0.23512,
              0.27527,
              0.3235,
              0.3814
            ],
            [
              0.03457,
              0.17372,
              0.20169,
              0.2352,
              0.27523,
              0.32363,
              0.38139
            ],
            [
              0.03579,
              0.17381,
              0.20168,
              0.23525,
              0.27519,
              0.32352,
              0.38125
            ],
            [
              0.04114,
              0.17382,
              0.20164,
              0.23511,
              0.27529,
              0.32377,
              0.38124
            ],
            [
              0.05118,
              0.17395,
              0.20166,
              0.23527,
              0.27511,
              0.32345,
              0.38173
            ],
            [
              0.06486,
              0.17993,
              0.2055,
              0.2368,
              0.27572,
              0.32363,
              0.38153
            ],
            [
              0.0838,
              0.19802,
              0.22075,
              0.24929,
              0.28482,
              0.32866,
              0.38355
            ],
            [
              0.10985,
              0.2373,
              0.25664,
              0.28063,
              0.31185,
              0.35132,
              0.40078
            ],
            [
              0.1455,
              0.2965,
              0.3183,
              0.3433,
              0.3709,
              0.4044,
              0.4474
            ],
            [
              0.1953,
              0.3763,
              0.4019,
              0.431,
              0.4627,
              0.499,
              0.5403
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.09037,
              0.46221,
              0.53681,
              0.62618,
              0.73293,
              0.86165,
              1.01692
            ],
            [
              0.09031,
              0.46109,
              0.53526,
              0.6242,
              0.73111,
              0.85947,
              1.01675
            ],
            [
              0.09016,
              0.46126,
              0.53639,
              0.62431,
              0.7328,
              0.85915,
              1.01462
            ],
            [
              0.09025,
              0.46124,
              0.5353,
              0.6243,
              0.73124,
              0.86195,
              1.01588
            ],
            [
              0.09016,
              0.46206,
              0.53641,
              0.62546,
              0.73117,
              0.85935,
              1.0166
            ],
            [
              0.09013,
              0.46104,
              0.53504,
              0.62645,
              0.73261,
              0.86115,
              1.01428
            ],
            [
              0.09009,
              0.46227,
              0.53595,
              0.62432,
              0.73122,
              0.86217,
              1.01547
            ],
            [
              0.0897,
              0.46247,
              0.53622,
              0.62542,
              0.73172,
              0.85947,
              1.01663
            ],
            [
              0.09253,
              0.46202,
              0.5356,
              0.62623,
              0.73263,
              0.86104,
              1.01421
            ],
            [
              0.10534,
              0.46229,
              0.5359,
              0.62541,
              0.7315,
              0.8602,
              1.01712
            ],
            [
              0.13406,
              0.4621,
              0.5365,
              0.6257,
              0.7323,
              0.8608,
              1.0153
            ],
            [
              0.1738,
              0.4688,
              0.5387,
              0.6257,
              0.7331,
              0.8608,
              1.0155
            ],
            [
              0.2285,
              0.5035,
              0.566,
              0.6439,
              0.7421,
              0.8632,
              1.0156
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.0467,
              0.15465,
              0.17628,
              0.20203,
              0.23278,
              0.27018,
              0.31471
            ],
            [
              0.04972,
              0.15818,
              0.17957,
              0.20548,
              0.23632,
              0.27353,
              0.31816
            ],
            [
              0.05338,
              0.16209,
              0.18372,
              0.20938,
              0.24051,
              0.27746,
              0.32224
            ],
            [
              0.05894,
              0.16823,
              0.18976,
              0.21543,
              0.24649,
              0.28357,
              0.32838
            ],
            [
              0.06741,
              0.17719,
              0.19884,
              0.22469,
              0.25551,
              0.2928,
              0.33753
            ],
            [
              0.08036,
              0.19077,
              0.2124,
              0.23821,
              0.26913,
              0.30652,
              0.35118
            ],
            [
              0.09928,
              0.21109,
              0.23256,
              0.25859,
              0.28969,
              0.32689,
              0.37143
            ],
            [
              0.12354,
              0.24146,
              0.26303,
              0.2891,
              0.32009,
              0.35739,
              0.4021
            ],
            [
              0.15427,
              0.28714,
              0.30878,
              0.33482,
              0.36567,
              0.40327,
              0.44761
            ],
            [
              0.19347,
              0.35554,
              0.37774,
              0.40359,
              0.43451,
              0.47166,
              0.51675
            ],
            [
              0.24346,
              0.44742,
              0.47472,
              0.50502,
              0.53832,
              0.57592,
              0.62062
            ],
            [
              0.30677,
              0.56507,
              0.59897,
              0.63647,
              0.67827,
              0.72427,
              0.77447
            ],
            [
              0.3863,
              0.7158,
              0.7583,
              0.8052,
              0.8574,
              0.9148,
              0.977
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.12374,
              0.46165,
              0.52855,
              0.60906,
              0.70572,
              0.82152,
              0.96073
            ],
            [
              0.12593,
              0.46531,
              0.53256,
              0.61286,
              0.7093,
              0.82549,
              0.96464
            ],
            [
              0.12907,
              0.46959,
              0.53661,
              0.61741,
              0.71411,
              0.82954,
              0.96924
            ],
            [
              0.13459,
              0.47629,
              0.54327,
              0.62414,
              0.72115,
              0.83696,
              0.97567
            ],
            [
              0.14393,
              0.48639,
              0.55405,
              0.63437,
              0.7316,
              0.84746,
              0.98631
            ],
            [
              0.15935,
              0.50246,
              0.56975,
              0.6509,
              0.74796,
              0.86392,
              1.00292
            ],
            [
              0.18415,
              0.52681,
              0.59435,
              0.67504,
              0.77255,
              0.88878,
              1.02853
            ],
            [
              0.22264,
              0.56408,
              0.63117,
              0.71233,
              0.80921,
              0.92696,
              1.06676
            ],
            [
              0.28188,
              0.62139,
              0.6888,
              0.76855,
              0.86775,
              0.98445,
              1.12405
            ],
            [
              0.37178,
              0.70909,
              0.77599,
              0.85749,
              0.95449,
              1.07089,
              1.21119
            ],
            [
              0.49842,
              0.84162,
              0.90822,
              0.98982,
              1.08692,
              1.20162,
              1.34252
            ],
            [
              0.67267,
              1.04237,
              1.10897,
              1.18997,
              1.28677,
              1.40087,
              1.54117
            ],
            [
              0.9137,
              1.3446,
              1.411,
              1.4914,
              1.5874,
              1.7044,
              1.8421
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.03455,
              0.1738,
              0.20187,
              0.23523,
              0.27529,
              0.32348,
              0.38134
            ],
            [
              0.03457,
              0.17394,
              0.20166,
              0.23551,
              0.27522,
              0.32348,
              0.3817
            ],
            [
              0.03459,
              0.17382,
              0.2018,
              0.23514,
              0.27552,
              0.32346,
              0.38135
            ],
            [
              0.03459,
              0.17409,
              0.20179,
              0.2351,
              0.2753,
              0.3235,
              0.38129
            ],
            [
              0.03455,
              0.17381,
              0.2017,
              0.23521,
              0.27528,
              0.32351,
              0.38128
            ],
            [
              0.03574,
              0.17382,
              0.20179,
              0.23498,
              0.27529,
              0.32348,
              0.3817
            ],
            [
              0.04108,
              0.17388,
              0.20166,
              0.23511,
              0.2753,
              0.32371,
              0.38113
            ],
            [
              0.05099,
              0.17392,
              0.20165,
              0.23525,
              0.27515,
              0.32344,
              0.38172
            ],
            [
              0.06468,
              0.17983,
              0.20514,
              0.23676,
              0.27568,
              0.3236,
              0.38133
            ],
            [
              0.08357,
              0.1977,
              0.22062,
              0.24891,
              0.28453,
              0.3287,
              0.38346
            ],
            [
              0.10951,
              0.2369,
              0.25622,
              0.28059,
              0.31173,
              0.35103,
              0.40054
            ],
            [
              0.1452,
              0.296,
              0.3179,
              0.3427,
              0.3706,
              0.404,
              0.4471
            ],
            [
              0.1951,
              0.3757,
              0.4014,
              0.4302,
              0.4625,
              0.4986,
              0.5405
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.10413,
              0.53172,
              0.61662,
              0.719,
              0.84243,
              0.98946,
              1.16662
            ],
            [
              0.10421,
              0.53172,
              0.61695,
              0.71938,
              0.842,
              0.99227,
              1.16685
            ],
            [
              0.10412,
              0.53172,
              0.6177,
              0.71968,
              0.84272,
              0.99049,
              1.16655
            ],
            [
              0.10416,
              0.5316,
              0.6166,
              0.7209,
              0.8422,
              0.9897,
              1.16755
            ],
            [
              0.10397,
              0.53247,
              0.61698,
              0.71903,
              0.84234,
              0.99088,
              1.16759
            ],
            [
              0.10374,
              0.5317,
              0.6182,
              0.71945,
              0.84215,
              0.98994,
              1.16773
            ],
            [
              0.10349,
              0.53156,
              0.61698,
              0.72085,
              0.84242,
              0.98959,
              1.16671
            ],
            [
              0.10305,
              0.53222,
              0.61708,
              0.71928,
              0.84255,
              0.99227,
              1.16675
            ],
            [
              0.10424,
              0.53169,
              0.61698,
              0.71977,
              0.8442,
              0.98968,
              1.16663
            ],
            [
              0.11505,
              0.53196,
              0.61687,
              0.71931,
              0.84265,
              0.99048,
              1.1671
            ],
            [
              0.1418,
              0.5319,
              0.6175,
              0.7193,
              0.8424,
              0.9899,
              1.1666
            ],
            [
              0.1828,
              0.5341,
              0.6174,
              0.7196,
              0.8429,
              0.9913,
              1.1666
            ],
            [
              0.2386,
              0.5626,
              0.637,
              0.7307,
              0.8466,
              0.9907,
              1.1665
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.04669,
              0.15467,
              0.17628,
              0.20203,
              0.23278,
              0.2702,
              0.31466
            ],
            [
              0.04972,
              0.15816,
              0.17953,
              0.20545,
              0.23642,
              0.27339,
              0.31811
            ],
            [
              0.05339,
              0.16216,
              0.18366,
              0.20945,
              0.24051,
              0.27747,
              0.32226
            ],
            [
              0.05894,
              0.16823,
              0.18971,
              0.2156,
              0.24637,
              0.28375,
              0.32832
            ],
            [
              0.06738,
              0.17716,
              0.19881,
              0.22469,
              0.25556,
              0.29282,
              0.33751
            ],
            [
              0.08033,
              0.19075,
              0.21234,
              0.2382,
              0.26909,
              0.30652,
              0.35118
            ],
            [
              0.09931,
              0.21105,
              0.23252,
              0.25856,
              0.28965,
              0.32685,
              0.37139
            ],
            [
              0.12349,
              0.2414,
              0.26299,
              0.28904,
              0.31999,
              0.35733,
              0.40201
            ],
            [
              0.15422,
              0.28706,
              0.30867,
              0.3347,
              0.36549,
              0.4032,
              0.44741
            ],
            [
              0.19342,
              0.35549,
              0.37766,
              0.40348,
              0.43441,
              0.47154,
              0.51669
            ],
            [
              0.2434,
              0.44742,
              0.47462,
              0.50482,
              0.53862,
              0.57592,
              0.62052
            ],
            [
              0.30667,
              0.56517,
              0.59887,
              0.63627,
              0.67827,
              0.72417,
              0.77437
            ],
            [
              0.3862,
              0.7156,
              0.7581,
              0.8051,
              0.8572,
              0.9147,
              0.9769
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.12096,
              0.44858,
              0.51335,
              0.59148,
              0.6849,
              0.7974,
              0.93189
            ],
            [
              0.1232,
              0.45205,
              0.51697,
              0.59523,
              0.68884,
              0.80091,
              0.93522
            ],
            [
              0.12642,
              0.45633,
              0.52157,
              0.59943,
              0.6934,
              0.80576,
              0.94029
            ],
            [
              0.13204,
              0.46314,
              0.52845,
              0.60613,
              0.70047,
              0.81283,
              0.94741
            ],
            [
              0.14155,
              0.47357,
              0.53874,
              0.61716,
              0.71106,
              0.82326,
              0.95771
            ],
            [
              0.1571,
              0.4895,
              0.55478,
              0.63315,
              0.72746,
              0.83997,
              0.97452
            ],
            [
              0.18204,
              0.51371,
              0.57915,
              0.65805,
              0.75169,
              0.86475,
              1.00043
            ],
            [
              0.22068,
              0.55163,
              0.6165,
              0.69488,
              0.7893,
              0.90316,
              1.03796
            ],
            [
              0.28006,
              0.60928,
              0.67436,
              0.75182,
              0.84755,
              0.96085,
              1.09625
            ],
            [
              0.37006,
              0.69719,
              0.76199,
              0.84059,
              0.93519,
              1.04809,
              1.18349
            ],
            [
              0.49622,
              0.83002,
              0.89512,
              0.97352,
              1.06772,
              1.17902,
              1.31512
            ],
            [
              0.67007,
              1.03137,
              1.09597,
              1.17397,
              1.26807,
              1.37907,
              1.51437
            ],
            [
              0.9107,
              1.3345,
              1.3988,
              1.4769,
              1.5694,
              1.683,
              1.8171
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.03456,
              0.17381,
              0.20186,
              0.23527,
              0.27529,
              0.32369,
              0.38135
            ],
            [
              0.03457,
              0.17382,
              0.2017,
              0.23515,
              0.27552,
              0.32343,
              0.38134
            ],
            [
              0.03458,
              0.17383,
              0.20158,
              0.23514,
              0.27552,
              0.32346,
              0.38132
            ],
            [
              0.03459,
              0.1741,
              0.2017,
              0.23531,
              0.27529,
              0.32346,
              0.38164
            ],
            [
              0.03454,
              0.17381,
              0.20171,
              0.23529,
              0.27523,
              0.32351,
              0.38128
            ],
            [
              0.03575,
              0.17382,
              0.20156,
              0.23504,
              0.27529,
              0.32345,
              0.38127
            ],
            [
              0.04104,
              0.17387,
              0.20166,
              0.23511,
              0.27529,
              0.3237,
              0.38114
            ],
            [
              0.05102,
              0.17389,
              0.20165,
              0.23549,
              0.2752,
              0.32344,
              0.38172
            ],
            [
              0.06471,
              0.17986,
              0.20515,
              0.23679,
              0.27567,
              0.32358,
              0.38132
            ],
            [
              0.08363,
              0.19773,
              0.22067,
              0.24921,
              0.28457,
              0.32873,
              0.38345
            ],
            [
              0.10956,
              0.23693,
              0.25626,
              0.28063,
              0.31167,
              0.35101,
              0.40053
            ],
            [
              0.1454,
              0.2958,
              0.318,
              0.3429,
              0.3707,
              0.404,
              0.4471
            ],
            [
              0.1951,
              0.3759,
              0.4015,
              0.4303,
              0.4626,
              0.4986,
              0.5406
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.10097,
              0.51564,
              0.5981,
              0.69787,
              0.81678,
              0.96063,
              1.132
            ],
            [
              0.10099,
              0.51525,
              0.59816,
              0.6981,
              0.81707,
              0.96031,
              1.13294
            ],
            [
              0.10092,
              0.51532,
              0.59813,
              0.69755,
              0.81708,
              0.96017,
              1.13322
            ],
            [
              0.10091,
              0.51607,
              0.59844,
              0.69754,
              0.81736,
              0.9602,
              1.13215
            ],
            [
              0.10093,
              0.51522,
              0.5982,
              0.69787,
              0.81706,
              0.9606,
              1.13292
            ],
            [
              0.10069,
              0.51609,
              0.59804,
              0.69934,
              0.81725,
              0.96015,
              1.13276
            ],
            [
              0.10039,
              0.51568,
              0.59808,
              0.69769,
              0.81757,
              0.96248,
              1.13197
            ],
            [
              0.10011,
              0.51559,
              0.59804,
              0.69924,
              0.81707,
              0.96022,
              1.13273
            ],
            [
              0.10165,
              0.51573,
              0.5985,
              0.69796,
              0.81676,
              0.96055,
              1.13192
            ],
            [
              0.11291,
              0.51592,
              0.59913,
              0.69889,
              0.81722,
              0.96024,
              1.1348
            ],
            [
              0.14023,
              0.5159,
              0.5988,
              0.6978,
              0.8171,
              0.9602,
              1.1323
            ],
            [
              0.1808,
              0.519,
              0.5991,
              0.6982,
              0.817,
              0.9615,
              1.1321
            ],
            [
              0.2364,
              0.5488,
              0.6206,
              0.7105,
              0.8227,
              0.9612,
              1.1338
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.04677,
              0.15475,
              0.17624,
              0.20195,
              0.233,
              0.26998,
              0.31504
            ],
            [
              0.04982,
              0.15811,
              0.17976,
              0.20557,
              0.23641,
              0.27366,
              0.31799
            ],
            [
              0.0535,
              0.16216,
              0.18384,
              0.20975,
              0.24056,
              0.27768,
              0.32225
            ],
            [
              0.05909,
              0.16833,
              0.18981,
              0.21574,
              0.24657,
              0.2839,
              0.32845
            ],
            [
              0.06767,
              0.1775,
              0.19901,
              0.22488,
              0.25592,
              0.29285,
              0.33772
            ],
            [
              0.08068,
              0.19115,
              0.21265,
              0.23853,
              0.26967,
              0.30676,
              0.35132
            ],
            [
              0.09973,
              0.21148,
              0.23304,
              0.25906,
              0.29013,
              0.32718,
              0.37199
            ],
            [
              0.12405,
              0.2421,
              0.26363,
              0.28969,
              0.32072,
              0.35805,
              0.40275
            ],
            [
              0.15491,
              0.28797,
              0.30954,
              0.33562,
              0.3666,
              0.40399,
              0.44839
            ],
            [
              0.19432,
              0.35654,
              0.37857,
              0.40457,
              0.43551,
              0.47276,
              0.51723
            ],
            [
              0.24396,
              0.44832,
              0.47542,
              0.50572,
              0.53912,
              0.57632,
              0.62172
            ],
            [
              0.30737,
              0.56557,
              0.59957,
              0.63737,
              0.67917,
              0.72507,
              0.77537
            ],
            [
              0.387,
              0.7164,
              0.7598,
              0.8066,
              0.8585,
              0.9156,
              0.9781
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.15855,
              0.61979,
              0.71115,
              0.82135,
              0.95344,
              1.11157,
              1.30067
            ],
            [
              0.15995,
              0.62345,
              0.71504,
              0.82487,
              0.95677,
              1.11524,
              1.30484
            ],
            [
              0.16205,
              0.62726,
              0.71905,
              0.82844,
              0.96112,
              1.11942,
              1.30882
            ],
            [
              0.16636,
              0.63294,
              0.7251,
              0.83476,
              0.96747,
              1.12588,
              1.31557
            ],
            [
              0.17434,
              0.6425,
              0.73411,
              0.8447,
              0.97721,
              1.13491,
              1.32581
            ],
            [
              0.1881,
              0.65722,
              0.74915,
              0.85946,
              0.99242,
              1.15112,
              1.34112
            ],
            [
              0.21131,
              0.67986,
              0.77187,
              0.88245,
              1.01533,
              1.17423,
              1.36533
            ],
            [
              0.24807,
              0.71527,
              0.80727,
              0.91776,
              1.05096,
              1.21086,
              1.40136
            ],
            [
              0.3056,
              0.77005,
              0.86225,
              0.97365,
              1.10655,
              1.26495,
              1.45665
            ],
            [
              0.39318,
              0.85379,
              0.94619,
              1.05759,
              1.18969,
              1.34949,
              1.54069
            ],
            [
              0.52352,
              0.98132,
              1.07362,
              1.18402,
              1.31732,
              1.47652,
              1.66822
            ],
            [
              0.70207,
              1.17697,
              1.26777,
              1.37957,
              1.51097,
              1.66747,
              1.86107
            ],
            [
              0.9479,
              1.4705,
              1.5623,
              1.6723,
              1.8035,
              1.9614,
              2.1529
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.03451,
              0.17378,
              0.20174,
              0.23509,
              0.27524,
              0.32335,
              0.38131
            ],
            [
              0.03451,
              0.17378,
              0.20166,
              0.23527,
              0.27528,
              0.32365,
              0.38136
            ],
            [
              0.03453,
              0.17385,
              0.2017,
              0.23509,
              0.27519,
              0.32346,
              0.38126
            ],
            [
              0.03453,
              0.17384,
              0.20166,
              0.23511,
              0.2752,
              0.32344,
              0.3813
            ],
            [
              0.03453,
              0.17379,
              0.20161,
              0.2351,
              0.27552,
              0.32348,
              0.38134
            ],
            [
              0.03562,
              0.1738,
              0.20156,
              0.23513,
              0.27549,
              0.32334,
              0.38135
            ],
            [
              0.04079,
              0.17377,
              0.20166,
              0.23511,
              0.27546,
              0.32345,
              0.38134
            ],
            [
              0.05072,
              0.17389,
              0.20165,
              0.23527,
              0.27512,
              0.32344,
              0.38155
            ],
            [
              0.06419,
              0.17956,
              0.20495,
              0.23664,
              0.27561,
              0.32359,
              0.38132
            ],
            [
              0.08289,
              0.19715,
              0.22018,
              0.24835,
              0.28449,
              0.32828,
              0.38338
            ],
            [
              0.10905,
              0.23615,
              0.25561,
              0.28004,
              0.31136,
              0.35122,
              0.40022
            ],
            [
              0.1447,
              0.2956,
              0.3173,
              0.3419,
              0.3698,
              0.4034,
              0.4464
            ],
            [
              0.1943,
              0.3752,
              0.4002,
              0.429,
              0.4613,
              0.4979,
              0.5393
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.14198,
              0.72144,
              0.83709,
              0.97357,
              1.13919,
              1.33831,
              1.57779
            ],
            [
              0.14209,
              0.71956,
              0.83486,
              0.97321,
              1.14033,
              1.3383,
              1.57747
            ],
            [
              0.14172,
              0.71951,
              0.83477,
              0.97537,
              1.13914,
              1.33826,
              1.57774
            ],
            [
              0.14119,
              0.72137,
              0.83478,
              0.9761,
              1.13917,
              1.33825,
              1.5774
            ],
            [
              0.14091,
              0.72134,
              0.8371,
              0.97393,
              1.13909,
              1.33882,
              1.57733
            ],
            [
              0.14028,
              0.7196,
              0.83514,
              0.97421,
              1.13916,
              1.3382,
              1.57736
            ],
            [
              0.13972,
              0.71969,
              0.83704,
              0.97522,
              1.13918,
              1.33915,
              1.5793
            ],
            [
              0.13859,
              0.71952,
              0.83691,
              0.97417,
              1.13907,
              1.33826,
              1.57732
            ],
            [
              0.13655,
              0.72108,
              0.83637,
              0.97506,
              1.13908,
              1.33876,
              1.57903
            ],
            [
              0.1429,
              0.72083,
              0.83473,
              0.97303,
              1.1406,
              1.3387,
              1.5776
            ],
            [
              0.16357,
              0.7207,
              0.8364,
              0.9731,
              1.142,
              1.3394,
              1.5775
            ],
            [
              0.2066,
              0.719,
              0.8357,
              0.9749,
              1.1417,
              1.3397,
              1.5776
            ],
            [
              0.2642,
              0.7314,
              0.8386,
              0.9746,
              1.1399,
              1.341,
              1.5773
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.04679,
              0.15482,
              0.17649,
              0.20224,
              0.23294,
              0.27037,
              0.31463
            ],
            [
              0.04983,
              0.15812,
              0.17963,
              0.20555,
              0.23664,
              0.2734,
              0.31828
            ],
            [
              0.05348,
              0.16218,
              0.18376,
              0.20949,
              0.24058,
              0.27791,
              0.32232
            ],
            [
              0.05903,
              0.16822,
              0.18973,
              0.21568,
              0.24663,
              0.28402,
              0.32849
            ],
            [
              0.06751,
              0.17732,
              0.19891,
              0.22494,
              0.25563,
              0.29297,
              0.33779
            ],
            [
              0.08049,
              0.19096,
              0.21258,
              0.23825,
              0.26923,
              0.30663,
              0.35146
            ],
            [
              0.09949,
              0.21111,
              0.23268,
              0.25869,
              0.2899,
              0.32711,
              0.37142
            ],
            [
              0.1237,
              0.24152,
              0.26318,
              0.28929,
              0.32009,
              0.35746,
              0.40234
            ],
            [
              0.15447,
              0.2872,
              0.3089,
              0.33486,
              0.36574,
              0.40343,
              0.44774
            ],
            [
              0.19368,
              0.35566,
              0.37786,
              0.40369,
              0.43464,
              0.4716,
              0.5168
            ],
            [
              0.24377,
              0.44762,
              0.47482,
              0.50512,
              0.53852,
              0.57602,
              0.62062
            ],
            [
              0.30707,
              0.56517,
              0.59907,
              0.63657,
              0.67837,
              0.72437,
              0.77457
            ],
            [
              0.3868,
              0.716,
              0.7584,
              0.8054,
              0.8575,
              0.915,
              0.9772
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.15806,
              0.49332,
              0.55978,
              0.6395,
              0.73511,
              0.84978,
              0.98742
            ],
            [
              0.16086,
              0.49701,
              0.56351,
              0.64323,
              0.73891,
              0.85363,
              0.99134
            ],
            [
              0.16445,
              0.50141,
              0.56797,
              0.64772,
              0.74351,
              0.85835,
              0.99602
            ],
            [
              0.17014,
              0.5083,
              0.57476,
              0.65475,
              0.75047,
              0.86531,
              1.00308
            ],
            [
              0.17966,
              0.5186,
              0.58531,
              0.66527,
              0.76113,
              0.87602,
              1.01381
            ],
            [
              0.19509,
              0.53464,
              0.60145,
              0.68143,
              0.77755,
              0.89254,
              1.03052
            ],
            [
              0.21921,
              0.55903,
              0.62601,
              0.7062,
              0.80223,
              0.91723,
              1.05573
            ],
            [
              0.25732,
              0.5963,
              0.663,
              0.74325,
              0.84046,
              0.95576,
              1.09386
            ],
            [
              0.31614,
              0.65368,
              0.72011,
              0.80165,
              0.89785,
              1.01325,
              1.15145
            ],
            [
              0.40536,
              0.74129,
              0.80879,
              0.88879,
              0.98499,
              1.10039,
              1.23869
            ],
            [
              0.53962,
              0.87422,
              0.94102,
              1.02122,
              1.11682,
              1.23002,
              1.37032
            ],
            [
              0.72637,
              1.07437,
              1.14167,
              1.22157,
              1.31677,
              1.42977,
              1.56967
            ],
            [
              0.984,
              1.3777,
              1.4442,
              1.5234,
              1.6176,
              1.7338,
              1.871
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.04367,
              0.18429,
              0.21205,
              0.24549,
              0.28543,
              0.33356,
              0.39123
            ],
            [
              0.04371,
              0.18427,
              0.21202,
              0.2455,
              0.28555,
              0.33339,
              0.39132
            ],
            [
              0.0437,
              0.18425,
              0.21202,
              0.24545,
              0.28555,
              0.33355,
              0.39118
            ],
            [
              0.04372,
              0.1842,
              0.21198,
              0.24547,
              0.28545,
              0.33356,
              0.39134
            ],
            [
              0.0437,
              0.18429,
              0.21202,
              0.24548,
              0.28537,
              0.33356,
              0.39118
            ],
            [
              0.04489,
              0.1843,
              0.21205,
              0.24526,
              0.28543,
              0.33349,
              0.39117
            ],
            [
              0.05018,
              0.18418,
              0.21198,
              0.24536,
              0.28546,
              0.33344,
              0.39136
            ],
            [
              0.06199,
              0.18441,
              0.21198,
              0.24539,
              0.28537,
              0.33351,
              0.39131
            ],
            [
              0.07841,
              0.19003,
              0.21548,
              0.24708,
              0.28585,
              0.33352,
              0.39132
            ],
            [
              0.10129,
              0.20839,
              0.23088,
              0.25935,
              0.29484,
              0.33884,
              0.39335
            ],
            [
              0.13252,
              0.2475,
              0.26672,
              0.29118,
              0.32209,
              0.36133,
              0.41084
            ],
            [
              0.1755,
              0.3088,
              0.3298,
              0.3538,
              0.3811,
              0.4143,
              0.4574
            ],
            [
              0.2348,
              0.3914,
              0.416,
              0.4436,
              0.4748,
              0.5101,
              0.5511
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.12315,
              0.54708,
              0.63168,
              0.73341,
              0.85537,
              1.00167,
              1.1773
            ],
            [
              0.12314,
              0.5474,
              0.63205,
              0.73362,
              0.85534,
              1.00157,
              1.17712
            ],
            [
              0.12324,
              0.54711,
              0.63159,
              0.73308,
              0.85527,
              1.00176,
              1.17737
            ],
            [
              0.12308,
              0.5473,
              0.632,
              0.73301,
              0.85514,
              1.00121,
              1.17664
            ],
            [
              0.12312,
              0.54716,
              0.6317,
              0.73312,
              0.85512,
              1.00116,
              1.17657
            ],
            [
              0.12309,
              0.54714,
              0.63165,
              0.73317,
              0.85502,
              1.00128,
              1.17708
            ],
            [
              0.123,
              0.54713,
              0.63145,
              0.73355,
              0.85508,
              1.00109,
              1.17645
            ],
            [
              0.12271,
              0.54732,
              0.63153,
              0.73317,
              0.85514,
              1.00149,
              1.17744
            ],
            [
              0.12213,
              0.54736,
              0.6317,
              0.73345,
              0.85519,
              1.00153,
              1.17721
            ],
            [
              0.1263,
              0.54721,
              0.63172,
              0.73331,
              0.85486,
              1.00132,
              1.1773
            ],
            [
              0.1447,
              0.5472,
              0.632,
              0.7336,
              0.855,
              1.0016,
              1.1773
            ],
            [
              0.184,
              0.5484,
              0.6316,
              0.7334,
              0.8556,
              1.0015,
              1.176
            ],
            [
              0.2377,
              0.5717,
              0.6474,
              0.7413,
              0.8574,
              1.0016,
              1.1773
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.04688,
              0.15486,
              0.17626,
              0.2021,
              0.23301,
              0.26998,
              0.31487
            ],
            [
              0.04994,
              0.1582,
              0.17969,
              0.20545,
              0.23653,
              0.27352,
              0.31828
            ],
            [
              0.05362,
              0.16224,
              0.18381,
              0.20983,
              0.24052,
              0.27785,
              0.32244
            ],
            [
              0.05922,
              0.16834,
              0.18993,
              0.21594,
              0.24663,
              0.28402,
              0.32867
            ],
            [
              0.06778,
              0.17749,
              0.19901,
              0.22506,
              0.25618,
              0.29301,
              0.33759
            ],
            [
              0.08083,
              0.19114,
              0.2127,
              0.23856,
              0.26994,
              0.30675,
              0.35159
            ],
            [
              0.0999,
              0.21158,
              0.23321,
              0.25923,
              0.29038,
              0.32726,
              0.37213
            ],
            [
              0.12427,
              0.24216,
              0.26385,
              0.28989,
              0.32075,
              0.35819,
              0.40301
            ],
            [
              0.15527,
              0.28809,
              0.3097,
              0.33572,
              0.36672,
              0.40422,
              0.44852
            ],
            [
              0.19462,
              0.35676,
              0.37874,
              0.40474,
              0.43574,
              0.47283,
              0.51703
            ],
            [
              0.24467,
              0.44852,
              0.47562,
              0.50592,
              0.53932,
              0.57652,
              0.62172
            ],
            [
              0.30787,
              0.56587,
              0.59987,
              0.63787,
              0.67937,
              0.72527,
              0.77567
            ],
            [
              0.3875,
              0.7168,
              0.76,
              0.8068,
              0.8588,
              0.9159,
              0.9785
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.21013,
              0.67775,
              0.77057,
              0.88177,
              1.01527,
              1.17527,
              1.36747
            ],
            [
              0.21231,
              0.6812,
              0.77402,
              0.8853,
              1.01884,
              1.17894,
              1.37114
            ],
            [
              0.215,
              0.68511,
              0.77801,
              0.88937,
              1.02292,
              1.18332,
              1.37552
            ],
            [
              0.21957,
              0.69137,
              0.78412,
              0.89577,
              1.02948,
              1.18968,
              1.38188
            ],
            [
              0.22764,
              0.7006,
              0.79379,
              0.90535,
              1.03911,
              1.19941,
              1.39191
            ],
            [
              0.24138,
              0.71533,
              0.8086,
              0.92046,
              1.05442,
              1.21492,
              1.40722
            ],
            [
              0.26354,
              0.73807,
              0.83158,
              0.94353,
              1.07763,
              1.23873,
              1.43143
            ],
            [
              0.29957,
              0.77331,
              0.86686,
              0.97896,
              1.11376,
              1.27476,
              1.46786
            ],
            [
              0.35581,
              0.82805,
              0.92225,
              1.03435,
              1.16865,
              1.32975,
              1.52315
            ],
            [
              0.44249,
              0.91199,
              1.00539,
              1.11809,
              1.25259,
              1.41359,
              1.60669
            ],
            [
              0.57392,
              1.03932,
              1.13262,
              1.24412,
              1.37922,
              1.54112,
              1.73432
            ],
            [
              0.76697,
              1.23407,
              1.32667,
              1.43957,
              1.57257,
              1.73407,
              1.92727
            ],
            [
              1.0314,
              1.5288,
              1.6215,
              1.7322,
              1.8638,
              2.0261,
              2.2191
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.0436,
              0.18418,
              0.21191,
              0.24539,
              0.28549,
              0.33342,
              0.39116
            ],
            [
              0.04362,
              0.18416,
              0.21196,
              0.24539,
              0.28539,
              0.33341,
              0.39119
            ],
            [
              0.04363,
              0.18423,
              0.21197,
              0.24531,
              0.28535,
              0.33355,
              0.39129
            ],
            [
              0.04365,
              0.18423,
              0.21198,
              0.24546,
              0.28537,
              0.33351,
              0.39128
            ],
            [
              0.04366,
              0.18417,
              0.21195,
              0.24542,
              0.28544,
              0.33341,
              0.39121
            ],
            [
              0.04478,
              0.1842,
              0.21193,
              0.24534,
              0.28552,
              0.33338,
              0.39136
            ],
            [
              0.04992,
              0.18428,
              0.212,
              0.24533,
              0.28553,
              0.33336,
              0.39141
            ],
            [
              0.06159,
              0.18434,
              0.212,
              0.2454,
              0.28547,
              0.33358,
              0.39147
            ],
            [
              0.07777,
              0.18973,
              0.21532,
              0.24695,
              0.28584,
              0.33353,
              0.39117
            ],
            [
              0.10047,
              0.20772,
              0.23047,
              0.25884,
              0.29436,
              0.33855,
              0.3934
            ],
            [
              0.13164,
              0.24673,
              0.26608,
              0.29037,
              0.32158,
              0.36122,
              0.41035
            ],
            [
              0.1747,
              0.3082,
              0.3291,
              0.3528,
              0.3802,
              0.4136,
              0.4567
            ],
            [
              0.234,
              0.3906,
              0.4146,
              0.4424,
              0.4736,
              0.5093,
              0.5499
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.17211,
              0.75794,
              0.87518,
              1.01514,
              1.18353,
              1.38562,
              1.62756
            ],
            [
              0.17182,
              0.75793,
              0.87481,
              1.01493,
              1.18344,
              1.38503,
              1.62805
            ],
            [
              0.17182,
              0.75804,
              0.87476,
              1.01508,
              1.18361,
              1.38556,
              1.628
            ],
            [
              0.17171,
              0.75803,
              0.87481,
              1.01505,
              1.18306,
              1.385,
              1.62783
            ],
            [
              0.17157,
              0.75791,
              0.87482,
              1.01526,
              1.18348,
              1.38562,
              1.62777
            ],
            [
              0.17152,
              0.75813,
              0.87478,
              1.01498,
              1.18335,
              1.38511,
              1.62804
            ],
            [
              0.17123,
              0.7581,
              0.87479,
              1.01516,
              1.18355,
              1.38491,
              1.62699
            ],
            [
              0.17061,
              0.75788,
              0.87477,
              1.01492,
              1.18323,
              1.38508,
              1.628
            ],
            [
              0.16944,
              0.75818,
              0.87482,
              1.01529,
              1.18354,
              1.38555,
              1.62681
            ],
            [
              0.16856,
              0.75817,
              0.87502,
              1.01528,
              1.183,
              1.3854,
              1.627
            ],
            [
              0.1797,
              0.7581,
              0.8749,
              1.0152,
              1.1829,
              1.3855,
              1.6271
            ],
            [
              0.2127,
              0.7574,
              0.8751,
              1.0151,
              1.1836,
              1.3856,
              1.6271
            ],
            [
              0.2696,
              0.7639,
              0.8757,
              1.014,
              1.1832,
              1.3855,
              1.628
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.04687,
              0.15487,
              0.17626,
              0.20202,
              0.23309,
              0.27,
              0.31493
            ],
            [
              0.04993,
              0.15821,
              0.17969,
              0.20545,
              0.23658,
              0.27351,
              0.3181
            ],
            [
              0.05361,
              0.16223,
              0.18382,
              0.20994,
              0.24051,
              0.27761,
              0.32254
            ],
            [
              0.05921,
              0.16837,
              0.18993,
              0.21596,
              0.24665,
              0.28425,
              0.32876
            ],
            [
              0.06776,
              0.17775,
              0.19901,
              0.22494,
              0.25616,
              0.29296,
              0.33777
            ],
            [
              0.08079,
              0.19112,
              0.21268,
              0.23853,
              0.26957,
              0.30672,
              0.35146
            ],
            [
              0.09984,
              0.21171,
              0.23315,
              0.25919,
              0.29036,
              0.32721,
              0.37204
            ],
            [
              0.12418,
              0.24209,
              0.26378,
              0.28984,
              0.32067,
              0.35813,
              0.40296
            ],
            [
              0.15515,
              0.28796,
              0.3096,
              0.33564,
              0.36665,
              0.40416,
              0.4485
            ],
            [
              0.1945,
              0.35656,
              0.37863,
              0.40459,
              0.43559,
              0.47267,
              0.51726
            ],
            [
              0.24442,
              0.44832,
              0.47552,
              0.50572,
              0.53912,
              0.57632,
              0.62162
            ],
            [
              0.30767,
              0.56557,
              0.59957,
              0.63757,
              0.67927,
              0.72507,
              0.77547
            ],
            [
              0.3874,
              0.7164,
              0.7599,
              0.8066,
              0.8586,
              0.9157,
              0.9781
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.23681,
              0.68455,
              0.77294,
              0.87878,
              1.00577,
              1.15797,
              1.34057
            ],
            [
              0.23938,
              0.68803,
              0.77642,
              0.88233,
              1.00934,
              1.16164,
              1.34424
            ],
            [
              0.24261,
              0.69215,
              0.78061,
              0.88649,
              1.01362,
              1.16602,
              1.34872
            ],
            [
              0.24798,
              0.69829,
              0.78687,
              0.89301,
              1.02008,
              1.17248,
              1.35518
            ],
            [
              0.2564,
              0.70798,
              0.79667,
              0.90279,
              1.03001,
              1.18241,
              1.36531
            ],
            [
              0.27052,
              0.72302,
              0.81191,
              0.91818,
              1.04552,
              1.19812,
              1.38112
            ],
            [
              0.29335,
              0.74624,
              0.83517,
              0.94163,
              1.06943,
              1.22223,
              1.40533
            ],
            [
              0.32923,
              0.78171,
              0.87086,
              0.97746,
              1.10576,
              1.25866,
              1.44226
            ],
            [
              0.38543,
              0.83735,
              0.92655,
              1.03335,
              1.16115,
              1.31415,
              1.49795
            ],
            [
              0.47222,
              0.92129,
              1.01019,
              1.11789,
              1.24559,
              1.39859,
              1.58219
            ],
            [
              0.60312,
              1.04942,
              1.13822,
              1.24592,
              1.37232,
              1.52682,
              1.71042
            ],
            [
              0.80097,
              1.24487,
              1.33487,
              1.44067,
              1.56667,
              1.72097,
              1.90457
            ],
            [
              1.077,
              1.5414,
              1.6295,
              1.7343,
              1.859,
              2.0145,
              2.1979
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.04417,
              0.1914,
              0.21986,
              0.25372,
              0.2942,
              0.34252,
              0.4003
            ],
            [
              0.04417,
              0.19142,
              0.21985,
              0.25375,
              0.2942,
              0.34247,
              0.40044
            ],
            [
              0.0442,
              0.19139,
              0.21989,
              0.25381,
              0.29419,
              0.34245,
              0.40049
            ],
            [
              0.0442,
              0.19143,
              0.21991,
              0.25381,
              0.29417,
              0.34253,
              0.4004
            ],
            [
              0.0442,
              0.19146,
              0.21988,
              0.25382,
              0.29427,
              0.34249,
              0.4004
            ],
            [
              0.04533,
              0.19141,
              0.21988,
              0.25373,
              0.29419,
              0.34248,
              0.40052
            ],
            [
              0.05052,
              0.19146,
              0.21993,
              0.25381,
              0.29427,
              0.34243,
              0.40038
            ],
            [
              0.06267,
              0.19155,
              0.21992,
              0.25381,
              0.29418,
              0.34251,
              0.40047
            ],
            [
              0.08001,
              0.19704,
              0.22322,
              0.25533,
              0.29456,
              0.34253,
              0.4005
            ],
            [
              0.1054,
              0.21498,
              0.23839,
              0.26727,
              0.30323,
              0.34757,
              0.40244
            ],
            [
              0.14265,
              0.25425,
              0.27412,
              0.29907,
              0.33049,
              0.37019,
              0.41951
            ],
            [
              0.1935,
              0.3179,
              0.3386,
              0.362,
              0.3891,
              0.4228,
              0.4658
            ],
            [
              0.2612,
              0.4033,
              0.4263,
              0.4536,
              0.4842,
              0.5193,
              0.5595
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.1847,
              0.74366,
              0.85423,
              0.98852,
              1.14769,
              1.33989,
              1.57047
            ],
            [
              0.18485,
              0.74355,
              0.85452,
              0.98773,
              1.14767,
              1.33971,
              1.57022
            ],
            [
              0.18471,
              0.7436,
              0.85451,
              0.98784,
              1.14778,
              1.3399,
              1.57037
            ],
            [
              0.18465,
              0.74303,
              0.8539,
              0.98768,
              1.14799,
              1.33994,
              1.571
            ],
            [
              0.18469,
              0.74276,
              0.85454,
              0.98764,
              1.14767,
              1.34015,
              1.57046
            ],
            [
              0.1847,
              0.74352,
              0.85441,
              0.98776,
              1.14804,
              1.33987,
              1.57099
            ],
            [
              0.18431,
              0.74342,
              0.85443,
              0.9878,
              1.14771,
              1.34068,
              1.57042
            ],
            [
              0.18423,
              0.7428,
              0.85487,
              0.98811,
              1.14771,
              1.34,
              1.57089
            ],
            [
              0.18359,
              0.7436,
              0.8544,
              0.98784,
              1.14786,
              1.34058,
              1.57049
            ],
            [
              0.18188,
              0.74365,
              0.85416,
              0.98765,
              1.1479,
              1.3402,
              1.5705
            ],
            [
              0.1874,
              0.7434,
              0.8545,
              0.9879,
              1.148,
              1.3399,
              1.5709
            ],
            [
              0.2133,
              0.743,
              0.855,
              0.9884,
              1.1479,
              1.3403,
              1.5705
            ],
            [
              0.2676,
              0.7471,
              0.8551,
              0.9869,
              1.1478,
              1.3397,
              1.5705
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.05488,
              0.16306,
              0.18457,
              0.21044,
              0.24135,
              0.27839,
              0.32315
            ],
            [
              0.05836,
              0.16692,
              0.18833,
              0.2141,
              0.24514,
              0.28229,
              0.32667
            ],
            [
              0.06229,
              0.17125,
              0.19276,
              0.21842,
              0.24939,
              0.28671,
              0.33135
            ],
            [
              0.06796,
              0.17738,
              0.199,
              0.22475,
              0.25578,
              0.29301,
              0.33748
            ],
            [
              0.07627,
              0.18631,
              0.20793,
              0.2338,
              0.26483,
              0.30199,
              0.34668
            ],
            [
              0.08867,
              0.19948,
              0.22102,
              0.24684,
              0.27793,
              0.31528,
              0.35992
            ],
            [
              0.10709,
              0.21888,
              0.24053,
              0.26636,
              0.29755,
              0.33475,
              0.37927
            ],
            [
              0.13184,
              0.24778,
              0.26954,
              0.29555,
              0.32676,
              0.36386,
              0.4088
            ],
            [
              0.16549,
              0.29102,
              0.31289,
              0.33906,
              0.3704,
              0.40756,
              0.45262
            ],
            [
              0.2105,
              0.35525,
              0.37777,
              0.404,
              0.43537,
              0.47307,
              0.51808
            ],
            [
              0.26968,
              0.44387,
              0.46952,
              0.49872,
              0.53222,
              0.57062,
              0.61572
            ],
            [
              0.34727,
              0.56407,
              0.59427,
              0.62807,
              0.66627,
              0.70987,
              0.75937
            ],
            [
              0.448,
              0.725,
              0.7619,
              0.8028,
              0.8483,
              0.8991,
              0.9563
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.13102,
              0.40272,
              0.45672,
              0.52147,
              0.59918,
              0.69228,
              0.80414
            ],
            [
              0.13383,
              0.40615,
              0.46016,
              0.52493,
              0.60265,
              0.69587,
              0.80784
            ],
            [
              0.13753,
              0.41056,
              0.46461,
              0.52943,
              0.60722,
              0.70046,
              0.8124
            ],
            [
              0.14372,
              0.41742,
              0.47154,
              0.53636,
              0.61416,
              0.70742,
              0.81949
            ],
            [
              0.15361,
              0.42806,
              0.48219,
              0.54712,
              0.62496,
              0.71836,
              0.83034
            ],
            [
              0.16945,
              0.44441,
              0.49863,
              0.56359,
              0.6415,
              0.73499,
              0.84699
            ],
            [
              0.19449,
              0.4695,
              0.52375,
              0.58874,
              0.66672,
              0.76025,
              0.87232
            ],
            [
              0.23274,
              0.50701,
              0.56128,
              0.62641,
              0.70447,
              0.79788,
              0.91026
            ],
            [
              0.29116,
              0.56439,
              0.61881,
              0.68376,
              0.76165,
              0.85515,
              0.96715
            ],
            [
              0.37982,
              0.65269,
              0.70699,
              0.77149,
              0.84859,
              0.94319,
              1.05419
            ],
            [
              0.50732,
              0.78482,
              0.83902,
              0.90322,
              0.98172,
              1.07532,
              1.18672
            ],
            [
              0.68157,
              0.98417,
              1.03787,
              1.10317,
              1.18057,
              1.27367,
              1.38457
            ],
            [
              0.9216,
              1.2839,
              1.3381,
              1.4023,
              1.48,
              1.5721,
              1.6851
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.03461,
              0.17377,
              0.20171,
              0.23512,
              0.2753,
              0.32352,
              0.38126
            ],
            [
              0.03461,
              0.1738,
              0.20171,
              0.23506,
              0.27527,
              0.32346,
              0.38126
            ],
            [
              0.03461,
              0.17396,
              0.20168,
              0.23513,
              0.27525,
              0.32345,
              0.38124
            ],
            [
              0.03461,
              0.17383,
              0.20166,
              0.23509,
              0.27526,
              0.32339,
              0.38152
            ],
            [
              0.03458,
              0.17383,
              0.20187,
              0.23511,
              0.27523,
              0.32346,
              0.38126
            ],
            [
              0.0348,
              0.17396,
              0.20159,
              0.23508,
              0.27533,
              0.32342,
              0.38128
            ],
            [
              0.0375,
              0.17407,
              0.20168,
              0.23509,
              0.2753,
              0.32346,
              0.38135
            ],
            [
              0.0435,
              0.17383,
              0.20153,
              0.23511,
              0.27534,
              0.32348,
              0.38131
            ],
            [
              0.0523,
              0.17734,
              0.20373,
              0.23616,
              0.27554,
              0.32346,
              0.3816
            ],
            [
              0.0657,
              0.18763,
              0.21274,
              0.24351,
              0.28089,
              0.32683,
              0.383
            ],
            [
              0.0852,
              0.21249,
              0.23482,
              0.26241,
              0.29729,
              0.3405,
              0.39334
            ],
            [
              0.1126,
              0.2516,
              0.2747,
              0.3025,
              0.335,
              0.3736,
              0.4218
            ],
            [
              0.151,
              0.3094,
              0.3339,
              0.3625,
              0.3963,
              0.436,
              0.4827
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.0995,
              0.44633,
              0.51561,
              0.59879,
              0.69856,
              0.81807,
              0.96154
            ],
            [
              0.09955,
              0.44641,
              0.51563,
              0.59844,
              0.69815,
              0.81779,
              0.9617
            ],
            [
              0.0997,
              0.44614,
              0.51556,
              0.59863,
              0.69817,
              0.81785,
              0.96187
            ],
            [
              0.09943,
              0.44631,
              0.51561,
              0.59856,
              0.69861,
              0.81785,
              0.96129
            ],
            [
              0.0995,
              0.44627,
              0.51564,
              0.59871,
              0.69799,
              0.81784,
              0.96165
            ],
            [
              0.09943,
              0.44636,
              0.51551,
              0.59872,
              0.69802,
              0.81818,
              0.96178
            ],
            [
              0.09932,
              0.44636,
              0.51563,
              0.59856,
              0.69806,
              0.8177,
              0.96183
            ],
            [
              0.09932,
              0.44619,
              0.51537,
              0.59869,
              0.69827,
              0.81761,
              0.96152
            ],
            [
              0.0994,
              0.44626,
              0.51569,
              0.59882,
              0.698,
              0.81815,
              0.96154
            ],
            [
              0.10881,
              0.44646,
              0.51534,
              0.59836,
              0.69834,
              0.81822,
              0.96159
            ],
            [
              0.13384,
              0.4461,
              0.5153,
              0.5983,
              0.6983,
              0.8176,
              0.9612
            ],
            [
              0.1723,
              0.4546,
              0.519,
              0.5996,
              0.698,
              0.8182,
              0.9612
            ],
            [
              0.2243,
              0.4931,
              0.55,
              0.622,
              0.7117,
              0.8235,
              0.9626
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.05491,
              0.16316,
              0.18465,
              0.21029,
              0.24139,
              0.27852,
              0.323
            ],
            [
              0.05837,
              0.16691,
              0.1885,
              0.21424,
              0.24503,
              0.28232,
              0.32691
            ],
            [
              0.06234,
              0.17122,
              0.19288,
              0.21867,
              0.24946,
              0.28681,
              0.33138
            ],
            [
              0.06809,
              0.17755,
              0.19903,
              0.22492,
              0.25589,
              0.29291,
              0.33768
            ],
            [
              0.07641,
              0.18652,
              0.20808,
              0.23394,
              0.26498,
              0.30213,
              0.34661
            ],
            [
              0.08886,
              0.19968,
              0.22126,
              0.247,
              0.27822,
              0.31548,
              0.36012
            ],
            [
              0.10732,
              0.21915,
              0.24081,
              0.26656,
              0.29779,
              0.33503,
              0.37961
            ],
            [
              0.13212,
              0.24823,
              0.26989,
              0.2958,
              0.32709,
              0.36417,
              0.40915
            ],
            [
              0.16582,
              0.29141,
              0.31331,
              0.3394,
              0.37078,
              0.40794,
              0.45301
            ],
            [
              0.2108,
              0.35565,
              0.37817,
              0.40443,
              0.43592,
              0.47339,
              0.51853
            ],
            [
              0.26995,
              0.44433,
              0.46992,
              0.49922,
              0.53272,
              0.57112,
              0.61622
            ],
            [
              0.34747,
              0.56467,
              0.59457,
              0.62857,
              0.66687,
              0.71037,
              0.75997
            ],
            [
              0.4482,
              0.7252,
              0.7626,
              0.8034,
              0.8489,
              0.8997,
              0.9569
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.14914,
              0.46557,
              0.52852,
              0.60398,
              0.69456,
              0.80318,
              0.93354
            ],
            [
              0.15161,
              0.46891,
              0.53183,
              0.60727,
              0.69786,
              0.80649,
              0.93689
            ],
            [
              0.15498,
              0.47301,
              0.53602,
              0.61155,
              0.7022,
              0.81087,
              0.94131
            ],
            [
              0.16073,
              0.47962,
              0.54266,
              0.61821,
              0.70886,
              0.81764,
              0.94812
            ],
            [
              0.17007,
              0.48986,
              0.55299,
              0.62862,
              0.7194,
              0.82819,
              0.95871
            ],
            [
              0.1853,
              0.50575,
              0.56895,
              0.64469,
              0.7355,
              0.84435,
              0.97502
            ],
            [
              0.20963,
              0.53029,
              0.59353,
              0.66932,
              0.76024,
              0.86917,
              0.99983
            ],
            [
              0.24709,
              0.56705,
              0.63041,
              0.7063,
              0.79726,
              0.90626,
              1.03726
            ],
            [
              0.30456,
              0.62349,
              0.68682,
              0.76275,
              0.85375,
              0.96275,
              1.09335
            ],
            [
              0.39198,
              0.70999,
              0.77269,
              0.84849,
              0.93919,
              1.04759,
              1.17999
            ],
            [
              0.52112,
              0.84012,
              0.90332,
              0.97812,
              1.06972,
              1.17872,
              1.30872
            ],
            [
              0.69757,
              1.03667,
              1.09927,
              1.17467,
              1.26567,
              1.37417,
              1.50347
            ],
            [
              0.94,
              1.3322,
              1.3954,
              1.4702,
              1.5608,
              1.6683,
              1.7984
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.03459,
              0.17408,
              0.2017,
              0.23512,
              0.27531,
              0.3235,
              0.38136
            ],
            [
              0.03456,
              0.17383,
              0.20179,
              0.2353,
              0.27526,
              0.32349,
              0.38154
            ],
            [
              0.03458,
              0.17381,
              0.20172,
              0.23514,
              0.27531,
              0.32349,
              0.38134
            ],
            [
              0.0346,
              0.17412,
              0.20157,
              0.23514,
              0.27536,
              0.32352,
              0.38133
            ],
            [
              0.03458,
              0.17384,
              0.20165,
              0.23515,
              0.27525,
              0.3237,
              0.38121
            ],
            [
              0.03477,
              0.17392,
              0.20169,
              0.23513,
              0.27527,
              0.32341,
              0.38129
            ],
            [
              0.03744,
              0.17407,
              0.20172,
              0.23512,
              0.27528,
              0.32345,
              0.38126
            ],
            [
              0.04343,
              0.17409,
              0.20156,
              0.23512,
              0.27537,
              0.32348,
              0.38131
            ],
            [
              0.05213,
              0.17727,
              0.20359,
              0.23613,
              0.27554,
              0.32345,
              0.38195
            ],
            [
              0.06553,
              0.18749,
              0.21262,
              0.24344,
              0.2809,
              0.32676,
              0.38288
            ],
            [
              0.08499,
              0.21215,
              0.23471,
              0.26218,
              0.2972,
              0.34042,
              0.39302
            ],
            [
              0.1124,
              0.2513,
              0.2747,
              0.3021,
              0.3348,
              0.3734,
              0.4216
            ],
            [
              0.1507,
              0.3094,
              0.3336,
              0.3621,
              0.3958,
              0.4352,
              0.4824
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.11605,
              0.51783,
              0.59816,
              0.6943,
              0.81002,
              0.94868,
              1.11497
            ],
            [
              0.11596,
              0.51799,
              0.5983,
              0.69445,
              0.81005,
              0.94851,
              1.11481
            ],
            [
              0.11601,
              0.51804,
              0.5983,
              0.69409,
              0.81003,
              0.94814,
              1.11493
            ],
            [
              0.11593,
              0.51812,
              0.59826,
              0.6943,
              0.80981,
              0.94862,
              1.11505
            ],
            [
              0.11587,
              0.51811,
              0.59828,
              0.69436,
              0.80994,
              0.94844,
              1.11493
            ],
            [
              0.11566,
              0.51793,
              0.59829,
              0.69456,
              0.80974,
              0.94839,
              1.11457
            ],
            [
              0.11556,
              0.51809,
              0.5983,
              0.69415,
              0.80981,
              0.94874,
              1.11507
            ],
            [
              0.11522,
              0.51796,
              0.59816,
              0.69428,
              0.80983,
              0.94853,
              1.11491
            ],
            [
              0.11446,
              0.51816,
              0.59833,
              0.6946,
              0.80992,
              0.94872,
              1.11502
            ],
            [
              0.12123,
              0.51804,
              0.59802,
              0.69441,
              0.80982,
              0.94834,
              1.1149
            ],
            [
              0.14322,
              0.5177,
              0.5983,
              0.6945,
              0.8098,
              0.9484,
              1.1145
            ],
            [
              0.1828,
              0.5214,
              0.5987,
              0.6941,
              0.8098,
              0.9485,
              1.115
            ],
            [
              0.2359,
              0.552,
              0.6216,
              0.7084,
              0.816,
              0.9497,
              1.115
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.05491,
              0.16316,
              0.18466,
              0.21035,
              0.24138,
              0.27854,
              0.3229
            ],
            [
              0.05839,
              0.16692,
              0.18828,
              0.21423,
              0.24506,
              0.28231,
              0.32692
            ],
            [
              0.06233,
              0.17124,
              0.19289,
              0.21864,
              0.24963,
              0.2866,
              0.33142
            ],
            [
              0.06807,
              0.17755,
              0.19898,
              0.22487,
              0.25592,
              0.29307,
              0.33768
            ],
            [
              0.07639,
              0.18649,
              0.20807,
              0.23393,
              0.26497,
              0.30214,
              0.34666
            ],
            [
              0.08883,
              0.19965,
              0.22123,
              0.24697,
              0.27805,
              0.31546,
              0.36006
            ],
            [
              0.10728,
              0.21911,
              0.24076,
              0.26656,
              0.29775,
              0.335,
              0.37951
            ],
            [
              0.13207,
              0.24816,
              0.26984,
              0.29584,
              0.32699,
              0.36416,
              0.40908
            ],
            [
              0.16573,
              0.29134,
              0.31323,
              0.33938,
              0.37072,
              0.40788,
              0.45294
            ],
            [
              0.21074,
              0.35556,
              0.37808,
              0.40438,
              0.43584,
              0.47331,
              0.51844
            ],
            [
              0.26989,
              0.44423,
              0.46982,
              0.49912,
              0.53262,
              0.57102,
              0.61612
            ],
            [
              0.34737,
              0.56447,
              0.59457,
              0.62847,
              0.66677,
              0.71027,
              0.75977
            ],
            [
              0.4482,
              0.7255,
              0.7624,
              0.8032,
              0.8487,
              0.8995,
              0.9567
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.14545,
              0.45177,
              0.51267,
              0.58568,
              0.67332,
              0.7785,
              0.90467
            ],
            [
              0.14793,
              0.45508,
              0.51601,
              0.58898,
              0.67665,
              0.78185,
              0.90807
            ],
            [
              0.15141,
              0.45925,
              0.52023,
              0.5933,
              0.68101,
              0.78623,
              0.91251
            ],
            [
              0.15724,
              0.4659,
              0.5269,
              0.60006,
              0.6878,
              0.79304,
              0.91926
            ],
            [
              0.1667,
              0.47621,
              0.53732,
              0.61053,
              0.69836,
              0.80367,
              0.92994
            ],
            [
              0.18206,
              0.49222,
              0.55336,
              0.6267,
              0.71457,
              0.81996,
              0.94632
            ],
            [
              0.20655,
              0.51688,
              0.57811,
              0.65143,
              0.73939,
              0.84485,
              0.97123
            ],
            [
              0.24418,
              0.5538,
              0.61514,
              0.6886,
              0.77664,
              0.88206,
              1.00876
            ],
            [
              0.30184,
              0.61046,
              0.67174,
              0.74517,
              0.83325,
              0.93875,
              1.06505
            ],
            [
              0.3895,
              0.69739,
              0.75789,
              0.83119,
              0.91899,
              1.02399,
              1.15219
            ],
            [
              0.51832,
              0.82782,
              0.88902,
              0.96142,
              1.05012,
              1.15552,
              1.28142
            ],
            [
              0.69427,
              1.02507,
              1.08567,
              1.15857,
              1.24667,
              1.35167,
              1.47687
            ],
            [
              0.9362,
              1.3215,
              1.3827,
              1.4551,
              1.5427,
              1.6468,
              1.7725
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.0346,
              0.17409,
              0.20171,
              0.23507,
              0.2753,
              0.32367,
              0.38133
            ],
            [
              0.0346,
              0.17383,
              0.20169,
              0.23554,
              0.27523,
              0.3235,
              0.38171
            ],
            [
              0.03457,
              0.17382,
              0.20172,
              0.23503,
              0.27537,
              0.32351,
              0.38128
            ],
            [
              0.03461,
              0.17395,
              0.20164,
              0.23514,
              0.27554,
              0.32346,
              0.38131
            ],
            [
              0.03458,
              0.17384,
              0.20169,
              0.23524,
              0.27524,
              0.32345,
              0.38139
            ],
            [
              0.03478,
              0.17394,
              0.20169,
              0.23512,
              0.27531,
              0.3234,
              0.3817
            ],
            [
              0.03746,
              0.17406,
              0.2017,
              0.23512,
              0.27528,
              0.32351,
              0.38135
            ],
            [
              0.04338,
              0.17408,
              0.20156,
              0.23546,
              0.27527,
              0.32347,
              0.38131
            ],
            [
              0.05222,
              0.17729,
              0.20362,
              0.23613,
              0.27555,
              0.32345,
              0.38195
            ],
            [
              0.06556,
              0.18754,
              0.21266,
              0.24323,
              0.28092,
              0.32675,
              0.38288
            ],
            [
              0.08503,
              0.21218,
              0.23476,
              0.2622,
              0.29722,
              0.34044,
              0.39325
            ],
            [
              0.1124,
              0.2513,
              0.2747,
              0.3023,
              0.3348,
              0.3735,
              0.4215
            ],
            [
              0.1508,
              0.3091,
              0.3336,
              0.3622,
              0.3959,
              0.4353,
              0.4825
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.11222,
              0.50181,
              0.5795,
              0.67238,
              0.78436,
              0.91878,
              1.08014
            ],
            [
              0.11223,
              0.50151,
              0.57949,
              0.67258,
              0.78431,
              0.91891,
              1.08021
            ],
            [
              0.11212,
              0.5018,
              0.57951,
              0.67262,
              0.78432,
              0.91901,
              1.08022
            ],
            [
              0.11219,
              0.50177,
              0.5795,
              0.67266,
              0.78455,
              0.91846,
              1.07999
            ],
            [
              0.11214,
              0.50182,
              0.57905,
              0.67265,
              0.78474,
              0.91898,
              1.08016
            ],
            [
              0.11204,
              0.5018,
              0.57951,
              0.67239,
              0.78447,
              0.91909,
              1.08027
            ],
            [
              0.11188,
              0.5018,
              0.57954,
              0.67266,
              0.78426,
              0.91903,
              1.08019
            ],
            [
              0.11157,
              0.50184,
              0.57952,
              0.67269,
              0.78474,
              0.91874,
              1.08005
            ],
            [
              0.11094,
              0.50164,
              0.57957,
              0.6725,
              0.78434,
              0.91892,
              1.08013
            ],
            [
              0.11839,
              0.50156,
              0.57959,
              0.67262,
              0.78445,
              0.91911,
              1.0802
            ],
            [
              0.14087,
              0.5017,
              0.5793,
              0.6726,
              0.7845,
              0.9187,
              1.0799
            ],
            [
              0.1805,
              0.5061,
              0.5807,
              0.6719,
              0.7846,
              0.9186,
              1.0798
            ],
            [
              0.2334,
              0.5388,
              0.6053,
              0.6887,
              0.7925,
              0.921,
              1.0797
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.05499,
              0.16318,
              0.18459,
              0.2105,
              0.24133,
              0.27864,
              0.32306
            ],
            [
              0.05849,
              0.16687,
              0.1885,
              0.21412,
              0.24529,
              0.28218,
              0.32703
            ],
            [
              0.06246,
              0.1716,
              0.19306,
              0.21874,
              0.24973,
              0.28676,
              0.33153
            ],
            [
              0.06825,
              0.17778,
              0.19934,
              0.22504,
              0.25609,
              0.29322,
              0.33759
            ],
            [
              0.07667,
              0.18677,
              0.20831,
              0.23421,
              0.26523,
              0.30243,
              0.34706
            ],
            [
              0.08924,
              0.19999,
              0.22149,
              0.24752,
              0.2786,
              0.31568,
              0.36043
            ],
            [
              0.10778,
              0.21963,
              0.24127,
              0.26714,
              0.29834,
              0.33549,
              0.38009
            ],
            [
              0.13272,
              0.24881,
              0.27043,
              0.29651,
              0.32769,
              0.3648,
              0.40973
            ],
            [
              0.16652,
              0.29216,
              0.31406,
              0.34012,
              0.37151,
              0.40869,
              0.45376
            ],
            [
              0.21154,
              0.35653,
              0.37904,
              0.4053,
              0.43672,
              0.47427,
              0.51942
            ],
            [
              0.27078,
              0.44532,
              0.47102,
              0.50022,
              0.53372,
              0.57212,
              0.61732
            ],
            [
              0.34817,
              0.56567,
              0.59577,
              0.62967,
              0.66797,
              0.71147,
              0.76107
            ],
            [
              0.4488,
              0.7268,
              0.7636,
              0.8044,
              0.8501,
              0.9011,
              0.9583
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.19595,
              0.63387,
              0.72105,
              0.82554,
              0.95096,
              1.10137,
              1.28197
            ],
            [
              0.19765,
              0.63671,
              0.72388,
              0.82841,
              0.95386,
              1.10434,
              1.28494
            ],
            [
              0.20019,
              0.64044,
              0.72769,
              0.83227,
              0.95777,
              1.10832,
              1.28902
            ],
            [
              0.20494,
              0.64638,
              0.73369,
              0.83834,
              0.96388,
              1.11448,
              1.29518
            ],
            [
              0.21294,
              0.65575,
              0.74316,
              0.84792,
              0.97361,
              1.12421,
              1.30501
            ],
            [
              0.22671,
              0.67049,
              0.75804,
              0.86291,
              0.98872,
              1.13942,
              1.32032
            ],
            [
              0.24929,
              0.69368,
              0.7813,
              0.88632,
              1.01213,
              1.16303,
              1.34393
            ],
            [
              0.28479,
              0.72855,
              0.81637,
              0.92146,
              1.04746,
              1.19836,
              1.38056
            ],
            [
              0.34007,
              0.78275,
              0.87055,
              0.97575,
              1.10185,
              1.25285,
              1.43375
            ],
            [
              0.42482,
              0.86509,
              0.95359,
              1.05849,
              1.18429,
              1.33629,
              1.51749
            ],
            [
              0.55432,
              0.99052,
              1.07792,
              1.18292,
              1.30882,
              1.46092,
              1.64252
            ],
            [
              0.73647,
              1.18167,
              1.26857,
              1.37147,
              1.49957,
              1.64987,
              1.83137
            ],
            [
              0.9853,
              1.4682,
              1.5551,
              1.6599,
              1.7853,
              1.9343,
              2.1166
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.03454,
              0.17404,
              0.20156,
              0.23528,
              0.27523,
              0.32343,
              0.38127
            ],
            [
              0.03452,
              0.17378,
              0.20181,
              0.2351,
              0.27552,
              0.32348,
              0.38167
            ],
            [
              0.03453,
              0.1738,
              0.20171,
              0.23512,
              0.27521,
              0.32347,
              0.38134
            ],
            [
              0.03453,
              0.1738,
              0.20189,
              0.23505,
              0.27528,
              0.32342,
              0.38134
            ],
            [
              0.03454,
              0.17384,
              0.20168,
              0.23512,
              0.27552,
              0.32347,
              0.38145
            ],
            [
              0.0347,
              0.17382,
              0.20165,
              0.23514,
              0.27579,
              0.3234,
              0.38135
            ],
            [
              0.0373,
              0.17407,
              0.20167,
              0.23512,
              0.27553,
              0.32328,
              0.38135
            ],
            [
              0.04314,
              0.17388,
              0.20163,
              0.23545,
              0.27526,
              0.32347,
              0.38131
            ],
            [
              0.05178,
              0.17715,
              0.20362,
              0.23607,
              0.2755,
              0.32345,
              0.38194
            ],
            [
              0.06508,
              0.18723,
              0.21238,
              0.24304,
              0.28064,
              0.32668,
              0.3828
            ],
            [
              0.08446,
              0.21166,
              0.23415,
              0.26197,
              0.29667,
              0.34011,
              0.393
            ],
            [
              0.1118,
              0.2505,
              0.2737,
              0.3015,
              0.3339,
              0.3728,
              0.4211
            ],
            [
              0.1503,
              0.3081,
              0.3326,
              0.3615,
              0.3948,
              0.4345,
              0.4814
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.16104,
              0.713,
              0.8228,
              0.9544,
              1.11299,
              1.30268,
              1.53088
            ],
            [
              0.16105,
              0.71293,
              0.82233,
              0.9546,
              1.11286,
              1.30276,
              1.53087
            ],
            [
              0.16101,
              0.71268,
              0.82219,
              0.95432,
              1.1128,
              1.30267,
              1.53022
            ],
            [
              0.1608,
              0.71238,
              0.82236,
              0.95471,
              1.11294,
              1.30263,
              1.531
            ],
            [
              0.16061,
              0.71297,
              0.82283,
              0.95474,
              1.11261,
              1.30235,
              1.53103
            ],
            [
              0.16049,
              0.71256,
              0.82277,
              0.9544,
              1.11269,
              1.30273,
              1.53015
            ],
            [
              0.16007,
              0.71296,
              0.82293,
              0.95412,
              1.11296,
              1.30239,
              1.53081
            ],
            [
              0.15941,
              0.71292,
              0.82243,
              0.95448,
              1.11297,
              1.30259,
              1.53104
            ],
            [
              0.15789,
              0.71275,
              0.82292,
              0.95442,
              1.11299,
              1.30248,
              1.53092
            ],
            [
              0.15848,
              0.71283,
              0.82299,
              0.95474,
              1.1127,
              1.303,
              1.5307
            ],
            [
              0.1729,
              0.7126,
              0.8229,
              0.9547,
              1.113,
              1.3026,
              1.5304
            ],
            [
              0.2115,
              0.711,
              0.822,
              0.9546,
              1.1128,
              1.3026,
              1.5308
            ],
            [
              0.2664,
              0.7245,
              0.828,
              0.9552,
              1.1119,
              1.3026,
              1.531
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.05497,
              0.16309,
              0.18459,
              0.21033,
              0.24154,
              0.27872,
              0.32301
            ],
            [
              0.05847,
              0.16686,
              0.18835,
              0.21444,
              0.24507,
              0.28248,
              0.32708
            ],
            [
              0.06244,
              0.17141,
              0.19276,
              0.21885,
              0.24953,
              0.28694,
              0.33132
            ],
            [
              0.06813,
              0.17752,
              0.19903,
              0.22506,
              0.25611,
              0.29291,
              0.33768
            ],
            [
              0.07648,
              0.18663,
              0.20803,
              0.23387,
              0.26508,
              0.30234,
              0.34659
            ],
            [
              0.08895,
              0.19985,
              0.22121,
              0.24706,
              0.2781,
              0.31551,
              0.3602
            ],
            [
              0.10741,
              0.21927,
              0.24074,
              0.26663,
              0.29785,
              0.33492,
              0.37959
            ],
            [
              0.13222,
              0.24821,
              0.26983,
              0.29581,
              0.32704,
              0.36422,
              0.40917
            ],
            [
              0.1659,
              0.29149,
              0.31336,
              0.33944,
              0.37064,
              0.40798,
              0.45306
            ],
            [
              0.21093,
              0.35572,
              0.37823,
              0.40453,
              0.43594,
              0.47343,
              0.51838
            ],
            [
              0.27014,
              0.44441,
              0.47002,
              0.49932,
              0.53282,
              0.57122,
              0.61632
            ],
            [
              0.34777,
              0.56467,
              0.59467,
              0.62867,
              0.66697,
              0.71047,
              0.75997
            ],
            [
              0.4486,
              0.7257,
              0.7626,
              0.8035,
              0.8489,
              0.8998,
              0.9569
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.17809,
              0.48863,
              0.55022,
              0.624,
              0.71255,
              0.81874,
              0.94618
            ],
            [
              0.18095,
              0.49195,
              0.5535,
              0.62733,
              0.71589,
              0.82213,
              0.94957
            ],
            [
              0.18461,
              0.49616,
              0.5578,
              0.63167,
              0.72026,
              0.82652,
              0.95401
            ],
            [
              0.19062,
              0.50282,
              0.56451,
              0.63838,
              0.72703,
              0.83335,
              0.96084
            ],
            [
              0.20035,
              0.51318,
              0.57492,
              0.6489,
              0.73763,
              0.84396,
              0.97151
            ],
            [
              0.21573,
              0.52922,
              0.59103,
              0.66511,
              0.75386,
              0.86026,
              0.98782
            ],
            [
              0.23988,
              0.55391,
              0.61577,
              0.68987,
              0.77872,
              0.88516,
              1.01283
            ],
            [
              0.27715,
              0.59085,
              0.65285,
              0.72705,
              0.81589,
              0.92276,
              1.05036
            ],
            [
              0.33484,
              0.64749,
              0.70938,
              0.78365,
              0.87255,
              0.97895,
              1.10655
            ],
            [
              0.42187,
              0.73359,
              0.79549,
              0.86949,
              0.95809,
              1.06379,
              1.19369
            ],
            [
              0.55412,
              0.86462,
              0.92602,
              0.99912,
              1.08932,
              1.19552,
              1.32232
            ],
            [
              0.74057,
              1.06137,
              1.12197,
              1.19687,
              1.28567,
              1.39137,
              1.51737
            ],
            [
              0.9963,
              1.3582,
              1.419,
              1.493,
              1.5812,
              1.6857,
              1.8139
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.0437,
              0.18425,
              0.21198,
              0.24541,
              0.28552,
              0.33353,
              0.39126
            ],
            [
              0.04371,
              0.18424,
              0.21195,
              0.24548,
              0.28538,
              0.33354,
              0.39146
            ],
            [
              0.04372,
              0.18427,
              0.21197,
              0.2454,
              0.28537,
              0.33356,
              0.39129
            ],
            [
              0.04371,
              0.18421,
              0.21196,
              0.24543,
              0.2855,
              0.33337,
              0.39139
            ],
            [
              0.04371,
              0.1843,
              0.21196,
              0.24532,
              0.28546,
              0.33349,
              0.39112
            ],
            [
              0.04392,
              0.18432,
              0.21196,
              0.24542,
              0.28545,
              0.33344,
              0.3912
            ],
            [
              0.04664,
              0.18427,
              0.21196,
              0.24541,
              0.28544,
              0.33343,
              0.39114
            ],
            [
              0.05361,
              0.18419,
              0.21198,
              0.24542,
              0.28543,
              0.33344,
              0.39134
            ],
            [
              0.06407,
              0.18763,
              0.2141,
              0.24649,
              0.28563,
              0.33338,
              0.39137
            ],
            [
              0.07967,
              0.19821,
              0.22306,
              0.25354,
              0.2911,
              0.33682,
              0.39271
            ],
            [
              0.10233,
              0.22253,
              0.24492,
              0.27275,
              0.30757,
              0.35039,
              0.40342
            ],
            [
              0.1343,
              0.2631,
              0.2859,
              0.3127,
              0.3447,
              0.3834,
              0.4319
            ],
            [
              0.1793,
              0.3229,
              0.3465,
              0.3744,
              0.4073,
              0.4463,
              0.4923
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.13151,
              0.52535,
              0.6042,
              0.69833,
              0.81096,
              0.94669,
              1.10959
            ],
            [
              0.13151,
              0.52566,
              0.6041,
              0.69826,
              0.8112,
              0.94701,
              1.1096
            ],
            [
              0.13151,
              0.52598,
              0.60413,
              0.69825,
              0.81091,
              0.947,
              1.10962
            ],
            [
              0.13153,
              0.52527,
              0.60442,
              0.69834,
              0.81112,
              0.94697,
              1.10965
            ],
            [
              0.13153,
              0.52561,
              0.60424,
              0.69809,
              0.81138,
              0.94694,
              1.10924
            ],
            [
              0.13137,
              0.52596,
              0.60417,
              0.69844,
              0.81157,
              0.94684,
              1.10941
            ],
            [
              0.13136,
              0.5255,
              0.60423,
              0.69815,
              0.81133,
              0.94698,
              1.10963
            ],
            [
              0.13122,
              0.52581,
              0.60429,
              0.69828,
              0.81133,
              0.94655,
              1.10927
            ],
            [
              0.13079,
              0.52599,
              0.60454,
              0.69812,
              0.81101,
              0.94667,
              1.10966
            ],
            [
              0.13262,
              0.52593,
              0.60421,
              0.69821,
              0.8109,
              0.94647,
              1.1092
            ],
            [
              0.1483,
              0.5256,
              0.6038,
              0.6983,
              0.8112,
              0.9464,
              1.1092
            ],
            [
              0.1857,
              0.5274,
              0.6042,
              0.6983,
              0.8113,
              0.9465,
              1.109
            ],
            [
              0.2382,
              0.5539,
              0.6241,
              0.7099,
              0.8158,
              0.948,
              1.1095
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.05505,
              0.16313,
              0.1846,
              0.21058,
              0.24129,
              0.2787,
              0.32296
            ],
            [
              0.05858,
              0.16699,
              0.18868,
              0.21455,
              0.24548,
              0.28228,
              0.32679
            ],
            [
              0.06255,
              0.17143,
              0.19286,
              0.21863,
              0.24996,
              0.28705,
              0.3313
            ],
            [
              0.06834,
              0.17766,
              0.1992,
              0.22504,
              0.25622,
              0.29341,
              0.33764
            ],
            [
              0.07675,
              0.18672,
              0.20839,
              0.2343,
              0.26545,
              0.30256,
              0.34725
            ],
            [
              0.08931,
              0.19997,
              0.22159,
              0.24761,
              0.27883,
              0.31563,
              0.36051
            ],
            [
              0.10789,
              0.21975,
              0.24123,
              0.26716,
              0.29844,
              0.33577,
              0.38013
            ],
            [
              0.13284,
              0.24876,
              0.27046,
              0.29644,
              0.32788,
              0.36485,
              0.40973
            ],
            [
              0.16666,
              0.29227,
              0.31409,
              0.3402,
              0.37141,
              0.40877,
              0.45384
            ],
            [
              0.21171,
              0.35665,
              0.37914,
              0.4054,
              0.43685,
              0.47435,
              0.51932
            ],
            [
              0.271,
              0.44542,
              0.47112,
              0.50032,
              0.53392,
              0.57222,
              0.61742
            ],
            [
              0.34847,
              0.56587,
              0.59587,
              0.62977,
              0.66807,
              0.71167,
              0.76117
            ],
            [
              0.4492,
              0.727,
              0.7638,
              0.8046,
              0.8503,
              0.9012,
              0.9584
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.24068,
              0.67862,
              0.76554,
              0.86972,
              0.99477,
              1.14467,
              1.32467
            ],
            [
              0.24278,
              0.68146,
              0.7684,
              0.87263,
              0.99774,
              1.14774,
              1.32774
            ],
            [
              0.24577,
              0.68527,
              0.77226,
              0.87652,
              1.00162,
              1.15172,
              1.33172
            ],
            [
              0.25085,
              0.69122,
              0.77829,
              0.88262,
              1.00778,
              1.15787,
              1.33798
            ],
            [
              0.25928,
              0.70073,
              0.78787,
              0.89228,
              1.01761,
              1.16771,
              1.34771
            ],
            [
              0.27313,
              0.71557,
              0.80282,
              0.90735,
              1.03272,
              1.18302,
              1.36312
            ],
            [
              0.2956,
              0.73887,
              0.8262,
              0.93083,
              1.05623,
              1.20653,
              1.38683
            ],
            [
              0.33078,
              0.77391,
              0.86136,
              0.96616,
              1.09166,
              1.24256,
              1.42346
            ],
            [
              0.3857,
              0.82815,
              0.91565,
              1.02045,
              1.14605,
              1.29645,
              1.47675
            ],
            [
              0.46982,
              0.91129,
              0.99859,
              1.10319,
              1.22829,
              1.38009,
              1.56069
            ],
            [
              0.59742,
              1.03582,
              1.12302,
              1.22782,
              1.35312,
              1.50462,
              1.68582
            ],
            [
              0.78927,
              1.22687,
              1.31317,
              1.41647,
              1.54397,
              1.69337,
              1.87487
            ],
            [
              1.053,
              1.5124,
              1.6006,
              1.705,
              1.8294,
              1.9774,
              2.1603
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.04364,
              0.18419,
              0.21195,
              0.24543,
              0.28535,
              0.3335,
              0.3912
            ],
            [
              0.04365,
              0.18412,
              0.21202,
              0.24545,
              0.28542,
              0.33345,
              0.39118
            ],
            [
              0.04366,
              0.18424,
              0.21194,
              0.24538,
              0.28555,
              0.33348,
              0.39121
            ],
            [
              0.04367,
              0.18412,
              0.21197,
              0.24526,
              0.28546,
              0.33359,
              0.39117
            ],
            [
              0.04366,
              0.18415,
              0.21199,
              0.24537,
              0.28549,
              0.33357,
              0.39142
            ],
            [
              0.04386,
              0.18423,
              0.21201,
              0.24543,
              0.28548,
              0.33337,
              0.3913
            ],
            [
              0.04651,
              0.18427,
              0.21199,
              0.24546,
              0.28556,
              0.33354,
              0.39141
            ],
            [
              0.05335,
              0.18427,
              0.21198,
              0.24541,
              0.2855,
              0.33339,
              0.39136
            ],
            [
              0.06366,
              0.18741,
              0.21398,
              0.24633,
              0.28559,
              0.33341,
              0.39134
            ],
            [
              0.07917,
              0.19791,
              0.22276,
              0.25341,
              0.29089,
              0.33678,
              0.3927
            ],
            [
              0.10171,
              0.22196,
              0.24446,
              0.27237,
              0.30716,
              0.3501,
              0.40319
            ],
            [
              0.1337,
              0.2624,
              0.2851,
              0.3121,
              0.3441,
              0.3828,
              0.4313
            ],
            [
              0.1787,
              0.3217,
              0.3456,
              0.3736,
              0.4063,
              0.4452,
              0.4913
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.18663,
              0.73743,
              0.84645,
              0.97879,
              1.13663,
              1.32577,
              1.55217
            ],
            [
              0.18644,
              0.73728,
              0.84646,
              0.97906,
              1.13728,
              1.3252,
              1.55252
            ],
            [
              0.18658,
              0.73736,
              0.84649,
              0.97894,
              1.13683,
              1.32553,
              1.55216
            ],
            [
              0.18637,
              0.73772,
              0.84739,
              0.97867,
              1.13637,
              1.32548,
              1.55266
            ],
            [
              0.1864,
              0.73729,
              0.84647,
              0.97887,
              1.13684,
              1.32549,
              1.55248
            ],
            [
              0.18627,
              0.73756,
              0.84771,
              0.97848,
              1.13662,
              1.32576,
              1.55259
            ],
            [
              0.18625,
              0.73728,
              0.84795,
              0.97946,
              1.13705,
              1.32542,
              1.5525
            ],
            [
              0.18582,
              0.73738,
              0.84682,
              0.97897,
              1.13619,
              1.32553,
              1.55269
            ],
            [
              0.18507,
              0.73733,
              0.84691,
              0.97892,
              1.13671,
              1.32526,
              1.55214
            ],
            [
              0.18276,
              0.73738,
              0.84654,
              0.97911,
              1.1369,
              1.3258,
              1.5523
            ],
            [
              0.19,
              0.7372,
              0.8465,
              0.9792,
              1.1368,
              1.3259,
              1.5524
            ],
            [
              0.2186,
              0.7366,
              0.8471,
              0.979,
              1.1366,
              1.3254,
              1.5527
            ],
            [
              0.274,
              0.7445,
              0.8494,
              0.9774,
              1.1358,
              1.3253,
              1.5529
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.05504,
              0.16338,
              0.1846,
              0.21064,
              0.24133,
              0.27875,
              0.32297
            ],
            [
              0.05857,
              0.16699,
              0.18846,
              0.21428,
              0.24543,
              0.28227,
              0.3268
            ],
            [
              0.06253,
              0.17136,
              0.19288,
              0.21864,
              0.24993,
              0.28702,
              0.33157
            ],
            [
              0.06831,
              0.17766,
              0.19955,
              0.22503,
              0.25594,
              0.29348,
              0.33769
            ],
            [
              0.07672,
              0.1867,
              0.20836,
              0.23424,
              0.26512,
              0.30251,
              0.34732
            ],
            [
              0.08927,
              0.19994,
              0.22158,
              0.24763,
              0.2788,
              0.31563,
              0.36041
            ],
            [
              0.10783,
              0.21973,
              0.24116,
              0.2671,
              0.29834,
              0.33538,
              0.38002
            ],
            [
              0.13276,
              0.24869,
              0.27039,
              0.29638,
              0.3278,
              0.3648,
              0.40964
            ],
            [
              0.16654,
              0.29214,
              0.31398,
              0.34009,
              0.37132,
              0.40871,
              0.45381
            ],
            [
              0.21159,
              0.35652,
              0.37902,
              0.40528,
              0.43682,
              0.47423,
              0.51921
            ],
            [
              0.27088,
              0.44532,
              0.47092,
              0.50022,
              0.53372,
              0.57212,
              0.61722
            ],
            [
              0.34837,
              0.56567,
              0.59567,
              0.62957,
              0.66797,
              0.71147,
              0.76107
            ],
            [
              0.4491,
              0.7268,
              0.7635,
              0.8045,
              0.8501,
              0.901,
              0.9582
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.26327,
              0.68139,
              0.76398,
              0.86291,
              0.9816,
              1.12387,
              1.29447
            ],
            [
              0.26563,
              0.68427,
              0.7669,
              0.86589,
              0.98464,
              1.12694,
              1.29754
            ],
            [
              0.26893,
              0.68817,
              0.77087,
              0.86989,
              0.98862,
              1.13092,
              1.30162
            ],
            [
              0.27436,
              0.6943,
              0.77704,
              0.87609,
              0.99487,
              1.13718,
              1.30798
            ],
            [
              0.28326,
              0.70399,
              0.7868,
              0.88595,
              1.00481,
              1.14721,
              1.31791
            ],
            [
              0.29766,
              0.71913,
              0.80198,
              0.90124,
              1.02022,
              1.16272,
              1.33352
            ],
            [
              0.32043,
              0.74272,
              0.82568,
              0.92493,
              1.04403,
              1.18653,
              1.35743
            ],
            [
              0.35589,
              0.7782,
              0.86126,
              0.96066,
              1.07976,
              1.22276,
              1.39446
            ],
            [
              0.41092,
              0.83295,
              0.91605,
              1.01545,
              1.13465,
              1.27725,
              1.44805
            ],
            [
              0.49559,
              0.91649,
              0.99939,
              1.09859,
              1.21719,
              1.36139,
              1.53269
            ],
            [
              0.62342,
              1.04162,
              1.12462,
              1.22402,
              1.34442,
              1.48652,
              1.65872
            ],
            [
              0.81767,
              1.23327,
              1.31567,
              1.41617,
              1.53477,
              1.67627,
              1.84887
            ],
            [
              1.0904,
              1.5223,
              1.6051,
              1.7039,
              1.8216,
              1.9645,
              2.1359
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.0442,
              0.19147,
              0.21988,
              0.25379,
              0.29417,
              0.34252,
              0.40033
            ],
            [
              0.0442,
              0.19143,
              0.21986,
              0.25379,
              0.29425,
              0.34248,
              0.40029
            ],
            [
              0.04422,
              0.19138,
              0.21988,
              0.25373,
              0.29425,
              0.34256,
              0.40049
            ],
            [
              0.04423,
              0.19139,
              0.21997,
              0.25375,
              0.29415,
              0.34257,
              0.4003
            ],
            [
              0.04423,
              0.19141,
              0.21994,
              0.25383,
              0.29422,
              0.34256,
              0.40043
            ],
            [
              0.04439,
              0.1914,
              0.21992,
              0.25384,
              0.2943,
              0.34246,
              0.40038
            ],
            [
              0.04706,
              0.19147,
              0.21989,
              0.25382,
              0.29426,
              0.34246,
              0.40033
            ],
            [
              0.05419,
              0.19143,
              0.21988,
              0.25375,
              0.29424,
              0.3425,
              0.40031
            ],
            [
              0.06533,
              0.19468,
              0.22192,
              0.25477,
              0.29438,
              0.34253,
              0.40045
            ],
            [
              0.08231,
              0.20512,
              0.23069,
              0.26184,
              0.29967,
              0.34572,
              0.40193
            ],
            [
              0.10784,
              0.22942,
              0.25237,
              0.28078,
              0.31597,
              0.35919,
              0.41227
            ],
            [
              0.1456,
              0.2713,
              0.2942,
              0.3212,
              0.3529,
              0.3918,
              0.4406
            ],
            [
              0.1975,
              0.3327,
              0.3563,
              0.384,
              0.4164,
              0.455,
              0.5009
            ]
          ]
        },
        "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.00849,
            0.01019,
            0.01223,
            0.01468,
            0.01762,
            0.02115
          ],
          "values": [
            [
              0.19606,
              0.72052,
              0.82428,
              0.94951,
              1.09931,
              1.27883,
              1.49441
            ],
            [
              0.19624,
              0.72061,
              0.82441,
              0.9496,
              1.09913,
              1.27924,
              1.4944
            ],
            [
              0.19607,
              0.72033,
              0.8242,
              0.95024,
              1.09961,
              1.27869,
              1.49406
            ],
            [
              0.196,
              0.7205,
              0.82414,
              0.94985,
              1.09971,
              1.27856,
              1.49403
            ],
            [
              0.19594,
              0.72046,
              0.82411,
              0.94865,
              1.09944,
              1.27863,
              1.49408
            ],
            [
              0.19599,
              0.72043,
              0.82515,
              0.94867,
              1.09975,
              1.27874,
              1.49402
            ],
            [
              0.19612,
              0.72021,
              0.82428,
              0.94973,
              1.09938,
              1.2792,
              1.49446
            ],
            [
              0.19572,
              0.72041,
              0.82426,
              0.94857,
              1.09818,
              1.27896,
              1.49446
            ],
            [
              0.1956,
              0.72028,
              0.82422,
              0.94868,
              1.09949,
              1.27885,
              1.49418
            ],
            [
              0.19421,
              0.72008,
              0.82387,
              0.94862,
              1.0996,
              1.2789,
              1.4947
            ],
            [
              0.197,
              0.7205,
              0.8239,
              0.9486,
              1.0984,
              1.2788,
              1.4947
            ],
            [
              0.22,
              0.7194,
              0.8242,
              0.9491,
              1.0994,
              1.2791,
              1.4942
            ],
            [
              0.2733,
              0.7263,
              0.8261,
              0.948,
              1.0986,
              1.2783,
              1.4939
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}