{
  "area": 35.1648,
  "cell_footprint": "sky130_fd_sc_ms__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.01207,
    "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.03086,
          0.0309,
          0.03109,
          0.03115,
          0.031,
          0.03103,
          0.03098,
          0.031,
          0.03096,
          0.0336,
          0.03368,
          0.03658,
          0.03736
        ]
      },
      "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.01731,
          0.01777,
          0.01786,
          0.01796,
          0.01835,
          0.01854,
          0.01864,
          0.01867,
          0.01853,
          0.01976,
          0.01921,
          0.01982,
          0.01836
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.01152,
    "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.03107,
          0.03122,
          0.03113,
          0.03138,
          0.031,
          0.03098,
          0.03094,
          0.03093,
          0.03089,
          0.03351,
          0.03359,
          0.03647,
          0.03725
        ]
      },
      "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.01905,
          0.01792,
          0.01888,
          0.01852,
          0.01876,
          0.01912,
          0.01909,
          0.01914,
          0.01899,
          0.02026,
          0.01962,
          0.02004,
          0.01861
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.01147,
    "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.03238,
          0.03134,
          0.03099,
          0.03103,
          0.03097,
          0.03095,
          0.03096,
          0.03095,
          0.03088,
          0.03352,
          0.03358,
          0.03649,
          0.03797
        ]
      },
      "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.01769,
          0.01768,
          0.0185,
          0.01902,
          0.01908,
          0.01933,
          0.01937,
          0.01936,
          0.01922,
          0.02046,
          0.01981,
          0.02019,
          0.01877
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.01227,
    "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.01939,
          0.0196,
          0.01931,
          0.01971,
          0.01986,
          0.02013,
          0.02019,
          0.02021,
          0.02017,
          0.02158,
          0.02119,
          0.02223,
          0.02201
        ]
      },
      "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.03123,
          0.03075,
          0.03097,
          0.03038,
          0.0305,
          0.03056,
          0.03056,
          0.03051,
          0.03046,
          0.03295,
          0.03295,
          0.03577,
          0.03689
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.01228,
    "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.01715,
          0.01651,
          0.01705,
          0.01693,
          0.0173,
          0.01757,
          0.01759,
          0.01759,
          0.01742,
          0.01853,
          0.0179,
          0.01831,
          0.01761
        ]
      },
      "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.03169,
          0.03176,
          0.0313,
          0.03121,
          0.03111,
          0.03121,
          0.03117,
          0.03117,
          0.03119,
          0.03385,
          0.03407,
          0.03735,
          0.03883
        ]
      }
    },
    "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.02701,
              0.02094,
              0.01493,
              0.00293,
              -0.02124,
              -0.06962,
              -0.16636
            ],
            [
              0.02718,
              0.02118,
              0.01516,
              0.00307,
              -0.02109,
              -0.06945,
              -0.16621
            ],
            [
              0.02735,
              0.02131,
              0.01529,
              0.00321,
              -0.02094,
              -0.06931,
              -0.16607
            ],
            [
              0.02773,
              0.02168,
              0.01565,
              0.00354,
              -0.02063,
              -0.06903,
              -0.16578
            ],
            [
              0.02812,
              0.02201,
              0.01595,
              0.00387,
              -0.02034,
              -0.06874,
              -0.16551
            ],
            [
              0.02859,
              0.02247,
              0.01637,
              0.00422,
              -0.02002,
              -0.06846,
              -0.16526
            ],
            [
              0.02911,
              0.02295,
              0.01685,
              0.00465,
              -0.01966,
              -0.06814,
              -0.16498
            ],
            [
              0.02969,
              0.02349,
              0.01734,
              0.0051,
              -0.01926,
              -0.06782,
              -0.16471
            ],
            [
              0.03014,
              0.02393,
              0.01777,
              0.00552,
              -0.0189,
              -0.06753,
              -0.16449
            ],
            [
              0.03037,
              0.02423,
              0.0181,
              0.00585,
              -0.01857,
              -0.06724,
              -0.16425
            ],
            [
              0.03009,
              0.02404,
              0.01798,
              0.00582,
              -0.01853,
              -0.06715,
              -0.16416
            ],
            [
              0.02902,
              0.02311,
              0.01712,
              0.00515,
              -0.01899,
              -0.06741,
              -0.16427
            ],
            [
              0.02658,
              0.02084,
              0.01506,
              0.00334,
              -0.02047,
              -0.06845,
              -0.16494
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.1007,
              0.10708,
              0.11331,
              0.1254,
              0.1494,
              0.19725,
              0.29295
            ],
            [
              0.10048,
              0.10693,
              0.11317,
              0.1254,
              0.14935,
              0.19717,
              0.29287
            ],
            [
              0.10021,
              0.10676,
              0.11306,
              0.12529,
              0.14935,
              0.19725,
              0.29297
            ],
            [
              0.09986,
              0.10642,
              0.11279,
              0.1251,
              0.14927,
              0.19732,
              0.29304
            ],
            [
              0.09951,
              0.10604,
              0.11242,
              0.12485,
              0.14912,
              0.19708,
              0.29301
            ],
            [
              0.0991,
              0.1056,
              0.11196,
              0.12443,
              0.14894,
              0.197,
              0.29286
            ],
            [
              0.09868,
              0.10518,
              0.11151,
              0.12401,
              0.14848,
              0.19673,
              0.29291
            ],
            [
              0.09833,
              0.10471,
              0.11099,
              0.1235,
              0.14807,
              0.19642,
              0.29289
            ],
            [
              0.098,
              0.10433,
              0.1106,
              0.12297,
              0.14743,
              0.19601,
              0.29224
            ],
            [
              0.09788,
              0.10411,
              0.11025,
              0.1226,
              0.14701,
              0.19541,
              0.29207
            ],
            [
              0.09798,
              0.10409,
              0.11013,
              0.12235,
              0.14664,
              0.19493,
              0.29148
            ],
            [
              0.09827,
              0.1044,
              0.11044,
              0.12244,
              0.14639,
              0.19466,
              0.29103
            ],
            [
              0.09927,
              0.1052,
              0.1112,
              0.1232,
              0.14705,
              0.19462,
              0.29071
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.02715,
              0.02112,
              0.0151,
              0.00305,
              -0.0211,
              -0.06947,
              -0.16625
            ],
            [
              0.02749,
              0.02146,
              0.01545,
              0.00339,
              -0.02075,
              -0.06912,
              -0.1659
            ],
            [
              0.02765,
              0.02162,
              0.0156,
              0.00354,
              -0.0206,
              -0.06895,
              -0.16574
            ],
            [
              0.02791,
              0.02191,
              0.01588,
              0.00374,
              -0.02039,
              -0.06873,
              -0.16549
            ],
            [
              0.02822,
              0.02218,
              0.01614,
              0.00406,
              -0.02012,
              -0.06845,
              -0.16521
            ],
            [
              0.02861,
              0.02252,
              0.01649,
              0.00436,
              -0.01981,
              -0.0682,
              -0.16497
            ],
            [
              0.02906,
              0.02295,
              0.01687,
              0.00473,
              -0.01951,
              -0.06794,
              -0.16475
            ],
            [
              0.02957,
              0.02342,
              0.01731,
              0.00513,
              -0.01918,
              -0.06767,
              -0.16451
            ],
            [
              0.03009,
              0.02391,
              0.01778,
              0.00554,
              -0.01883,
              -0.06738,
              -0.16429
            ],
            [
              0.03052,
              0.02436,
              0.01823,
              0.00597,
              -0.01845,
              -0.06707,
              -0.16404
            ],
            [
              0.03064,
              0.02452,
              0.01841,
              0.00619,
              -0.01821,
              -0.06687,
              -0.16388
            ],
            [
              0.03024,
              0.02419,
              0.01815,
              0.00602,
              -0.01826,
              -0.06683,
              -0.16382
            ],
            [
              0.02878,
              0.02287,
              0.01694,
              0.00499,
              -0.01906,
              -0.06737,
              -0.16416
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.11275,
              0.11881,
              0.12477,
              0.13675,
              0.16068,
              0.20843,
              0.30403
            ],
            [
              0.11248,
              0.11858,
              0.12461,
              0.13658,
              0.16051,
              0.20825,
              0.30396
            ],
            [
              0.11234,
              0.11845,
              0.1245,
              0.13656,
              0.16055,
              0.20824,
              0.30395
            ],
            [
              0.11208,
              0.11827,
              0.1243,
              0.13639,
              0.16045,
              0.20808,
              0.30391
            ],
            [
              0.1117,
              0.11785,
              0.12402,
              0.13614,
              0.16024,
              0.208,
              0.30381
            ],
            [
              0.11133,
              0.11758,
              0.1237,
              0.13589,
              0.15996,
              0.20781,
              0.30369
            ],
            [
              0.1109,
              0.11718,
              0.12335,
              0.13556,
              0.1598,
              0.20798,
              0.30353
            ],
            [
              0.11056,
              0.11676,
              0.12293,
              0.13514,
              0.15944,
              0.20764,
              0.30355
            ],
            [
              0.1103,
              0.11646,
              0.12258,
              0.13477,
              0.159,
              0.20727,
              0.30327
            ],
            [
              0.11009,
              0.11622,
              0.12234,
              0.13452,
              0.15877,
              0.20691,
              0.30284
            ],
            [
              0.11011,
              0.11616,
              0.12222,
              0.1343,
              0.15851,
              0.20667,
              0.30277
            ],
            [
              0.11039,
              0.11645,
              0.12245,
              0.13439,
              0.15833,
              0.20648,
              0.30244
            ],
            [
              0.11113,
              0.11716,
              0.12316,
              0.13512,
              0.15895,
              0.20645,
              0.30233
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.02774,
              0.02171,
              0.01569,
              0.00364,
              -0.02051,
              -0.06886,
              -0.16564
            ],
            [
              0.02788,
              0.02186,
              0.01584,
              0.00378,
              -0.02036,
              -0.06871,
              -0.16548
            ],
            [
              0.02818,
              0.02215,
              0.01613,
              0.00407,
              -0.02007,
              -0.06842,
              -0.16517
            ],
            [
              0.02844,
              0.02239,
              0.01636,
              0.00431,
              -0.01984,
              -0.06819,
              -0.16494
            ],
            [
              0.02875,
              0.02266,
              0.01665,
              0.00458,
              -0.01961,
              -0.06798,
              -0.16472
            ],
            [
              0.02911,
              0.02304,
              0.01697,
              0.00486,
              -0.01932,
              -0.0677,
              -0.16447
            ],
            [
              0.02954,
              0.02342,
              0.01735,
              0.0052,
              -0.01904,
              -0.06747,
              -0.16426
            ],
            [
              0.03003,
              0.02387,
              0.01776,
              0.00559,
              -0.01871,
              -0.0672,
              -0.16403
            ],
            [
              0.03051,
              0.02436,
              0.01823,
              0.00599,
              -0.01837,
              -0.06692,
              -0.16382
            ],
            [
              0.03094,
              0.02479,
              0.01866,
              0.00643,
              -0.01798,
              -0.06661,
              -0.16358
            ],
            [
              0.03109,
              0.02496,
              0.01884,
              0.00664,
              -0.01775,
              -0.0664,
              -0.16342
            ],
            [
              0.03071,
              0.02466,
              0.01861,
              0.00647,
              -0.01782,
              -0.06639,
              -0.16338
            ],
            [
              0.02931,
              0.02336,
              0.0174,
              0.00543,
              -0.01866,
              -0.06699,
              -0.16377
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.12282,
              0.12883,
              0.13481,
              0.14675,
              0.17069,
              0.21836,
              0.31386
            ],
            [
              0.12275,
              0.12874,
              0.13476,
              0.14671,
              0.17065,
              0.2184,
              0.31401
            ],
            [
              0.12259,
              0.12862,
              0.13459,
              0.14661,
              0.17055,
              0.21816,
              0.31372
            ],
            [
              0.12235,
              0.12836,
              0.1344,
              0.14639,
              0.17038,
              0.21805,
              0.31353
            ],
            [
              0.12215,
              0.1282,
              0.13426,
              0.14624,
              0.1703,
              0.21781,
              0.31329
            ],
            [
              0.12201,
              0.12807,
              0.1341,
              0.14616,
              0.17014,
              0.218,
              0.3135
            ],
            [
              0.12178,
              0.12786,
              0.1339,
              0.14596,
              0.16999,
              0.21782,
              0.31321
            ],
            [
              0.12154,
              0.12764,
              0.13372,
              0.14578,
              0.16977,
              0.21766,
              0.31341
            ],
            [
              0.1214,
              0.12746,
              0.13354,
              0.1456,
              0.16966,
              0.21754,
              0.31302
            ],
            [
              0.12128,
              0.12739,
              0.13348,
              0.14551,
              0.16952,
              0.21762,
              0.31315
            ],
            [
              0.12133,
              0.12732,
              0.13332,
              0.14538,
              0.16943,
              0.21735,
              0.31302
            ],
            [
              0.12173,
              0.12774,
              0.13371,
              0.14559,
              0.16947,
              0.21745,
              0.31309
            ],
            [
              0.12258,
              0.12861,
              0.13458,
              0.14646,
              0.17023,
              0.21763,
              0.31315
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.01098,
              0.00447,
              -0.00163,
              -0.01388,
              -0.0384,
              -0.08687,
              -0.18368
            ],
            [
              0.01135,
              0.00481,
              -0.00161,
              -0.01382,
              -0.03826,
              -0.08686,
              -0.18364
            ],
            [
              0.01171,
              0.00508,
              -0.0013,
              -0.01378,
              -0.03823,
              -0.08687,
              -0.18367
            ],
            [
              0.01212,
              0.00542,
              -0.00101,
              -0.01358,
              -0.03813,
              -0.08683,
              -0.18375
            ],
            [
              0.01256,
              0.00581,
              -0.00068,
              -0.0133,
              -0.03798,
              -0.08676,
              -0.18372
            ],
            [
              0.01302,
              0.0063,
              -0.00022,
              -0.01295,
              -0.03776,
              -0.08661,
              -0.18368
            ],
            [
              0.01346,
              0.00678,
              0.00026,
              -0.0125,
              -0.03742,
              -0.08641,
              -0.18357
            ],
            [
              0.01375,
              0.00719,
              0.00072,
              -0.01202,
              -0.03703,
              -0.08614,
              -0.18341
            ],
            [
              0.01379,
              0.00738,
              0.00103,
              -0.01161,
              -0.0366,
              -0.08583,
              -0.18322
            ],
            [
              0.01337,
              0.00719,
              0.00098,
              -0.01146,
              -0.03631,
              -0.08556,
              -0.18301
            ],
            [
              0.01227,
              0.00635,
              0.00034,
              -0.01181,
              -0.03635,
              -0.08544,
              -0.18287
            ],
            [
              0.01014,
              0.00452,
              -0.00125,
              -0.01306,
              -0.03708,
              -0.08571,
              -0.18298
            ],
            [
              0.00647,
              0.00118,
              -0.00434,
              -0.0157,
              -0.03911,
              -0.08697,
              -0.18371
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04838,
              0.05476,
              0.06122,
              0.07339,
              0.09743,
              0.1454,
              0.24105
            ],
            [
              0.04799,
              0.05465,
              0.06094,
              0.07326,
              0.09744,
              0.14547,
              0.24119
            ],
            [
              0.04756,
              0.05418,
              0.06068,
              0.07299,
              0.09724,
              0.1454,
              0.24113
            ],
            [
              0.04717,
              0.05383,
              0.06027,
              0.07276,
              0.0971,
              0.14531,
              0.24109
            ],
            [
              0.04674,
              0.05338,
              0.05981,
              0.07234,
              0.09684,
              0.14515,
              0.24096
            ],
            [
              0.04641,
              0.05293,
              0.05934,
              0.07188,
              0.09646,
              0.14479,
              0.24088
            ],
            [
              0.04615,
              0.05254,
              0.05892,
              0.07142,
              0.09603,
              0.1446,
              0.24068
            ],
            [
              0.04611,
              0.05236,
              0.05861,
              0.07102,
              0.09556,
              0.14409,
              0.24027
            ],
            [
              0.04642,
              0.05248,
              0.05858,
              0.07083,
              0.09517,
              0.14371,
              0.23981
            ],
            [
              0.0472,
              0.05309,
              0.05901,
              0.07094,
              0.09507,
              0.14341,
              0.23947
            ],
            [
              0.04851,
              0.0543,
              0.06008,
              0.07175,
              0.09545,
              0.14332,
              0.23926
            ],
            [
              0.0506,
              0.05624,
              0.06199,
              0.07352,
              0.09669,
              0.14396,
              0.23946
            ],
            [
              0.05418,
              0.05956,
              0.06512,
              0.07647,
              0.0994,
              0.14582,
              0.24033
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.01093,
              0.00467,
              -0.00147,
              -0.01366,
              -0.03796,
              -0.08644,
              -0.18326
            ],
            [
              0.01105,
              0.00468,
              -0.00152,
              -0.01377,
              -0.03811,
              -0.08662,
              -0.18345
            ],
            [
              0.01151,
              0.00496,
              -0.00128,
              -0.01361,
              -0.03801,
              -0.08656,
              -0.18341
            ],
            [
              0.01189,
              0.0053,
              -0.00107,
              -0.01354,
              -0.03802,
              -0.08662,
              -0.18353
            ],
            [
              0.01242,
              0.0057,
              -0.00076,
              -0.01328,
              -0.0379,
              -0.0866,
              -0.18354
            ],
            [
              0.013,
              0.00622,
              -0.0003,
              -0.01296,
              -0.03769,
              -0.08647,
              -0.1835
            ],
            [
              0.01353,
              0.00681,
              0.00026,
              -0.0125,
              -0.03737,
              -0.08628,
              -0.18341
            ],
            [
              0.01398,
              0.00734,
              0.00083,
              -0.01195,
              -0.03694,
              -0.08601,
              -0.18324
            ],
            [
              0.01425,
              0.00774,
              0.00131,
              -0.01143,
              -0.03645,
              -0.08566,
              -0.18303
            ],
            [
              0.01419,
              0.00784,
              0.00151,
              -0.01106,
              -0.03602,
              -0.08528,
              -0.18278
            ],
            [
              0.01356,
              0.0074,
              0.00123,
              -0.01112,
              -0.03583,
              -0.08502,
              -0.18256
            ],
            [
              0.012,
              0.00611,
              0.00015,
              -0.01192,
              -0.03627,
              -0.08512,
              -0.18254
            ],
            [
              0.00886,
              0.00328,
              -0.00242,
              -0.01406,
              -0.03783,
              -0.08608,
              -0.18305
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.06101,
              0.06705,
              0.07316,
              0.08522,
              0.10915,
              0.15712,
              0.25257
            ],
            [
              0.06069,
              0.06684,
              0.07286,
              0.08509,
              0.10911,
              0.15695,
              0.2524
            ],
            [
              0.06039,
              0.06655,
              0.07268,
              0.08483,
              0.10884,
              0.1567,
              0.25218
            ],
            [
              0.06006,
              0.0663,
              0.07241,
              0.08468,
              0.10877,
              0.15661,
              0.25219
            ],
            [
              0.05971,
              0.06595,
              0.07216,
              0.08434,
              0.10853,
              0.15651,
              0.25213
            ],
            [
              0.05937,
              0.06563,
              0.07178,
              0.08404,
              0.10838,
              0.15627,
              0.25197
            ],
            [
              0.05912,
              0.06535,
              0.07152,
              0.08376,
              0.10801,
              0.15606,
              0.25201
            ],
            [
              0.05906,
              0.06524,
              0.0713,
              0.08346,
              0.10772,
              0.15581,
              0.25174
            ],
            [
              0.05927,
              0.06527,
              0.07132,
              0.08339,
              0.10753,
              0.15567,
              0.25146
            ],
            [
              0.06004,
              0.0659,
              0.07177,
              0.08374,
              0.10765,
              0.15564,
              0.25133
            ],
            [
              0.06137,
              0.06717,
              0.07295,
              0.08464,
              0.10827,
              0.15593,
              0.25146
            ],
            [
              0.0637,
              0.06944,
              0.07516,
              0.08666,
              0.10984,
              0.15702,
              0.25183
            ],
            [
              0.06753,
              0.07311,
              0.0787,
              0.09004,
              0.11286,
              0.15907,
              0.25341
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.09607,
    "power_down_function": "(!VPWR + VGND)",
    "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.10817,
              0.12553,
              0.14221,
              0.17446,
              0.23668,
              0.35764,
              0.59515
            ],
            [
              0.11021,
              0.12758,
              0.14428,
              0.17653,
              0.23878,
              0.35971,
              0.59719
            ],
            [
              0.1127,
              0.13009,
              0.14681,
              0.17908,
              0.24135,
              0.36233,
              0.59974
            ],
            [
              0.1166,
              0.13403,
              0.1508,
              0.18313,
              0.24541,
              0.36641,
              0.60394
            ],
            [
              0.12265,
              0.14014,
              0.15693,
              0.18931,
              0.2517,
              0.37275,
              0.61041
            ],
            [
              0.13198,
              0.14952,
              0.16639,
              0.19884,
              0.26134,
              0.38249,
              0.62029
            ],
            [
              0.14631,
              0.164,
              0.18091,
              0.21348,
              0.27608,
              0.39738,
              0.63523
            ],
            [
              0.16875,
              0.18616,
              0.20314,
              0.23581,
              0.29857,
              0.41999,
              0.65799
            ],
            [
              0.20155,
              0.22048,
              0.23783,
              0.26995,
              0.33269,
              0.45416,
              0.69223
            ],
            [
              0.24058,
              0.26295,
              0.28334,
              0.3203,
              0.38471,
              0.50609,
              0.74409
            ],
            [
              0.28575,
              0.3125,
              0.33693,
              0.38105,
              0.45732,
              0.58462,
              0.82252
            ],
            [
              0.33687,
              0.36887,
              0.39817,
              0.45137,
              0.54307,
              0.69457,
              0.94097
            ],
            [
              0.3937,
              0.4321,
              0.4676,
              0.5318,
              0.6426,
              0.8254,
              1.114
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.12805,
              0.15312,
              0.17684,
              0.22279,
              0.31328,
              0.4924,
              0.84976
            ],
            [
              0.13021,
              0.15568,
              0.17949,
              0.22587,
              0.31657,
              0.49597,
              0.85333
            ],
            [
              0.13299,
              0.15857,
              0.18269,
              0.22933,
              0.32034,
              0.49973,
              0.85736
            ],
            [
              0.13744,
              0.16321,
              0.1874,
              0.23433,
              0.32567,
              0.50538,
              0.86316
            ],
            [
              0.14462,
              0.17028,
              0.19474,
              0.2419,
              0.33346,
              0.51366,
              0.87193
            ],
            [
              0.15602,
              0.18157,
              0.20591,
              0.25326,
              0.34527,
              0.52578,
              0.88432
            ],
            [
              0.17323,
              0.19847,
              0.22274,
              0.27025,
              0.36257,
              0.544,
              0.90233
            ],
            [
              0.19814,
              0.22344,
              0.24762,
              0.29476,
              0.38721,
              0.5686,
              0.92806
            ],
            [
              0.2301,
              0.25834,
              0.28325,
              0.33035,
              0.42273,
              0.60452,
              0.96425
            ],
            [
              0.26622,
              0.29954,
              0.32918,
              0.38163,
              0.47475,
              0.65669,
              1.01689
            ],
            [
              0.30691,
              0.3478,
              0.3834,
              0.44542,
              0.55092,
              0.73432,
              1.09492
            ],
            [
              0.34977,
              0.40207,
              0.44637,
              0.52177,
              0.64667,
              0.85037,
              1.21167
            ],
            [
              0.3936,
              0.4602,
              0.5165,
              0.6116,
              0.7636,
              1.0033,
              1.3875
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.10818,
              0.12846,
              0.14874,
              0.18909,
              0.27031,
              0.43431,
              0.76315
            ],
            [
              0.1083,
              0.12851,
              0.14874,
              0.18905,
              0.27058,
              0.43391,
              0.76281
            ],
            [
              0.10836,
              0.12855,
              0.14867,
              0.18922,
              0.27039,
              0.43445,
              0.76211
            ],
            [
              0.10847,
              0.12854,
              0.14873,
              0.18918,
              0.27047,
              0.43437,
              0.76304
            ],
            [
              0.1087,
              0.12873,
              0.14875,
              0.18929,
              0.27058,
              0.43444,
              0.7628
            ],
            [
              0.10765,
              0.12868,
              0.14885,
              0.18926,
              0.27067,
              0.43415,
              0.76321
            ],
            [
              0.10586,
              0.1265,
              0.14714,
              0.18905,
              0.27034,
              0.43408,
              0.76314
            ],
            [
              0.10967,
              0.12887,
              0.14834,
              0.1881,
              0.27013,
              0.43423,
              0.76319
            ],
            [
              0.12284,
              0.14054,
              0.15856,
              0.19533,
              0.27208,
              0.43408,
              0.76237
            ],
            [
              0.14114,
              0.16249,
              0.18205,
              0.21676,
              0.28694,
              0.43844,
              0.76187
            ],
            [
              0.1677,
              0.19217,
              0.21399,
              0.25383,
              0.32381,
              0.46273,
              0.7663
            ],
            [
              0.2051,
              0.2338,
              0.2591,
              0.3044,
              0.3832,
              0.5195,
              0.7991
            ],
            [
              0.2553,
              0.2896,
              0.3196,
              0.3726,
              0.4629,
              0.6138,
              0.8802
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.09555,
              0.12704,
              0.15899,
              0.22265,
              0.34993,
              0.60236,
              1.10454
            ],
            [
              0.09561,
              0.1272,
              0.15906,
              0.22285,
              0.3499,
              0.60174,
              1.10595
            ],
            [
              0.09572,
              0.12716,
              0.15914,
              0.22291,
              0.34979,
              0.6015,
              1.10594
            ],
            [
              0.09578,
              0.12735,
              0.15912,
              0.22292,
              0.34985,
              0.60131,
              1.1059
            ],
            [
              0.09591,
              0.12721,
              0.1591,
              0.22289,
              0.3498,
              0.60233,
              1.10643
            ],
            [
              0.0961,
              0.12755,
              0.15917,
              0.22271,
              0.34989,
              0.60224,
              1.10464
            ],
            [
              0.09636,
              0.12756,
              0.15935,
              0.22283,
              0.3499,
              0.60232,
              1.1056
            ],
            [
              0.09861,
              0.1286,
              0.15973,
              0.22277,
              0.34969,
              0.6017,
              1.10602
            ],
            [
              0.10965,
              0.13675,
              0.1657,
              0.22526,
              0.34984,
              0.60179,
              1.10565
            ],
            [
              0.13535,
              0.15938,
              0.18461,
              0.23915,
              0.35626,
              0.60254,
              1.10618
            ],
            [
              0.16989,
              0.19678,
              0.22318,
              0.27357,
              0.379,
              0.6107,
              1.1061
            ],
            [
              0.2203,
              0.2491,
              0.2777,
              0.3325,
              0.4335,
              0.6445,
              1.1135
            ],
            [
              0.292,
              0.3239,
              0.3549,
              0.4144,
              0.5231,
              0.7217,
              1.154
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.08033,
              0.09859,
              0.11585,
              0.14876,
              0.21154,
              0.33277,
              0.57036
            ],
            [
              0.08226,
              0.10057,
              0.11784,
              0.15074,
              0.21353,
              0.33475,
              0.57245
            ],
            [
              0.08466,
              0.10301,
              0.1203,
              0.15323,
              0.21605,
              0.33728,
              0.57492
            ],
            [
              0.0884,
              0.1068,
              0.12413,
              0.15712,
              0.21998,
              0.34124,
              0.57893
            ],
            [
              0.09425,
              0.11278,
              0.13018,
              0.16322,
              0.22612,
              0.34743,
              0.58521
            ],
            [
              0.10346,
              0.12203,
              0.13945,
              0.17264,
              0.23566,
              0.3571,
              0.59493
            ],
            [
              0.11834,
              0.13658,
              0.154,
              0.18714,
              0.25027,
              0.37183,
              0.60971
            ],
            [
              0.14163,
              0.16015,
              0.17675,
              0.20962,
              0.27276,
              0.3944,
              0.6324
            ],
            [
              0.1695,
              0.19114,
              0.21035,
              0.24459,
              0.307,
              0.42868,
              0.66678
            ],
            [
              0.20183,
              0.22768,
              0.25065,
              0.29102,
              0.35941,
              0.48067,
              0.71879
            ],
            [
              0.23864,
              0.26958,
              0.29722,
              0.34567,
              0.42744,
              0.55962,
              0.79722
            ],
            [
              0.27957,
              0.31667,
              0.34977,
              0.40837,
              0.50697,
              0.66537,
              0.91567
            ],
            [
              0.3236,
              0.3682,
              0.4081,
              0.4788,
              0.5982,
              0.7898,
              1.0862
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.14039,
              0.17172,
              0.20139,
              0.25949,
              0.37409,
              0.60081,
              1.05527
            ],
            [
              0.14231,
              0.17407,
              0.20409,
              0.26238,
              0.37714,
              0.60447,
              1.05794
            ],
            [
              0.14483,
              0.17685,
              0.20708,
              0.26584,
              0.38072,
              0.60842,
              1.06212
            ],
            [
              0.14888,
              0.18115,
              0.2116,
              0.27065,
              0.38638,
              0.61447,
              1.06918
            ],
            [
              0.1557,
              0.18785,
              0.21856,
              0.27798,
              0.39419,
              0.62224,
              1.07641
            ],
            [
              0.16671,
              0.19871,
              0.22933,
              0.28901,
              0.4055,
              0.63492,
              1.08982
            ],
            [
              0.18332,
              0.21496,
              0.24551,
              0.30522,
              0.42224,
              0.65139,
              1.10663
            ],
            [
              0.20713,
              0.23865,
              0.26888,
              0.32836,
              0.44542,
              0.67603,
              1.13176
            ],
            [
              0.23762,
              0.27142,
              0.30207,
              0.36131,
              0.47776,
              0.7084,
              1.16505
            ],
            [
              0.27105,
              0.31005,
              0.34509,
              0.40802,
              0.52488,
              0.75519,
              1.21219
            ],
            [
              0.30955,
              0.35483,
              0.3949,
              0.46712,
              0.59282,
              0.82332,
              1.28162
            ],
            [
              0.35147,
              0.40657,
              0.45417,
              0.53767,
              0.68147,
              0.92507,
              1.38237
            ],
            [
              0.3953,
              0.4642,
              0.5228,
              0.6231,
              0.7899,
              1.0665,
              1.5356
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.09346,
              0.11272,
              0.13229,
              0.17207,
              0.25294,
              0.41583,
              0.74435
            ],
            [
              0.09346,
              0.11265,
              0.13229,
              0.17206,
              0.25285,
              0.41569,
              0.74445
            ],
            [
              0.09328,
              0.11245,
              0.13208,
              0.17205,
              0.25289,
              0.41568,
              0.74428
            ],
            [
              0.09292,
              0.11243,
              0.13207,
              0.17197,
              0.25279,
              0.41586,
              0.74425
            ],
            [
              0.09121,
              0.11181,
              0.13166,
              0.17177,
              0.25276,
              0.41606,
              0.74414
            ],
            [
              0.08858,
              0.10945,
              0.13063,
              0.17152,
              0.25268,
              0.41605,
              0.74423
            ],
            [
              0.08932,
              0.10892,
              0.12901,
              0.17,
              0.25244,
              0.41568,
              0.74361
            ],
            [
              0.09601,
              0.11421,
              0.13274,
              0.17114,
              0.25137,
              0.41591,
              0.74435
            ],
            [
              0.10901,
              0.12898,
              0.14592,
              0.18121,
              0.25567,
              0.41502,
              0.7434
            ],
            [
              0.12637,
              0.14903,
              0.16934,
              0.20552,
              0.27365,
              0.42207,
              0.74359
            ],
            [
              0.15221,
              0.17822,
              0.20095,
              0.24191,
              0.31327,
              0.44938,
              0.7499
            ],
            [
              0.18802,
              0.2188,
              0.2453,
              0.292,
              0.3719,
              0.5087,
              0.7845
            ],
            [
              0.2362,
              0.2732,
              0.3049,
              0.3596,
              0.4514,
              0.604,
              0.8685
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.08946,
              0.13032,
              0.17051,
              0.25129,
              0.41203,
              0.73235,
              1.37393
            ],
            [
              0.08955,
              0.13045,
              0.17072,
              0.25091,
              0.41188,
              0.73143,
              1.37114
            ],
            [
              0.08977,
              0.13042,
              0.17071,
              0.25127,
              0.41173,
              0.73196,
              1.37184
            ],
            [
              0.09002,
              0.13042,
              0.17079,
              0.2511,
              0.41202,
              0.73171,
              1.37171
            ],
            [
              0.09014,
              0.13056,
              0.17065,
              0.25122,
              0.41204,
              0.73253,
              1.37215
            ],
            [
              0.09031,
              0.13068,
              0.17092,
              0.25133,
              0.4117,
              0.7322,
              1.37207
            ],
            [
              0.09079,
              0.13091,
              0.17104,
              0.25131,
              0.41203,
              0.73243,
              1.37046
            ],
            [
              0.09268,
              0.13159,
              0.17136,
              0.25137,
              0.41174,
              0.7326,
              1.37369
            ],
            [
              0.10333,
              0.13891,
              0.17614,
              0.25283,
              0.41211,
              0.73172,
              1.37326
            ],
            [
              0.12434,
              0.15831,
              0.19238,
              0.26441,
              0.41573,
              0.73188,
              1.37328
            ],
            [
              0.1495,
              0.18761,
              0.22454,
              0.29259,
              0.434,
              0.7376,
              1.3734
            ],
            [
              0.1886,
              0.2288,
              0.2677,
              0.3417,
              0.4782,
              0.7623,
              1.3755
            ],
            [
              0.2469,
              0.2903,
              0.3317,
              0.41,
              0.5547,
              0.8239,
              1.4031
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.08309,
              0.10123,
              0.11848,
              0.15151,
              0.21445,
              0.33609,
              0.57448
            ],
            [
              0.08503,
              0.10319,
              0.12045,
              0.15341,
              0.21641,
              0.33803,
              0.57646
            ],
            [
              0.08743,
              0.10562,
              0.12289,
              0.1559,
              0.2189,
              0.34055,
              0.57899
            ],
            [
              0.09118,
              0.10942,
              0.12673,
              0.15973,
              0.22279,
              0.34445,
              0.5829
            ],
            [
              0.09706,
              0.1154,
              0.13276,
              0.16586,
              0.22897,
              0.3506,
              0.5893
            ],
            [
              0.10623,
              0.12465,
              0.1421,
              0.17526,
              0.23845,
              0.36024,
              0.59887
            ],
            [
              0.12093,
              0.13916,
              0.15654,
              0.18974,
              0.25308,
              0.37504,
              0.61365
            ],
            [
              0.14454,
              0.16267,
              0.17922,
              0.21223,
              0.27556,
              0.39764,
              0.63635
            ],
            [
              0.17323,
              0.19437,
              0.21326,
              0.2472,
              0.30982,
              0.43197,
              0.67079
            ],
            [
              0.20673,
              0.23192,
              0.25442,
              0.29435,
              0.36236,
              0.48394,
              0.72279
            ],
            [
              0.24512,
              0.27515,
              0.30224,
              0.35011,
              0.43124,
              0.56292,
              0.80132
            ],
            [
              0.28827,
              0.32417,
              0.35657,
              0.41437,
              0.51207,
              0.66937,
              0.91987
            ],
            [
              0.3354,
              0.3784,
              0.4173,
              0.487,
              0.6051,
              0.7957,
              1.0913
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.18262,
              0.21321,
              0.24289,
              0.30112,
              0.41589,
              0.64342,
              1.09717
            ],
            [
              0.18532,
              0.21606,
              0.24587,
              0.30424,
              0.41917,
              0.64707,
              1.10104
            ],
            [
              0.18845,
              0.21931,
              0.24921,
              0.30777,
              0.42304,
              0.65108,
              1.10512
            ],
            [
              0.19306,
              0.22406,
              0.25411,
              0.31289,
              0.42845,
              0.65665,
              1.11098
            ],
            [
              0.20015,
              0.23125,
              0.26144,
              0.3205,
              0.43626,
              0.66499,
              1.11931
            ],
            [
              0.21104,
              0.24216,
              0.27249,
              0.33178,
              0.44799,
              0.67707,
              1.13182
            ],
            [
              0.22731,
              0.25843,
              0.28874,
              0.34819,
              0.46474,
              0.69433,
              1.14963
            ],
            [
              0.2508,
              0.28171,
              0.31194,
              0.3713,
              0.48814,
              0.71816,
              1.17406
            ],
            [
              0.2837,
              0.31463,
              0.34471,
              0.40387,
              0.52052,
              0.75088,
              1.20755
            ],
            [
              0.32449,
              0.35924,
              0.39105,
              0.45056,
              0.56711,
              0.79759,
              1.25459
            ],
            [
              0.3718,
              0.41103,
              0.44752,
              0.51472,
              0.63512,
              0.86542,
              1.32262
            ],
            [
              0.42757,
              0.47357,
              0.51557,
              0.59217,
              0.72857,
              0.96657,
              1.42387
            ],
            [
              0.4909,
              0.547,
              0.5974,
              0.6875,
              0.8439,
              1.1111,
              1.5757
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.13147,
              0.14917,
              0.16781,
              0.20617,
              0.28529,
              0.44755,
              0.77523
            ],
            [
              0.13142,
              0.14914,
              0.16764,
              0.20622,
              0.28531,
              0.44724,
              0.77522
            ],
            [
              0.13125,
              0.149,
              0.1676,
              0.20596,
              0.28548,
              0.44728,
              0.77527
            ],
            [
              0.13075,
              0.14874,
              0.16734,
              0.20581,
              0.28541,
              0.44733,
              0.77512
            ],
            [
              0.1285,
              0.14797,
              0.16698,
              0.20568,
              0.28517,
              0.44729,
              0.77438
            ],
            [
              0.12586,
              0.14533,
              0.16559,
              0.20528,
              0.28508,
              0.44718,
              0.77523
            ],
            [
              0.12665,
              0.14491,
              0.16397,
              0.20354,
              0.28484,
              0.44724,
              0.77532
            ],
            [
              0.13335,
              0.15016,
              0.16775,
              0.20473,
              0.28353,
              0.44682,
              0.77537
            ],
            [
              0.14934,
              0.16478,
              0.18099,
              0.21481,
              0.28802,
              0.44632,
              0.7753
            ],
            [
              0.17273,
              0.19053,
              0.20764,
              0.23939,
              0.30633,
              0.45364,
              0.77518
            ],
            [
              0.20575,
              0.2257,
              0.24458,
              0.28048,
              0.34604,
              0.48053,
              0.7813
            ],
            [
              0.25164,
              0.2745,
              0.2962,
              0.3363,
              0.4096,
              0.5408,
              0.8163
            ],
            [
              0.3133,
              0.3406,
              0.3659,
              0.4123,
              0.4952,
              0.6395,
              0.8995
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.12708,
              0.16867,
              0.20985,
              0.29186,
              0.45483,
              0.78163,
              1.43145
            ],
            [
              0.1272,
              0.16864,
              0.2098,
              0.29207,
              0.45558,
              0.78025,
              1.43178
            ],
            [
              0.12711,
              0.16868,
              0.20992,
              0.29202,
              0.45515,
              0.78082,
              1.43132
            ],
            [
              0.12698,
              0.1686,
              0.20987,
              0.29194,
              0.4552,
              0.78143,
              1.43126
            ],
            [
              0.12707,
              0.16874,
              0.20985,
              0.29176,
              0.45563,
              0.78166,
              1.43174
            ],
            [
              0.12734,
              0.16879,
              0.20975,
              0.29183,
              0.45558,
              0.78169,
              1.43224
            ],
            [
              0.12745,
              0.16867,
              0.20989,
              0.29185,
              0.45517,
              0.78171,
              1.42992
            ],
            [
              0.12804,
              0.16915,
              0.2101,
              0.29202,
              0.45529,
              0.78161,
              1.43066
            ],
            [
              0.13344,
              0.17234,
              0.21185,
              0.29266,
              0.45566,
              0.78119,
              1.43059
            ],
            [
              0.15072,
              0.18676,
              0.22427,
              0.30061,
              0.45742,
              0.78076,
              1.4324
            ],
            [
              0.17859,
              0.21759,
              0.25345,
              0.32362,
              0.47286,
              0.7847,
              1.4312
            ],
            [
              0.2173,
              0.2585,
              0.2978,
              0.3724,
              0.5107,
              0.807,
              1.4325
            ],
            [
              0.2761,
              0.3199,
              0.3617,
              0.4401,
              0.5868,
              0.8629,
              1.4601
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.12489,
              0.14225,
              0.15893,
              0.19119,
              0.25341,
              0.37434,
              0.61192
            ],
            [
              0.12716,
              0.14452,
              0.1612,
              0.19345,
              0.25569,
              0.37661,
              0.61415
            ],
            [
              0.13,
              0.14738,
              0.16406,
              0.19633,
              0.25857,
              0.3795,
              0.61706
            ],
            [
              0.13422,
              0.1516,
              0.16831,
              0.20059,
              0.26282,
              0.38377,
              0.62133
            ],
            [
              0.14016,
              0.15759,
              0.17435,
              0.20665,
              0.26898,
              0.38992,
              0.6275
            ],
            [
              0.14865,
              0.16616,
              0.18295,
              0.21534,
              0.27773,
              0.39878,
              0.63642
            ],
            [
              0.16114,
              0.17873,
              0.19558,
              0.22809,
              0.2906,
              0.41178,
              0.64954
            ],
            [
              0.18034,
              0.19774,
              0.21459,
              0.24718,
              0.30991,
              0.43125,
              0.6692
            ],
            [
              0.20704,
              0.22585,
              0.24348,
              0.27615,
              0.3389,
              0.46057,
              0.69872
            ],
            [
              0.2409,
              0.26173,
              0.28114,
              0.31721,
              0.38276,
              0.5046,
              0.74319
            ],
            [
              0.28287,
              0.30668,
              0.32871,
              0.36931,
              0.44218,
              0.57082,
              0.80982
            ],
            [
              0.33217,
              0.36037,
              0.38627,
              0.43367,
              0.51707,
              0.66097,
              0.90977
            ],
            [
              0.387,
              0.4211,
              0.4524,
              0.5094,
              0.6084,
              0.7746,
              1.0517
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.15544,
              0.1789,
              0.20183,
              0.24704,
              0.33654,
              0.51452,
              0.86895
            ],
            [
              0.15793,
              0.18155,
              0.20456,
              0.24991,
              0.33951,
              0.51742,
              0.87209
            ],
            [
              0.161,
              0.18476,
              0.2079,
              0.2533,
              0.3431,
              0.52118,
              0.87577
            ],
            [
              0.16568,
              0.18965,
              0.21291,
              0.25853,
              0.34845,
              0.52667,
              0.88186
            ],
            [
              0.17306,
              0.19715,
              0.22056,
              0.2664,
              0.35654,
              0.53495,
              0.88975
            ],
            [
              0.18458,
              0.20874,
              0.23218,
              0.27825,
              0.36866,
              0.54734,
              0.9029
            ],
            [
              0.2018,
              0.22599,
              0.2495,
              0.29559,
              0.38629,
              0.56535,
              0.92053
            ],
            [
              0.22681,
              0.25093,
              0.27444,
              0.32052,
              0.41132,
              0.59069,
              0.94626
            ],
            [
              0.26207,
              0.28665,
              0.31016,
              0.35608,
              0.447,
              0.62646,
              0.98285
            ],
            [
              0.30439,
              0.3331,
              0.35962,
              0.40804,
              0.49898,
              0.67859,
              1.03519
            ],
            [
              0.3544,
              0.38861,
              0.41957,
              0.47592,
              0.57542,
              0.75552,
              1.11242
            ],
            [
              0.41127,
              0.45347,
              0.49117,
              0.55857,
              0.67457,
              0.87047,
              1.22767
            ],
            [
              0.4732,
              0.5266,
              0.5739,
              0.657,
              0.7964,
              1.0248,
              1.4009
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.10804,
              0.12849,
              0.14872,
              0.18911,
              0.27036,
              0.43442,
              0.7631
            ],
            [
              0.10816,
              0.12844,
              0.14862,
              0.18903,
              0.2705,
              0.43412,
              0.76271
            ],
            [
              0.10802,
              0.12848,
              0.14865,
              0.18914,
              0.27068,
              0.43439,
              0.7628
            ],
            [
              0.10808,
              0.12842,
              0.14856,
              0.18904,
              0.27052,
              0.43385,
              0.76267
            ],
            [
              0.10801,
              0.12835,
              0.14854,
              0.18909,
              0.27068,
              0.43423,
              0.76304
            ],
            [
              0.10767,
              0.1282,
              0.14855,
              0.18902,
              0.27049,
              0.43413,
              0.76312
            ],
            [
              0.10719,
              0.12737,
              0.14788,
              0.18887,
              0.2705,
              0.43375,
              0.7632
            ],
            [
              0.11019,
              0.1299,
              0.14956,
              0.18922,
              0.27026,
              0.43428,
              0.76304
            ],
            [
              0.11935,
              0.13776,
              0.15642,
              0.19461,
              0.27249,
              0.43398,
              0.76226
            ],
            [
              0.13408,
              0.15383,
              0.17288,
              0.20897,
              0.2832,
              0.43859,
              0.76268
            ],
            [
              0.15651,
              0.17762,
              0.19789,
              0.23623,
              0.30865,
              0.45561,
              0.7682
            ],
            [
              0.1897,
              0.2133,
              0.2352,
              0.2764,
              0.3524,
              0.4951,
              0.7908
            ],
            [
              0.2368,
              0.2638,
              0.2886,
              0.3343,
              0.4162,
              0.5656,
              0.8469
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.11957,
              0.15129,
              0.18313,
              0.24685,
              0.37353,
              0.62562,
              1.12786
            ],
            [
              0.11952,
              0.15138,
              0.18309,
              0.24696,
              0.37331,
              0.62508,
              1.12762
            ],
            [
              0.11962,
              0.15142,
              0.18306,
              0.24686,
              0.37344,
              0.62565,
              1.12776
            ],
            [
              0.11947,
              0.15135,
              0.18304,
              0.24682,
              0.37313,
              0.62557,
              1.12751
            ],
            [
              0.11946,
              0.15132,
              0.18325,
              0.24658,
              0.37351,
              0.62555,
              1.1279
            ],
            [
              0.11977,
              0.15147,
              0.1834,
              0.24696,
              0.37359,
              0.62562,
              1.12768
            ],
            [
              0.11981,
              0.15149,
              0.18321,
              0.24688,
              0.37296,
              0.62556,
              1.12779
            ],
            [
              0.12075,
              0.15202,
              0.18344,
              0.24689,
              0.37367,
              0.62518,
              1.12778
            ],
            [
              0.12781,
              0.15703,
              0.18688,
              0.24825,
              0.37308,
              0.625,
              1.12629
            ],
            [
              0.14831,
              0.17468,
              0.20213,
              0.25915,
              0.3777,
              0.62573,
              1.12733
            ],
            [
              0.18155,
              0.20966,
              0.23664,
              0.28833,
              0.3984,
              0.6325,
              1.128
            ],
            [
              0.2301,
              0.26,
              0.2892,
              0.3444,
              0.4467,
              0.6629,
              1.1348
            ],
            [
              0.3,
              0.3331,
              0.3644,
              0.4242,
              0.5332,
              0.7356,
              1.1736
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.09712,
              0.11538,
              0.13263,
              0.16552,
              0.2283,
              0.34952,
              0.58712
            ],
            [
              0.0993,
              0.11757,
              0.13482,
              0.1677,
              0.23048,
              0.35173,
              0.58931
            ],
            [
              0.10204,
              0.12031,
              0.13756,
              0.17045,
              0.23324,
              0.35445,
              0.59213
            ],
            [
              0.10613,
              0.12445,
              0.1417,
              0.1746,
              0.23739,
              0.35862,
              0.5963
            ],
            [
              0.11196,
              0.1303,
              0.14759,
              0.18053,
              0.24336,
              0.36461,
              0.60231
            ],
            [
              0.12043,
              0.13877,
              0.15609,
              0.18907,
              0.25198,
              0.37331,
              0.61103
            ],
            [
              0.13329,
              0.15145,
              0.16873,
              0.20178,
              0.26479,
              0.38625,
              0.62408
            ],
            [
              0.15214,
              0.17102,
              0.18811,
              0.22097,
              0.28406,
              0.40566,
              0.64367
            ],
            [
              0.17586,
              0.19652,
              0.21543,
              0.25011,
              0.31314,
              0.43498,
              0.67319
            ],
            [
              0.20586,
              0.22907,
              0.25014,
              0.28844,
              0.35653,
              0.47907,
              0.71769
            ],
            [
              0.24176,
              0.2688,
              0.29315,
              0.33687,
              0.41317,
              0.54502,
              0.78432
            ],
            [
              0.28207,
              0.31457,
              0.34367,
              0.39547,
              0.48397,
              0.63237,
              0.88437
            ],
            [
              0.325,
              0.3646,
              0.4001,
              0.463,
              0.5691,
              0.7419,
              1.0242
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.17654,
              0.20627,
              0.23541,
              0.29313,
              0.40748,
              0.63538,
              1.09027
            ],
            [
              0.17887,
              0.20879,
              0.23807,
              0.29591,
              0.41042,
              0.63837,
              1.09324
            ],
            [
              0.18172,
              0.21184,
              0.24125,
              0.29928,
              0.41397,
              0.64202,
              1.09682
            ],
            [
              0.18615,
              0.21649,
              0.2461,
              0.30425,
              0.4192,
              0.64746,
              1.10248
            ],
            [
              0.19319,
              0.22369,
              0.25346,
              0.31195,
              0.42715,
              0.65566,
              1.11101
            ],
            [
              0.20426,
              0.23489,
              0.26477,
              0.32345,
              0.43901,
              0.66785,
              1.12342
            ],
            [
              0.22089,
              0.25148,
              0.2814,
              0.34021,
              0.45608,
              0.68537,
              1.14103
            ],
            [
              0.2446,
              0.27512,
              0.30497,
              0.36373,
              0.47981,
              0.70953,
              1.16586
            ],
            [
              0.27766,
              0.30826,
              0.33802,
              0.39665,
              0.5127,
              0.74259,
              1.19935
            ],
            [
              0.31743,
              0.35195,
              0.38404,
              0.44342,
              0.55933,
              0.78929,
              1.24609
            ],
            [
              0.36366,
              0.40299,
              0.43923,
              0.50632,
              0.62702,
              0.85682,
              1.31422
            ],
            [
              0.41757,
              0.46347,
              0.50537,
              0.58217,
              0.71837,
              0.95707,
              1.41437
            ],
            [
              0.4784,
              0.5342,
              0.5845,
              0.6743,
              0.8308,
              1.0986,
              1.5644
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.09155,
              0.11143,
              0.13147,
              0.1715,
              0.25259,
              0.41605,
              0.74422
            ],
            [
              0.09146,
              0.11128,
              0.13143,
              0.17148,
              0.25252,
              0.41613,
              0.7435
            ],
            [
              0.09137,
              0.11135,
              0.13136,
              0.17146,
              0.25266,
              0.41595,
              0.7444
            ],
            [
              0.09122,
              0.11125,
              0.13125,
              0.1715,
              0.25263,
              0.41569,
              0.74399
            ],
            [
              0.09083,
              0.11101,
              0.131,
              0.17138,
              0.2523,
              0.41582,
              0.74441
            ],
            [
              0.08981,
              0.1103,
              0.13064,
              0.1711,
              0.25227,
              0.41538,
              0.74356
            ],
            [
              0.09114,
              0.11067,
              0.13035,
              0.17055,
              0.25231,
              0.41597,
              0.74414
            ],
            [
              0.09578,
              0.11445,
              0.13333,
              0.17213,
              0.25213,
              0.41561,
              0.74427
            ],
            [
              0.10607,
              0.12453,
              0.14229,
              0.17912,
              0.2557,
              0.41571,
              0.7438
            ],
            [
              0.12069,
              0.14052,
              0.15936,
              0.19589,
              0.26818,
              0.42197,
              0.74434
            ],
            [
              0.14321,
              0.16451,
              0.1849,
              0.22314,
              0.29592,
              0.44025,
              0.7503
            ],
            [
              0.176,
              0.2002,
              0.2225,
              0.264,
              0.3403,
              0.4825,
              0.7749
            ],
            [
              0.2226,
              0.2506,
              0.2758,
              0.3221,
              0.4051,
              0.5535,
              0.8325
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.12149,
              0.16287,
              0.20373,
              0.28496,
              0.447,
              0.7692,
              1.4145
            ],
            [
              0.12153,
              0.16285,
              0.20371,
              0.28498,
              0.44669,
              0.76956,
              1.41447
            ],
            [
              0.12156,
              0.16274,
              0.20374,
              0.28462,
              0.44638,
              0.76977,
              1.41312
            ],
            [
              0.12138,
              0.16257,
              0.20374,
              0.28497,
              0.44653,
              0.76979,
              1.41457
            ],
            [
              0.12169,
              0.16289,
              0.2035,
              0.28489,
              0.44634,
              0.76972,
              1.41451
            ],
            [
              0.12172,
              0.16294,
              0.20363,
              0.28503,
              0.44659,
              0.77002,
              1.41374
            ],
            [
              0.12193,
              0.16303,
              0.20342,
              0.28466,
              0.44695,
              0.76997,
              1.41376
            ],
            [
              0.12246,
              0.16323,
              0.20373,
              0.28484,
              0.44695,
              0.76975,
              1.41307
            ],
            [
              0.12876,
              0.16729,
              0.20624,
              0.28553,
              0.44707,
              0.76992,
              1.41461
            ],
            [
              0.14583,
              0.18175,
              0.21843,
              0.29418,
              0.44938,
              0.76966,
              1.413
            ],
            [
              0.17136,
              0.21023,
              0.24705,
              0.31745,
              0.46439,
              0.7734,
              1.4137
            ],
            [
              0.2086,
              0.2499,
              0.2893,
              0.3634,
              0.5033,
              0.7963,
              1.4146
            ],
            [
              0.2649,
              0.309,
              0.3509,
              0.43,
              0.5766,
              0.8525,
              1.4432
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.09994,
              0.11806,
              0.13529,
              0.16826,
              0.2312,
              0.35287,
              0.59129
            ],
            [
              0.10209,
              0.12023,
              0.13746,
              0.17039,
              0.23338,
              0.35501,
              0.59343
            ],
            [
              0.10482,
              0.12295,
              0.14019,
              0.17317,
              0.23613,
              0.35779,
              0.59616
            ],
            [
              0.10891,
              0.12707,
              0.14431,
              0.1773,
              0.24027,
              0.36194,
              0.60035
            ],
            [
              0.11474,
              0.13293,
              0.1502,
              0.18322,
              0.2462,
              0.36792,
              0.60633
            ],
            [
              0.12316,
              0.14139,
              0.15869,
              0.19174,
              0.25481,
              0.37657,
              0.61508
            ],
            [
              0.13596,
              0.15404,
              0.17132,
              0.20442,
              0.26764,
              0.38949,
              0.62811
            ],
            [
              0.15513,
              0.17362,
              0.19063,
              0.2236,
              0.28689,
              0.40892,
              0.6477
            ],
            [
              0.17924,
              0.19958,
              0.21832,
              0.25283,
              0.31599,
              0.43824,
              0.67722
            ],
            [
              0.20994,
              0.23268,
              0.25352,
              0.2916,
              0.35958,
              0.48235,
              0.72169
            ],
            [
              0.24692,
              0.27332,
              0.29732,
              0.34067,
              0.41669,
              0.54842,
              0.78852
            ],
            [
              0.28897,
              0.32057,
              0.34917,
              0.40037,
              0.48827,
              0.63647,
              0.88857
            ],
            [
              0.3343,
              0.3727,
              0.4074,
              0.4694,
              0.5746,
              0.7469,
              1.029
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.21638,
              0.24588,
              0.2749,
              0.33228,
              0.446,
              0.67205,
              1.12277
            ],
            [
              0.21895,
              0.24853,
              0.27762,
              0.33509,
              0.44885,
              0.67501,
              1.12574
            ],
            [
              0.22208,
              0.25178,
              0.28094,
              0.33853,
              0.45246,
              0.67867,
              1.12932
            ],
            [
              0.22687,
              0.25668,
              0.28593,
              0.34368,
              0.45776,
              0.6841,
              1.13508
            ],
            [
              0.23427,
              0.26421,
              0.29357,
              0.3515,
              0.4658,
              0.69238,
              1.14341
            ],
            [
              0.2456,
              0.27564,
              0.30512,
              0.36322,
              0.47774,
              0.70464,
              1.15592
            ],
            [
              0.26223,
              0.29238,
              0.32192,
              0.38016,
              0.49499,
              0.72219,
              1.17373
            ],
            [
              0.28592,
              0.316,
              0.34554,
              0.40385,
              0.51889,
              0.74642,
              1.19836
            ],
            [
              0.319,
              0.349,
              0.37846,
              0.43671,
              0.55169,
              0.77945,
              1.23175
            ],
            [
              0.36395,
              0.39539,
              0.42508,
              0.48331,
              0.5984,
              0.82619,
              1.27899
            ],
            [
              0.417,
              0.45262,
              0.48622,
              0.54952,
              0.66592,
              0.89382,
              1.34662
            ],
            [
              0.48057,
              0.52147,
              0.55977,
              0.63127,
              0.76127,
              0.99387,
              1.44687
            ],
            [
              0.5558,
              0.6044,
              0.6494,
              0.7322,
              0.88,
              1.1385,
              1.5966
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.12899,
              0.14754,
              0.16649,
              0.20561,
              0.28509,
              0.44675,
              0.77384
            ],
            [
              0.12884,
              0.14743,
              0.16646,
              0.20524,
              0.2851,
              0.44704,
              0.77504
            ],
            [
              0.12876,
              0.1473,
              0.16638,
              0.20546,
              0.28488,
              0.44737,
              0.77504
            ],
            [
              0.12854,
              0.14716,
              0.16623,
              0.20539,
              0.285,
              0.44688,
              0.77487
            ],
            [
              0.12811,
              0.14691,
              0.16603,
              0.20526,
              0.28496,
              0.44735,
              0.7749
            ],
            [
              0.12707,
              0.14615,
              0.16556,
              0.20489,
              0.28489,
              0.44687,
              0.7748
            ],
            [
              0.12843,
              0.14652,
              0.16523,
              0.20431,
              0.2846,
              0.44701,
              0.77497
            ],
            [
              0.13288,
              0.15025,
              0.1683,
              0.2061,
              0.28443,
              0.44689,
              0.7739
            ],
            [
              0.14362,
              0.15966,
              0.17682,
              0.21256,
              0.28821,
              0.44699,
              0.77506
            ],
            [
              0.16147,
              0.17856,
              0.19565,
              0.22911,
              0.30019,
              0.45271,
              0.77379
            ],
            [
              0.1883,
              0.20627,
              0.22407,
              0.25939,
              0.32824,
              0.47154,
              0.7814
            ],
            [
              0.2276,
              0.2474,
              0.2665,
              0.3039,
              0.3755,
              0.5136,
              0.806
            ],
            [
              0.2837,
              0.3058,
              0.327,
              0.3677,
              0.4443,
              0.5876,
              0.8642
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.15702,
              0.19903,
              0.2402,
              0.3228,
              0.48602,
              0.81143,
              1.46006
            ],
            [
              0.15677,
              0.199,
              0.24037,
              0.32285,
              0.4859,
              0.81146,
              1.45816
            ],
            [
              0.15689,
              0.199,
              0.24042,
              0.32271,
              0.48633,
              0.81166,
              1.45928
            ],
            [
              0.15682,
              0.19902,
              0.24053,
              0.32273,
              0.48631,
              0.81095,
              1.45992
            ],
            [
              0.15678,
              0.19894,
              0.24053,
              0.32256,
              0.48618,
              0.81154,
              1.45996
            ],
            [
              0.15687,
              0.199,
              0.24052,
              0.32254,
              0.48571,
              0.81147,
              1.45972
            ],
            [
              0.15709,
              0.1989,
              0.24054,
              0.32274,
              0.48602,
              0.81146,
              1.45781
            ],
            [
              0.15738,
              0.19901,
              0.24037,
              0.32266,
              0.48625,
              0.81145,
              1.46019
            ],
            [
              0.16025,
              0.20073,
              0.24143,
              0.32274,
              0.48587,
              0.81099,
              1.45977
            ],
            [
              0.17332,
              0.21192,
              0.2506,
              0.32847,
              0.48732,
              0.81007,
              1.46
            ],
            [
              0.20033,
              0.2388,
              0.2749,
              0.34801,
              0.50016,
              0.8128,
              1.4587
            ],
            [
              0.2384,
              0.2794,
              0.3182,
              0.3925,
              0.5343,
              0.8334,
              1.4603
            ],
            [
              0.2957,
              0.3392,
              0.3805,
              0.4586,
              0.6053,
              0.8865,
              1.4851
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.13111,
              0.14846,
              0.16515,
              0.19739,
              0.25963,
              0.38056,
              0.61813
            ],
            [
              0.13359,
              0.15095,
              0.16764,
              0.19988,
              0.26213,
              0.38303,
              0.62061
            ],
            [
              0.13657,
              0.15393,
              0.17062,
              0.20288,
              0.26512,
              0.38604,
              0.62357
            ],
            [
              0.14064,
              0.15802,
              0.17475,
              0.207,
              0.26926,
              0.3902,
              0.62774
            ],
            [
              0.14631,
              0.16374,
              0.18046,
              0.21278,
              0.27505,
              0.39602,
              0.63359
            ],
            [
              0.15415,
              0.17164,
              0.18841,
              0.22078,
              0.28316,
              0.40418,
              0.64178
            ],
            [
              0.16505,
              0.18259,
              0.19944,
              0.23192,
              0.29439,
              0.41554,
              0.65331
            ],
            [
              0.1808,
              0.19827,
              0.21513,
              0.24768,
              0.31033,
              0.43165,
              0.66956
            ],
            [
              0.20199,
              0.22039,
              0.23778,
              0.27062,
              0.33332,
              0.45486,
              0.69295
            ],
            [
              0.22837,
              0.24815,
              0.26681,
              0.30194,
              0.36707,
              0.48893,
              0.72729
            ],
            [
              0.26124,
              0.28285,
              0.30318,
              0.34134,
              0.41154,
              0.53932,
              0.77832
            ],
            [
              0.30147,
              0.32567,
              0.34837,
              0.39067,
              0.46777,
              0.60607,
              0.85467
            ],
            [
              0.3486,
              0.3768,
              0.403,
              0.4513,
              0.5379,
              0.6906,
              0.9595
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.16794,
              0.19145,
              0.21431,
              0.25914,
              0.34715,
              0.52097,
              0.86649
            ],
            [
              0.17047,
              0.19399,
              0.21687,
              0.26168,
              0.34967,
              0.52362,
              0.86904
            ],
            [
              0.17369,
              0.19726,
              0.22017,
              0.265,
              0.35305,
              0.52689,
              0.87244
            ],
            [
              0.17877,
              0.20239,
              0.22534,
              0.2702,
              0.35828,
              0.53228,
              0.8777
            ],
            [
              0.18664,
              0.2103,
              0.23331,
              0.27823,
              0.36644,
              0.54038,
              0.88598
            ],
            [
              0.19849,
              0.22223,
              0.24524,
              0.29029,
              0.37852,
              0.55265,
              0.89822
            ],
            [
              0.21555,
              0.23933,
              0.26238,
              0.30748,
              0.39582,
              0.57,
              0.91573
            ],
            [
              0.23968,
              0.26345,
              0.28652,
              0.33169,
              0.4201,
              0.5944,
              0.94026
            ],
            [
              0.27369,
              0.29752,
              0.32059,
              0.36574,
              0.45428,
              0.6287,
              0.97465
            ],
            [
              0.31576,
              0.34292,
              0.36822,
              0.41477,
              0.50335,
              0.67799,
              1.02409
            ],
            [
              0.36518,
              0.39664,
              0.42572,
              0.47932,
              0.57512,
              0.75022,
              1.09662
            ],
            [
              0.42197,
              0.45967,
              0.49417,
              0.55697,
              0.66757,
              0.85777,
              1.20477
            ],
            [
              0.484,
              0.5307,
              0.5729,
              0.6488,
              0.7797,
              0.9994,
              1.3667
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.10815,
              0.12834,
              0.14856,
              0.18907,
              0.27066,
              0.43445,
              0.76299
            ],
            [
              0.10814,
              0.12846,
              0.14862,
              0.18912,
              0.27064,
              0.43436,
              0.76218
            ],
            [
              0.10803,
              0.12846,
              0.1486,
              0.18902,
              0.27053,
              0.43376,
              0.76196
            ],
            [
              0.10814,
              0.12842,
              0.14865,
              0.18913,
              0.27055,
              0.43434,
              0.76306
            ],
            [
              0.10812,
              0.12846,
              0.14857,
              0.18909,
              0.27044,
              0.43398,
              0.76305
            ],
            [
              0.10791,
              0.12836,
              0.14859,
              0.18921,
              0.27062,
              0.43445,
              0.76295
            ],
            [
              0.10759,
              0.12783,
              0.14818,
              0.18892,
              0.27025,
              0.4344,
              0.76318
            ],
            [
              0.10957,
              0.12943,
              0.14934,
              0.18926,
              0.27039,
              0.43435,
              0.76301
            ],
            [
              0.11596,
              0.13518,
              0.1543,
              0.19314,
              0.27249,
              0.43417,
              0.76305
            ],
            [
              0.12657,
              0.14656,
              0.16601,
              0.20387,
              0.2805,
              0.43835,
              0.76239
            ],
            [
              0.14174,
              0.16293,
              0.18326,
              0.22309,
              0.29938,
              0.452,
              0.76736
            ],
            [
              0.1652,
              0.1873,
              0.2088,
              0.2504,
              0.3299,
              0.4818,
              0.7875
            ],
            [
              0.2016,
              0.2253,
              0.2481,
              0.2917,
              0.3746,
              0.5318,
              0.8306
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.13834,
              0.16921,
              0.20003,
              0.26178,
              0.38491,
              0.63123,
              1.12018
            ],
            [
              0.13818,
              0.16915,
              0.19996,
              0.2619,
              0.3851,
              0.63097,
              1.12237
            ],
            [
              0.13831,
              0.16915,
              0.19998,
              0.26153,
              0.38493,
              0.63114,
              1.12117
            ],
            [
              0.13825,
              0.16908,
              0.1999,
              0.2619,
              0.38503,
              0.63121,
              1.12238
            ],
            [
              0.13818,
              0.16915,
              0.20001,
              0.26175,
              0.38485,
              0.63131,
              1.12045
            ],
            [
              0.13845,
              0.169,
              0.2001,
              0.26191,
              0.38505,
              0.63087,
              1.12235
            ],
            [
              0.13852,
              0.16897,
              0.2001,
              0.26189,
              0.38509,
              0.63115,
              1.12177
            ],
            [
              0.13885,
              0.16946,
              0.20017,
              0.26164,
              0.38514,
              0.63119,
              1.12228
            ],
            [
              0.14475,
              0.17384,
              0.20323,
              0.26263,
              0.38487,
              0.63147,
              1.12172
            ],
            [
              0.16289,
              0.18952,
              0.21673,
              0.27349,
              0.38997,
              0.63129,
              1.12218
            ],
            [
              0.19503,
              0.22262,
              0.24929,
              0.30091,
              0.40992,
              0.639,
              1.1205
            ],
            [
              0.2413,
              0.2709,
              0.2996,
              0.3542,
              0.4572,
              0.6711,
              1.1312
            ],
            [
              0.3091,
              0.3412,
              0.3724,
              0.4309,
              0.5408,
              0.7426,
              1.1716
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.10334,
              0.1216,
              0.13885,
              0.17173,
              0.23451,
              0.35572,
              0.59333
            ],
            [
              0.10575,
              0.12401,
              0.14125,
              0.17413,
              0.23692,
              0.35812,
              0.59578
            ],
            [
              0.10862,
              0.12689,
              0.14414,
              0.17703,
              0.23981,
              0.36102,
              0.59869
            ],
            [
              0.11257,
              0.13087,
              0.14813,
              0.18102,
              0.24382,
              0.36506,
              0.60269
            ],
            [
              0.11811,
              0.13643,
              0.15372,
              0.18665,
              0.24947,
              0.37074,
              0.60838
            ],
            [
              0.12585,
              0.14423,
              0.16155,
              0.19455,
              0.25743,
              0.37875,
              0.61646
            ],
            [
              0.1369,
              0.15521,
              0.17255,
              0.2056,
              0.2686,
              0.39002,
              0.62783
            ],
            [
              0.15246,
              0.17115,
              0.18844,
              0.22143,
              0.28453,
              0.4061,
              0.64407
            ],
            [
              0.17173,
              0.19165,
              0.21007,
              0.24432,
              0.30758,
              0.42933,
              0.66748
            ],
            [
              0.19567,
              0.21719,
              0.23706,
              0.27383,
              0.34076,
              0.46344,
              0.70179
            ],
            [
              0.22499,
              0.24875,
              0.27059,
              0.3108,
              0.38333,
              0.51332,
              0.75292
            ],
            [
              0.25987,
              0.28697,
              0.31157,
              0.35667,
              0.43687,
              0.57817,
              0.82927
            ],
            [
              0.2985,
              0.3307,
              0.3598,
              0.412,
              0.5031,
              0.66,
              0.9323
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.19641,
              0.22643,
              0.25574,
              0.31337,
              0.42697,
              0.65188,
              1.09937
            ],
            [
              0.19873,
              0.22878,
              0.25809,
              0.31575,
              0.42932,
              0.65425,
              1.10154
            ],
            [
              0.20183,
              0.2319,
              0.26125,
              0.31894,
              0.43257,
              0.65748,
              1.10502
            ],
            [
              0.20672,
              0.23689,
              0.26627,
              0.32401,
              0.43771,
              0.6627,
              1.11018
            ],
            [
              0.21439,
              0.24464,
              0.2741,
              0.33192,
              0.44572,
              0.67079,
              1.11821
            ],
            [
              0.22594,
              0.25626,
              0.28579,
              0.34373,
              0.45761,
              0.68282,
              1.13032
            ],
            [
              0.24245,
              0.27279,
              0.30237,
              0.3604,
              0.47442,
              0.69979,
              1.14753
            ],
            [
              0.2653,
              0.29564,
              0.32516,
              0.38325,
              0.4974,
              0.72295,
              1.17056
            ],
            [
              0.29661,
              0.32695,
              0.35652,
              0.41458,
              0.52885,
              0.75445,
              1.20255
            ],
            [
              0.33626,
              0.36936,
              0.40008,
              0.45827,
              0.5725,
              0.79819,
              1.24649
            ],
            [
              0.38131,
              0.41829,
              0.45292,
              0.51752,
              0.63522,
              0.86102,
              1.30952
            ],
            [
              0.43347,
              0.47587,
              0.51527,
              0.58807,
              0.71977,
              0.95347,
              1.40207
            ],
            [
              0.4928,
              0.5427,
              0.5886,
              0.6726,
              0.8222,
              1.0826,
              1.5404
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.09142,
              0.11122,
              0.13136,
              0.17149,
              0.25254,
              0.41584,
              0.7435
            ],
            [
              0.09131,
              0.11127,
              0.13128,
              0.17151,
              0.25268,
              0.41568,
              0.74394
            ],
            [
              0.09125,
              0.1112,
              0.13123,
              0.17141,
              0.25257,
              0.41563,
              0.74425
            ],
            [
              0.09108,
              0.11112,
              0.13109,
              0.17144,
              0.25241,
              0.41603,
              0.74428
            ],
            [
              0.09086,
              0.11086,
              0.1311,
              0.1714,
              0.25245,
              0.41607,
              0.74413
            ],
            [
              0.09044,
              0.1106,
              0.13081,
              0.17132,
              0.2524,
              0.41589,
              0.74437
            ],
            [
              0.091,
              0.11074,
              0.13068,
              0.17102,
              0.25226,
              0.41553,
              0.74431
            ],
            [
              0.0942,
              0.11334,
              0.13264,
              0.17199,
              0.25245,
              0.41572,
              0.7444
            ],
            [
              0.10162,
              0.12047,
              0.13897,
              0.17698,
              0.25541,
              0.41617,
              0.74435
            ],
            [
              0.11209,
              0.13194,
              0.15133,
              0.18913,
              0.26432,
              0.4212,
              0.74334
            ],
            [
              0.12734,
              0.14829,
              0.16857,
              0.20837,
              0.28496,
              0.43579,
              0.75065
            ],
            [
              0.1514,
              0.1735,
              0.1948,
              0.2361,
              0.3153,
              0.4676,
              0.771
            ],
            [
              0.1892,
              0.2129,
              0.2354,
              0.2787,
              0.3609,
              0.517,
              0.8161
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.14682,
              0.18733,
              0.22768,
              0.30786,
              0.46703,
              0.78503,
              1.4198
            ],
            [
              0.14673,
              0.18743,
              0.22751,
              0.3076,
              0.46747,
              0.78554,
              1.4212
            ],
            [
              0.14668,
              0.18711,
              0.22759,
              0.30787,
              0.46742,
              0.7858,
              1.4202
            ],
            [
              0.14655,
              0.18747,
              0.2275,
              0.30765,
              0.46718,
              0.78525,
              1.41949
            ],
            [
              0.14675,
              0.18747,
              0.22767,
              0.30775,
              0.46705,
              0.7852,
              1.42013
            ],
            [
              0.14693,
              0.18747,
              0.22773,
              0.30781,
              0.46755,
              0.78498,
              1.42115
            ],
            [
              0.14683,
              0.1873,
              0.22744,
              0.30779,
              0.46746,
              0.78465,
              1.41859
            ],
            [
              0.14718,
              0.18757,
              0.22766,
              0.30766,
              0.46747,
              0.7849,
              1.42111
            ],
            [
              0.15175,
              0.19045,
              0.22926,
              0.30824,
              0.46756,
              0.78578,
              1.41934
            ],
            [
              0.1666,
              0.20315,
              0.24042,
              0.31554,
              0.46968,
              0.78593,
              1.42003
            ],
            [
              0.19219,
              0.23053,
              0.26678,
              0.3374,
              0.48485,
              0.7895,
              1.4202
            ],
            [
              0.228,
              0.2687,
              0.3079,
              0.3822,
              0.5215,
              0.8129,
              1.424
            ],
            [
              0.2821,
              0.3258,
              0.3671,
              0.4456,
              0.5927,
              0.8684,
              1.4523
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.10615,
              0.12428,
              0.1415,
              0.17448,
              0.23743,
              0.35906,
              0.59747
            ],
            [
              0.10854,
              0.12666,
              0.14389,
              0.17687,
              0.23981,
              0.36144,
              0.59986
            ],
            [
              0.11141,
              0.12954,
              0.14676,
              0.1797,
              0.2427,
              0.36433,
              0.60274
            ],
            [
              0.11535,
              0.1335,
              0.15074,
              0.18368,
              0.24668,
              0.36838,
              0.60676
            ],
            [
              0.12088,
              0.13906,
              0.15633,
              0.1893,
              0.25232,
              0.37401,
              0.61243
            ],
            [
              0.12864,
              0.14685,
              0.16417,
              0.19723,
              0.26028,
              0.38199,
              0.62048
            ],
            [
              0.13963,
              0.15782,
              0.17514,
              0.20825,
              0.27144,
              0.39329,
              0.63183
            ],
            [
              0.15538,
              0.17378,
              0.19101,
              0.22409,
              0.28737,
              0.40934,
              0.64808
            ],
            [
              0.17496,
              0.19459,
              0.21289,
              0.24705,
              0.31041,
              0.43259,
              0.67144
            ],
            [
              0.19934,
              0.22052,
              0.24023,
              0.27689,
              0.3438,
              0.46675,
              0.70599
            ],
            [
              0.22932,
              0.25263,
              0.27426,
              0.31428,
              0.38674,
              0.51682,
              0.75712
            ],
            [
              0.26517,
              0.29167,
              0.31597,
              0.36077,
              0.44077,
              0.58207,
              0.83347
            ],
            [
              0.3055,
              0.3368,
              0.3654,
              0.417,
              0.5077,
              0.6645,
              0.937
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.23666,
              0.26612,
              0.29507,
              0.35213,
              0.46474,
              0.68768,
              1.13097
            ],
            [
              0.23902,
              0.26852,
              0.29747,
              0.35453,
              0.46713,
              0.69005,
              1.13334
            ],
            [
              0.24216,
              0.27166,
              0.30062,
              0.35773,
              0.47038,
              0.69334,
              1.13662
            ],
            [
              0.24716,
              0.2767,
              0.30569,
              0.36284,
              0.47552,
              0.69854,
              1.14187
            ],
            [
              0.25496,
              0.28458,
              0.31361,
              0.37081,
              0.48355,
              0.7066,
              1.14991
            ],
            [
              0.26664,
              0.29631,
              0.32539,
              0.38268,
              0.49551,
              0.71868,
              1.16202
            ],
            [
              0.28326,
              0.31294,
              0.34206,
              0.39941,
              0.51238,
              0.73567,
              1.17923
            ],
            [
              0.30609,
              0.33576,
              0.36493,
              0.42232,
              0.53537,
              0.75883,
              1.20246
            ],
            [
              0.33735,
              0.36706,
              0.39622,
              0.45364,
              0.56679,
              0.79035,
              1.23425
            ],
            [
              0.38044,
              0.41065,
              0.4398,
              0.49723,
              0.61043,
              0.83409,
              1.27819
            ],
            [
              0.4311,
              0.46522,
              0.49752,
              0.55902,
              0.67302,
              0.89682,
              1.34092
            ],
            [
              0.49117,
              0.52977,
              0.56627,
              0.63487,
              0.76087,
              0.98917,
              1.43347
            ],
            [
              0.5616,
              0.6063,
              0.6484,
              0.7267,
              0.8689,
              1.1211,
              1.5715
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.12876,
              0.14735,
              0.16637,
              0.20549,
              0.28504,
              0.44712,
              0.77503
            ],
            [
              0.12863,
              0.1472,
              0.16629,
              0.20513,
              0.28504,
              0.44728,
              0.7749
            ],
            [
              0.12851,
              0.14715,
              0.16622,
              0.20516,
              0.28494,
              0.44707,
              0.77371
            ],
            [
              0.1284,
              0.14701,
              0.1661,
              0.20502,
              0.28493,
              0.44732,
              0.77466
            ],
            [
              0.12814,
              0.14687,
              0.16605,
              0.20493,
              0.28493,
              0.44702,
              0.77432
            ],
            [
              0.12761,
              0.14651,
              0.16582,
              0.20513,
              0.28491,
              0.44704,
              0.77488
            ],
            [
              0.12819,
              0.14665,
              0.1656,
              0.20488,
              0.28482,
              0.44708,
              0.77504
            ],
            [
              0.13131,
              0.14919,
              0.16763,
              0.20575,
              0.28476,
              0.44704,
              0.77445
            ],
            [
              0.13894,
              0.15603,
              0.17383,
              0.21064,
              0.28774,
              0.44731,
              0.77434
            ],
            [
              0.15145,
              0.1692,
              0.18698,
              0.22258,
              0.29689,
              0.45235,
              0.77529
            ],
            [
              0.16975,
              0.18805,
              0.20659,
              0.24389,
              0.31726,
              0.46694,
              0.78177
            ],
            [
              0.1977,
              0.2168,
              0.236,
              0.2745,
              0.3502,
              0.4985,
              0.802
            ],
            [
              0.2412,
              0.2611,
              0.2812,
              0.3205,
              0.3983,
              0.5508,
              0.8457
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.18039,
              0.22224,
              0.26327,
              0.34467,
              0.50572,
              0.82648,
              1.46525
            ],
            [
              0.18063,
              0.22195,
              0.26309,
              0.34466,
              0.50595,
              0.82601,
              1.46368
            ],
            [
              0.18052,
              0.22218,
              0.26326,
              0.34466,
              0.50579,
              0.82658,
              1.46567
            ],
            [
              0.18067,
              0.22219,
              0.26318,
              0.34466,
              0.50599,
              0.82664,
              1.46581
            ],
            [
              0.18068,
              0.22203,
              0.26297,
              0.34464,
              0.50602,
              0.82565,
              1.46432
            ],
            [
              0.18063,
              0.22213,
              0.26297,
              0.34431,
              0.50607,
              0.82701,
              1.46393
            ],
            [
              0.18054,
              0.22218,
              0.26325,
              0.34467,
              0.50542,
              0.82696,
              1.46634
            ],
            [
              0.1808,
              0.22222,
              0.2632,
              0.34417,
              0.50578,
              0.82691,
              1.46487
            ],
            [
              0.18282,
              0.22329,
              0.26378,
              0.34477,
              0.50586,
              0.82691,
              1.46582
            ],
            [
              0.19441,
              0.23323,
              0.27208,
              0.34988,
              0.50647,
              0.82673,
              1.4655
            ],
            [
              0.22035,
              0.25834,
              0.295,
              0.36863,
              0.51963,
              0.8296,
              1.4658
            ],
            [
              0.2573,
              0.2978,
              0.3366,
              0.4107,
              0.5532,
              0.8489,
              1.4684
            ],
            [
              0.3121,
              0.3554,
              0.3967,
              0.4751,
              0.6219,
              0.9013,
              1.495
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.03531,
              0.04581,
              0.05589,
              0.07561,
              0.11451,
              0.19204,
              0.3468
            ],
            [
              0.03729,
              0.04802,
              0.05821,
              0.0781,
              0.11713,
              0.19473,
              0.34958
            ],
            [
              0.03986,
              0.05076,
              0.06108,
              0.08104,
              0.12024,
              0.19792,
              0.35273
            ],
            [
              0.044,
              0.055,
              0.06543,
              0.0856,
              0.12495,
              0.20281,
              0.35775
            ],
            [
              0.05066,
              0.06163,
              0.07212,
              0.09245,
              0.13203,
              0.21002,
              0.36512
            ],
            [
              0.05892,
              0.07183,
              0.08244,
              0.10286,
              0.14262,
              0.22078,
              0.37595
            ],
            [
              0.06833,
              0.08403,
              0.09707,
              0.11873,
              0.15857,
              0.23694,
              0.39235
            ],
            [
              0.07884,
              0.09819,
              0.11416,
              0.14061,
              0.18279,
              0.26129,
              0.41673
            ],
            [
              0.09033,
              0.1141,
              0.13378,
              0.16624,
              0.21727,
              0.29793,
              0.45347
            ],
            [
              0.10244,
              0.13169,
              0.15588,
              0.19586,
              0.25841,
              0.35266,
              0.50919
            ],
            [
              0.11444,
              0.15046,
              0.18016,
              0.22931,
              0.30627,
              0.42154,
              0.59272
            ],
            [
              0.12497,
              0.16927,
              0.20577,
              0.26627,
              0.36087,
              0.50257,
              0.70967
            ],
            [
              0.1318,
              0.1863,
              0.2311,
              0.3053,
              0.4216,
              0.5957,
              0.8496
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.05698,
              0.0774,
              0.09666,
              0.13411,
              0.20795,
              0.35456,
              0.6468
            ],
            [
              0.0584,
              0.07912,
              0.09866,
              0.13641,
              0.21055,
              0.35714,
              0.65001
            ],
            [
              0.06056,
              0.08139,
              0.1011,
              0.13919,
              0.21358,
              0.36042,
              0.65288
            ],
            [
              0.06452,
              0.08522,
              0.10509,
              0.1435,
              0.21813,
              0.3654,
              0.65777
            ],
            [
              0.07151,
              0.09182,
              0.11156,
              0.15008,
              0.22512,
              0.37239,
              0.66567
            ],
            [
              0.08302,
              0.10268,
              0.12223,
              0.16069,
              0.23595,
              0.38348,
              0.67717
            ],
            [
              0.09941,
              0.12026,
              0.13923,
              0.17734,
              0.25248,
              0.4007,
              0.69413
            ],
            [
              0.11792,
              0.14453,
              0.16614,
              0.20336,
              0.2783,
              0.42647,
              0.72035
            ],
            [
              0.13974,
              0.17287,
              0.19976,
              0.24369,
              0.31793,
              0.46577,
              0.75925
            ],
            [
              0.16553,
              0.20648,
              0.2399,
              0.29459,
              0.37883,
              0.52585,
              0.81939
            ],
            [
              0.1966,
              0.24647,
              0.28765,
              0.35553,
              0.46042,
              0.61722,
              0.90962
            ],
            [
              0.23507,
              0.29477,
              0.34477,
              0.42817,
              0.55827,
              0.75037,
              1.04747
            ],
            [
              0.2839,
              0.3545,
              0.4143,
              0.5153,
              0.6752,
              0.9137,
              1.2556
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.02802,
              0.04165,
              0.05548,
              0.08326,
              0.13879,
              0.24987,
              0.47201
            ],
            [
              0.02798,
              0.04168,
              0.05544,
              0.08327,
              0.13881,
              0.24966,
              0.47259
            ],
            [
              0.02798,
              0.04171,
              0.0555,
              0.0832,
              0.13881,
              0.24975,
              0.47236
            ],
            [
              0.02785,
              0.04168,
              0.05548,
              0.08323,
              0.13859,
              0.24969,
              0.47243
            ],
            [
              0.02948,
              0.04202,
              0.05542,
              0.08309,
              0.13865,
              0.24986,
              0.47222
            ],
            [
              0.0347,
              0.04555,
              0.05751,
              0.08338,
              0.13851,
              0.24974,
              0.47164
            ],
            [
              0.04116,
              0.05397,
              0.06448,
              0.08785,
              0.13943,
              0.24946,
              0.47233
            ],
            [
              0.0499,
              0.06443,
              0.07723,
              0.09901,
              0.14578,
              0.25005,
              0.47235
            ],
            [
              0.06224,
              0.079,
              0.09331,
              0.11855,
              0.16212,
              0.25773,
              0.47236
            ],
            [
              0.07911,
              0.09895,
              0.11552,
              0.14409,
              0.19253,
              0.28011,
              0.47805
            ],
            [
              0.10209,
              0.12589,
              0.14547,
              0.17861,
              0.23334,
              0.32398,
              0.50476
            ],
            [
              0.133,
              0.16173,
              0.18547,
              0.22471,
              0.2881,
              0.3905,
              0.5647
            ],
            [
              0.1746,
              0.2102,
              0.2391,
              0.2864,
              0.3611,
              0.4789,
              0.6688
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.05152,
              0.07861,
              0.10538,
              0.15898,
              0.26534,
              0.4779,
              0.90321
            ],
            [
              0.05123,
              0.07846,
              0.10537,
              0.15895,
              0.26533,
              0.47865,
              0.90307
            ],
            [
              0.05108,
              0.07843,
              0.10516,
              0.15892,
              0.26502,
              0.47878,
              0.90459
            ],
            [
              0.05094,
              0.0782,
              0.10507,
              0.15871,
              0.26565,
              0.47822,
              0.90457
            ],
            [
              0.05072,
              0.07804,
              0.10515,
              0.15885,
              0.26538,
              0.47873,
              0.90444
            ],
            [
              0.05323,
              0.07774,
              0.10476,
              0.15845,
              0.26541,
              0.47875,
              0.90354
            ],
            [
              0.06234,
              0.08338,
              0.10701,
              0.15824,
              0.26545,
              0.47864,
              0.90444
            ],
            [
              0.0792,
              0.09739,
              0.11758,
              0.16321,
              0.26494,
              0.47855,
              0.90439
            ],
            [
              0.09526,
              0.12119,
              0.14042,
              0.17984,
              0.27123,
              0.47769,
              0.90421
            ],
            [
              0.11634,
              0.14732,
              0.17285,
              0.21348,
              0.29327,
              0.48295,
              0.90419
            ],
            [
              0.14326,
              0.1808,
              0.21164,
              0.26216,
              0.34147,
              0.50916,
              0.9049
            ],
            [
              0.17706,
              0.2226,
              0.2605,
              0.3219,
              0.4176,
              0.573,
              0.9298
            ],
            [
              0.22,
              0.275,
              0.3209,
              0.3963,
              0.5136,
              0.6891,
              1.009
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.03533,
              0.04583,
              0.05594,
              0.0756,
              0.11455,
              0.19202,
              0.34693
            ],
            [
              0.03734,
              0.04808,
              0.05829,
              0.07813,
              0.11715,
              0.19466,
              0.34963
            ],
            [
              0.03996,
              0.05086,
              0.06116,
              0.08116,
              0.12029,
              0.19793,
              0.35275
            ],
            [
              0.04416,
              0.05515,
              0.06559,
              0.08575,
              0.1251,
              0.20283,
              0.35783
            ],
            [
              0.05087,
              0.06184,
              0.07236,
              0.09267,
              0.13219,
              0.21014,
              0.36522
            ],
            [
              0.05924,
              0.07213,
              0.08272,
              0.10312,
              0.14287,
              0.22101,
              0.37629
            ],
            [
              0.06875,
              0.08444,
              0.09743,
              0.11904,
              0.1589,
              0.23723,
              0.39264
            ],
            [
              0.07933,
              0.09866,
              0.11457,
              0.14099,
              0.18316,
              0.26166,
              0.4171
            ],
            [
              0.09081,
              0.1146,
              0.13423,
              0.16673,
              0.21768,
              0.29833,
              0.45395
            ],
            [
              0.10283,
              0.13211,
              0.15626,
              0.19626,
              0.25883,
              0.3532,
              0.50947
            ],
            [
              0.11457,
              0.15066,
              0.1804,
              0.22971,
              0.30672,
              0.42197,
              0.59312
            ],
            [
              0.12468,
              0.16917,
              0.20577,
              0.26647,
              0.36127,
              0.50287,
              0.71007
            ],
            [
              0.1307,
              0.1855,
              0.2305,
              0.3051,
              0.4216,
              0.5963,
              0.8499
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.06159,
              0.08456,
              0.1064,
              0.14867,
              0.23209,
              0.39776,
              0.72866
            ],
            [
              0.06269,
              0.08609,
              0.10817,
              0.15094,
              0.23464,
              0.40062,
              0.73154
            ],
            [
              0.06461,
              0.08805,
              0.11043,
              0.1535,
              0.23746,
              0.40385,
              0.73488
            ],
            [
              0.06832,
              0.09161,
              0.11406,
              0.15737,
              0.24189,
              0.40815,
              0.73965
            ],
            [
              0.07495,
              0.09777,
              0.12011,
              0.16374,
              0.24857,
              0.41537,
              0.74695
            ],
            [
              0.08615,
              0.10822,
              0.1302,
              0.17367,
              0.25881,
              0.42611,
              0.75797
            ],
            [
              0.10316,
              0.12526,
              0.14668,
              0.18965,
              0.27488,
              0.44241,
              0.77479
            ],
            [
              0.12231,
              0.15037,
              0.17295,
              0.21493,
              0.29968,
              0.46698,
              0.79989
            ],
            [
              0.14494,
              0.1797,
              0.20811,
              0.25459,
              0.33807,
              0.5055,
              0.83775
            ],
            [
              0.17171,
              0.21454,
              0.24969,
              0.30747,
              0.39745,
              0.56368,
              0.89589
            ],
            [
              0.20399,
              0.25601,
              0.29919,
              0.37057,
              0.48142,
              0.65282,
              0.98372
            ],
            [
              0.24407,
              0.30617,
              0.35847,
              0.44577,
              0.58277,
              0.78677,
              1.11787
            ],
            [
              0.295,
              0.3684,
              0.4307,
              0.5362,
              0.7039,
              0.9556,
              1.3211
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.02799,
              0.04168,
              0.05551,
              0.08325,
              0.13884,
              0.24986,
              0.47246
            ],
            [
              0.02803,
              0.04172,
              0.05554,
              0.08317,
              0.13883,
              0.24994,
              0.4717
            ],
            [
              0.02796,
              0.0417,
              0.05551,
              0.08312,
              0.13872,
              0.25003,
              0.47238
            ],
            [
              0.02787,
              0.0417,
              0.05554,
              0.08322,
              0.13879,
              0.24984,
              0.47159
            ],
            [
              0.02942,
              0.042,
              0.05535,
              0.08307,
              0.13869,
              0.25003,
              0.47152
            ],
            [
              0.03446,
              0.04544,
              0.05749,
              0.08351,
              0.13855,
              0.25001,
              0.47221
            ],
            [
              0.04096,
              0.05374,
              0.06431,
              0.08773,
              0.1394,
              0.24972,
              0.47248
            ],
            [
              0.04962,
              0.06416,
              0.07696,
              0.09888,
              0.14565,
              0.24997,
              0.47232
            ],
            [
              0.06191,
              0.07865,
              0.093,
              0.11817,
              0.16187,
              0.25758,
              0.47237
            ],
            [
              0.07879,
              0.09859,
              0.11521,
              0.14371,
              0.19216,
              0.27965,
              0.47828
            ],
            [
              0.10181,
              0.12561,
              0.14519,
              0.17824,
              0.23294,
              0.32361,
              0.50458
            ],
            [
              0.1329,
              0.16159,
              0.18522,
              0.22446,
              0.2878,
              0.3902,
              0.5643
            ],
            [
              0.1746,
              0.2102,
              0.2389,
              0.2862,
              0.361,
              0.4785,
              0.6685
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.05934,
              0.08988,
              0.1203,
              0.18011,
              0.29968,
              0.53811,
              1.01518
            ],
            [
              0.05903,
              0.08986,
              0.12023,
              0.18042,
              0.29975,
              0.53824,
              1.01517
            ],
            [
              0.05889,
              0.08975,
              0.12021,
              0.18045,
              0.29948,
              0.53863,
              1.01493
            ],
            [
              0.05861,
              0.08959,
              0.12008,
              0.18009,
              0.29981,
              0.53746,
              1.01428
            ],
            [
              0.05793,
              0.08914,
              0.1201,
              0.18036,
              0.30018,
              0.53803,
              1.01431
            ],
            [
              0.05942,
              0.08847,
              0.11929,
              0.17976,
              0.30012,
              0.53843,
              1.0147
            ],
            [
              0.06783,
              0.09291,
              0.12038,
              0.17965,
              0.29981,
              0.53861,
              1.01504
            ],
            [
              0.08495,
              0.1055,
              0.12956,
              0.18265,
              0.29947,
              0.5384,
              1.01514
            ],
            [
              0.10108,
              0.13007,
              0.15057,
              0.19704,
              0.30288,
              0.53815,
              1.01459
            ],
            [
              0.122,
              0.15581,
              0.18389,
              0.22855,
              0.32256,
              0.53932,
              1.01352
            ],
            [
              0.14913,
              0.18951,
              0.22239,
              0.27813,
              0.36684,
              0.56229,
              1.0143
            ],
            [
              0.18283,
              0.2317,
              0.2715,
              0.3379,
              0.4431,
              0.62,
              1.0327
            ],
            [
              0.2266,
              0.2842,
              0.333,
              0.4137,
              0.5398,
              0.7311,
              1.1007
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.03534,
              0.04584,
              0.05594,
              0.07562,
              0.11456,
              0.19208,
              0.34694
            ],
            [
              0.03736,
              0.04809,
              0.0583,
              0.07814,
              0.11717,
              0.19468,
              0.34965
            ],
            [
              0.03997,
              0.05087,
              0.06117,
              0.08117,
              0.1203,
              0.19799,
              0.35282
            ],
            [
              0.04417,
              0.05516,
              0.0656,
              0.08576,
              0.1251,
              0.20283,
              0.35783
            ],
            [
              0.05089,
              0.06185,
              0.07236,
              0.09267,
              0.13224,
              0.21017,
              0.36522
            ],
            [
              0.05924,
              0.07213,
              0.08272,
              0.10314,
              0.14285,
              0.22104,
              0.3763
            ],
            [
              0.06874,
              0.08442,
              0.09741,
              0.11902,
              0.15891,
              0.23727,
              0.39265
            ],
            [
              0.07931,
              0.09864,
              0.11455,
              0.14097,
              0.18315,
              0.26165,
              0.41709
            ],
            [
              0.09078,
              0.11457,
              0.13419,
              0.16671,
              0.21766,
              0.29831,
              0.45391
            ],
            [
              0.1028,
              0.13208,
              0.15623,
              0.19623,
              0.2588,
              0.35317,
              0.50951
            ],
            [
              0.11455,
              0.15064,
              0.18038,
              0.22968,
              0.3067,
              0.42193,
              0.59302
            ],
            [
              0.12467,
              0.16917,
              0.20577,
              0.26647,
              0.36127,
              0.50287,
              0.71007
            ],
            [
              0.1307,
              0.1855,
              0.2306,
              0.3051,
              0.4216,
              0.5962,
              0.8499
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.06153,
              0.08431,
              0.10602,
              0.14804,
              0.23074,
              0.39519,
              0.72298
            ],
            [
              0.06265,
              0.0859,
              0.10784,
              0.15016,
              0.23326,
              0.39792,
              0.72558
            ],
            [
              0.06456,
              0.08789,
              0.11006,
              0.15272,
              0.23615,
              0.40107,
              0.72951
            ],
            [
              0.06831,
              0.09148,
              0.11373,
              0.15674,
              0.24049,
              0.4056,
              0.73438
            ],
            [
              0.07494,
              0.09765,
              0.1198,
              0.16309,
              0.24719,
              0.4128,
              0.74168
            ],
            [
              0.08614,
              0.10811,
              0.12993,
              0.17301,
              0.25749,
              0.42347,
              0.75265
            ],
            [
              0.10311,
              0.12512,
              0.14639,
              0.18901,
              0.27364,
              0.43965,
              0.7694
            ],
            [
              0.12221,
              0.1502,
              0.17272,
              0.21441,
              0.29845,
              0.46443,
              0.7947
            ],
            [
              0.14478,
              0.17947,
              0.2078,
              0.25414,
              0.33701,
              0.50273,
              0.83255
            ],
            [
              0.17149,
              0.21422,
              0.24929,
              0.3069,
              0.39648,
              0.56143,
              0.89099
            ],
            [
              0.20369,
              0.25561,
              0.29868,
              0.36987,
              0.48032,
              0.65072,
              0.97862
            ],
            [
              0.24367,
              0.30567,
              0.35777,
              0.44497,
              0.58157,
              0.78477,
              1.11337
            ],
            [
              0.2945,
              0.3677,
              0.4299,
              0.5351,
              0.7024,
              0.9533,
              1.3172
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.02799,
              0.04168,
              0.05547,
              0.08325,
              0.13883,
              0.25004,
              0.4723
            ],
            [
              0.02803,
              0.04172,
              0.05555,
              0.08314,
              0.13873,
              0.24996,
              0.4718
            ],
            [
              0.02797,
              0.0417,
              0.05552,
              0.08314,
              0.13873,
              0.25004,
              0.47228
            ],
            [
              0.02787,
              0.0417,
              0.05553,
              0.08314,
              0.13883,
              0.2499,
              0.47172
            ],
            [
              0.02947,
              0.04199,
              0.05534,
              0.08313,
              0.1388,
              0.25001,
              0.47161
            ],
            [
              0.03446,
              0.04544,
              0.05751,
              0.08351,
              0.1388,
              0.24988,
              0.47202
            ],
            [
              0.04096,
              0.05375,
              0.06431,
              0.08759,
              0.13925,
              0.24993,
              0.47239
            ],
            [
              0.04959,
              0.06417,
              0.07698,
              0.0989,
              0.14565,
              0.24997,
              0.47233
            ],
            [
              0.06192,
              0.07864,
              0.09303,
              0.11821,
              0.16188,
              0.25759,
              0.47237
            ],
            [
              0.07882,
              0.09862,
              0.11524,
              0.14373,
              0.19217,
              0.27967,
              0.47796
            ],
            [
              0.10183,
              0.12564,
              0.1452,
              0.17826,
              0.23296,
              0.32367,
              0.50463
            ],
            [
              0.13292,
              0.16162,
              0.18524,
              0.22449,
              0.2879,
              0.3902,
              0.5644
            ],
            [
              0.1745,
              0.2102,
              0.2388,
              0.2862,
              0.3609,
              0.4785,
              0.6685
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.05878,
              0.08922,
              0.11917,
              0.17884,
              0.29763,
              0.53442,
              1.00709
            ],
            [
              0.05862,
              0.08897,
              0.11915,
              0.17876,
              0.2976,
              0.53428,
              1.0063
            ],
            [
              0.05838,
              0.08884,
              0.11903,
              0.17875,
              0.29746,
              0.53414,
              1.00748
            ],
            [
              0.05812,
              0.08879,
              0.11894,
              0.17879,
              0.29726,
              0.53381,
              1.00753
            ],
            [
              0.05743,
              0.08842,
              0.119,
              0.17876,
              0.29758,
              0.53426,
              1.00748
            ],
            [
              0.05902,
              0.0878,
              0.11839,
              0.17838,
              0.29758,
              0.53445,
              1.0074
            ],
            [
              0.06753,
              0.09238,
              0.11922,
              0.17791,
              0.2975,
              0.53382,
              1.00754
            ],
            [
              0.08469,
              0.10489,
              0.12859,
              0.18118,
              0.29687,
              0.53331,
              1.00733
            ],
            [
              0.10077,
              0.12955,
              0.1498,
              0.19587,
              0.30088,
              0.53342,
              1.00755
            ],
            [
              0.1217,
              0.15533,
              0.18323,
              0.22748,
              0.32047,
              0.53581,
              1.0065
            ],
            [
              0.14863,
              0.18904,
              0.22173,
              0.27708,
              0.36515,
              0.55872,
              1.0056
            ],
            [
              0.18258,
              0.2312,
              0.2709,
              0.3369,
              0.4414,
              0.6168,
              1.0257
            ],
            [
              0.2262,
              0.2837,
              0.3323,
              0.4126,
              0.5382,
              0.728,
              1.0935
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.03535,
              0.04592,
              0.05599,
              0.07566,
              0.11459,
              0.19197,
              0.34663
            ],
            [
              0.03743,
              0.04817,
              0.05839,
              0.07826,
              0.1173,
              0.19482,
              0.34961
            ],
            [
              0.04014,
              0.05105,
              0.06137,
              0.08136,
              0.12046,
              0.19812,
              0.35292
            ],
            [
              0.04446,
              0.05543,
              0.06588,
              0.08606,
              0.12532,
              0.20309,
              0.35797
            ],
            [
              0.05131,
              0.0623,
              0.07281,
              0.09311,
              0.13262,
              0.21054,
              0.36559
            ],
            [
              0.05997,
              0.07278,
              0.08333,
              0.10374,
              0.14342,
              0.22147,
              0.37677
            ],
            [
              0.06981,
              0.08539,
              0.09829,
              0.11978,
              0.15965,
              0.23796,
              0.39329
            ],
            [
              0.08071,
              0.09989,
              0.11573,
              0.14201,
              0.18399,
              0.26251,
              0.41789
            ],
            [
              0.09234,
              0.11606,
              0.13565,
              0.16799,
              0.21874,
              0.29934,
              0.45494
            ],
            [
              0.10419,
              0.13353,
              0.15772,
              0.19766,
              0.26006,
              0.35428,
              0.51063
            ],
            [
              0.1154,
              0.15165,
              0.18155,
              0.23092,
              0.30804,
              0.42328,
              0.59412
            ],
            [
              0.12424,
              0.16907,
              0.20607,
              0.26717,
              0.36227,
              0.50407,
              0.71117
            ],
            [
              0.1279,
              0.1834,
              0.2291,
              0.3045,
              0.4219,
              0.597,
              0.8509
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.07462,
              0.10579,
              0.13562,
              0.1939,
              0.30856,
              0.53617,
              0.98886
            ],
            [
              0.07495,
              0.10667,
              0.13706,
              0.19579,
              0.31082,
              0.53884,
              0.99174
            ],
            [
              0.07621,
              0.10798,
              0.13861,
              0.19783,
              0.31352,
              0.54135,
              0.99582
            ],
            [
              0.07906,
              0.11063,
              0.14133,
              0.20091,
              0.3169,
              0.54595,
              0.99938
            ],
            [
              0.08487,
              0.11569,
              0.14636,
              0.20629,
              0.32307,
              0.5522,
              1.00701
            ],
            [
              0.09536,
              0.12492,
              0.15503,
              0.21491,
              0.33176,
              0.56151,
              1.01682
            ],
            [
              0.11298,
              0.14064,
              0.16982,
              0.22901,
              0.34627,
              0.57623,
              1.03233
            ],
            [
              0.13442,
              0.16667,
              0.19412,
              0.25193,
              0.36858,
              0.59911,
              1.05546
            ],
            [
              0.15948,
              0.19913,
              0.23208,
              0.28856,
              0.40379,
              0.63374,
              1.09075
            ],
            [
              0.18923,
              0.23772,
              0.27801,
              0.34514,
              0.45872,
              0.68779,
              1.14429
            ],
            [
              0.22527,
              0.2838,
              0.33286,
              0.41474,
              0.54462,
              0.77062,
              1.22612
            ],
            [
              0.27017,
              0.33967,
              0.39857,
              0.49797,
              0.65597,
              0.89807,
              1.35037
            ],
            [
              0.3277,
              0.4092,
              0.479,
              0.598,
              0.7896,
              1.0818,
              1.5406
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.02806,
              0.04177,
              0.05559,
              0.08327,
              0.13873,
              0.24993,
              0.47208
            ],
            [
              0.02806,
              0.04175,
              0.05546,
              0.08328,
              0.13854,
              0.24999,
              0.4713
            ],
            [
              0.02802,
              0.04176,
              0.05558,
              0.08327,
              0.13881,
              0.24962,
              0.47171
            ],
            [
              0.02789,
              0.04172,
              0.0555,
              0.08327,
              0.13875,
              0.24999,
              0.47244
            ],
            [
              0.02935,
              0.04197,
              0.05545,
              0.08308,
              0.13877,
              0.24952,
              0.47146
            ],
            [
              0.03425,
              0.04517,
              0.05732,
              0.08342,
              0.13878,
              0.2499,
              0.47187
            ],
            [
              0.04052,
              0.05321,
              0.06392,
              0.08735,
              0.13928,
              0.2495,
              0.47147
            ],
            [
              0.04888,
              0.06342,
              0.07627,
              0.0983,
              0.14529,
              0.24998,
              0.47236
            ],
            [
              0.06095,
              0.07764,
              0.09203,
              0.11732,
              0.1613,
              0.25737,
              0.47212
            ],
            [
              0.07772,
              0.09739,
              0.11407,
              0.1427,
              0.19122,
              0.27902,
              0.4773
            ],
            [
              0.10073,
              0.12447,
              0.14411,
              0.17715,
              0.23183,
              0.32266,
              0.50401
            ],
            [
              0.13181,
              0.16103,
              0.18444,
              0.22371,
              0.2868,
              0.3888,
              0.5636
            ],
            [
              0.1741,
              0.2102,
              0.2387,
              0.2859,
              0.3605,
              0.4777,
              0.6676
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.08579,
              0.12805,
              0.16921,
              0.25077,
              0.4121,
              0.73312,
              1.37104
            ],
            [
              0.08543,
              0.12804,
              0.1696,
              0.25091,
              0.41217,
              0.73312,
              1.37176
            ],
            [
              0.08489,
              0.12739,
              0.16943,
              0.2509,
              0.41204,
              0.73296,
              1.37371
            ],
            [
              0.08395,
              0.12698,
              0.16891,
              0.25032,
              0.41175,
              0.7323,
              1.37078
            ],
            [
              0.08252,
              0.1265,
              0.16863,
              0.25057,
              0.41213,
              0.73314,
              1.37371
            ],
            [
              0.0818,
              0.12476,
              0.16722,
              0.25014,
              0.41173,
              0.7325,
              1.37343
            ],
            [
              0.08745,
              0.12562,
              0.16563,
              0.24919,
              0.41196,
              0.73254,
              1.37227
            ],
            [
              0.10131,
              0.1346,
              0.17061,
              0.24795,
              0.41135,
              0.73251,
              1.37229
            ],
            [
              0.12182,
              0.15525,
              0.18705,
              0.25681,
              0.40963,
              0.73299,
              1.37208
            ],
            [
              0.1406,
              0.18478,
              0.21966,
              0.28165,
              0.42066,
              0.73191,
              1.37149
            ],
            [
              0.16713,
              0.217,
              0.25923,
              0.32974,
              0.4549,
              0.7392,
              1.3738
            ],
            [
              0.20158,
              0.2592,
              0.3081,
              0.3913,
              0.5232,
              0.7812,
              1.3735
            ],
            [
              0.2455,
              0.3128,
              0.3708,
              0.468,
              0.6245,
              0.8744,
              1.4161
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.03644,
              0.04697,
              0.05705,
              0.07673,
              0.11568,
              0.1933,
              0.34821
            ],
            [
              0.03849,
              0.04922,
              0.0594,
              0.07928,
              0.11838,
              0.19601,
              0.351
            ],
            [
              0.04112,
              0.05201,
              0.0623,
              0.0823,
              0.12155,
              0.19929,
              0.35425
            ],
            [
              0.04533,
              0.05631,
              0.06674,
              0.0869,
              0.12631,
              0.20417,
              0.35927
            ],
            [
              0.05201,
              0.06303,
              0.07352,
              0.09386,
              0.13344,
              0.21147,
              0.36666
            ],
            [
              0.06074,
              0.07338,
              0.08392,
              0.10439,
              0.14411,
              0.22232,
              0.37764
            ],
            [
              0.07064,
              0.086,
              0.09883,
              0.12027,
              0.16021,
              0.23862,
              0.39407
            ],
            [
              0.08175,
              0.10065,
              0.11637,
              0.1425,
              0.1845,
              0.2631,
              0.41872
            ],
            [
              0.09392,
              0.11717,
              0.13649,
              0.16866,
              0.21929,
              0.29988,
              0.45562
            ],
            [
              0.10692,
              0.13546,
              0.15921,
              0.19874,
              0.26085,
              0.35489,
              0.51108
            ],
            [
              0.12005,
              0.15508,
              0.18429,
              0.23299,
              0.3094,
              0.42422,
              0.59512
            ],
            [
              0.13202,
              0.17507,
              0.21097,
              0.27077,
              0.36487,
              0.50587,
              0.71257
            ],
            [
              0.1409,
              0.1936,
              0.2377,
              0.3111,
              0.4265,
              0.6004,
              0.8534
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.09336,
              0.11629,
              0.13851,
              0.18198,
              0.26755,
              0.43731,
              0.77554
            ],
            [
              0.09512,
              0.11827,
              0.14062,
              0.1843,
              0.27012,
              0.44012,
              0.77848
            ],
            [
              0.09735,
              0.12062,
              0.14312,
              0.18703,
              0.27308,
              0.44332,
              0.78193
            ],
            [
              0.10107,
              0.12442,
              0.14703,
              0.19117,
              0.27755,
              0.44794,
              0.7867
            ],
            [
              0.10727,
              0.13062,
              0.15329,
              0.19758,
              0.28426,
              0.45505,
              0.79409
            ],
            [
              0.11749,
              0.14066,
              0.1633,
              0.20765,
              0.29457,
              0.4657,
              0.80483
            ],
            [
              0.13404,
              0.15686,
              0.17926,
              0.22352,
              0.31062,
              0.48209,
              0.82162
            ],
            [
              0.16042,
              0.18261,
              0.20463,
              0.24842,
              0.33519,
              0.50698,
              0.84686
            ],
            [
              0.19233,
              0.2201,
              0.24434,
              0.28735,
              0.37352,
              0.54495,
              0.88475
            ],
            [
              0.2304,
              0.26466,
              0.29447,
              0.34588,
              0.43249,
              0.60312,
              0.94309
            ],
            [
              0.27567,
              0.31774,
              0.35453,
              0.418,
              0.52092,
              0.69202,
              1.03082
            ],
            [
              0.33017,
              0.38117,
              0.42617,
              0.50417,
              0.63147,
              0.82767,
              1.16457
            ],
            [
              0.397,
              0.4581,
              0.5122,
              0.6073,
              0.7637,
              1.0057,
              1.3681
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04831,
              0.06194,
              0.07558,
              0.10301,
              0.15805,
              0.26859,
              0.49052
            ],
            [
              0.04829,
              0.06193,
              0.07557,
              0.10302,
              0.15814,
              0.26866,
              0.49028
            ],
            [
              0.0483,
              0.06191,
              0.07557,
              0.10304,
              0.1581,
              0.26867,
              0.49055
            ],
            [
              0.04816,
              0.06191,
              0.07557,
              0.10301,
              0.1581,
              0.26857,
              0.49018
            ],
            [
              0.04967,
              0.06218,
              0.07549,
              0.10301,
              0.15805,
              0.2686,
              0.49105
            ],
            [
              0.05447,
              0.06555,
              0.07754,
              0.10331,
              0.15797,
              0.26861,
              0.49068
            ],
            [
              0.06397,
              0.0735,
              0.08424,
              0.10741,
              0.1586,
              0.26853,
              0.49011
            ],
            [
              0.07639,
              0.08765,
              0.09769,
              0.11847,
              0.16489,
              0.26903,
              0.48993
            ],
            [
              0.09353,
              0.10571,
              0.11736,
              0.13943,
              0.1813,
              0.27652,
              0.49026
            ],
            [
              0.11727,
              0.13085,
              0.14387,
              0.16814,
              0.21236,
              0.29849,
              0.49593
            ],
            [
              0.14952,
              0.16507,
              0.17982,
              0.20718,
              0.25627,
              0.34263,
              0.52263
            ],
            [
              0.19281,
              0.21086,
              0.22797,
              0.25953,
              0.3155,
              0.4117,
              0.5818
            ],
            [
              0.2504,
              0.272,
              0.2923,
              0.3296,
              0.3946,
              0.5041,
              0.6881
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.08554,
              0.11695,
              0.14788,
              0.20951,
              0.33221,
              0.57688,
              1.0637
            ],
            [
              0.08556,
              0.11674,
              0.14775,
              0.20952,
              0.33224,
              0.57637,
              1.06387
            ],
            [
              0.08551,
              0.11692,
              0.14787,
              0.20938,
              0.33219,
              0.57555,
              1.06521
            ],
            [
              0.08538,
              0.11667,
              0.14784,
              0.20946,
              0.33184,
              0.57607,
              1.06267
            ],
            [
              0.08537,
              0.11657,
              0.1478,
              0.20925,
              0.3319,
              0.5764,
              1.06456
            ],
            [
              0.08467,
              0.11647,
              0.14755,
              0.20943,
              0.33211,
              0.57571,
              1.06371
            ],
            [
              0.08657,
              0.11607,
              0.14709,
              0.20913,
              0.332,
              0.57601,
              1.06397
            ],
            [
              0.09678,
              0.12303,
              0.15068,
              0.20911,
              0.33208,
              0.57582,
              1.06467
            ],
            [
              0.11924,
              0.14175,
              0.16617,
              0.21842,
              0.33264,
              0.57632,
              1.06364
            ],
            [
              0.14251,
              0.17345,
              0.19869,
              0.24458,
              0.3475,
              0.57707,
              1.06479
            ],
            [
              0.1735,
              0.20999,
              0.24146,
              0.29502,
              0.38664,
              0.59369,
              1.0635
            ],
            [
              0.2127,
              0.2567,
              0.2942,
              0.3582,
              0.4609,
              0.6468,
              1.0761
            ],
            [
              0.2616,
              0.3151,
              0.3609,
              0.4382,
              0.5614,
              0.7528,
              1.1402
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.03644,
              0.04699,
              0.05705,
              0.07675,
              0.11576,
              0.19332,
              0.34822
            ],
            [
              0.03855,
              0.04929,
              0.05946,
              0.07935,
              0.11844,
              0.19611,
              0.35107
            ],
            [
              0.04128,
              0.05216,
              0.06246,
              0.08247,
              0.12168,
              0.19944,
              0.35444
            ],
            [
              0.04561,
              0.05656,
              0.067,
              0.08717,
              0.12654,
              0.20442,
              0.35951
            ],
            [
              0.05243,
              0.06343,
              0.07395,
              0.09428,
              0.13382,
              0.21186,
              0.36702
            ],
            [
              0.06142,
              0.07397,
              0.08447,
              0.10494,
              0.14465,
              0.22284,
              0.37815
            ],
            [
              0.07162,
              0.0869,
              0.09964,
              0.12098,
              0.16091,
              0.23927,
              0.39471
            ],
            [
              0.083,
              0.1018,
              0.11741,
              0.14345,
              0.18529,
              0.26388,
              0.41948
            ],
            [
              0.09534,
              0.11851,
              0.1378,
              0.16982,
              0.22027,
              0.30079,
              0.45657
            ],
            [
              0.10814,
              0.13675,
              0.16055,
              0.20005,
              0.26203,
              0.3559,
              0.51227
            ],
            [
              0.12071,
              0.15597,
              0.18531,
              0.2341,
              0.31063,
              0.42544,
              0.59612
            ],
            [
              0.13152,
              0.17497,
              0.21117,
              0.27137,
              0.36577,
              0.50697,
              0.71357
            ],
            [
              0.1381,
              0.1917,
              0.2363,
              0.3105,
              0.4268,
              0.6011,
              0.8543
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.11689,
              0.14755,
              0.17733,
              0.2357,
              0.35065,
              0.57898,
              1.03397
            ],
            [
              0.11819,
              0.14914,
              0.17912,
              0.23775,
              0.35312,
              0.58167,
              1.03674
            ],
            [
              0.11986,
              0.15099,
              0.18118,
              0.2401,
              0.35575,
              0.58459,
              1.04002
            ],
            [
              0.1228,
              0.15405,
              0.18438,
              0.24363,
              0.35966,
              0.58891,
              1.04448
            ],
            [
              0.12799,
              0.15926,
              0.18967,
              0.24914,
              0.36567,
              0.5953,
              1.05121
            ],
            [
              0.13698,
              0.16799,
              0.19839,
              0.25802,
              0.37484,
              0.60499,
              1.06142
            ],
            [
              0.15209,
              0.18255,
              0.2127,
              0.2722,
              0.38922,
              0.61985,
              1.07663
            ],
            [
              0.17707,
              0.20626,
              0.23587,
              0.29491,
              0.41172,
              0.64261,
              1.10006
            ],
            [
              0.2128,
              0.24484,
              0.27294,
              0.33095,
              0.44708,
              0.67767,
              1.13495
            ],
            [
              0.25475,
              0.29371,
              0.32803,
              0.38755,
              0.50203,
              0.73159,
              1.18889
            ],
            [
              0.30475,
              0.35221,
              0.39399,
              0.46672,
              0.58712,
              0.81482,
              1.27082
            ],
            [
              0.36497,
              0.42227,
              0.47277,
              0.56147,
              0.70767,
              0.94257,
              1.39627
            ],
            [
              0.4392,
              0.5071,
              0.5679,
              0.6749,
              0.8527,
              1.132,
              1.5876
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04808,
              0.06166,
              0.07533,
              0.10277,
              0.15787,
              0.2686,
              0.48982
            ],
            [
              0.04807,
              0.06166,
              0.07535,
              0.10276,
              0.15788,
              0.26859,
              0.48989
            ],
            [
              0.04802,
              0.06168,
              0.07533,
              0.10275,
              0.15786,
              0.26859,
              0.49009
            ],
            [
              0.04792,
              0.06165,
              0.07531,
              0.10273,
              0.15789,
              0.2686,
              0.48994
            ],
            [
              0.04931,
              0.06187,
              0.07522,
              0.10271,
              0.15786,
              0.26845,
              0.48992
            ],
            [
              0.0539,
              0.06507,
              0.07709,
              0.10299,
              0.15787,
              0.26859,
              0.49011
            ],
            [
              0.06311,
              0.07273,
              0.08354,
              0.10693,
              0.15827,
              0.2683,
              0.48991
            ],
            [
              0.07523,
              0.08658,
              0.0967,
              0.11767,
              0.16435,
              0.26892,
              0.48995
            ],
            [
              0.09203,
              0.10429,
              0.11609,
              0.13829,
              0.1803,
              0.27597,
              0.49007
            ],
            [
              0.11558,
              0.12922,
              0.14226,
              0.1667,
              0.21115,
              0.29771,
              0.49575
            ],
            [
              0.14784,
              0.16341,
              0.17821,
              0.20567,
              0.25491,
              0.3414,
              0.52195
            ],
            [
              0.19125,
              0.20955,
              0.22675,
              0.25821,
              0.3141,
              0.4107,
              0.5814
            ],
            [
              0.2494,
              0.2714,
              0.2917,
              0.3288,
              0.3936,
              0.503,
              0.6872
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.12034,
              0.1623,
              0.20332,
              0.28503,
              0.44723,
              0.77006,
              1.41278
            ],
            [
              0.12007,
              0.16198,
              0.20341,
              0.2849,
              0.44719,
              0.76985,
              1.41398
            ],
            [
              0.12019,
              0.16195,
              0.20323,
              0.28504,
              0.44718,
              0.7701,
              1.41391
            ],
            [
              0.11983,
              0.16168,
              0.20302,
              0.28461,
              0.4472,
              0.76995,
              1.41404
            ],
            [
              0.11916,
              0.16139,
              0.20315,
              0.2847,
              0.44714,
              0.77016,
              1.41408
            ],
            [
              0.11841,
              0.1609,
              0.20257,
              0.28477,
              0.44707,
              0.77001,
              1.41425
            ],
            [
              0.11699,
              0.15966,
              0.20181,
              0.28415,
              0.44699,
              0.77019,
              1.41374
            ],
            [
              0.12386,
              0.16196,
              0.20144,
              0.28284,
              0.44648,
              0.77005,
              1.41198
            ],
            [
              0.14144,
              0.17579,
              0.21154,
              0.2863,
              0.44579,
              0.76898,
              1.41294
            ],
            [
              0.16902,
              0.20607,
              0.23798,
              0.30506,
              0.4516,
              0.76954,
              1.41298
            ],
            [
              0.1985,
              0.24384,
              0.28371,
              0.34802,
              0.48008,
              0.7734,
              1.413
            ],
            [
              0.2377,
              0.2904,
              0.3361,
              0.4151,
              0.5438,
              0.8105,
              1.414
            ],
            [
              0.2875,
              0.3498,
              0.4038,
              0.4962,
              0.6481,
              0.8991,
              1.4498
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.03646,
              0.04699,
              0.05706,
              0.07677,
              0.11573,
              0.19334,
              0.34825
            ],
            [
              0.03856,
              0.04931,
              0.0595,
              0.07938,
              0.11846,
              0.19614,
              0.3511
            ],
            [
              0.04131,
              0.05221,
              0.0625,
              0.08248,
              0.12172,
              0.19947,
              0.35443
            ],
            [
              0.04564,
              0.05659,
              0.06705,
              0.08719,
              0.12657,
              0.2045,
              0.35956
            ],
            [
              0.05246,
              0.06346,
              0.07398,
              0.0943,
              0.13384,
              0.2119,
              0.36707
            ],
            [
              0.06145,
              0.07398,
              0.08451,
              0.10497,
              0.14469,
              0.22287,
              0.37819
            ],
            [
              0.07163,
              0.08691,
              0.09965,
              0.12099,
              0.16091,
              0.23927,
              0.39471
            ],
            [
              0.08301,
              0.10179,
              0.11739,
              0.14345,
              0.1853,
              0.26389,
              0.41952
            ],
            [
              0.0953,
              0.11848,
              0.13775,
              0.16979,
              0.22026,
              0.30079,
              0.45656
            ],
            [
              0.10808,
              0.1367,
              0.16051,
              0.20001,
              0.262,
              0.3559,
              0.51225
            ],
            [
              0.12064,
              0.1559,
              0.18527,
              0.23405,
              0.31059,
              0.42542,
              0.59612
            ],
            [
              0.13147,
              0.17497,
              0.21117,
              0.27137,
              0.36577,
              0.50697,
              0.71357
            ],
            [
              0.1381,
              0.1917,
              0.2363,
              0.3105,
              0.4268,
              0.601,
              0.8544
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.14653,
              0.17767,
              0.20764,
              0.26599,
              0.3802,
              0.60553,
              1.05317
            ],
            [
              0.14824,
              0.17944,
              0.20952,
              0.26814,
              0.38267,
              0.6083,
              1.05604
            ],
            [
              0.15033,
              0.1816,
              0.21184,
              0.2706,
              0.3854,
              0.61128,
              1.05912
            ],
            [
              0.15376,
              0.18507,
              0.21538,
              0.27436,
              0.38941,
              0.61555,
              1.06378
            ],
            [
              0.15936,
              0.19067,
              0.22102,
              0.28018,
              0.39555,
              0.62214,
              1.07061
            ],
            [
              0.16852,
              0.1998,
              0.23012,
              0.28935,
              0.40496,
              0.63195,
              1.08082
            ],
            [
              0.18334,
              0.21442,
              0.24466,
              0.30385,
              0.41956,
              0.64693,
              1.09643
            ],
            [
              0.20704,
              0.23777,
              0.26783,
              0.32678,
              0.44256,
              0.6701,
              1.11976
            ],
            [
              0.24615,
              0.27485,
              0.30437,
              0.36287,
              0.47792,
              0.70546,
              1.15525
            ],
            [
              0.29648,
              0.33116,
              0.36229,
              0.41901,
              0.5333,
              0.75999,
              1.20979
            ],
            [
              0.35688,
              0.399,
              0.4367,
              0.50362,
              0.61852,
              0.84362,
              1.29262
            ],
            [
              0.42917,
              0.48007,
              0.52597,
              0.60737,
              0.74437,
              0.97217,
              1.41867
            ],
            [
              0.5167,
              0.5776,
              0.6328,
              0.7316,
              0.8985,
              1.1652,
              1.6115
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.06208,
              0.0771,
              0.09186,
              0.1208,
              0.17711,
              0.28802,
              0.5087
            ],
            [
              0.06207,
              0.07708,
              0.09187,
              0.1208,
              0.1771,
              0.28802,
              0.50853
            ],
            [
              0.06205,
              0.07707,
              0.09186,
              0.1208,
              0.17711,
              0.28801,
              0.50851
            ],
            [
              0.06192,
              0.07705,
              0.09185,
              0.12079,
              0.17712,
              0.28798,
              0.50877
            ],
            [
              0.06327,
              0.07725,
              0.09176,
              0.12079,
              0.1771,
              0.28797,
              0.50869
            ],
            [
              0.0679,
              0.08044,
              0.09362,
              0.12102,
              0.1771,
              0.28802,
              0.50889
            ],
            [
              0.07725,
              0.08818,
              0.10008,
              0.12497,
              0.17763,
              0.28799,
              0.50841
            ],
            [
              0.09458,
              0.1036,
              0.11329,
              0.13568,
              0.18363,
              0.28834,
              0.50867
            ],
            [
              0.11495,
              0.1254,
              0.13617,
              0.15638,
              0.1996,
              0.29543,
              0.5087
            ],
            [
              0.14336,
              0.15435,
              0.16572,
              0.18825,
              0.23026,
              0.31719,
              0.51466
            ],
            [
              0.18217,
              0.19395,
              0.20629,
              0.23073,
              0.27686,
              0.36083,
              0.54061
            ],
            [
              0.23444,
              0.24744,
              0.26113,
              0.28827,
              0.3394,
              0.4317,
              0.5997
            ],
            [
              0.3046,
              0.3191,
              0.3347,
              0.3655,
              0.4237,
              0.527,
              0.706
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.14662,
              0.18728,
              0.22764,
              0.30744,
              0.46707,
              0.78606,
              1.42111
            ],
            [
              0.14627,
              0.18716,
              0.22737,
              0.30767,
              0.46708,
              0.78508,
              1.41952
            ],
            [
              0.14638,
              0.18725,
              0.22761,
              0.30779,
              0.46707,
              0.78476,
              1.42112
            ],
            [
              0.14621,
              0.18727,
              0.22745,
              0.30747,
              0.46688,
              0.78462,
              1.41976
            ],
            [
              0.14605,
              0.18696,
              0.22743,
              0.3076,
              0.46729,
              0.78559,
              1.41854
            ],
            [
              0.14614,
              0.18706,
              0.2272,
              0.3076,
              0.46754,
              0.78572,
              1.42064
            ],
            [
              0.14456,
              0.1865,
              0.2269,
              0.30777,
              0.4676,
              0.78522,
              1.42021
            ],
            [
              0.14554,
              0.18507,
              0.22529,
              0.30733,
              0.4672,
              0.78515,
              1.42033
            ],
            [
              0.1576,
              0.19366,
              0.23037,
              0.30715,
              0.46712,
              0.78554,
              1.41927
            ],
            [
              0.18631,
              0.2182,
              0.25173,
              0.32119,
              0.46892,
              0.78522,
              1.42008
            ],
            [
              0.21837,
              0.26066,
              0.2965,
              0.35899,
              0.49378,
              0.7882,
              1.4185
            ],
            [
              0.2605,
              0.3095,
              0.3526,
              0.4279,
              0.553,
              0.8208,
              1.4202
            ],
            [
              0.3144,
              0.3726,
              0.4235,
              0.5114,
              0.6582,
              0.9046,
              1.4549
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04401,
              0.05434,
              0.06429,
              0.08389,
              0.12276,
              0.20024,
              0.35506
            ],
            [
              0.0465,
              0.05701,
              0.06703,
              0.08676,
              0.12567,
              0.20326,
              0.358
            ],
            [
              0.0494,
              0.06007,
              0.07025,
              0.09009,
              0.1291,
              0.20674,
              0.36157
            ],
            [
              0.05338,
              0.06425,
              0.07455,
              0.09455,
              0.1337,
              0.21139,
              0.3663
            ],
            [
              0.05899,
              0.07001,
              0.08042,
              0.10059,
              0.13997,
              0.21783,
              0.3728
            ],
            [
              0.0664,
              0.07826,
              0.08885,
              0.10918,
              0.14876,
              0.2268,
              0.38198
            ],
            [
              0.0752,
              0.08857,
              0.10049,
              0.12175,
              0.16155,
              0.23984,
              0.39523
            ],
            [
              0.08601,
              0.1013,
              0.11476,
              0.13875,
              0.18061,
              0.25911,
              0.41477
            ],
            [
              0.09868,
              0.11675,
              0.1324,
              0.15982,
              0.20684,
              0.28794,
              0.44388
            ],
            [
              0.11252,
              0.13468,
              0.15354,
              0.1858,
              0.23966,
              0.32969,
              0.48739
            ],
            [
              0.12632,
              0.1542,
              0.17755,
              0.21679,
              0.28029,
              0.38278,
              0.55282
            ],
            [
              0.13805,
              0.17357,
              0.20307,
              0.25197,
              0.32917,
              0.44907,
              0.64037
            ],
            [
              0.1453,
              0.1907,
              0.2282,
              0.2897,
              0.3854,
              0.5299,
              0.7508
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.08257,
              0.10215,
              0.12134,
              0.15897,
              0.23358,
              0.38179,
              0.67734
            ],
            [
              0.08415,
              0.10396,
              0.12318,
              0.16101,
              0.23573,
              0.38398,
              0.67948
            ],
            [
              0.08646,
              0.10638,
              0.12573,
              0.16368,
              0.23851,
              0.38688,
              0.68251
            ],
            [
              0.09036,
              0.11041,
              0.12985,
              0.16798,
              0.24294,
              0.39147,
              0.6872
            ],
            [
              0.09685,
              0.11695,
              0.13647,
              0.17471,
              0.24988,
              0.3984,
              0.69439
            ],
            [
              0.10745,
              0.12744,
              0.14695,
              0.18525,
              0.26049,
              0.40939,
              0.70532
            ],
            [
              0.12442,
              0.14409,
              0.16348,
              0.20171,
              0.27702,
              0.42583,
              0.72213
            ],
            [
              0.149,
              0.17023,
              0.18925,
              0.22721,
              0.30239,
              0.45119,
              0.7476
            ],
            [
              0.17792,
              0.20413,
              0.22701,
              0.26644,
              0.34113,
              0.48994,
              0.78605
            ],
            [
              0.21204,
              0.24435,
              0.27247,
              0.32099,
              0.40033,
              0.54844,
              0.84409
            ],
            [
              0.25226,
              0.29174,
              0.32633,
              0.38614,
              0.48342,
              0.63752,
              0.93232
            ],
            [
              0.30047,
              0.34797,
              0.38997,
              0.46327,
              0.58327,
              0.76837,
              1.06597
            ],
            [
              0.3596,
              0.4159,
              0.4661,
              0.5547,
              0.7014,
              0.9297,
              1.268
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.028,
              0.04174,
              0.05553,
              0.08326,
              0.13855,
              0.24958,
              0.47214
            ],
            [
              0.02797,
              0.04171,
              0.05551,
              0.08327,
              0.13875,
              0.25008,
              0.47257
            ],
            [
              0.02801,
              0.04173,
              0.05544,
              0.08311,
              0.13875,
              0.25009,
              0.47186
            ],
            [
              0.02802,
              0.04169,
              0.0555,
              0.08326,
              0.13864,
              0.2497,
              0.4715
            ],
            [
              0.02851,
              0.04183,
              0.05553,
              0.08308,
              0.13877,
              0.24962,
              0.47136
            ],
            [
              0.03133,
              0.04358,
              0.0566,
              0.08343,
              0.13876,
              0.24956,
              0.47177
            ],
            [
              0.03627,
              0.04863,
              0.06059,
              0.08605,
              0.13937,
              0.24941,
              0.472
            ],
            [
              0.04278,
              0.05604,
              0.06886,
              0.0929,
              0.14327,
              0.25062,
              0.47229
            ],
            [
              0.05238,
              0.0667,
              0.08017,
              0.10567,
              0.15388,
              0.25567,
              0.47179
            ],
            [
              0.06649,
              0.0822,
              0.09665,
              0.12363,
              0.17395,
              0.27009,
              0.47769
            ],
            [
              0.08714,
              0.10466,
              0.12038,
              0.14926,
              0.20205,
              0.30023,
              0.49522
            ],
            [
              0.11735,
              0.13699,
              0.15454,
              0.18622,
              0.2428,
              0.3453,
              0.5349
            ],
            [
              0.1609,
              0.1831,
              0.2029,
              0.2382,
              0.3,
              0.4089,
              0.6062
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.0772,
              0.10479,
              0.13237,
              0.18729,
              0.29711,
              0.51613,
              0.95253
            ],
            [
              0.07706,
              0.10478,
              0.13227,
              0.18725,
              0.29707,
              0.51539,
              0.95475
            ],
            [
              0.0771,
              0.10485,
              0.13241,
              0.18737,
              0.29694,
              0.51602,
              0.9521
            ],
            [
              0.07691,
              0.10482,
              0.13239,
              0.18731,
              0.29705,
              0.51594,
              0.95342
            ],
            [
              0.07674,
              0.10465,
              0.13235,
              0.18736,
              0.29692,
              0.51604,
              0.95209
            ],
            [
              0.07631,
              0.10427,
              0.13217,
              0.18713,
              0.2969,
              0.51605,
              0.95515
            ],
            [
              0.08083,
              0.10612,
              0.13239,
              0.18697,
              0.29672,
              0.51604,
              0.95518
            ],
            [
              0.09333,
              0.11561,
              0.13941,
              0.18944,
              0.29674,
              0.51606,
              0.95518
            ],
            [
              0.11406,
              0.13691,
              0.15784,
              0.20269,
              0.30129,
              0.51552,
              0.95475
            ],
            [
              0.13705,
              0.16595,
              0.1912,
              0.23265,
              0.32076,
              0.51988,
              0.95461
            ],
            [
              0.16667,
              0.20151,
              0.23122,
              0.28164,
              0.3653,
              0.54415,
              0.9527
            ],
            [
              0.2036,
              0.2456,
              0.2818,
              0.3423,
              0.4408,
              0.6066,
              0.9791
            ],
            [
              0.249,
              0.3002,
              0.344,
              0.418,
              0.5366,
              0.719,
              1.0559
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04402,
              0.05436,
              0.0643,
              0.08391,
              0.12274,
              0.20018,
              0.35505
            ],
            [
              0.04655,
              0.05705,
              0.06711,
              0.08681,
              0.12573,
              0.20322,
              0.35816
            ],
            [
              0.04949,
              0.06015,
              0.07035,
              0.09019,
              0.12922,
              0.20682,
              0.36158
            ],
            [
              0.05352,
              0.0644,
              0.07469,
              0.09467,
              0.13387,
              0.21152,
              0.36645
            ],
            [
              0.05919,
              0.07022,
              0.08066,
              0.10081,
              0.14018,
              0.21805,
              0.37305
            ],
            [
              0.06666,
              0.07853,
              0.08912,
              0.10948,
              0.14903,
              0.2271,
              0.38226
            ],
            [
              0.0755,
              0.0889,
              0.10082,
              0.12206,
              0.16187,
              0.24018,
              0.39557
            ],
            [
              0.08632,
              0.10164,
              0.11512,
              0.13911,
              0.18096,
              0.25948,
              0.41515
            ],
            [
              0.09899,
              0.11709,
              0.13277,
              0.16021,
              0.20724,
              0.28831,
              0.44419
            ],
            [
              0.11283,
              0.13501,
              0.1539,
              0.18619,
              0.24007,
              0.3301,
              0.48779
            ],
            [
              0.12654,
              0.1545,
              0.17787,
              0.21715,
              0.28069,
              0.3832,
              0.55312
            ],
            [
              0.13818,
              0.17377,
              0.20327,
              0.25217,
              0.32947,
              0.44947,
              0.64087
            ],
            [
              0.1449,
              0.1905,
              0.228,
              0.2897,
              0.3855,
              0.5302,
              0.7512
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.0903,
              0.11228,
              0.13383,
              0.1762,
              0.26014,
              0.42688,
              0.75968
            ],
            [
              0.09168,
              0.1139,
              0.13549,
              0.17808,
              0.2621,
              0.42904,
              0.76181
            ],
            [
              0.09378,
              0.11614,
              0.13789,
              0.18058,
              0.26467,
              0.43174,
              0.76458
            ],
            [
              0.09738,
              0.1199,
              0.14175,
              0.18462,
              0.26899,
              0.43619,
              0.76916
            ],
            [
              0.10353,
              0.12609,
              0.14803,
              0.19105,
              0.27556,
              0.44302,
              0.7759
            ],
            [
              0.11371,
              0.13615,
              0.15809,
              0.20118,
              0.28597,
              0.45345,
              0.78664
            ],
            [
              0.13019,
              0.15225,
              0.17403,
              0.21705,
              0.30178,
              0.46947,
              0.80313
            ],
            [
              0.15537,
              0.17774,
              0.19908,
              0.24179,
              0.32639,
              0.49418,
              0.82779
            ],
            [
              0.18539,
              0.21305,
              0.23732,
              0.28002,
              0.36414,
              0.53163,
              0.86505
            ],
            [
              0.2209,
              0.25478,
              0.28446,
              0.33586,
              0.42186,
              0.58851,
              0.92169
            ],
            [
              0.26278,
              0.30413,
              0.34044,
              0.40344,
              0.50652,
              0.67542,
              1.00742
            ],
            [
              0.31307,
              0.36267,
              0.40677,
              0.48357,
              0.61007,
              0.80657,
              1.13777
            ],
            [
              0.3749,
              0.4335,
              0.486,
              0.5787,
              0.7328,
              0.9737,
              1.3356
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.028,
              0.0417,
              0.05545,
              0.08323,
              0.13881,
              0.24998,
              0.47154
            ],
            [
              0.02803,
              0.04172,
              0.05544,
              0.08326,
              0.13881,
              0.24984,
              0.47186
            ],
            [
              0.02803,
              0.04173,
              0.05543,
              0.08327,
              0.13882,
              0.25005,
              0.47216
            ],
            [
              0.02803,
              0.04168,
              0.05552,
              0.08307,
              0.13872,
              0.25004,
              0.47139
            ],
            [
              0.02849,
              0.04184,
              0.05553,
              0.08317,
              0.13847,
              0.24964,
              0.47227
            ],
            [
              0.03123,
              0.04351,
              0.05649,
              0.08338,
              0.13876,
              0.24978,
              0.47241
            ],
            [
              0.03615,
              0.04846,
              0.0605,
              0.08599,
              0.13935,
              0.2494,
              0.47205
            ],
            [
              0.04268,
              0.05596,
              0.06873,
              0.09264,
              0.14326,
              0.2506,
              0.47223
            ],
            [
              0.05225,
              0.06653,
              0.08001,
              0.10548,
              0.15374,
              0.25584,
              0.47244
            ],
            [
              0.06632,
              0.08204,
              0.09647,
              0.12342,
              0.17374,
              0.26997,
              0.47763
            ],
            [
              0.08696,
              0.10442,
              0.12012,
              0.149,
              0.20203,
              0.30012,
              0.49581
            ],
            [
              0.11698,
              0.13668,
              0.15429,
              0.18594,
              0.2425,
              0.3447,
              0.5348
            ],
            [
              0.1604,
              0.1828,
              0.2026,
              0.238,
              0.2999,
              0.4087,
              0.606
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.08825,
              0.11921,
              0.15009,
              0.21173,
              0.33387,
              0.57872,
              1.06411
            ],
            [
              0.08817,
              0.11933,
              0.15027,
              0.21157,
              0.33438,
              0.57804,
              1.06439
            ],
            [
              0.08801,
              0.11918,
              0.1502,
              0.21174,
              0.33442,
              0.57833,
              1.06415
            ],
            [
              0.088,
              0.1193,
              0.15016,
              0.21175,
              0.33393,
              0.57837,
              1.06559
            ],
            [
              0.08766,
              0.11904,
              0.15007,
              0.21177,
              0.33432,
              0.57795,
              1.06635
            ],
            [
              0.08674,
              0.11869,
              0.14964,
              0.2116,
              0.33412,
              0.5782,
              1.06499
            ],
            [
              0.08997,
              0.11921,
              0.14923,
              0.21143,
              0.33362,
              0.5786,
              1.06666
            ],
            [
              0.10129,
              0.12735,
              0.15473,
              0.2122,
              0.33397,
              0.57874,
              1.06667
            ],
            [
              0.12284,
              0.14698,
              0.1712,
              0.2233,
              0.33553,
              0.5778,
              1.06671
            ],
            [
              0.14526,
              0.17703,
              0.20408,
              0.25061,
              0.35212,
              0.57978,
              1.0667
            ],
            [
              0.17497,
              0.21242,
              0.2444,
              0.29993,
              0.39312,
              0.60008,
              1.0653
            ],
            [
              0.2122,
              0.2568,
              0.2954,
              0.3609,
              0.468,
              0.6559,
              1.0817
            ],
            [
              0.2579,
              0.312,
              0.3582,
              0.4374,
              0.565,
              0.7632,
              1.1517
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04403,
              0.05435,
              0.06431,
              0.08392,
              0.12274,
              0.20022,
              0.35505
            ],
            [
              0.04656,
              0.05706,
              0.06713,
              0.08682,
              0.12575,
              0.20322,
              0.35815
            ],
            [
              0.0495,
              0.06016,
              0.07036,
              0.09021,
              0.12922,
              0.20686,
              0.36157
            ],
            [
              0.05353,
              0.06441,
              0.0747,
              0.09469,
              0.13386,
              0.21154,
              0.36645
            ],
            [
              0.0592,
              0.07022,
              0.08066,
              0.10082,
              0.14019,
              0.21806,
              0.37295
            ],
            [
              0.06665,
              0.07853,
              0.08911,
              0.10947,
              0.14903,
              0.22709,
              0.38226
            ],
            [
              0.07549,
              0.08889,
              0.10082,
              0.12205,
              0.16186,
              0.24017,
              0.39556
            ],
            [
              0.08631,
              0.10163,
              0.11511,
              0.1391,
              0.18094,
              0.25947,
              0.41514
            ],
            [
              0.09897,
              0.11708,
              0.13275,
              0.16019,
              0.20722,
              0.28829,
              0.44424
            ],
            [
              0.11281,
              0.13499,
              0.15385,
              0.18617,
              0.24005,
              0.33014,
              0.48778
            ],
            [
              0.12652,
              0.15448,
              0.17785,
              0.21713,
              0.28067,
              0.38317,
              0.55312
            ],
            [
              0.13816,
              0.17377,
              0.20327,
              0.25217,
              0.32947,
              0.44937,
              0.64087
            ],
            [
              0.1449,
              0.1905,
              0.228,
              0.2897,
              0.3855,
              0.5301,
              0.7512
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.09007,
              0.11189,
              0.13326,
              0.17534,
              0.25855,
              0.42418,
              0.75419
            ],
            [
              0.09146,
              0.11352,
              0.13494,
              0.17716,
              0.26053,
              0.42618,
              0.75616
            ],
            [
              0.09357,
              0.11576,
              0.13734,
              0.1797,
              0.26318,
              0.42882,
              0.759
            ],
            [
              0.09718,
              0.11953,
              0.14122,
              0.18376,
              0.26745,
              0.43334,
              0.76367
            ],
            [
              0.10335,
              0.12574,
              0.14751,
              0.1902,
              0.2741,
              0.44008,
              0.77071
            ],
            [
              0.11354,
              0.13583,
              0.1576,
              0.20036,
              0.28445,
              0.45059,
              0.78117
            ],
            [
              0.13004,
              0.15196,
              0.17357,
              0.21619,
              0.30029,
              0.46665,
              0.79781
            ],
            [
              0.15517,
              0.17747,
              0.19866,
              0.24106,
              0.32502,
              0.49151,
              0.82248
            ],
            [
              0.18512,
              0.21271,
              0.23689,
              0.27936,
              0.36283,
              0.52905,
              0.85995
            ],
            [
              0.22055,
              0.25434,
              0.28394,
              0.33515,
              0.42068,
              0.58607,
              0.91659
            ],
            [
              0.26232,
              0.30357,
              0.33979,
              0.4026,
              0.50532,
              0.67322,
              1.00262
            ],
            [
              0.31257,
              0.36197,
              0.40597,
              0.48257,
              0.60867,
              0.80437,
              1.13317
            ],
            [
              0.3742,
              0.4327,
              0.485,
              0.5775,
              0.7312,
              0.9713,
              1.3314
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.028,
              0.0417,
              0.05543,
              0.08325,
              0.13879,
              0.25004,
              0.47149
            ],
            [
              0.02799,
              0.04172,
              0.05547,
              0.08326,
              0.13881,
              0.24992,
              0.4718
            ],
            [
              0.02802,
              0.04173,
              0.05545,
              0.08327,
              0.13862,
              0.25001,
              0.47245
            ],
            [
              0.02803,
              0.04167,
              0.05551,
              0.08307,
              0.1388,
              0.25004,
              0.47157
            ],
            [
              0.02848,
              0.04183,
              0.05552,
              0.08314,
              0.13864,
              0.24999,
              0.47234
            ],
            [
              0.03122,
              0.04357,
              0.05652,
              0.08337,
              0.13876,
              0.25004,
              0.47227
            ],
            [
              0.03615,
              0.04846,
              0.06051,
              0.08599,
              0.13934,
              0.24941,
              0.47207
            ],
            [
              0.04268,
              0.05596,
              0.06874,
              0.09273,
              0.14332,
              0.2506,
              0.47211
            ],
            [
              0.05226,
              0.06649,
              0.08002,
              0.10549,
              0.15374,
              0.25582,
              0.47214
            ],
            [
              0.06638,
              0.08195,
              0.09647,
              0.12342,
              0.17374,
              0.27004,
              0.47755
            ],
            [
              0.08697,
              0.10443,
              0.12013,
              0.14902,
              0.20206,
              0.30005,
              0.49573
            ],
            [
              0.11701,
              0.13661,
              0.15432,
              0.18597,
              0.2426,
              0.3449,
              0.5347
            ],
            [
              0.1604,
              0.1828,
              0.2026,
              0.238,
              0.2999,
              0.4086,
              0.606
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.08747,
              0.11814,
              0.14885,
              0.20986,
              0.33167,
              0.57314,
              1.0594
            ],
            [
              0.08739,
              0.11828,
              0.14891,
              0.20999,
              0.33142,
              0.5741,
              1.05862
            ],
            [
              0.08734,
              0.11804,
              0.14878,
              0.2099,
              0.3316,
              0.57436,
              1.05893
            ],
            [
              0.08721,
              0.11818,
              0.14884,
              0.20976,
              0.33166,
              0.57404,
              1.05671
            ],
            [
              0.0869,
              0.11798,
              0.14874,
              0.20993,
              0.33169,
              0.57435,
              1.05822
            ],
            [
              0.08599,
              0.11767,
              0.1484,
              0.20966,
              0.33155,
              0.57421,
              1.0592
            ],
            [
              0.08937,
              0.1183,
              0.148,
              0.20967,
              0.33145,
              0.57436,
              1.05746
            ],
            [
              0.1008,
              0.12656,
              0.1536,
              0.2105,
              0.33127,
              0.5741,
              1.05892
            ],
            [
              0.12231,
              0.1463,
              0.17021,
              0.2218,
              0.33354,
              0.5731,
              1.05883
            ],
            [
              0.1448,
              0.17634,
              0.20329,
              0.2494,
              0.35029,
              0.57572,
              1.0587
            ],
            [
              0.17447,
              0.21177,
              0.24363,
              0.29874,
              0.3913,
              0.59525,
              1.0562
            ],
            [
              0.2118,
              0.2562,
              0.2945,
              0.3597,
              0.4662,
              0.6525,
              1.0749
            ],
            [
              0.2573,
              0.3113,
              0.3573,
              0.4362,
              0.5632,
              0.7602,
              1.1444
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04406,
              0.05439,
              0.06434,
              0.08392,
              0.12279,
              0.20024,
              0.35497
            ],
            [
              0.04663,
              0.05715,
              0.06721,
              0.08692,
              0.12584,
              0.20333,
              0.35799
            ],
            [
              0.04968,
              0.06037,
              0.07054,
              0.09036,
              0.12942,
              0.20693,
              0.36177
            ],
            [
              0.0538,
              0.06471,
              0.07501,
              0.09498,
              0.13415,
              0.21182,
              0.36667
            ],
            [
              0.0596,
              0.07064,
              0.08109,
              0.10125,
              0.14061,
              0.21842,
              0.3733
            ],
            [
              0.06725,
              0.07911,
              0.0897,
              0.11007,
              0.14961,
              0.22763,
              0.38284
            ],
            [
              0.07624,
              0.08966,
              0.1016,
              0.1228,
              0.16261,
              0.24086,
              0.39628
            ],
            [
              0.08719,
              0.10256,
              0.11606,
              0.14004,
              0.18183,
              0.26034,
              0.41602
            ],
            [
              0.09993,
              0.11813,
              0.13382,
              0.16127,
              0.20827,
              0.28927,
              0.44518
            ],
            [
              0.11382,
              0.13612,
              0.15502,
              0.18736,
              0.24122,
              0.3312,
              0.4888
            ],
            [
              0.12755,
              0.1555,
              0.17893,
              0.21829,
              0.2819,
              0.38438,
              0.55422
            ],
            [
              0.13883,
              0.17447,
              0.20407,
              0.25307,
              0.33057,
              0.45057,
              0.64207
            ],
            [
              0.1443,
              0.1902,
              0.2279,
              0.2898,
              0.3861,
              0.5311,
              0.7523
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.1137,
              0.14345,
              0.17263,
              0.23031,
              0.34459,
              0.57197,
              1.02537
            ],
            [
              0.11453,
              0.14457,
              0.1739,
              0.23175,
              0.34624,
              0.57369,
              1.02714
            ],
            [
              0.11598,
              0.14628,
              0.17577,
              0.23383,
              0.34842,
              0.57595,
              1.02962
            ],
            [
              0.11883,
              0.14932,
              0.17899,
              0.2373,
              0.3522,
              0.57998,
              1.03378
            ],
            [
              0.12403,
              0.15454,
              0.18437,
              0.2429,
              0.35807,
              0.58613,
              1.04011
            ],
            [
              0.13307,
              0.16341,
              0.19321,
              0.2519,
              0.3674,
              0.5958,
              1.05002
            ],
            [
              0.1482,
              0.17801,
              0.2076,
              0.26618,
              0.38173,
              0.61041,
              1.06493
            ],
            [
              0.17312,
              0.2016,
              0.23067,
              0.28884,
              0.40428,
              0.63306,
              1.08786
            ],
            [
              0.20678,
              0.23895,
              0.2673,
              0.3243,
              0.43909,
              0.66744,
              1.12235
            ],
            [
              0.24644,
              0.28526,
              0.31962,
              0.37988,
              0.4929,
              0.72029,
              1.17479
            ],
            [
              0.29351,
              0.34041,
              0.38197,
              0.45472,
              0.57602,
              0.80152,
              1.25432
            ],
            [
              0.35007,
              0.40617,
              0.45607,
              0.54397,
              0.69017,
              0.92567,
              1.37597
            ],
            [
              0.4199,
              0.4858,
              0.545,
              0.6502,
              0.8266,
              1.1067,
              1.5618
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.02805,
              0.04171,
              0.05554,
              0.08325,
              0.13848,
              0.2497,
              0.47229
            ],
            [
              0.02802,
              0.04173,
              0.05555,
              0.08311,
              0.13871,
              0.24991,
              0.47238
            ],
            [
              0.028,
              0.04175,
              0.05557,
              0.08327,
              0.13866,
              0.24985,
              0.47137
            ],
            [
              0.02806,
              0.04176,
              0.05556,
              0.0831,
              0.13882,
              0.2498,
              0.47137
            ],
            [
              0.02847,
              0.04173,
              0.05557,
              0.0831,
              0.13847,
              0.24957,
              0.47238
            ],
            [
              0.03109,
              0.0435,
              0.05645,
              0.0834,
              0.13872,
              0.24993,
              0.47143
            ],
            [
              0.03606,
              0.04831,
              0.0603,
              0.08575,
              0.13926,
              0.2499,
              0.47241
            ],
            [
              0.04242,
              0.05569,
              0.06839,
              0.09237,
              0.14303,
              0.25053,
              0.47202
            ],
            [
              0.05195,
              0.06613,
              0.07956,
              0.10497,
              0.15336,
              0.2555,
              0.47243
            ],
            [
              0.06592,
              0.08135,
              0.09575,
              0.12276,
              0.17298,
              0.26964,
              0.47766
            ],
            [
              0.08626,
              0.10367,
              0.11936,
              0.14826,
              0.20118,
              0.29942,
              0.49544
            ],
            [
              0.11593,
              0.13565,
              0.15319,
              0.18507,
              0.2417,
              0.3438,
              0.5342
            ],
            [
              0.1586,
              0.1814,
              0.2014,
              0.237,
              0.2988,
              0.4077,
              0.6061
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.1257,
              0.16783,
              0.20936,
              0.29195,
              0.45552,
              0.78048,
              1.43043
            ],
            [
              0.12541,
              0.16769,
              0.20914,
              0.29193,
              0.45563,
              0.78095,
              1.43215
            ],
            [
              0.12527,
              0.16748,
              0.20929,
              0.29194,
              0.45573,
              0.78146,
              1.43213
            ],
            [
              0.12484,
              0.1673,
              0.20923,
              0.2915,
              0.45577,
              0.78185,
              1.43126
            ],
            [
              0.1242,
              0.16695,
              0.2089,
              0.29187,
              0.45573,
              0.78139,
              1.43212
            ],
            [
              0.123,
              0.16623,
              0.20841,
              0.29129,
              0.45576,
              0.7813,
              1.43195
            ],
            [
              0.12258,
              0.16421,
              0.20726,
              0.29097,
              0.45559,
              0.7807,
              1.43142
            ],
            [
              0.1303,
              0.16827,
              0.20788,
              0.28936,
              0.45477,
              0.78186,
              1.43218
            ],
            [
              0.14858,
              0.18339,
              0.21914,
              0.29427,
              0.45381,
              0.78039,
              1.43218
            ],
            [
              0.17376,
              0.21348,
              0.24637,
              0.31466,
              0.46071,
              0.78076,
              1.43196
            ],
            [
              0.20179,
              0.24842,
              0.28989,
              0.35768,
              0.49117,
              0.7872,
              1.4314
            ],
            [
              0.2389,
              0.2927,
              0.34,
              0.4219,
              0.5562,
              0.8269,
              1.4338
            ],
            [
              0.2859,
              0.3488,
              0.4041,
              0.4995,
              0.657,
              0.9173,
              1.4721
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04511,
              0.05543,
              0.06536,
              0.08497,
              0.12392,
              0.20146,
              0.35634
            ],
            [
              0.04763,
              0.05814,
              0.06818,
              0.0879,
              0.12689,
              0.20451,
              0.35943
            ],
            [
              0.0506,
              0.06129,
              0.07143,
              0.09129,
              0.13037,
              0.20804,
              0.36301
            ],
            [
              0.05464,
              0.0655,
              0.0758,
              0.09581,
              0.13503,
              0.21282,
              0.36782
            ],
            [
              0.06033,
              0.07134,
              0.08175,
              0.10197,
              0.14138,
              0.21932,
              0.37441
            ],
            [
              0.06792,
              0.07966,
              0.09026,
              0.11066,
              0.15027,
              0.2284,
              0.3837
            ],
            [
              0.07696,
              0.09023,
              0.10206,
              0.12326,
              0.16317,
              0.24153,
              0.39697
            ],
            [
              0.08806,
              0.10317,
              0.11654,
              0.14043,
              0.18224,
              0.26093,
              0.41665
            ],
            [
              0.10111,
              0.11891,
              0.13448,
              0.16174,
              0.20865,
              0.28983,
              0.44591
            ],
            [
              0.11558,
              0.13736,
              0.15598,
              0.18807,
              0.24173,
              0.33166,
              0.48964
            ],
            [
              0.13027,
              0.15758,
              0.1806,
              0.21951,
              0.28276,
              0.38507,
              0.55502
            ],
            [
              0.14338,
              0.17797,
              0.20697,
              0.25537,
              0.33207,
              0.45177,
              0.64297
            ],
            [
              0.1524,
              0.1965,
              0.2331,
              0.2939,
              0.389,
              0.5331,
              0.7538
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.1213,
              0.14362,
              0.16548,
              0.2086,
              0.29409,
              0.46376,
              0.8016
            ],
            [
              0.12294,
              0.14529,
              0.16724,
              0.21056,
              0.2961,
              0.46574,
              0.80379
            ],
            [
              0.12521,
              0.14767,
              0.16968,
              0.21309,
              0.29868,
              0.46844,
              0.80653
            ],
            [
              0.12901,
              0.15158,
              0.17367,
              0.21718,
              0.30299,
              0.47291,
              0.81095
            ],
            [
              0.13526,
              0.15792,
              0.18008,
              0.2237,
              0.30961,
              0.47972,
              0.81804
            ],
            [
              0.14534,
              0.16798,
              0.19019,
              0.23384,
              0.31993,
              0.49008,
              0.82852
            ],
            [
              0.16134,
              0.18385,
              0.20598,
              0.24968,
              0.33581,
              0.50614,
              0.84502
            ],
            [
              0.18648,
              0.20876,
              0.23078,
              0.27433,
              0.36043,
              0.53091,
              0.86966
            ],
            [
              0.22349,
              0.24749,
              0.26906,
              0.31221,
              0.39798,
              0.56829,
              0.90695
            ],
            [
              0.26782,
              0.29699,
              0.32339,
              0.37045,
              0.45549,
              0.62511,
              0.96349
            ],
            [
              0.32023,
              0.35599,
              0.38832,
              0.44572,
              0.54272,
              0.71182,
              1.04912
            ],
            [
              0.38247,
              0.42577,
              0.46517,
              0.53557,
              0.65427,
              0.84367,
              1.17937
            ],
            [
              0.4573,
              0.5091,
              0.5565,
              0.6418,
              0.787,
              1.0192,
              1.377
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04817,
              0.06179,
              0.07545,
              0.1029,
              0.15798,
              0.26854,
              0.48961
            ],
            [
              0.04817,
              0.06179,
              0.07546,
              0.10289,
              0.15797,
              0.26854,
              0.49019
            ],
            [
              0.04817,
              0.06179,
              0.07545,
              0.10291,
              0.15795,
              0.2687,
              0.49044
            ],
            [
              0.04817,
              0.06177,
              0.07544,
              0.10288,
              0.15794,
              0.26852,
              0.48989
            ],
            [
              0.04861,
              0.06188,
              0.07546,
              0.10288,
              0.15799,
              0.26871,
              0.4906
            ],
            [
              0.05122,
              0.06364,
              0.07649,
              0.10307,
              0.15801,
              0.26861,
              0.48994
            ],
            [
              0.05692,
              0.06822,
              0.08034,
              0.10564,
              0.15852,
              0.26871,
              0.48999
            ],
            [
              0.06576,
              0.07748,
              0.0888,
              0.11227,
              0.16266,
              0.26923,
              0.48992
            ],
            [
              0.07795,
              0.09015,
              0.10221,
              0.12585,
              0.17276,
              0.27476,
              0.49045
            ],
            [
              0.09562,
              0.10845,
              0.12112,
              0.14568,
              0.19332,
              0.2889,
              0.49648
            ],
            [
              0.12149,
              0.135,
              0.1483,
              0.17413,
              0.22361,
              0.31829,
              0.51348
            ],
            [
              0.15915,
              0.1733,
              0.18729,
              0.21461,
              0.2668,
              0.365,
              0.5532
            ],
            [
              0.2132,
              0.228,
              0.243,
              0.2723,
              0.328,
              0.4313,
              0.6251
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.11297,
              0.14509,
              0.17672,
              0.2397,
              0.36409,
              0.61348,
              1.10933
            ],
            [
              0.11283,
              0.14508,
              0.17678,
              0.23941,
              0.36462,
              0.61351,
              1.10998
            ],
            [
              0.11286,
              0.14508,
              0.17676,
              0.23959,
              0.36424,
              0.61273,
              1.10986
            ],
            [
              0.11287,
              0.14508,
              0.17673,
              0.23945,
              0.36468,
              0.6132,
              1.10707
            ],
            [
              0.11277,
              0.14497,
              0.17651,
              0.2397,
              0.36467,
              0.61235,
              1.10984
            ],
            [
              0.11256,
              0.14483,
              0.17664,
              0.23939,
              0.36439,
              0.61305,
              1.10954
            ],
            [
              0.1122,
              0.14415,
              0.17633,
              0.23946,
              0.36469,
              0.61306,
              1.10754
            ],
            [
              0.11859,
              0.14782,
              0.1776,
              0.23889,
              0.36452,
              0.61358,
              1.10721
            ],
            [
              0.13603,
              0.16242,
              0.18952,
              0.24553,
              0.36475,
              0.61273,
              1.10982
            ],
            [
              0.16453,
              0.19367,
              0.21798,
              0.26865,
              0.37709,
              0.61325,
              1.10985
            ],
            [
              0.19767,
              0.23237,
              0.26291,
              0.31533,
              0.4132,
              0.62967,
              1.1069
            ],
            [
              0.2397,
              0.2814,
              0.3176,
              0.3805,
              0.4845,
              0.6799,
              1.1223
            ],
            [
              0.2921,
              0.3421,
              0.3858,
              0.4615,
              0.5858,
              0.784,
              1.1845
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04512,
              0.05544,
              0.06541,
              0.08499,
              0.12393,
              0.20148,
              0.35637
            ],
            [
              0.04771,
              0.05822,
              0.06828,
              0.08799,
              0.12697,
              0.20459,
              0.3595
            ],
            [
              0.05074,
              0.06146,
              0.07161,
              0.09144,
              0.13053,
              0.20821,
              0.36314
            ],
            [
              0.05489,
              0.06576,
              0.07608,
              0.09606,
              0.13529,
              0.21307,
              0.36807
            ],
            [
              0.06069,
              0.07172,
              0.08216,
              0.10236,
              0.14176,
              0.21969,
              0.37482
            ],
            [
              0.06847,
              0.08019,
              0.09081,
              0.11117,
              0.15081,
              0.22895,
              0.3842
            ],
            [
              0.07763,
              0.09092,
              0.10276,
              0.12394,
              0.16385,
              0.24222,
              0.39766
            ],
            [
              0.08883,
              0.104,
              0.11738,
              0.1413,
              0.18305,
              0.26173,
              0.41742
            ],
            [
              0.102,
              0.11986,
              0.13542,
              0.16273,
              0.20958,
              0.29071,
              0.44679
            ],
            [
              0.11649,
              0.13835,
              0.15703,
              0.18913,
              0.24282,
              0.33263,
              0.49057
            ],
            [
              0.13117,
              0.15847,
              0.18156,
              0.22055,
              0.28385,
              0.38615,
              0.55602
            ],
            [
              0.14388,
              0.17857,
              0.20767,
              0.25617,
              0.33307,
              0.45277,
              0.64407
            ],
            [
              0.1517,
              0.196,
              0.2329,
              0.2941,
              0.3895,
              0.5339,
              0.7548
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.15357,
              0.18311,
              0.21215,
              0.26962,
              0.38341,
              0.60946,
              1.05997
            ],
            [
              0.15476,
              0.18439,
              0.21356,
              0.27108,
              0.38502,
              0.61095,
              1.06184
            ],
            [
              0.15657,
              0.18635,
              0.21558,
              0.27328,
              0.38732,
              0.61359,
              1.06432
            ],
            [
              0.15973,
              0.18967,
              0.21901,
              0.27686,
              0.391,
              0.61762,
              1.06828
            ],
            [
              0.16516,
              0.19517,
              0.22463,
              0.28259,
              0.39713,
              0.62384,
              1.07491
            ],
            [
              0.17412,
              0.20416,
              0.23366,
              0.29182,
              0.40651,
              0.63347,
              1.08462
            ],
            [
              0.18867,
              0.21858,
              0.24804,
              0.30619,
              0.42095,
              0.64822,
              1.09993
            ],
            [
              0.21204,
              0.24155,
              0.27081,
              0.32887,
              0.44358,
              0.67104,
              1.12276
            ],
            [
              0.24945,
              0.27782,
              0.30662,
              0.36413,
              0.47849,
              0.70565,
              1.15745
            ],
            [
              0.29824,
              0.3318,
              0.36243,
              0.41886,
              0.53226,
              0.75859,
              1.21019
            ],
            [
              0.3564,
              0.39699,
              0.4338,
              0.50002,
              0.61502,
              0.83992,
              1.29002
            ],
            [
              0.42557,
              0.47437,
              0.51897,
              0.59887,
              0.73557,
              0.96427,
              1.41217
            ],
            [
              0.509,
              0.567,
              0.6203,
              0.7166,
              0.8818,
              1.1495,
              1.5985
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04789,
              0.06151,
              0.07519,
              0.10263,
              0.15769,
              0.26835,
              0.49
            ],
            [
              0.04791,
              0.06149,
              0.07518,
              0.10265,
              0.15765,
              0.26832,
              0.48979
            ],
            [
              0.04792,
              0.06151,
              0.07518,
              0.10264,
              0.15774,
              0.26853,
              0.48998
            ],
            [
              0.0479,
              0.06153,
              0.07519,
              0.10262,
              0.15772,
              0.26831,
              0.48988
            ],
            [
              0.04829,
              0.06156,
              0.07522,
              0.10264,
              0.15763,
              0.26833,
              0.48996
            ],
            [
              0.05083,
              0.06326,
              0.07616,
              0.10281,
              0.15774,
              0.26835,
              0.48986
            ],
            [
              0.05644,
              0.06778,
              0.07987,
              0.10529,
              0.1582,
              0.26838,
              0.48949
            ],
            [
              0.0652,
              0.0769,
              0.08823,
              0.11173,
              0.16221,
              0.26881,
              0.49013
            ],
            [
              0.07721,
              0.08936,
              0.10144,
              0.1252,
              0.1722,
              0.27422,
              0.49003
            ],
            [
              0.09474,
              0.10748,
              0.12014,
              0.14476,
              0.19253,
              0.28833,
              0.49568
            ],
            [
              0.12034,
              0.13383,
              0.14707,
              0.17295,
              0.22267,
              0.31748,
              0.51333
            ],
            [
              0.1577,
              0.17185,
              0.18596,
              0.21335,
              0.2657,
              0.3643,
              0.5524
            ],
            [
              0.211,
              0.2262,
              0.2415,
              0.2709,
              0.3267,
              0.4307,
              0.624
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.15655,
              0.19878,
              0.24038,
              0.32267,
              0.48647,
              0.81143,
              1.45982
            ],
            [
              0.15621,
              0.19876,
              0.24014,
              0.32286,
              0.48644,
              0.8113,
              1.45785
            ],
            [
              0.15615,
              0.19866,
              0.24039,
              0.32289,
              0.48644,
              0.81181,
              1.45753
            ],
            [
              0.15624,
              0.19862,
              0.24018,
              0.32236,
              0.48627,
              0.81065,
              1.45949
            ],
            [
              0.1559,
              0.19851,
              0.24024,
              0.32256,
              0.48637,
              0.81166,
              1.45875
            ],
            [
              0.15549,
              0.19812,
              0.24006,
              0.32271,
              0.48643,
              0.81039,
              1.4598
            ],
            [
              0.15424,
              0.19733,
              0.23956,
              0.32211,
              0.48638,
              0.81138,
              1.45984
            ],
            [
              0.15601,
              0.1967,
              0.238,
              0.32163,
              0.48607,
              0.81181,
              1.45962
            ],
            [
              0.16902,
              0.20616,
              0.24408,
              0.32212,
              0.48475,
              0.8113,
              1.45928
            ],
            [
              0.19753,
              0.23166,
              0.26629,
              0.33782,
              0.48854,
              0.81008,
              1.45895
            ],
            [
              0.23032,
              0.27327,
              0.3107,
              0.37648,
              0.51468,
              0.8152,
              1.4589
            ],
            [
              0.272,
              0.3218,
              0.3658,
              0.4438,
              0.5751,
              0.8499,
              1.4605
            ],
            [
              0.3253,
              0.3837,
              0.4352,
              0.5257,
              0.6775,
              0.9365,
              1.4969
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.04514,
              0.05544,
              0.0654,
              0.08501,
              0.12394,
              0.20153,
              0.35641
            ],
            [
              0.04774,
              0.05824,
              0.06829,
              0.08801,
              0.127,
              0.20463,
              0.35952
            ],
            [
              0.05076,
              0.06146,
              0.07163,
              0.09148,
              0.13055,
              0.20824,
              0.36319
            ],
            [
              0.05492,
              0.06582,
              0.07611,
              0.09609,
              0.13534,
              0.2131,
              0.36816
            ],
            [
              0.06072,
              0.07175,
              0.0822,
              0.10238,
              0.14182,
              0.21972,
              0.37484
            ],
            [
              0.06849,
              0.08021,
              0.09082,
              0.1112,
              0.15084,
              0.22896,
              0.38424
            ],
            [
              0.07764,
              0.09093,
              0.10276,
              0.12395,
              0.16387,
              0.24224,
              0.39771
            ],
            [
              0.08884,
              0.104,
              0.11741,
              0.14127,
              0.18305,
              0.26174,
              0.41744
            ],
            [
              0.10197,
              0.11989,
              0.13543,
              0.16272,
              0.20957,
              0.2907,
              0.44679
            ],
            [
              0.11646,
              0.13829,
              0.157,
              0.18911,
              0.24281,
              0.33263,
              0.49057
            ],
            [
              0.13105,
              0.15843,
              0.18151,
              0.22052,
              0.28383,
              0.38613,
              0.55602
            ],
            [
              0.14382,
              0.17857,
              0.20757,
              0.25607,
              0.33307,
              0.45277,
              0.64407
            ],
            [
              0.1516,
              0.196,
              0.2329,
              0.294,
              0.3895,
              0.5339,
              0.7548
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.1837,
              0.21333,
              0.24237,
              0.29953,
              0.4123,
              0.63533,
              1.07857
            ],
            [
              0.18493,
              0.21463,
              0.24377,
              0.30106,
              0.41387,
              0.63698,
              1.08034
            ],
            [
              0.18687,
              0.21668,
              0.24593,
              0.30327,
              0.41621,
              0.63943,
              1.08282
            ],
            [
              0.19026,
              0.22018,
              0.24945,
              0.30697,
              0.42009,
              0.64355,
              1.08698
            ],
            [
              0.19594,
              0.22592,
              0.25527,
              0.31294,
              0.4262,
              0.64977,
              1.09351
            ],
            [
              0.20517,
              0.23516,
              0.26454,
              0.32226,
              0.43576,
              0.6596,
              1.10342
            ],
            [
              0.21988,
              0.24982,
              0.27915,
              0.3369,
              0.45045,
              0.67448,
              1.11873
            ],
            [
              0.24306,
              0.27291,
              0.30218,
              0.35985,
              0.47336,
              0.69753,
              1.14176
            ],
            [
              0.27934,
              0.30884,
              0.33791,
              0.3953,
              0.50858,
              0.73249,
              1.17685
            ],
            [
              0.33434,
              0.36515,
              0.39336,
              0.45,
              0.56266,
              0.78599,
              1.22989
            ],
            [
              0.40114,
              0.43808,
              0.47212,
              0.53402,
              0.64572,
              0.86792,
              1.31082
            ],
            [
              0.48057,
              0.52517,
              0.56627,
              0.64097,
              0.77007,
              0.99297,
              1.43377
            ],
            [
              0.5754,
              0.6287,
              0.6782,
              0.7683,
              0.9246,
              1.1815,
              1.6216
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.0619,
              0.07694,
              0.09172,
              0.12068,
              0.17698,
              0.28791,
              0.50864
            ],
            [
              0.06191,
              0.07694,
              0.09172,
              0.12068,
              0.17698,
              0.28784,
              0.50876
            ],
            [
              0.06192,
              0.07694,
              0.09172,
              0.12067,
              0.17696,
              0.28788,
              0.5088
            ],
            [
              0.06191,
              0.07691,
              0.09172,
              0.12067,
              0.17699,
              0.28783,
              0.50862
            ],
            [
              0.06228,
              0.077,
              0.09172,
              0.12065,
              0.17697,
              0.28783,
              0.50869
            ],
            [
              0.06483,
              0.07867,
              0.09268,
              0.12083,
              0.17697,
              0.28784,
              0.50873
            ],
            [
              0.07053,
              0.08323,
              0.09641,
              0.1233,
              0.17754,
              0.28788,
              0.50845
            ],
            [
              0.08257,
              0.09341,
              0.10479,
              0.12977,
              0.1815,
              0.2885,
              0.50876
            ],
            [
              0.0976,
              0.10893,
              0.12056,
              0.14362,
              0.19146,
              0.29374,
              0.5089
            ],
            [
              0.11857,
              0.13015,
              0.14192,
              0.16558,
              0.21219,
              0.30766,
              0.51432
            ],
            [
              0.14842,
              0.16005,
              0.17211,
              0.19636,
              0.2442,
              0.33684,
              0.53185
            ],
            [
              0.19124,
              0.2028,
              0.215,
              0.24006,
              0.2894,
              0.3852,
              0.5711
            ],
            [
              0.2528,
              0.2637,
              0.2761,
              0.3019,
              0.3534,
              0.4531,
              0.6435
            ]
          ]
        },
        "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.00473,
            0.00945,
            0.01889,
            0.03778,
            0.07557,
            0.15114
          ],
          "values": [
            [
              0.18051,
              0.22219,
              0.26335,
              0.34451,
              0.50588,
              0.82653,
              1.46601
            ],
            [
              0.18051,
              0.2222,
              0.26299,
              0.34444,
              0.50544,
              0.82671,
              1.46586
            ],
            [
              0.18045,
              0.22219,
              0.26318,
              0.34451,
              0.5058,
              0.82698,
              1.46605
            ],
            [
              0.18033,
              0.22214,
              0.26319,
              0.34444,
              0.50607,
              0.82705,
              1.4656
            ],
            [
              0.18042,
              0.22218,
              0.26327,
              0.34449,
              0.50597,
              0.8268,
              1.46641
            ],
            [
              0.1802,
              0.22207,
              0.26323,
              0.34464,
              0.50592,
              0.82693,
              1.4653
            ],
            [
              0.17954,
              0.22168,
              0.26305,
              0.34448,
              0.50556,
              0.82668,
              1.46633
            ],
            [
              0.17846,
              0.22009,
              0.26214,
              0.34423,
              0.50592,
              0.82582,
              1.46464
            ],
            [
              0.18677,
              0.22516,
              0.26396,
              0.34328,
              0.50583,
              0.82629,
              1.4649
            ],
            [
              0.21034,
              0.24578,
              0.28152,
              0.35451,
              0.50712,
              0.8266,
              1.46586
            ],
            [
              0.24874,
              0.28896,
              0.32206,
              0.38899,
              0.5287,
              0.8278,
              1.466
            ],
            [
              0.2933,
              0.3399,
              0.3817,
              0.4559,
              0.5847,
              0.8604,
              1.4662
            ],
            [
              0.3506,
              0.4057,
              0.4546,
              0.5411,
              0.6879,
              0.9437,
              1.5014
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}