{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_lp__a32oi",
  "cell_leakage_power": 0.0,
  "dont_touch": "true",
  "dont_use": "true",
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00221,
    "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.00327,
          0.00319,
          0.00325,
          0.0032,
          0.00323,
          0.00323,
          0.00321,
          0.00321,
          0.00321,
          0.00349,
          0.00347,
          0.00375,
          0.00381
        ]
      },
      "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.00154,
          0.00205,
          0.00164,
          0.00179,
          0.00179,
          0.00177,
          0.00186,
          0.00185,
          0.00189,
          0.00207,
          0.00207,
          0.00226,
          0.00225
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00179,
    "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.00329,
          0.0034,
          0.00326,
          0.00319,
          0.00307,
          0.00316,
          0.00318,
          0.00317,
          0.00317,
          0.00344,
          0.00343,
          0.00376,
          0.0037
        ]
      },
      "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.00202,
          0.00226,
          0.00184,
          0.0018,
          0.00182,
          0.00186,
          0.00188,
          0.00189,
          0.00191,
          0.00209,
          0.0021,
          0.00228,
          0.00232
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00207,
    "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.00347,
          0.00341,
          0.00323,
          0.00323,
          0.00316,
          0.00322,
          0.00321,
          0.00321,
          0.0032,
          0.00348,
          0.00347,
          0.00374,
          0.00386
        ]
      },
      "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.00244,
          0.00251,
          0.00194,
          0.00186,
          0.0018,
          0.00191,
          0.00196,
          0.00195,
          0.00197,
          0.00216,
          0.00217,
          0.00236,
          0.00237
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00225,
    "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.00199,
          0.00213,
          0.00175,
          0.00186,
          0.00188,
          0.00189,
          0.00193,
          0.00194,
          0.00197,
          0.00215,
          0.00217,
          0.00235,
          0.00236
        ]
      },
      "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.00345,
          0.00349,
          0.00324,
          0.00318,
          0.00317,
          0.00321,
          0.00321,
          0.00321,
          0.00322,
          0.00347,
          0.00347,
          0.00374,
          0.00374
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00201,
    "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.0019,
          0.00186,
          0.00167,
          0.00166,
          0.00169,
          0.00168,
          0.00175,
          0.00175,
          0.00178,
          0.00194,
          0.00195,
          0.00212,
          0.00213
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00347,
          0.00341,
          0.00336,
          0.00329,
          0.00322,
          0.00323,
          0.00322,
          0.00323,
          0.00323,
          0.00351,
          0.0035,
          0.00377,
          0.00377
        ]
      }
    },
    "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.0024,
              -0.00651,
              -0.00828,
              -0.01042,
              -0.013,
              -0.01608,
              -0.01979
            ],
            [
              0.00242,
              -0.00649,
              -0.00827,
              -0.01041,
              -0.01298,
              -0.01607,
              -0.01977
            ],
            [
              0.00243,
              -0.00649,
              -0.00827,
              -0.01041,
              -0.01298,
              -0.01606,
              -0.01976
            ],
            [
              0.00244,
              -0.00647,
              -0.00825,
              -0.01039,
              -0.01296,
              -0.01605,
              -0.01975
            ],
            [
              0.00246,
              -0.00645,
              -0.00823,
              -0.01037,
              -0.01294,
              -0.01602,
              -0.01972
            ],
            [
              0.00248,
              -0.00644,
              -0.00822,
              -0.01036,
              -0.01293,
              -0.01601,
              -0.01972
            ],
            [
              0.00251,
              -0.00641,
              -0.00819,
              -0.01033,
              -0.01291,
              -0.016,
              -0.0197
            ],
            [
              0.00255,
              -0.0064,
              -0.00817,
              -0.01031,
              -0.01288,
              -0.01597,
              -0.01967
            ],
            [
              0.00259,
              -0.00638,
              -0.00816,
              -0.0103,
              -0.01287,
              -0.01596,
              -0.01966
            ],
            [
              0.00265,
              -0.00634,
              -0.00812,
              -0.01027,
              -0.01285,
              -0.01594,
              -0.01964
            ],
            [
              0.0027,
              -0.00631,
              -0.00809,
              -0.01024,
              -0.01281,
              -0.01591,
              -0.01962
            ],
            [
              0.00276,
              -0.00626,
              -0.00804,
              -0.01019,
              -0.01277,
              -0.01587,
              -0.01958
            ],
            [
              0.0028,
              -0.00621,
              -0.008,
              -0.01015,
              -0.01273,
              -0.01583,
              -0.01954
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.0116,
              0.02051,
              0.02227,
              0.02439,
              0.02694,
              0.03,
              0.03366
            ],
            [
              0.01158,
              0.02051,
              0.02228,
              0.0244,
              0.02695,
              0.03001,
              0.03367
            ],
            [
              0.01156,
              0.02051,
              0.02228,
              0.0244,
              0.02695,
              0.03001,
              0.03368
            ],
            [
              0.01152,
              0.02051,
              0.02228,
              0.0244,
              0.02695,
              0.03001,
              0.03369
            ],
            [
              0.01148,
              0.02049,
              0.02226,
              0.02439,
              0.02694,
              0.03001,
              0.03367
            ],
            [
              0.01144,
              0.02047,
              0.02225,
              0.02437,
              0.02692,
              0.02999,
              0.03366
            ],
            [
              0.0114,
              0.02044,
              0.02222,
              0.02434,
              0.0269,
              0.02996,
              0.03364
            ],
            [
              0.01136,
              0.0204,
              0.02218,
              0.02432,
              0.02686,
              0.02993,
              0.0336
            ],
            [
              0.01133,
              0.02033,
              0.02212,
              0.02427,
              0.02685,
              0.02992,
              0.03359
            ],
            [
              0.0113,
              0.0203,
              0.02207,
              0.02421,
              0.02677,
              0.02985,
              0.03354
            ],
            [
              0.01128,
              0.02026,
              0.02203,
              0.02416,
              0.02675,
              0.02983,
              0.03352
            ],
            [
              0.01127,
              0.02021,
              0.02198,
              0.02411,
              0.02669,
              0.02976,
              0.03345
            ],
            [
              0.01127,
              0.02017,
              0.02194,
              0.02408,
              0.02664,
              0.02971,
              0.03339
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.00244,
              -0.00646,
              -0.00824,
              -0.01038,
              -0.01295,
              -0.01604,
              -0.01974
            ],
            [
              0.00245,
              -0.00645,
              -0.00823,
              -0.01037,
              -0.01294,
              -0.01602,
              -0.01973
            ],
            [
              0.00246,
              -0.00644,
              -0.00822,
              -0.01035,
              -0.01292,
              -0.01601,
              -0.01971
            ],
            [
              0.00247,
              -0.00643,
              -0.00821,
              -0.01034,
              -0.01292,
              -0.016,
              -0.0197
            ],
            [
              0.00249,
              -0.00641,
              -0.00819,
              -0.01033,
              -0.0129,
              -0.01599,
              -0.01969
            ],
            [
              0.00251,
              -0.0064,
              -0.00818,
              -0.01031,
              -0.01288,
              -0.01597,
              -0.01967
            ],
            [
              0.00254,
              -0.00637,
              -0.00815,
              -0.01029,
              -0.01286,
              -0.01595,
              -0.01965
            ],
            [
              0.00257,
              -0.00636,
              -0.00813,
              -0.01027,
              -0.01284,
              -0.01593,
              -0.01963
            ],
            [
              0.00261,
              -0.00634,
              -0.00812,
              -0.01026,
              -0.01283,
              -0.01592,
              -0.01962
            ],
            [
              0.00265,
              -0.00631,
              -0.0081,
              -0.01024,
              -0.01281,
              -0.0159,
              -0.0196
            ],
            [
              0.0027,
              -0.00628,
              -0.00807,
              -0.01021,
              -0.01279,
              -0.01588,
              -0.01959
            ],
            [
              0.00274,
              -0.00625,
              -0.00803,
              -0.01018,
              -0.01276,
              -0.01586,
              -0.01956
            ],
            [
              0.00278,
              -0.00621,
              -0.008,
              -0.01015,
              -0.01273,
              -0.01583,
              -0.01954
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.01283,
              0.0217,
              0.02346,
              0.02558,
              0.02812,
              0.03118,
              0.03484
            ],
            [
              0.01282,
              0.02169,
              0.02345,
              0.02557,
              0.02812,
              0.03117,
              0.03484
            ],
            [
              0.01281,
              0.02168,
              0.02344,
              0.02556,
              0.02811,
              0.03117,
              0.03484
            ],
            [
              0.01279,
              0.02167,
              0.02343,
              0.02556,
              0.02811,
              0.03116,
              0.03483
            ],
            [
              0.01275,
              0.02166,
              0.02342,
              0.02555,
              0.0281,
              0.03116,
              0.03482
            ],
            [
              0.01271,
              0.02164,
              0.02341,
              0.02552,
              0.02809,
              0.03115,
              0.03481
            ],
            [
              0.01268,
              0.02161,
              0.02339,
              0.02551,
              0.02807,
              0.03113,
              0.0348
            ],
            [
              0.01263,
              0.0216,
              0.02337,
              0.02549,
              0.02804,
              0.03111,
              0.03478
            ],
            [
              0.0126,
              0.02154,
              0.02331,
              0.02544,
              0.028,
              0.03106,
              0.03475
            ],
            [
              0.01258,
              0.02153,
              0.0233,
              0.02543,
              0.02798,
              0.03105,
              0.03472
            ],
            [
              0.01257,
              0.02149,
              0.02326,
              0.02539,
              0.02795,
              0.03102,
              0.0347
            ],
            [
              0.01255,
              0.02146,
              0.02324,
              0.02537,
              0.02792,
              0.031,
              0.03467
            ],
            [
              0.01255,
              0.02144,
              0.02321,
              0.02534,
              0.02789,
              0.03096,
              0.03463
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.0025,
              -0.00641,
              -0.00819,
              -0.01033,
              -0.0129,
              -0.01598,
              -0.01969
            ],
            [
              0.00251,
              -0.0064,
              -0.00818,
              -0.01031,
              -0.01288,
              -0.01597,
              -0.01967
            ],
            [
              0.00252,
              -0.00639,
              -0.00816,
              -0.0103,
              -0.01287,
              -0.01596,
              -0.01966
            ],
            [
              0.00254,
              -0.00638,
              -0.00816,
              -0.01029,
              -0.01287,
              -0.01595,
              -0.01965
            ],
            [
              0.00255,
              -0.00636,
              -0.00813,
              -0.01027,
              -0.01284,
              -0.01593,
              -0.01962
            ],
            [
              0.00257,
              -0.00634,
              -0.00812,
              -0.01026,
              -0.01283,
              -0.01592,
              -0.01962
            ],
            [
              0.0026,
              -0.00631,
              -0.00809,
              -0.01023,
              -0.0128,
              -0.01589,
              -0.01959
            ],
            [
              0.00264,
              -0.0063,
              -0.00807,
              -0.01021,
              -0.01278,
              -0.01587,
              -0.01957
            ],
            [
              0.00267,
              -0.00628,
              -0.00806,
              -0.0102,
              -0.01277,
              -0.01586,
              -0.01956
            ],
            [
              0.00272,
              -0.00625,
              -0.00803,
              -0.01018,
              -0.01275,
              -0.01584,
              -0.01955
            ],
            [
              0.00276,
              -0.00622,
              -0.008,
              -0.01015,
              -0.01273,
              -0.01582,
              -0.01953
            ],
            [
              0.00281,
              -0.00618,
              -0.00797,
              -0.01012,
              -0.01269,
              -0.01579,
              -0.01949
            ],
            [
              0.00284,
              -0.00615,
              -0.00793,
              -0.01008,
              -0.01266,
              -0.01576,
              -0.01947
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.01394,
              0.0228,
              0.02456,
              0.02668,
              0.02922,
              0.03229,
              0.03595
            ],
            [
              0.01392,
              0.02277,
              0.02454,
              0.02667,
              0.0292,
              0.03226,
              0.03592
            ],
            [
              0.01391,
              0.02277,
              0.02452,
              0.02664,
              0.02919,
              0.03225,
              0.0359
            ],
            [
              0.01389,
              0.02274,
              0.02451,
              0.02663,
              0.02918,
              0.03223,
              0.0359
            ],
            [
              0.01387,
              0.02274,
              0.0245,
              0.02662,
              0.02917,
              0.03222,
              0.03589
            ],
            [
              0.01385,
              0.02272,
              0.02447,
              0.0266,
              0.02915,
              0.03221,
              0.03587
            ],
            [
              0.01381,
              0.0227,
              0.02446,
              0.02658,
              0.02913,
              0.03219,
              0.03586
            ],
            [
              0.0138,
              0.02268,
              0.02445,
              0.02658,
              0.02913,
              0.03219,
              0.03586
            ],
            [
              0.01377,
              0.02266,
              0.02444,
              0.02656,
              0.0291,
              0.03216,
              0.03582
            ],
            [
              0.01376,
              0.02265,
              0.02441,
              0.02653,
              0.02908,
              0.03213,
              0.03582
            ],
            [
              0.01374,
              0.02264,
              0.0244,
              0.02653,
              0.02908,
              0.03215,
              0.03582
            ],
            [
              0.01373,
              0.02262,
              0.02438,
              0.0265,
              0.02905,
              0.03211,
              0.03578
            ],
            [
              0.01373,
              0.0226,
              0.02438,
              0.02651,
              0.02906,
              0.03212,
              0.03579
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.00094,
              -0.00807,
              -0.00984,
              -0.01199,
              -0.01456,
              -0.01765,
              -0.02135
            ],
            [
              0.00096,
              -0.00806,
              -0.00984,
              -0.01198,
              -0.01456,
              -0.01765,
              -0.02135
            ],
            [
              0.00098,
              -0.00806,
              -0.00984,
              -0.01198,
              -0.01456,
              -0.01765,
              -0.02135
            ],
            [
              0.00102,
              -0.00805,
              -0.00983,
              -0.01198,
              -0.01455,
              -0.01764,
              -0.02134
            ],
            [
              0.00106,
              -0.00804,
              -0.00982,
              -0.01197,
              -0.01454,
              -0.01763,
              -0.02133
            ],
            [
              0.00111,
              -0.00802,
              -0.0098,
              -0.01195,
              -0.01453,
              -0.01762,
              -0.02133
            ],
            [
              0.00116,
              -0.008,
              -0.00979,
              -0.01193,
              -0.01451,
              -0.01761,
              -0.02132
            ],
            [
              0.00122,
              -0.00797,
              -0.00976,
              -0.01191,
              -0.01449,
              -0.01759,
              -0.0213
            ],
            [
              0.00127,
              -0.00793,
              -0.00972,
              -0.01188,
              -0.01446,
              -0.01757,
              -0.02128
            ],
            [
              0.00133,
              -0.00788,
              -0.00968,
              -0.01184,
              -0.01443,
              -0.01753,
              -0.02125
            ],
            [
              0.00137,
              -0.00782,
              -0.00963,
              -0.01179,
              -0.01438,
              -0.01749,
              -0.02121
            ],
            [
              0.00141,
              -0.00776,
              -0.00956,
              -0.01173,
              -0.01433,
              -0.01744,
              -0.02116
            ],
            [
              0.00144,
              -0.00769,
              -0.00949,
              -0.01166,
              -0.01426,
              -0.01737,
              -0.0211
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.00658,
              0.01557,
              0.01733,
              0.01947,
              0.02204,
              0.0251,
              0.02878
            ],
            [
              0.00657,
              0.01556,
              0.01735,
              0.01948,
              0.02204,
              0.02509,
              0.02878
            ],
            [
              0.00654,
              0.01558,
              0.01735,
              0.01947,
              0.02203,
              0.0251,
              0.02877
            ],
            [
              0.00649,
              0.01555,
              0.01734,
              0.01946,
              0.02203,
              0.0251,
              0.02879
            ],
            [
              0.00644,
              0.01553,
              0.01732,
              0.01944,
              0.02201,
              0.02508,
              0.02877
            ],
            [
              0.00639,
              0.01549,
              0.01728,
              0.01942,
              0.02198,
              0.02506,
              0.02875
            ],
            [
              0.00633,
              0.01545,
              0.01723,
              0.01938,
              0.02194,
              0.02502,
              0.0287
            ],
            [
              0.00629,
              0.01538,
              0.01717,
              0.01931,
              0.02189,
              0.02497,
              0.02868
            ],
            [
              0.00625,
              0.01531,
              0.0171,
              0.01925,
              0.02183,
              0.02491,
              0.02861
            ],
            [
              0.00622,
              0.01524,
              0.01702,
              0.01916,
              0.02174,
              0.02482,
              0.02853
            ],
            [
              0.0062,
              0.01517,
              0.01696,
              0.01911,
              0.02168,
              0.02475,
              0.02845
            ],
            [
              0.00619,
              0.01512,
              0.01691,
              0.01904,
              0.0216,
              0.02469,
              0.02838
            ],
            [
              0.00617,
              0.01508,
              0.01685,
              0.01899,
              0.02154,
              0.02462,
              0.02832
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.00091,
              -0.00809,
              -0.00987,
              -0.01201,
              -0.01458,
              -0.01767,
              -0.02137
            ],
            [
              0.00092,
              -0.00809,
              -0.00988,
              -0.01202,
              -0.01459,
              -0.01768,
              -0.02138
            ],
            [
              0.00094,
              -0.00809,
              -0.00987,
              -0.01201,
              -0.01459,
              -0.01768,
              -0.02138
            ],
            [
              0.00097,
              -0.00808,
              -0.00986,
              -0.01201,
              -0.01458,
              -0.01767,
              -0.02137
            ],
            [
              0.00101,
              -0.00808,
              -0.00986,
              -0.012,
              -0.01458,
              -0.01767,
              -0.02138
            ],
            [
              0.00106,
              -0.00806,
              -0.00985,
              -0.012,
              -0.01457,
              -0.01766,
              -0.02137
            ],
            [
              0.00111,
              -0.00804,
              -0.00983,
              -0.01198,
              -0.01456,
              -0.01765,
              -0.02135
            ],
            [
              0.00117,
              -0.00801,
              -0.0098,
              -0.01195,
              -0.01454,
              -0.01764,
              -0.02135
            ],
            [
              0.00122,
              -0.00797,
              -0.00977,
              -0.01192,
              -0.01451,
              -0.01761,
              -0.02132
            ],
            [
              0.00127,
              -0.00792,
              -0.00972,
              -0.01189,
              -0.01448,
              -0.01759,
              -0.0213
            ],
            [
              0.00131,
              -0.00786,
              -0.00967,
              -0.01183,
              -0.01442,
              -0.01753,
              -0.02125
            ],
            [
              0.00134,
              -0.0078,
              -0.0096,
              -0.01177,
              -0.01438,
              -0.01749,
              -0.02122
            ],
            [
              0.00137,
              -0.00773,
              -0.00953,
              -0.0117,
              -0.01431,
              -0.01743,
              -0.02116
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.00766,
              0.01657,
              0.01834,
              0.02046,
              0.02301,
              0.02607,
              0.02974
            ],
            [
              0.00763,
              0.01655,
              0.01831,
              0.02044,
              0.02299,
              0.02606,
              0.02972
            ],
            [
              0.00761,
              0.01654,
              0.01831,
              0.02043,
              0.02298,
              0.02605,
              0.02971
            ],
            [
              0.00757,
              0.01653,
              0.0183,
              0.02043,
              0.02298,
              0.02604,
              0.02971
            ],
            [
              0.00754,
              0.01651,
              0.01828,
              0.02041,
              0.02296,
              0.02602,
              0.0297
            ],
            [
              0.0075,
              0.01648,
              0.01825,
              0.02039,
              0.02294,
              0.02601,
              0.02968
            ],
            [
              0.00745,
              0.01645,
              0.01823,
              0.02035,
              0.02291,
              0.02599,
              0.02966
            ],
            [
              0.00741,
              0.01641,
              0.01819,
              0.02032,
              0.02288,
              0.02594,
              0.02964
            ],
            [
              0.00737,
              0.01636,
              0.01814,
              0.02028,
              0.02283,
              0.0259,
              0.02959
            ],
            [
              0.00734,
              0.01631,
              0.01809,
              0.02022,
              0.02278,
              0.02586,
              0.02954
            ],
            [
              0.00732,
              0.01626,
              0.01804,
              0.02017,
              0.02271,
              0.0258,
              0.02948
            ],
            [
              0.00731,
              0.01622,
              0.01799,
              0.0201,
              0.02266,
              0.02574,
              0.02943
            ],
            [
              0.0073,
              0.01618,
              0.01795,
              0.02007,
              0.02263,
              0.0257,
              0.02937
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.01848,
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.09319,
              0.26449,
              0.2974,
              0.33687,
              0.38413,
              0.44079,
              0.50853
            ],
            [
              0.09628,
              0.26759,
              0.3005,
              0.33995,
              0.38726,
              0.44388,
              0.51177
            ],
            [
              0.10006,
              0.27138,
              0.30433,
              0.34378,
              0.39111,
              0.44773,
              0.51545
            ],
            [
              0.1058,
              0.2772,
              0.31012,
              0.34958,
              0.39691,
              0.45348,
              0.52121
            ],
            [
              0.11476,
              0.28621,
              0.31915,
              0.3586,
              0.40593,
              0.46262,
              0.53028
            ],
            [
              0.12806,
              0.29964,
              0.33258,
              0.37205,
              0.41936,
              0.47611,
              0.54386
            ],
            [
              0.14824,
              0.31963,
              0.35288,
              0.39236,
              0.43967,
              0.49636,
              0.56415
            ],
            [
              0.17882,
              0.35049,
              0.38348,
              0.42298,
              0.47029,
              0.52683,
              0.59423
            ],
            [
              0.22563,
              0.39627,
              0.42918,
              0.4687,
              0.51614,
              0.57285,
              0.64067
            ],
            [
              0.28736,
              0.46571,
              0.49875,
              0.53827,
              0.5856,
              0.64229,
              0.70999
            ],
            [
              0.36779,
              0.57002,
              0.60282,
              0.64242,
              0.68972,
              0.74642,
              0.81432
            ],
            [
              0.47247,
              0.72107,
              0.75807,
              0.79917,
              0.84667,
              0.90297,
              0.97047
            ],
            [
              0.6087,
              0.9169,
              0.9629,
              1.0139,
              1.0703,
              1.1346,
              1.2062
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.18361,
              0.53396,
              0.60293,
              0.68597,
              0.78649,
              0.9065,
              1.05057
            ],
            [
              0.18719,
              0.53876,
              0.60761,
              0.69114,
              0.79156,
              0.91177,
              1.05564
            ],
            [
              0.19155,
              0.54415,
              0.6136,
              0.69711,
              0.79721,
              0.91746,
              1.06112
            ],
            [
              0.19834,
              0.55217,
              0.62113,
              0.70488,
              0.80507,
              0.92543,
              1.06968
            ],
            [
              0.20897,
              0.56347,
              0.63334,
              0.71664,
              0.81694,
              0.93771,
              1.08141
            ],
            [
              0.2258,
              0.58162,
              0.65091,
              0.73459,
              0.83491,
              0.95502,
              1.09902
            ],
            [
              0.25169,
              0.60747,
              0.67785,
              0.76113,
              0.86116,
              0.98193,
              1.12573
            ],
            [
              0.29174,
              0.64762,
              0.71754,
              0.80177,
              0.90176,
              1.02186,
              1.16666
            ],
            [
              0.35246,
              0.70687,
              0.77715,
              0.86155,
              0.96255,
              1.08355,
              1.22785
            ],
            [
              0.4432,
              0.79699,
              0.86679,
              0.95079,
              1.05139,
              1.17179,
              1.31679
            ],
            [
              0.57712,
              0.93012,
              0.99972,
              1.08362,
              1.18552,
              1.30632,
              1.45072
            ],
            [
              0.76597,
              1.12767,
              1.19757,
              1.28097,
              1.38247,
              1.50347,
              1.64747
            ],
            [
              1.0289,
              1.4237,
              1.4934,
              1.5776,
              1.6781,
              1.7993,
              1.9435
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.06973,
              0.27814,
              0.31923,
              0.36877,
              0.42858,
              0.50055,
              0.58656
            ],
            [
              0.06973,
              0.27816,
              0.31929,
              0.36879,
              0.42875,
              0.50045,
              0.58615
            ],
            [
              0.06974,
              0.27802,
              0.31935,
              0.36909,
              0.42863,
              0.50047,
              0.58651
            ],
            [
              0.06977,
              0.27784,
              0.31935,
              0.36907,
              0.42861,
              0.50035,
              0.58626
            ],
            [
              0.06981,
              0.27817,
              0.31923,
              0.36881,
              0.42862,
              0.50027,
              0.58664
            ],
            [
              0.0699,
              0.27791,
              0.31921,
              0.36899,
              0.42871,
              0.50027,
              0.58622
            ],
            [
              0.06919,
              0.27802,
              0.31931,
              0.36907,
              0.4288,
              0.50058,
              0.58623
            ],
            [
              0.06904,
              0.27798,
              0.3193,
              0.36903,
              0.42872,
              0.50029,
              0.58629
            ],
            [
              0.07585,
              0.2779,
              0.31919,
              0.36873,
              0.42855,
              0.50039,
              0.58621
            ],
            [
              0.09037,
              0.27979,
              0.31981,
              0.36876,
              0.42856,
              0.50013,
              0.58648
            ],
            [
              0.11091,
              0.29638,
              0.33284,
              0.3781,
              0.4342,
              0.5024,
              0.5866
            ],
            [
              0.1397,
              0.3402,
              0.3721,
              0.4126,
              0.463,
              0.5254,
              0.6027
            ],
            [
              0.179,
              0.4169,
              0.4504,
              0.4892,
              0.5343,
              0.5884,
              0.6571
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.10031,
              0.54143,
              0.62925,
              0.73384,
              0.86096,
              1.01306,
              1.19408
            ],
            [
              0.10015,
              0.54133,
              0.62862,
              0.73376,
              0.86024,
              1.01205,
              1.1937
            ],
            [
              0.10017,
              0.54095,
              0.62853,
              0.73376,
              0.86028,
              1.01219,
              1.19363
            ],
            [
              0.10019,
              0.5415,
              0.62855,
              0.73372,
              0.86091,
              1.0123,
              1.19413
            ],
            [
              0.10033,
              0.54102,
              0.62925,
              0.73463,
              0.86012,
              1.01208,
              1.19403
            ],
            [
              0.10039,
              0.54154,
              0.62855,
              0.73378,
              0.86097,
              1.01223,
              1.19383
            ],
            [
              0.10052,
              0.54099,
              0.62854,
              0.73445,
              0.86033,
              1.01185,
              1.19387
            ],
            [
              0.10055,
              0.54159,
              0.62886,
              0.73379,
              0.86043,
              1.01228,
              1.19469
            ],
            [
              0.10059,
              0.54092,
              0.62856,
              0.73432,
              0.86059,
              1.01222,
              1.19389
            ],
            [
              0.10098,
              0.54144,
              0.62899,
              0.73427,
              0.8602,
              1.012,
              1.1948
            ],
            [
              0.1064,
              0.541,
              0.6285,
              0.7337,
              0.8604,
              1.012,
              1.1952
            ],
            [
              0.1264,
              0.5412,
              0.6288,
              0.7337,
              0.8609,
              1.0121,
              1.1936
            ],
            [
              0.1573,
              0.5512,
              0.6342,
              0.7363,
              0.8603,
              1.0129,
              1.1939
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.07468,
              0.24795,
              0.28096,
              0.3205,
              0.36784,
              0.4244,
              0.49218
            ],
            [
              0.07774,
              0.25101,
              0.28401,
              0.32354,
              0.3709,
              0.42762,
              0.49523
            ],
            [
              0.08151,
              0.2548,
              0.28781,
              0.32734,
              0.37461,
              0.43126,
              0.49898
            ],
            [
              0.08722,
              0.26056,
              0.29356,
              0.33316,
              0.38055,
              0.43716,
              0.50492
            ],
            [
              0.09608,
              0.26951,
              0.30252,
              0.34205,
              0.38941,
              0.44606,
              0.51377
            ],
            [
              0.10944,
              0.28286,
              0.31588,
              0.35542,
              0.40274,
              0.45945,
              0.52721
            ],
            [
              0.13004,
              0.30293,
              0.33594,
              0.37567,
              0.42296,
              0.47957,
              0.5474
            ],
            [
              0.16209,
              0.33341,
              0.36642,
              0.40598,
              0.45328,
              0.50985,
              0.57765
            ],
            [
              0.20664,
              0.37948,
              0.41247,
              0.45165,
              0.49935,
              0.55606,
              0.6238
            ],
            [
              0.26442,
              0.44896,
              0.48184,
              0.52138,
              0.56878,
              0.62509,
              0.69279
            ],
            [
              0.33953,
              0.55402,
              0.58632,
              0.62562,
              0.67282,
              0.72932,
              0.79712
            ],
            [
              0.43737,
              0.70137,
              0.73937,
              0.78187,
              0.83027,
              0.88657,
              0.95417
            ],
            [
              0.5646,
              0.8934,
              0.9403,
              0.9929,
              1.0516,
              1.117,
              1.1898
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.20859,
              0.66216,
              0.75221,
              0.8596,
              0.99009,
              1.14607,
              1.33157
            ],
            [
              0.21196,
              0.66704,
              0.75723,
              0.86512,
              0.99424,
              1.15044,
              1.33724
            ],
            [
              0.21605,
              0.6731,
              0.76264,
              0.87089,
              1.00072,
              1.15652,
              1.34272
            ],
            [
              0.22248,
              0.68061,
              0.77094,
              0.87901,
              1.00887,
              1.16428,
              1.35098
            ],
            [
              0.23271,
              0.69252,
              0.78215,
              0.89036,
              1.02021,
              1.17661,
              1.36281
            ],
            [
              0.24915,
              0.70985,
              0.80003,
              0.90856,
              1.03832,
              1.19472,
              1.38062
            ],
            [
              0.27469,
              0.73566,
              0.82665,
              0.93473,
              1.06503,
              1.22053,
              1.40703
            ],
            [
              0.3142,
              0.77462,
              0.86546,
              0.97476,
              1.10406,
              1.25976,
              1.44776
            ],
            [
              0.37468,
              0.83365,
              0.92505,
              1.03395,
              1.16475,
              1.32155,
              1.50875
            ],
            [
              0.46446,
              0.92239,
              1.01319,
              1.12219,
              1.25259,
              1.40849,
              1.59549
            ],
            [
              0.59612,
              1.05332,
              1.14372,
              1.25182,
              1.38362,
              1.54032,
              1.72772
            ],
            [
              0.78247,
              1.24417,
              1.33467,
              1.44337,
              1.57357,
              1.73087,
              1.91847
            ],
            [
              1.0421,
              1.5284,
              1.6189,
              1.7278,
              1.8587,
              2.0145,
              2.2018
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.06676,
              0.27291,
              0.3141,
              0.3633,
              0.42273,
              0.49417,
              0.57968
            ],
            [
              0.06669,
              0.27271,
              0.31393,
              0.36357,
              0.4228,
              0.49434,
              0.58002
            ],
            [
              0.06672,
              0.2729,
              0.3138,
              0.36327,
              0.42284,
              0.49422,
              0.58009
            ],
            [
              0.06665,
              0.2729,
              0.31408,
              0.36336,
              0.4228,
              0.49426,
              0.58001
            ],
            [
              0.06639,
              0.27289,
              0.31406,
              0.36335,
              0.42283,
              0.49432,
              0.58028
            ],
            [
              0.06533,
              0.27286,
              0.31403,
              0.36355,
              0.42257,
              0.49422,
              0.58023
            ],
            [
              0.06394,
              0.27269,
              0.31376,
              0.36329,
              0.42286,
              0.49418,
              0.58017
            ],
            [
              0.06667,
              0.27271,
              0.31367,
              0.36322,
              0.42285,
              0.49414,
              0.58006
            ],
            [
              0.07674,
              0.27198,
              0.31343,
              0.36335,
              0.42266,
              0.49445,
              0.57991
            ],
            [
              0.09212,
              0.27571,
              0.31489,
              0.36314,
              0.42221,
              0.49396,
              0.57993
            ],
            [
              0.11403,
              0.29506,
              0.33093,
              0.37509,
              0.43,
              0.4977,
              0.581
            ],
            [
              0.1441,
              0.3428,
              0.374,
              0.4131,
              0.4619,
              0.5234,
              0.5997
            ],
            [
              0.1853,
              0.421,
              0.4545,
              0.4926,
              0.5366,
              0.5895,
              0.6566
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.12432,
              0.704,
              0.81984,
              0.9571,
              1.12312,
              1.32258,
              1.56252
            ],
            [
              0.12436,
              0.704,
              0.82035,
              0.9565,
              1.12438,
              1.32434,
              1.56188
            ],
            [
              0.12444,
              0.70463,
              0.81988,
              0.95682,
              1.12263,
              1.32238,
              1.5622
            ],
            [
              0.12447,
              0.70399,
              0.82066,
              0.95654,
              1.12275,
              1.32266,
              1.56196
            ],
            [
              0.12443,
              0.70475,
              0.81949,
              0.95689,
              1.12344,
              1.3231,
              1.56246
            ],
            [
              0.1246,
              0.7042,
              0.82051,
              0.95673,
              1.1231,
              1.32244,
              1.56264
            ],
            [
              0.12454,
              0.70396,
              0.82064,
              0.95683,
              1.12279,
              1.32273,
              1.56315
            ],
            [
              0.12466,
              0.70416,
              0.8195,
              0.95657,
              1.12378,
              1.32321,
              1.56478
            ],
            [
              0.12481,
              0.70405,
              0.8204,
              0.9594,
              1.12328,
              1.32312,
              1.5618
            ],
            [
              0.12505,
              0.70402,
              0.82002,
              0.9567,
              1.1228,
              1.3244,
              1.563
            ],
            [
              0.1293,
              0.7045,
              0.82,
              0.9586,
              1.1232,
              1.3225,
              1.5621
            ],
            [
              0.1457,
              0.7042,
              0.82,
              0.9588,
              1.125,
              1.3226,
              1.562
            ],
            [
              0.1725,
              0.7091,
              0.8216,
              0.9589,
              1.1257,
              1.3253,
              1.5621
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.07692,
              0.25004,
              0.28302,
              0.32252,
              0.36984,
              0.42649,
              0.4942
            ],
            [
              0.07997,
              0.25309,
              0.28608,
              0.32559,
              0.37292,
              0.42956,
              0.49729
            ],
            [
              0.08374,
              0.25687,
              0.28986,
              0.32936,
              0.37667,
              0.43334,
              0.50106
            ],
            [
              0.0894,
              0.26264,
              0.29562,
              0.33519,
              0.3825,
              0.4392,
              0.50691
            ],
            [
              0.09817,
              0.27156,
              0.30456,
              0.34407,
              0.39139,
              0.44803,
              0.51573
            ],
            [
              0.1116,
              0.28493,
              0.31794,
              0.35747,
              0.4048,
              0.46148,
              0.52924
            ],
            [
              0.13209,
              0.30504,
              0.33803,
              0.37748,
              0.42503,
              0.48167,
              0.54946
            ],
            [
              0.16402,
              0.3357,
              0.36851,
              0.40804,
              0.45535,
              0.51195,
              0.5797
            ],
            [
              0.20899,
              0.38153,
              0.41455,
              0.45404,
              0.50127,
              0.5581,
              0.62584
            ],
            [
              0.26733,
              0.45102,
              0.48395,
              0.52302,
              0.57089,
              0.62714,
              0.69489
            ],
            [
              0.34316,
              0.55572,
              0.58842,
              0.62772,
              0.67492,
              0.73132,
              0.79922
            ],
            [
              0.44197,
              0.70387,
              0.74167,
              0.78397,
              0.83247,
              0.88867,
              0.95627
            ],
            [
              0.5706,
              0.8968,
              0.9434,
              0.9957,
              1.0541,
              1.1194,
              1.192
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.24556,
              0.67825,
              0.76358,
              0.86637,
              0.98955,
              1.13747,
              1.31497
            ],
            [
              0.24956,
              0.68302,
              0.76845,
              0.87108,
              0.99444,
              1.14254,
              1.31974
            ],
            [
              0.25429,
              0.68856,
              0.77435,
              0.87699,
              1.00022,
              1.14822,
              1.32552
            ],
            [
              0.26121,
              0.69673,
              0.78216,
              0.88487,
              1.00828,
              1.15628,
              1.33377
            ],
            [
              0.27189,
              0.70829,
              0.79404,
              0.8969,
              1.02031,
              1.16851,
              1.34601
            ],
            [
              0.28832,
              0.72565,
              0.81151,
              0.91452,
              1.03812,
              1.18642,
              1.36392
            ],
            [
              0.31377,
              0.75228,
              0.83805,
              0.94103,
              1.06463,
              1.21293,
              1.39063
            ],
            [
              0.35272,
              0.79157,
              0.87796,
              0.98126,
              1.10446,
              1.25306,
              1.43096
            ],
            [
              0.41268,
              0.85075,
              0.93715,
              1.04075,
              1.16525,
              1.31365,
              1.49145
            ],
            [
              0.50233,
              0.93929,
              1.02549,
              1.12879,
              1.25289,
              1.40169,
              1.57949
            ],
            [
              0.63382,
              1.07022,
              1.15612,
              1.25892,
              1.38412,
              1.53302,
              1.71122
            ],
            [
              0.82587,
              1.26217,
              1.34797,
              1.45127,
              1.57547,
              1.72427,
              1.90247
            ],
            [
              1.0946,
              1.548,
              1.6345,
              1.7377,
              1.8615,
              2.0095,
              2.1876
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.08448,
              0.28907,
              0.32997,
              0.37933,
              0.43859,
              0.50998,
              0.59558
            ],
            [
              0.08445,
              0.28915,
              0.33003,
              0.37937,
              0.43857,
              0.51009,
              0.59548
            ],
            [
              0.08442,
              0.28902,
              0.32989,
              0.37926,
              0.43869,
              0.51011,
              0.59584
            ],
            [
              0.08441,
              0.28899,
              0.32996,
              0.37937,
              0.43867,
              0.51007,
              0.59595
            ],
            [
              0.08422,
              0.28894,
              0.33,
              0.37937,
              0.43861,
              0.50997,
              0.59564
            ],
            [
              0.08334,
              0.28893,
              0.32998,
              0.37936,
              0.43863,
              0.51004,
              0.59567
            ],
            [
              0.08176,
              0.28894,
              0.32992,
              0.37931,
              0.43871,
              0.51001,
              0.59562
            ],
            [
              0.08411,
              0.2889,
              0.32984,
              0.37928,
              0.43869,
              0.51,
              0.59552
            ],
            [
              0.094,
              0.28835,
              0.32963,
              0.37919,
              0.43861,
              0.51,
              0.59563
            ],
            [
              0.11205,
              0.29212,
              0.33112,
              0.37927,
              0.43826,
              0.50985,
              0.59583
            ],
            [
              0.13805,
              0.3116,
              0.34694,
              0.39119,
              0.4459,
              0.5135,
              0.5965
            ],
            [
              0.1743,
              0.3589,
              0.3901,
              0.4293,
              0.4778,
              0.5391,
              0.6153
            ],
            [
              0.2238,
              0.4393,
              0.4717,
              0.5091,
              0.5524,
              0.6054,
              0.6724
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.1427,
              0.69493,
              0.80443,
              0.93566,
              1.09428,
              1.28444,
              1.51186
            ],
            [
              0.14254,
              0.69473,
              0.80436,
              0.93609,
              1.09429,
              1.28425,
              1.5118
            ],
            [
              0.14245,
              0.69478,
              0.80455,
              0.93591,
              1.0943,
              1.28423,
              1.51198
            ],
            [
              0.14274,
              0.69463,
              0.80447,
              0.93589,
              1.09425,
              1.28436,
              1.51195
            ],
            [
              0.14249,
              0.69467,
              0.8046,
              0.93637,
              1.09423,
              1.2842,
              1.51182
            ],
            [
              0.14247,
              0.69478,
              0.80446,
              0.93606,
              1.09432,
              1.28419,
              1.51199
            ],
            [
              0.14251,
              0.69486,
              0.80417,
              0.93577,
              1.09424,
              1.28444,
              1.51196
            ],
            [
              0.14248,
              0.69487,
              0.80451,
              0.93618,
              1.09428,
              1.28445,
              1.51245
            ],
            [
              0.14254,
              0.69481,
              0.80441,
              0.93599,
              1.09447,
              1.28453,
              1.5121
            ],
            [
              0.14276,
              0.69491,
              0.8043,
              0.9361,
              1.0942,
              1.2843,
              1.5122
            ],
            [
              0.1442,
              0.6949,
              0.8046,
              0.9359,
              1.0943,
              1.2843,
              1.512
            ],
            [
              0.157,
              0.6948,
              0.8045,
              0.9361,
              1.0942,
              1.2842,
              1.5121
            ],
            [
              0.1847,
              0.6987,
              0.8056,
              0.9365,
              1.0945,
              1.2849,
              1.5121
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.10658,
              0.27787,
              0.31079,
              0.35027,
              0.39759,
              0.45426,
              0.52187
            ],
            [
              0.11002,
              0.28133,
              0.31426,
              0.35372,
              0.40096,
              0.4577,
              0.52544
            ],
            [
              0.11421,
              0.28555,
              0.31848,
              0.35795,
              0.40526,
              0.46182,
              0.52956
            ],
            [
              0.12054,
              0.29189,
              0.32482,
              0.36429,
              0.41153,
              0.46823,
              0.53592
            ],
            [
              0.12974,
              0.30115,
              0.3341,
              0.37354,
              0.42077,
              0.47741,
              0.54518
            ],
            [
              0.14324,
              0.31472,
              0.34765,
              0.3871,
              0.4344,
              0.49106,
              0.55872
            ],
            [
              0.16325,
              0.3348,
              0.36775,
              0.40722,
              0.45453,
              0.51117,
              0.5789
            ],
            [
              0.19323,
              0.36489,
              0.39785,
              0.43736,
              0.48468,
              0.54132,
              0.60902
            ],
            [
              0.23786,
              0.40987,
              0.44288,
              0.48246,
              0.52981,
              0.58652,
              0.65425
            ],
            [
              0.29993,
              0.47736,
              0.5104,
              0.55001,
              0.59743,
              0.65419,
              0.72209
            ],
            [
              0.38496,
              0.57832,
              0.61142,
              0.65112,
              0.69872,
              0.75562,
              0.82362
            ],
            [
              0.49897,
              0.72377,
              0.75987,
              0.80157,
              0.85017,
              0.90717,
              0.97537
            ],
            [
              0.6513,
              0.9235,
              0.965,
              1.0128,
              1.0673,
              1.1297,
              1.2015
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.21762,
              0.56749,
              0.63666,
              0.7198,
              0.81973,
              0.93966,
              1.08337
            ],
            [
              0.22159,
              0.57183,
              0.64104,
              0.72427,
              0.82415,
              0.9441,
              1.08774
            ],
            [
              0.22642,
              0.57703,
              0.6463,
              0.72949,
              0.82938,
              0.94935,
              1.09302
            ],
            [
              0.2335,
              0.58483,
              0.65411,
              0.73728,
              0.83725,
              0.95734,
              1.10098
            ],
            [
              0.24441,
              0.59653,
              0.66584,
              0.74917,
              0.84917,
              0.96931,
              1.11291
            ],
            [
              0.26128,
              0.61411,
              0.68359,
              0.76685,
              0.86707,
              0.98712,
              1.13092
            ],
            [
              0.28721,
              0.64065,
              0.7102,
              0.7936,
              0.89383,
              1.01403,
              1.15773
            ],
            [
              0.32684,
              0.68115,
              0.75067,
              0.83415,
              0.93436,
              1.05466,
              1.19846
            ],
            [
              0.38719,
              0.74073,
              0.81015,
              0.89375,
              0.99435,
              1.11445,
              1.25885
            ],
            [
              0.47748,
              0.83069,
              0.90029,
              0.98379,
              1.08409,
              1.20399,
              1.34799
            ],
            [
              0.61072,
              0.96312,
              1.03272,
              1.11612,
              1.21632,
              1.33702,
              1.48122
            ],
            [
              0.80407,
              1.15987,
              1.22957,
              1.31317,
              1.41347,
              1.53377,
              1.67797
            ],
            [
              1.0745,
              1.454,
              1.5235,
              1.607,
              1.7073,
              1.8276,
              1.9712
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.06975,
              0.27791,
              0.31916,
              0.3691,
              0.42855,
              0.50026,
              0.58623
            ],
            [
              0.06978,
              0.27791,
              0.31935,
              0.3691,
              0.42846,
              0.50026,
              0.58621
            ],
            [
              0.06979,
              0.2779,
              0.31931,
              0.36909,
              0.42853,
              0.5003,
              0.58639
            ],
            [
              0.06976,
              0.27777,
              0.31935,
              0.36883,
              0.42844,
              0.50026,
              0.58615
            ],
            [
              0.06979,
              0.2778,
              0.31929,
              0.36881,
              0.42841,
              0.50051,
              0.58643
            ],
            [
              0.06969,
              0.2781,
              0.31933,
              0.36877,
              0.42849,
              0.50021,
              0.58621
            ],
            [
              0.06941,
              0.27815,
              0.31943,
              0.36909,
              0.42859,
              0.50057,
              0.58658
            ],
            [
              0.06954,
              0.27813,
              0.31936,
              0.36882,
              0.42857,
              0.50055,
              0.58648
            ],
            [
              0.07346,
              0.27785,
              0.3192,
              0.36873,
              0.4286,
              0.50061,
              0.58643
            ],
            [
              0.08272,
              0.27952,
              0.31975,
              0.36879,
              0.42865,
              0.50017,
              0.58624
            ],
            [
              0.09751,
              0.28933,
              0.328,
              0.3749,
              0.4322,
              0.5021,
              0.5867
            ],
            [
              0.1201,
              0.3172,
              0.3524,
              0.3962,
              0.4501,
              0.5161,
              0.5972
            ],
            [
              0.1523,
              0.3695,
              0.4051,
              0.4469,
              0.4961,
              0.5564,
              0.6311
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.12148,
              0.56389,
              0.65154,
              0.75603,
              0.88297,
              1.03415,
              1.21628
            ],
            [
              0.12146,
              0.56392,
              0.65155,
              0.75613,
              0.88241,
              1.03408,
              1.2162
            ],
            [
              0.12133,
              0.56383,
              0.65153,
              0.7561,
              0.88336,
              1.03411,
              1.21621
            ],
            [
              0.1214,
              0.56384,
              0.65154,
              0.75684,
              0.88319,
              1.03404,
              1.21635
            ],
            [
              0.12144,
              0.56405,
              0.65146,
              0.75694,
              0.88288,
              1.03393,
              1.2163
            ],
            [
              0.12152,
              0.56384,
              0.65154,
              0.75658,
              0.88238,
              1.03411,
              1.21631
            ],
            [
              0.12145,
              0.5638,
              0.65154,
              0.75702,
              0.88224,
              1.03432,
              1.21633
            ],
            [
              0.12143,
              0.56401,
              0.65148,
              0.75699,
              0.88264,
              1.03402,
              1.21635
            ],
            [
              0.12159,
              0.56385,
              0.6516,
              0.75611,
              0.88359,
              1.03392,
              1.21536
            ],
            [
              0.12164,
              0.56388,
              0.65151,
              0.75697,
              0.8836,
              1.0344,
              1.2163
            ],
            [
              0.1242,
              0.5638,
              0.6515,
              0.7568,
              0.8835,
              1.0353,
              1.2175
            ],
            [
              0.1401,
              0.5639,
              0.6517,
              0.7568,
              0.8834,
              1.0355,
              1.2156
            ],
            [
              0.1715,
              0.5718,
              0.6559,
              0.7583,
              0.8827,
              1.034,
              1.2168
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.08821,
              0.26134,
              0.29434,
              0.33389,
              0.38116,
              0.43792,
              0.50554
            ],
            [
              0.09161,
              0.26476,
              0.29776,
              0.33726,
              0.38465,
              0.4413,
              0.50909
            ],
            [
              0.09579,
              0.26895,
              0.30196,
              0.34147,
              0.38883,
              0.44548,
              0.51325
            ],
            [
              0.10207,
              0.27525,
              0.30826,
              0.34778,
              0.39505,
              0.4518,
              0.51953
            ],
            [
              0.11128,
              0.28443,
              0.31741,
              0.3569,
              0.4042,
              0.46091,
              0.52865
            ],
            [
              0.12479,
              0.29797,
              0.33099,
              0.37049,
              0.41774,
              0.47453,
              0.5423
            ],
            [
              0.14494,
              0.31789,
              0.35095,
              0.39049,
              0.43782,
              0.49446,
              0.5623
            ],
            [
              0.17529,
              0.34793,
              0.38094,
              0.42047,
              0.46784,
              0.52447,
              0.59219
            ],
            [
              0.21865,
              0.39293,
              0.42597,
              0.46553,
              0.51293,
              0.56969,
              0.63737
            ],
            [
              0.27843,
              0.46041,
              0.49349,
              0.5331,
              0.58054,
              0.63739,
              0.70509
            ],
            [
              0.35967,
              0.56132,
              0.59452,
              0.63412,
              0.68172,
              0.73862,
              0.80662
            ],
            [
              0.46817,
              0.70507,
              0.74177,
              0.78417,
              0.83327,
              0.89027,
              0.95837
            ],
            [
              0.6123,
              0.9018,
              0.9444,
              0.9928,
              1.0482,
              1.1113,
              1.1838
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.25658,
              0.71672,
              0.80773,
              0.91716,
              1.04867,
              1.20647,
              1.39547
            ],
            [
              0.26043,
              0.72107,
              0.81207,
              0.92152,
              1.05304,
              1.21084,
              1.40014
            ],
            [
              0.26507,
              0.7262,
              0.81731,
              0.92672,
              1.05822,
              1.21622,
              1.40512
            ],
            [
              0.27185,
              0.73389,
              0.825,
              0.93449,
              1.06618,
              1.22408,
              1.41308
            ],
            [
              0.28237,
              0.74549,
              0.8367,
              0.94633,
              1.07801,
              1.23581,
              1.42491
            ],
            [
              0.29889,
              0.76287,
              0.8543,
              0.96392,
              1.09572,
              1.25362,
              1.44292
            ],
            [
              0.32435,
              0.78915,
              0.88078,
              0.99053,
              1.12223,
              1.28033,
              1.46953
            ],
            [
              0.3636,
              0.82949,
              0.92096,
              1.03076,
              1.16266,
              1.32086,
              1.51036
            ],
            [
              0.42351,
              0.88835,
              0.97985,
              1.08965,
              1.22225,
              1.38025,
              1.57025
            ],
            [
              0.51273,
              0.97729,
              1.06889,
              1.17869,
              1.31079,
              1.46849,
              1.65799
            ],
            [
              0.64312,
              1.10662,
              1.19812,
              1.30802,
              1.43992,
              1.59862,
              1.78832
            ],
            [
              0.83247,
              1.29657,
              1.38837,
              1.49847,
              1.63057,
              1.78887,
              1.97847
            ],
            [
              1.0983,
              1.5787,
              1.6702,
              1.78,
              1.912,
              2.0703,
              2.259
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.06607,
              0.27293,
              0.31409,
              0.3633,
              0.42272,
              0.49432,
              0.58012
            ],
            [
              0.06603,
              0.27296,
              0.31384,
              0.36336,
              0.42281,
              0.49435,
              0.58005
            ],
            [
              0.06601,
              0.27289,
              0.3138,
              0.3632,
              0.42277,
              0.49427,
              0.57999
            ],
            [
              0.06597,
              0.27287,
              0.31378,
              0.36323,
              0.42294,
              0.49429,
              0.58001
            ],
            [
              0.06582,
              0.27272,
              0.31378,
              0.3635,
              0.42307,
              0.49433,
              0.57998
            ],
            [
              0.06549,
              0.27281,
              0.31391,
              0.36332,
              0.42279,
              0.49425,
              0.58002
            ],
            [
              0.065,
              0.27273,
              0.31382,
              0.36333,
              0.42286,
              0.49414,
              0.58007
            ],
            [
              0.06666,
              0.27274,
              0.31397,
              0.36352,
              0.42277,
              0.494,
              0.58003
            ],
            [
              0.07248,
              0.27247,
              0.31349,
              0.36341,
              0.42265,
              0.49426,
              0.57992
            ],
            [
              0.08279,
              0.27491,
              0.31508,
              0.36344,
              0.42253,
              0.49413,
              0.57976
            ],
            [
              0.09901,
              0.28661,
              0.32467,
              0.371,
              0.4276,
              0.497,
              0.5809
            ],
            [
              0.1231,
              0.3169,
              0.3513,
              0.3942,
              0.4471,
              0.5125,
              0.5928
            ],
            [
              0.1566,
              0.371,
              0.406,
              0.4476,
              0.4962,
              0.5554,
              0.6291
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.1543,
              0.7441,
              0.86123,
              1.00204,
              1.17096,
              1.3739,
              1.61723
            ],
            [
              0.15428,
              0.74427,
              0.86131,
              1.00204,
              1.17077,
              1.37395,
              1.61782
            ],
            [
              0.15431,
              0.7443,
              0.86131,
              1.00208,
              1.17127,
              1.37459,
              1.61729
            ],
            [
              0.1543,
              0.74421,
              0.86125,
              1.00173,
              1.17043,
              1.37374,
              1.61687
            ],
            [
              0.15432,
              0.74432,
              0.86133,
              1.00174,
              1.1709,
              1.37398,
              1.61703
            ],
            [
              0.15435,
              0.74421,
              0.8613,
              1.00194,
              1.1708,
              1.37402,
              1.61726
            ],
            [
              0.15427,
              0.74424,
              0.86119,
              1.00183,
              1.17088,
              1.37376,
              1.61723
            ],
            [
              0.15433,
              0.74411,
              0.86123,
              1.00199,
              1.17081,
              1.37424,
              1.6178
            ],
            [
              0.1544,
              0.74399,
              0.86134,
              1.0018,
              1.17093,
              1.37393,
              1.6179
            ],
            [
              0.15463,
              0.74411,
              0.8613,
              1.0021,
              1.171,
              1.3738,
              1.6172
            ],
            [
              0.1559,
              0.7444,
              0.8609,
              1.0017,
              1.1714,
              1.3743,
              1.617
            ],
            [
              0.168,
              0.7442,
              0.8612,
              1.0018,
              1.1708,
              1.3743,
              1.6173
            ],
            [
              0.1942,
              0.7469,
              0.8617,
              1.0017,
              1.1713,
              1.3742,
              1.6174
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.09042,
              0.26345,
              0.29643,
              0.33594,
              0.38325,
              0.43996,
              0.50763
            ],
            [
              0.09384,
              0.26687,
              0.29986,
              0.33936,
              0.38668,
              0.44341,
              0.51123
            ],
            [
              0.098,
              0.27106,
              0.30404,
              0.34356,
              0.39088,
              0.44752,
              0.51528
            ],
            [
              0.10428,
              0.27735,
              0.31034,
              0.34985,
              0.39715,
              0.4538,
              0.52148
            ],
            [
              0.11349,
              0.28655,
              0.31953,
              0.35902,
              0.4063,
              0.463,
              0.5307
            ],
            [
              0.12698,
              0.30012,
              0.33312,
              0.37261,
              0.41988,
              0.47654,
              0.54432
            ],
            [
              0.14709,
              0.32004,
              0.35307,
              0.39258,
              0.43997,
              0.49657,
              0.56429
            ],
            [
              0.17739,
              0.35007,
              0.38308,
              0.42259,
              0.46987,
              0.52659,
              0.59436
            ],
            [
              0.22098,
              0.39507,
              0.42811,
              0.46766,
              0.51508,
              0.57186,
              0.63953
            ],
            [
              0.28106,
              0.46253,
              0.49561,
              0.53522,
              0.58264,
              0.63939,
              0.70729
            ],
            [
              0.36283,
              0.56352,
              0.59662,
              0.63632,
              0.68382,
              0.74082,
              0.80872
            ],
            [
              0.47227,
              0.70747,
              0.74407,
              0.78637,
              0.83537,
              0.89237,
              0.96047
            ],
            [
              0.6173,
              0.9046,
              0.947,
              0.9953,
              1.0506,
              1.1136,
              1.1862
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.28646,
              0.71684,
              0.80177,
              0.90378,
              1.02627,
              1.17327,
              1.34927
            ],
            [
              0.29051,
              0.72125,
              0.80615,
              0.90819,
              1.03074,
              1.17764,
              1.35374
            ],
            [
              0.29532,
              0.72642,
              0.81134,
              0.91339,
              1.03592,
              1.18292,
              1.35892
            ],
            [
              0.30267,
              0.7342,
              0.81912,
              0.92114,
              1.04378,
              1.19087,
              1.36698
            ],
            [
              0.3136,
              0.74583,
              0.83087,
              0.93308,
              1.05561,
              1.20271,
              1.37881
            ],
            [
              0.33039,
              0.76342,
              0.84844,
              0.95082,
              1.07352,
              1.22062,
              1.39682
            ],
            [
              0.35616,
              0.78973,
              0.8751,
              0.97733,
              1.10013,
              1.24733,
              1.42353
            ],
            [
              0.39565,
              0.83017,
              0.91546,
              1.01776,
              1.14066,
              1.28786,
              1.46416
            ],
            [
              0.45558,
              0.88915,
              0.97445,
              1.07765,
              1.20005,
              1.34745,
              1.52425
            ],
            [
              0.54432,
              0.97849,
              1.06379,
              1.16619,
              1.28859,
              1.43609,
              1.61249
            ],
            [
              0.67492,
              1.10832,
              1.19362,
              1.29602,
              1.41882,
              1.56672,
              1.74342
            ],
            [
              0.86677,
              1.29997,
              1.38527,
              1.48767,
              1.61077,
              1.75817,
              1.93477
            ],
            [
              1.1407,
              1.5841,
              1.6694,
              1.7718,
              1.8948,
              2.0413,
              2.2179
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.08391,
              0.2891,
              0.33002,
              0.37933,
              0.43871,
              0.51007,
              0.59563
            ],
            [
              0.08388,
              0.28908,
              0.32993,
              0.37936,
              0.43871,
              0.5101,
              0.5957
            ],
            [
              0.08385,
              0.28903,
              0.32996,
              0.37939,
              0.43871,
              0.51005,
              0.59564
            ],
            [
              0.08382,
              0.2891,
              0.33002,
              0.37936,
              0.43868,
              0.51004,
              0.59562
            ],
            [
              0.08376,
              0.28904,
              0.32988,
              0.37936,
              0.43861,
              0.51004,
              0.5956
            ],
            [
              0.08342,
              0.28891,
              0.32998,
              0.37929,
              0.43865,
              0.51006,
              0.59573
            ],
            [
              0.08281,
              0.28911,
              0.32996,
              0.37929,
              0.43873,
              0.51004,
              0.59579
            ],
            [
              0.08423,
              0.28882,
              0.33,
              0.3793,
              0.43868,
              0.51005,
              0.59555
            ],
            [
              0.08962,
              0.28859,
              0.32965,
              0.37922,
              0.43861,
              0.51012,
              0.59563
            ],
            [
              0.10152,
              0.29118,
              0.33095,
              0.37946,
              0.43851,
              0.50993,
              0.59558
            ],
            [
              0.11995,
              0.30289,
              0.34061,
              0.387,
              0.4436,
              0.5127,
              0.5967
            ],
            [
              0.1474,
              0.3329,
              0.3675,
              0.4104,
              0.4632,
              0.5284,
              0.6085
            ],
            [
              0.1865,
              0.3886,
              0.423,
              0.4638,
              0.5121,
              0.5714,
              0.6448
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.16763,
              0.71918,
              0.82779,
              0.95865,
              1.11589,
              1.30453,
              1.5305
            ],
            [
              0.16765,
              0.71877,
              0.82815,
              0.95857,
              1.11579,
              1.30446,
              1.53045
            ],
            [
              0.16766,
              0.71887,
              0.82752,
              0.95876,
              1.11576,
              1.30434,
              1.53068
            ],
            [
              0.16766,
              0.71866,
              0.82757,
              0.95867,
              1.11575,
              1.30436,
              1.5308
            ],
            [
              0.16768,
              0.71865,
              0.8279,
              0.95867,
              1.11568,
              1.30448,
              1.53027
            ],
            [
              0.16764,
              0.71833,
              0.82747,
              0.95858,
              1.11549,
              1.30449,
              1.53061
            ],
            [
              0.16755,
              0.71897,
              0.82773,
              0.95862,
              1.11576,
              1.3045,
              1.53053
            ],
            [
              0.16766,
              0.71924,
              0.8278,
              0.95861,
              1.11579,
              1.30428,
              1.5307
            ],
            [
              0.16768,
              0.71904,
              0.82771,
              0.95854,
              1.11573,
              1.3043,
              1.5308
            ],
            [
              0.16776,
              0.71867,
              0.8275,
              0.9585,
              1.1159,
              1.3045,
              1.5306
            ],
            [
              0.1682,
              0.7191,
              0.8278,
              0.9586,
              1.1155,
              1.3045,
              1.5303
            ],
            [
              0.1768,
              0.7182,
              0.8274,
              0.9585,
              1.1159,
              1.3043,
              1.5308
            ],
            [
              0.2033,
              0.7206,
              0.8282,
              0.9589,
              1.116,
              1.3044,
              1.5303
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.11222,
              0.28351,
              0.31644,
              0.35592,
              0.40322,
              0.45978,
              0.52753
            ],
            [
              0.11608,
              0.28738,
              0.32032,
              0.35978,
              0.40703,
              0.4637,
              0.53138
            ],
            [
              0.12065,
              0.29198,
              0.32491,
              0.36436,
              0.41167,
              0.46825,
              0.53601
            ],
            [
              0.12731,
              0.29863,
              0.33158,
              0.37102,
              0.41829,
              0.47492,
              0.54268
            ],
            [
              0.13681,
              0.3082,
              0.34113,
              0.38061,
              0.42788,
              0.48449,
              0.55221
            ],
            [
              0.15056,
              0.32205,
              0.35498,
              0.39447,
              0.44172,
              0.49842,
              0.56628
            ],
            [
              0.17037,
              0.34201,
              0.37495,
              0.4144,
              0.4617,
              0.51836,
              0.58611
            ],
            [
              0.19928,
              0.37103,
              0.404,
              0.4435,
              0.49081,
              0.54746,
              0.61533
            ],
            [
              0.24177,
              0.41364,
              0.44663,
              0.48617,
              0.53353,
              0.59025,
              0.65799
            ],
            [
              0.30107,
              0.47689,
              0.50992,
              0.54951,
              0.59693,
              0.65369,
              0.72159
            ],
            [
              0.38346,
              0.57122,
              0.60422,
              0.64392,
              0.69142,
              0.74822,
              0.81632
            ],
            [
              0.49757,
              0.70687,
              0.74247,
              0.78407,
              0.83257,
              0.88947,
              0.95757
            ],
            [
              0.6543,
              0.8958,
              0.9353,
              0.9812,
              1.0344,
              1.0961,
              1.1676
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.22902,
              0.56356,
              0.6292,
              0.70806,
              0.80275,
              0.91627,
              1.05217
            ],
            [
              0.23274,
              0.56727,
              0.63295,
              0.71187,
              0.8065,
              0.9201,
              1.05604
            ],
            [
              0.23749,
              0.57221,
              0.63785,
              0.71669,
              0.81131,
              0.92486,
              1.06082
            ],
            [
              0.24479,
              0.57969,
              0.64538,
              0.72423,
              0.81885,
              0.93244,
              1.06848
            ],
            [
              0.25606,
              0.59121,
              0.65689,
              0.73579,
              0.83047,
              0.94399,
              1.07991
            ],
            [
              0.2732,
              0.60863,
              0.67429,
              0.75319,
              0.84788,
              0.96152,
              1.09742
            ],
            [
              0.29922,
              0.63496,
              0.70068,
              0.77965,
              0.87439,
              0.98803,
              1.12413
            ],
            [
              0.33893,
              0.67482,
              0.74056,
              0.81974,
              0.91446,
              1.02806,
              1.16406
            ],
            [
              0.3979,
              0.73403,
              0.79995,
              0.87895,
              0.97365,
              1.08705,
              1.22305
            ],
            [
              0.48533,
              0.82109,
              0.88689,
              0.96589,
              1.06069,
              1.17419,
              1.31079
            ],
            [
              0.61402,
              0.94992,
              1.01582,
              1.09482,
              1.18952,
              1.30352,
              1.43972
            ],
            [
              0.80167,
              1.14027,
              1.20587,
              1.28477,
              1.37927,
              1.49287,
              1.62897
            ],
            [
              1.0632,
              1.4238,
              1.4911,
              1.5701,
              1.6649,
              1.7788,
              1.9151
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.06976,
              0.27799,
              0.31931,
              0.36905,
              0.42854,
              0.50028,
              0.58643
            ],
            [
              0.06979,
              0.2778,
              0.31935,
              0.36876,
              0.42842,
              0.50024,
              0.58611
            ],
            [
              0.06974,
              0.27786,
              0.31932,
              0.36876,
              0.42852,
              0.50031,
              0.58648
            ],
            [
              0.06976,
              0.27782,
              0.31934,
              0.36876,
              0.42842,
              0.50033,
              0.58652
            ],
            [
              0.06978,
              0.27783,
              0.31931,
              0.36883,
              0.42851,
              0.50025,
              0.58604
            ],
            [
              0.06977,
              0.27805,
              0.31921,
              0.36883,
              0.4284,
              0.50038,
              0.58614
            ],
            [
              0.06958,
              0.278,
              0.31921,
              0.36877,
              0.42837,
              0.50027,
              0.5862
            ],
            [
              0.06941,
              0.27798,
              0.31917,
              0.36908,
              0.42871,
              0.5004,
              0.5862
            ],
            [
              0.07196,
              0.27793,
              0.31911,
              0.369,
              0.42881,
              0.50051,
              0.58618
            ],
            [
              0.07885,
              0.27912,
              0.31961,
              0.3688,
              0.42867,
              0.50009,
              0.58616
            ],
            [
              0.08893,
              0.28699,
              0.3264,
              0.3741,
              0.4322,
              0.5019,
              0.5868
            ],
            [
              0.1048,
              0.3083,
              0.3453,
              0.3908,
              0.4462,
              0.5138,
              0.596
            ],
            [
              0.1301,
              0.346,
              0.384,
              0.429,
              0.4821,
              0.5459,
              0.6235
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.13214,
              0.55205,
              0.63492,
              0.73511,
              0.85474,
              0.99837,
              1.17071
            ],
            [
              0.13209,
              0.5519,
              0.63531,
              0.73495,
              0.85411,
              0.99755,
              1.17002
            ],
            [
              0.13202,
              0.55259,
              0.63536,
              0.73494,
              0.85457,
              0.99791,
              1.1695
            ],
            [
              0.13213,
              0.55191,
              0.63534,
              0.73486,
              0.85478,
              0.99782,
              1.16998
            ],
            [
              0.13209,
              0.55206,
              0.63483,
              0.73504,
              0.85464,
              0.99875,
              1.1709
            ],
            [
              0.13209,
              0.55178,
              0.6353,
              0.73483,
              0.8546,
              0.99788,
              1.16951
            ],
            [
              0.13206,
              0.55213,
              0.63495,
              0.73445,
              0.85401,
              0.99767,
              1.17086
            ],
            [
              0.13207,
              0.55264,
              0.63554,
              0.73493,
              0.85467,
              0.99832,
              1.16948
            ],
            [
              0.13215,
              0.55262,
              0.63487,
              0.73451,
              0.85401,
              0.99768,
              1.17015
            ],
            [
              0.13208,
              0.55194,
              0.6349,
              0.73521,
              0.8539,
              0.9976,
              1.1715
            ],
            [
              0.1346,
              0.5524,
              0.6351,
              0.7343,
              0.8537,
              0.9975,
              1.1708
            ],
            [
              0.1508,
              0.552,
              0.6353,
              0.7351,
              0.8538,
              0.9973,
              1.1695
            ],
            [
              0.1823,
              0.5637,
              0.6422,
              0.7385,
              0.8554,
              0.9977,
              1.1694
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.09387,
              0.26698,
              0.29995,
              0.33953,
              0.38678,
              0.4435,
              0.51125
            ],
            [
              0.09772,
              0.27081,
              0.30382,
              0.3433,
              0.39065,
              0.4474,
              0.51505
            ],
            [
              0.10225,
              0.27535,
              0.30835,
              0.34792,
              0.39517,
              0.45185,
              0.51956
            ],
            [
              0.10884,
              0.28197,
              0.31495,
              0.35446,
              0.40182,
              0.45842,
              0.52616
            ],
            [
              0.11832,
              0.29146,
              0.32446,
              0.36397,
              0.41126,
              0.46795,
              0.53574
            ],
            [
              0.13204,
              0.30527,
              0.33826,
              0.37781,
              0.42508,
              0.48179,
              0.54957
            ],
            [
              0.15192,
              0.32509,
              0.35809,
              0.39766,
              0.44501,
              0.50161,
              0.56932
            ],
            [
              0.18111,
              0.35405,
              0.38705,
              0.42657,
              0.47394,
              0.53055,
              0.59837
            ],
            [
              0.2229,
              0.39667,
              0.42974,
              0.46923,
              0.51677,
              0.57336,
              0.64115
            ],
            [
              0.28056,
              0.45994,
              0.49302,
              0.53261,
              0.58001,
              0.63669,
              0.70469
            ],
            [
              0.36067,
              0.55422,
              0.58732,
              0.62692,
              0.67442,
              0.73142,
              0.79932
            ],
            [
              0.47137,
              0.68857,
              0.72467,
              0.76667,
              0.81557,
              0.87267,
              0.94067
            ],
            [
              0.6219,
              0.8755,
              0.9156,
              0.9621,
              1.0159,
              1.0781,
              1.1502
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.27897,
              0.72564,
              0.81345,
              0.91889,
              1.04547,
              1.19747,
              1.37927
            ],
            [
              0.28248,
              0.72914,
              0.81697,
              0.92259,
              1.04924,
              1.20114,
              1.38284
            ],
            [
              0.28707,
              0.73397,
              0.82174,
              0.92719,
              1.05382,
              1.20562,
              1.38752
            ],
            [
              0.29417,
              0.74128,
              0.82913,
              0.93458,
              1.06128,
              1.21307,
              1.39488
            ],
            [
              0.30521,
              0.75269,
              0.84054,
              0.94598,
              1.07261,
              1.22451,
              1.40641
            ],
            [
              0.32212,
              0.76997,
              0.85772,
              0.96322,
              1.08992,
              1.24202,
              1.42392
            ],
            [
              0.34789,
              0.79615,
              0.88405,
              0.98973,
              1.11643,
              1.26833,
              1.45013
            ],
            [
              0.38735,
              0.83586,
              0.92376,
              1.02956,
              1.15626,
              1.30836,
              1.49026
            ],
            [
              0.44574,
              0.89455,
              0.98245,
              1.08835,
              1.21495,
              1.36695,
              1.54875
            ],
            [
              0.53178,
              0.98009,
              1.06809,
              1.17369,
              1.30049,
              1.45249,
              1.63499
            ],
            [
              0.65662,
              1.10532,
              1.19332,
              1.29902,
              1.42582,
              1.57832,
              1.76042
            ],
            [
              0.83907,
              1.28787,
              1.37567,
              1.48117,
              1.60757,
              1.75957,
              1.94177
            ],
            [
              1.0954,
              1.5575,
              1.6471,
              1.7529,
              1.8798,
              2.032,
              2.2142
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.06596,
              0.2728,
              0.31377,
              0.36328,
              0.42278,
              0.49431,
              0.58038
            ],
            [
              0.06593,
              0.27281,
              0.31386,
              0.36334,
              0.42274,
              0.49428,
              0.58028
            ],
            [
              0.06591,
              0.27275,
              0.314,
              0.36324,
              0.42278,
              0.49422,
              0.57993
            ],
            [
              0.06588,
              0.27286,
              0.31383,
              0.36338,
              0.42312,
              0.49419,
              0.58008
            ],
            [
              0.06575,
              0.2727,
              0.31377,
              0.36319,
              0.42278,
              0.49423,
              0.57997
            ],
            [
              0.06558,
              0.27283,
              0.31396,
              0.3632,
              0.42279,
              0.49423,
              0.57998
            ],
            [
              0.06523,
              0.27283,
              0.31395,
              0.36328,
              0.42286,
              0.49414,
              0.58017
            ],
            [
              0.06594,
              0.27262,
              0.31396,
              0.36348,
              0.42307,
              0.49416,
              0.57986
            ],
            [
              0.06996,
              0.2723,
              0.31357,
              0.36315,
              0.42272,
              0.49403,
              0.58033
            ],
            [
              0.07739,
              0.27446,
              0.31461,
              0.36344,
              0.42281,
              0.49419,
              0.58021
            ],
            [
              0.0884,
              0.28347,
              0.32232,
              0.36959,
              0.4268,
              0.4965,
              0.5812
            ],
            [
              0.1058,
              0.3063,
              0.3432,
              0.3877,
              0.4427,
              0.5097,
              0.5911
            ],
            [
              0.1331,
              0.3453,
              0.3829,
              0.4276,
              0.4802,
              0.5433,
              0.6199
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.1714,
              0.74137,
              0.85404,
              0.98958,
              1.15218,
              1.34806,
              1.58137
            ],
            [
              0.17138,
              0.74128,
              0.85367,
              0.98947,
              1.15261,
              1.34797,
              1.58172
            ],
            [
              0.17137,
              0.74157,
              0.85396,
              0.98913,
              1.15217,
              1.34708,
              1.58139
            ],
            [
              0.17134,
              0.74147,
              0.85364,
              0.98918,
              1.15223,
              1.34744,
              1.58191
            ],
            [
              0.17147,
              0.74136,
              0.85419,
              0.98941,
              1.15217,
              1.34716,
              1.58158
            ],
            [
              0.17139,
              0.74159,
              0.85399,
              0.98926,
              1.1522,
              1.34806,
              1.58139
            ],
            [
              0.17142,
              0.74143,
              0.85419,
              0.98936,
              1.15239,
              1.34754,
              1.58191
            ],
            [
              0.17157,
              0.74135,
              0.85411,
              0.98965,
              1.15233,
              1.34805,
              1.58157
            ],
            [
              0.17177,
              0.74135,
              0.8542,
              0.9896,
              1.15214,
              1.34802,
              1.5817
            ],
            [
              0.17139,
              0.74133,
              0.8536,
              0.9894,
              1.1523,
              1.3478,
              1.5818
            ],
            [
              0.1722,
              0.7412,
              0.8539,
              0.9896,
              1.1525,
              1.3476,
              1.5816
            ],
            [
              0.1836,
              0.7413,
              0.8537,
              0.9893,
              1.1522,
              1.348,
              1.5817
            ],
            [
              0.2104,
              0.7457,
              0.8561,
              0.9899,
              1.1525,
              1.3472,
              1.5822
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.09608,
              0.26908,
              0.30206,
              0.34158,
              0.3889,
              0.44555,
              0.51334
            ],
            [
              0.09989,
              0.27292,
              0.30592,
              0.34542,
              0.39272,
              0.4494,
              0.51713
            ],
            [
              0.10445,
              0.27748,
              0.31047,
              0.34997,
              0.39729,
              0.45395,
              0.52164
            ],
            [
              0.11106,
              0.28409,
              0.31707,
              0.35657,
              0.40391,
              0.4606,
              0.52824
            ],
            [
              0.12052,
              0.29358,
              0.32657,
              0.36607,
              0.41339,
              0.47011,
              0.53781
            ],
            [
              0.13424,
              0.3074,
              0.3404,
              0.37989,
              0.4272,
              0.48388,
              0.55161
            ],
            [
              0.1541,
              0.32721,
              0.36023,
              0.39975,
              0.44708,
              0.50375,
              0.57144
            ],
            [
              0.18324,
              0.35621,
              0.3892,
              0.42872,
              0.47607,
              0.53272,
              0.60053
            ],
            [
              0.22517,
              0.39881,
              0.43185,
              0.47139,
              0.5188,
              0.57551,
              0.64325
            ],
            [
              0.2831,
              0.46206,
              0.49513,
              0.53472,
              0.58213,
              0.63879,
              0.70679
            ],
            [
              0.36346,
              0.55632,
              0.58952,
              0.62912,
              0.67652,
              0.73352,
              0.80152
            ],
            [
              0.47467,
              0.69097,
              0.72697,
              0.76887,
              0.81777,
              0.87487,
              0.94277
            ],
            [
              0.6261,
              0.8781,
              0.9181,
              0.9645,
              1.0182,
              1.0805,
              1.1524
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.30481,
              0.72115,
              0.80281,
              0.90087,
              1.01857,
              1.15967,
              1.32857
            ],
            [
              0.30842,
              0.72475,
              0.80655,
              0.90455,
              1.02224,
              1.16334,
              1.33234
            ],
            [
              0.31305,
              0.72958,
              0.81126,
              0.9093,
              1.02692,
              1.16812,
              1.33702
            ],
            [
              0.32025,
              0.73698,
              0.81868,
              0.91673,
              1.03438,
              1.17558,
              1.34458
            ],
            [
              0.33149,
              0.7484,
              0.83011,
              0.92821,
              1.04591,
              1.18701,
              1.35601
            ],
            [
              0.34858,
              0.76565,
              0.84741,
              0.94552,
              1.06332,
              1.20442,
              1.37342
            ],
            [
              0.37453,
              0.792,
              0.87371,
              0.97193,
              1.08973,
              1.23093,
              1.40003
            ],
            [
              0.41409,
              0.83173,
              0.91376,
              1.01186,
              1.12966,
              1.27096,
              1.43996
            ],
            [
              0.47259,
              0.89055,
              0.97265,
              1.07075,
              1.18845,
              1.32955,
              1.49855
            ],
            [
              0.55883,
              0.97649,
              1.05829,
              1.15649,
              1.27429,
              1.41539,
              1.58509
            ],
            [
              0.68432,
              1.10242,
              1.18422,
              1.28242,
              1.40022,
              1.54192,
              1.71112
            ],
            [
              0.86847,
              1.28617,
              1.36787,
              1.46587,
              1.58347,
              1.72477,
              1.89397
            ],
            [
              1.1323,
              1.5603,
              1.6422,
              1.7404,
              1.8584,
              1.9998,
              2.1692
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.08379,
              0.28907,
              0.33002,
              0.37937,
              0.43871,
              0.51003,
              0.5956
            ],
            [
              0.08377,
              0.28906,
              0.32998,
              0.37936,
              0.4387,
              0.51006,
              0.59559
            ],
            [
              0.08375,
              0.28897,
              0.32998,
              0.37939,
              0.4387,
              0.51003,
              0.59561
            ],
            [
              0.08373,
              0.28902,
              0.32994,
              0.37931,
              0.4386,
              0.51008,
              0.59561
            ],
            [
              0.08366,
              0.28896,
              0.33002,
              0.37922,
              0.43865,
              0.51005,
              0.59558
            ],
            [
              0.0835,
              0.28901,
              0.33003,
              0.37929,
              0.43866,
              0.51003,
              0.59565
            ],
            [
              0.0831,
              0.28917,
              0.32995,
              0.3793,
              0.43866,
              0.51008,
              0.59563
            ],
            [
              0.08363,
              0.28904,
              0.32993,
              0.37928,
              0.43873,
              0.51003,
              0.59562
            ],
            [
              0.08731,
              0.28875,
              0.32978,
              0.3792,
              0.43859,
              0.51001,
              0.59552
            ],
            [
              0.09595,
              0.29061,
              0.33081,
              0.37956,
              0.43847,
              0.50988,
              0.59582
            ],
            [
              0.10874,
              0.29979,
              0.33842,
              0.3855,
              0.4429,
              0.5124,
              0.5967
            ],
            [
              0.1286,
              0.3225,
              0.359,
              0.4039,
              0.4587,
              0.5255,
              0.6067
            ],
            [
              0.1594,
              0.3626,
              0.3998,
              0.4439,
              0.4959,
              0.559,
              0.6363
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.18175,
              0.71298,
              0.81745,
              0.94416,
              1.09502,
              1.27637,
              1.49318
            ],
            [
              0.18174,
              0.71331,
              0.81768,
              0.94323,
              1.09501,
              1.2763,
              1.49294
            ],
            [
              0.18172,
              0.71359,
              0.81794,
              0.94378,
              1.09449,
              1.27621,
              1.49283
            ],
            [
              0.18166,
              0.71279,
              0.81798,
              0.944,
              1.09459,
              1.27576,
              1.49338
            ],
            [
              0.18171,
              0.71278,
              0.81831,
              0.94379,
              1.09473,
              1.27662,
              1.49389
            ],
            [
              0.1817,
              0.71362,
              0.81788,
              0.94367,
              1.0944,
              1.27645,
              1.49321
            ],
            [
              0.18175,
              0.71325,
              0.81771,
              0.94324,
              1.09484,
              1.27584,
              1.49338
            ],
            [
              0.18151,
              0.71299,
              0.81741,
              0.94441,
              1.09518,
              1.27644,
              1.49322
            ],
            [
              0.18167,
              0.71331,
              0.81816,
              0.94369,
              1.09485,
              1.27644,
              1.493
            ],
            [
              0.18179,
              0.71331,
              0.8181,
              0.944,
              1.0948,
              1.276,
              1.4933
            ],
            [
              0.1821,
              0.7133,
              0.8181,
              0.944,
              1.0952,
              1.2759,
              1.4928
            ],
            [
              0.1908,
              0.7132,
              0.8175,
              0.9438,
              1.0947,
              1.2763,
              1.493
            ],
            [
              0.2174,
              0.7169,
              0.8197,
              0.9441,
              1.0951,
              1.2757,
              1.4935
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04144,
              0.15262,
              0.1745,
              0.20111,
              0.23284,
              0.27091,
              0.31695
            ],
            [
              0.0447,
              0.15611,
              0.17806,
              0.20465,
              0.23645,
              0.27463,
              0.32015
            ],
            [
              0.04862,
              0.16034,
              0.18238,
              0.20871,
              0.24068,
              0.27893,
              0.32451
            ],
            [
              0.05462,
              0.16667,
              0.18862,
              0.21508,
              0.24705,
              0.28526,
              0.33083
            ],
            [
              0.0637,
              0.17608,
              0.19808,
              0.22474,
              0.25642,
              0.29457,
              0.34056
            ],
            [
              0.07772,
              0.19036,
              0.21246,
              0.23896,
              0.27067,
              0.30882,
              0.35485
            ],
            [
              0.09762,
              0.21169,
              0.23372,
              0.26022,
              0.29243,
              0.33066,
              0.37635
            ],
            [
              0.12363,
              0.24405,
              0.26609,
              0.29265,
              0.32438,
              0.36265,
              0.40835
            ],
            [
              0.15758,
              0.29246,
              0.31445,
              0.34122,
              0.37299,
              0.4113,
              0.457
            ],
            [
              0.20198,
              0.36575,
              0.38784,
              0.41409,
              0.44572,
              0.48371,
              0.52918
            ],
            [
              0.2601,
              0.46602,
              0.49312,
              0.52302,
              0.55612,
              0.59362,
              0.63902
            ],
            [
              0.33607,
              0.59757,
              0.63147,
              0.66867,
              0.70967,
              0.75477,
              0.80387
            ],
            [
              0.435,
              0.7698,
              0.8128,
              0.8594,
              0.9108,
              0.9669,
              1.0279
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.09584,
              0.38207,
              0.43856,
              0.50586,
              0.58799,
              0.6859,
              0.80274
            ],
            [
              0.09826,
              0.38577,
              0.44256,
              0.51026,
              0.59194,
              0.68964,
              0.80646
            ],
            [
              0.10179,
              0.39048,
              0.44697,
              0.51459,
              0.59619,
              0.69439,
              0.81169
            ],
            [
              0.10759,
              0.39689,
              0.45392,
              0.52201,
              0.60354,
              0.701,
              0.81758
            ],
            [
              0.11759,
              0.40768,
              0.46422,
              0.53263,
              0.6136,
              0.71238,
              0.82907
            ],
            [
              0.13356,
              0.42367,
              0.48058,
              0.54849,
              0.6302,
              0.7283,
              0.84517
            ],
            [
              0.15858,
              0.44783,
              0.50435,
              0.57309,
              0.65521,
              0.75316,
              0.87009
            ],
            [
              0.19699,
              0.486,
              0.54256,
              0.60998,
              0.69105,
              0.79171,
              0.90946
            ],
            [
              0.25578,
              0.54324,
              0.59989,
              0.66744,
              0.7501,
              0.84795,
              0.96655
            ],
            [
              0.34099,
              0.62979,
              0.68649,
              0.75389,
              0.83609,
              0.93459,
              1.05239
            ],
            [
              0.45742,
              0.76142,
              0.81832,
              0.88622,
              0.96732,
              1.06432,
              1.18242
            ],
            [
              0.61737,
              0.96067,
              1.01747,
              1.08477,
              1.16477,
              1.26417,
              1.38117
            ],
            [
              0.8389,
              1.2605,
              1.3164,
              1.384,
              1.4651,
              1.5623,
              1.6807
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03128,
              0.17385,
              0.20228,
              0.23673,
              0.27747,
              0.32676,
              0.38569
            ],
            [
              0.0313,
              0.17386,
              0.20229,
              0.23641,
              0.27738,
              0.32706,
              0.38588
            ],
            [
              0.0313,
              0.17389,
              0.20237,
              0.23643,
              0.2774,
              0.32675,
              0.3859
            ],
            [
              0.03129,
              0.17402,
              0.20229,
              0.23644,
              0.27738,
              0.3271,
              0.38589
            ],
            [
              0.03124,
              0.17389,
              0.20228,
              0.23639,
              0.27748,
              0.32678,
              0.38583
            ],
            [
              0.03296,
              0.17389,
              0.2023,
              0.23672,
              0.27748,
              0.32675,
              0.38573
            ],
            [
              0.03872,
              0.17383,
              0.20227,
              0.23638,
              0.27749,
              0.32695,
              0.38586
            ],
            [
              0.0485,
              0.17391,
              0.20262,
              0.23644,
              0.27745,
              0.32669,
              0.38612
            ],
            [
              0.06169,
              0.17902,
              0.20534,
              0.23745,
              0.27805,
              0.3267,
              0.38574
            ],
            [
              0.08025,
              0.1951,
              0.21863,
              0.24789,
              0.28507,
              0.33046,
              0.38723
            ],
            [
              0.10563,
              0.2317,
              0.25104,
              0.2763,
              0.30889,
              0.35022,
              0.40188
            ],
            [
              0.1411,
              0.2904,
              0.3111,
              0.335,
              0.3625,
              0.3969,
              0.4422
            ],
            [
              0.1908,
              0.37,
              0.3939,
              0.4215,
              0.4526,
              0.4881,
              0.5284
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.07842,
              0.44946,
              0.52501,
              0.61192,
              0.7214,
              0.85034,
              1.00368
            ],
            [
              0.07867,
              0.44953,
              0.525,
              0.61407,
              0.72135,
              0.84995,
              1.00313
            ],
            [
              0.07851,
              0.4508,
              0.52492,
              0.61195,
              0.72099,
              0.84989,
              1.00429
            ],
            [
              0.07847,
              0.45059,
              0.52495,
              0.6141,
              0.721,
              0.84856,
              1.00282
            ],
            [
              0.07849,
              0.44968,
              0.52448,
              0.61399,
              0.72033,
              0.84985,
              1.00275
            ],
            [
              0.07845,
              0.44966,
              0.52329,
              0.61388,
              0.71876,
              0.84965,
              1.00246
            ],
            [
              0.07828,
              0.45027,
              0.52461,
              0.61394,
              0.72119,
              0.84927,
              1.00257
            ],
            [
              0.07843,
              0.44943,
              0.52478,
              0.61348,
              0.72096,
              0.84982,
              1.00384
            ],
            [
              0.08493,
              0.45056,
              0.52357,
              0.61205,
              0.72098,
              0.84924,
              1.0039
            ],
            [
              0.10241,
              0.45069,
              0.52369,
              0.61323,
              0.72025,
              0.84992,
              1.00415
            ],
            [
              0.13349,
              0.4504,
              0.5246,
              0.6137,
              0.7197,
              0.8496,
              1.0029
            ],
            [
              0.1755,
              0.4628,
              0.5312,
              0.6154,
              0.7208,
              0.8492,
              1.0032
            ],
            [
              0.2327,
              0.5073,
              0.567,
              0.6428,
              0.7373,
              0.8571,
              1.0045
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04145,
              0.15252,
              0.17464,
              0.20108,
              0.23291,
              0.2711,
              0.31663
            ],
            [
              0.04473,
              0.15607,
              0.17819,
              0.20462,
              0.23641,
              0.27469,
              0.32031
            ],
            [
              0.04866,
              0.16023,
              0.18237,
              0.2088,
              0.24075,
              0.2789,
              0.32444
            ],
            [
              0.05468,
              0.16676,
              0.18874,
              0.21527,
              0.24704,
              0.28513,
              0.33115
            ],
            [
              0.06382,
              0.17617,
              0.19836,
              0.22486,
              0.25658,
              0.29478,
              0.34068
            ],
            [
              0.07783,
              0.19046,
              0.21263,
              0.23911,
              0.27091,
              0.30911,
              0.35491
            ],
            [
              0.09773,
              0.21193,
              0.23386,
              0.26038,
              0.29232,
              0.33054,
              0.37619
            ],
            [
              0.12381,
              0.24403,
              0.26606,
              0.29259,
              0.32472,
              0.36305,
              0.40888
            ],
            [
              0.15775,
              0.29255,
              0.31483,
              0.3414,
              0.37314,
              0.41135,
              0.45689
            ],
            [
              0.20216,
              0.36589,
              0.388,
              0.41438,
              0.44622,
              0.48442,
              0.5299
            ],
            [
              0.26031,
              0.46602,
              0.49332,
              0.52322,
              0.55632,
              0.59402,
              0.63972
            ],
            [
              0.33617,
              0.59777,
              0.63197,
              0.66897,
              0.70987,
              0.75457,
              0.80417
            ],
            [
              0.4349,
              0.7705,
              0.8132,
              0.8599,
              0.9111,
              0.9672,
              1.0282
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.10771,
              0.43695,
              0.50158,
              0.57992,
              0.67297,
              0.78592,
              0.92112
            ],
            [
              0.10988,
              0.44043,
              0.50531,
              0.5832,
              0.67669,
              0.78978,
              0.92392
            ],
            [
              0.11288,
              0.44476,
              0.50976,
              0.58803,
              0.68153,
              0.79444,
              0.92946
            ],
            [
              0.11822,
              0.45151,
              0.51655,
              0.59479,
              0.6888,
              0.80054,
              0.93654
            ],
            [
              0.12765,
              0.46122,
              0.52705,
              0.6053,
              0.69931,
              0.81175,
              0.94615
            ],
            [
              0.14299,
              0.4769,
              0.54216,
              0.62102,
              0.71453,
              0.82776,
              0.96342
            ],
            [
              0.16744,
              0.50094,
              0.56614,
              0.64478,
              0.73931,
              0.85221,
              0.98693
            ],
            [
              0.20516,
              0.53709,
              0.60246,
              0.68088,
              0.77476,
              0.88976,
              1.02526
            ],
            [
              0.26321,
              0.59313,
              0.65958,
              0.73674,
              0.83255,
              0.94605,
              1.08125
            ],
            [
              0.34928,
              0.67939,
              0.74459,
              0.82209,
              0.91689,
              1.02989,
              1.16619
            ],
            [
              0.46702,
              0.80882,
              0.87422,
              0.95252,
              1.04642,
              1.15702,
              1.29422
            ],
            [
              0.62837,
              1.00517,
              1.07047,
              1.14797,
              1.24057,
              1.35457,
              1.48927
            ],
            [
              0.8515,
              1.3012,
              1.3656,
              1.4433,
              1.5367,
              1.6493,
              1.7836
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03126,
              0.17389,
              0.20249,
              0.2364,
              0.27745,
              0.32671,
              0.38581
            ],
            [
              0.03127,
              0.17389,
              0.20246,
              0.23641,
              0.27745,
              0.327,
              0.38585
            ],
            [
              0.03127,
              0.17388,
              0.20229,
              0.2364,
              0.27746,
              0.32674,
              0.38584
            ],
            [
              0.03129,
              0.17396,
              0.20229,
              0.23657,
              0.27746,
              0.32674,
              0.38571
            ],
            [
              0.03123,
              0.17389,
              0.20228,
              0.23642,
              0.27748,
              0.32675,
              0.38576
            ],
            [
              0.03292,
              0.17387,
              0.20231,
              0.23641,
              0.27747,
              0.32673,
              0.38585
            ],
            [
              0.03867,
              0.17385,
              0.20227,
              0.23638,
              0.27749,
              0.32693,
              0.38586
            ],
            [
              0.04832,
              0.17392,
              0.20261,
              0.23646,
              0.27745,
              0.32669,
              0.38611
            ],
            [
              0.06154,
              0.17869,
              0.20524,
              0.23745,
              0.27805,
              0.32672,
              0.38574
            ],
            [
              0.08008,
              0.19501,
              0.21855,
              0.24778,
              0.28496,
              0.33042,
              0.38761
            ],
            [
              0.1054,
              0.23172,
              0.25089,
              0.27613,
              0.30879,
              0.34996,
              0.40156
            ],
            [
              0.1409,
              0.2902,
              0.3107,
              0.3347,
              0.3623,
              0.3969,
              0.442
            ],
            [
              0.1909,
              0.3694,
              0.3935,
              0.4211,
              0.4523,
              0.4877,
              0.5281
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.08994,
              0.51435,
              0.59919,
              0.69965,
              0.82284,
              0.97042,
              1.14725
            ],
            [
              0.08986,
              0.51463,
              0.59964,
              0.70069,
              0.82291,
              0.97072,
              1.14563
            ],
            [
              0.0899,
              0.51512,
              0.5997,
              0.70156,
              0.82339,
              0.97079,
              1.14708
            ],
            [
              0.08977,
              0.51386,
              0.59891,
              0.69971,
              0.82406,
              0.96958,
              1.14679
            ],
            [
              0.0897,
              0.51498,
              0.59992,
              0.70173,
              0.82422,
              0.97084,
              1.14626
            ],
            [
              0.0896,
              0.51482,
              0.59949,
              0.69973,
              0.82282,
              0.97055,
              1.14723
            ],
            [
              0.08944,
              0.51481,
              0.59961,
              0.70143,
              0.82416,
              0.9711,
              1.1456
            ],
            [
              0.08875,
              0.51482,
              0.59996,
              0.70112,
              0.8235,
              0.97091,
              1.14718
            ],
            [
              0.0936,
              0.51515,
              0.59934,
              0.70137,
              0.82405,
              0.97132,
              1.1465
            ],
            [
              0.10917,
              0.51459,
              0.59942,
              0.70145,
              0.82331,
              0.96992,
              1.14708
            ],
            [
              0.14041,
              0.5143,
              0.5997,
              0.7007,
              0.8237,
              0.9704,
              1.146
            ],
            [
              0.1832,
              0.5222,
              0.6016,
              0.7003,
              0.8227,
              0.9705,
              1.1467
            ],
            [
              0.2413,
              0.5596,
              0.6312,
              0.7204,
              0.8335,
              0.9724,
              1.1463
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04145,
              0.15253,
              0.17464,
              0.20109,
              0.23287,
              0.27112,
              0.31665
            ],
            [
              0.04473,
              0.15611,
              0.1782,
              0.20458,
              0.23644,
              0.27467,
              0.32046
            ],
            [
              0.04865,
              0.1604,
              0.18236,
              0.20884,
              0.24075,
              0.27888,
              0.32446
            ],
            [
              0.05467,
              0.16675,
              0.18871,
              0.21527,
              0.24705,
              0.28508,
              0.33111
            ],
            [
              0.06381,
              0.17618,
              0.19835,
              0.22485,
              0.2566,
              0.29471,
              0.34064
            ],
            [
              0.07781,
              0.19044,
              0.21258,
              0.2391,
              0.27087,
              0.30908,
              0.355
            ],
            [
              0.09772,
              0.2119,
              0.23385,
              0.26036,
              0.29229,
              0.3305,
              0.37648
            ],
            [
              0.12379,
              0.24399,
              0.26602,
              0.29254,
              0.3247,
              0.36301,
              0.40884
            ],
            [
              0.15772,
              0.2927,
              0.3148,
              0.34135,
              0.37309,
              0.41129,
              0.45673
            ],
            [
              0.20213,
              0.36587,
              0.38798,
              0.41435,
              0.44618,
              0.48437,
              0.52984
            ],
            [
              0.26012,
              0.46602,
              0.49332,
              0.52322,
              0.55632,
              0.59402,
              0.63972
            ],
            [
              0.33617,
              0.59777,
              0.63187,
              0.66897,
              0.70987,
              0.75457,
              0.80407
            ],
            [
              0.4349,
              0.7704,
              0.8131,
              0.8599,
              0.9111,
              0.9672,
              1.0282
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.10603,
              0.42861,
              0.49246,
              0.56906,
              0.66086,
              0.77078,
              0.90218
            ],
            [
              0.10825,
              0.43249,
              0.49593,
              0.57281,
              0.66464,
              0.77492,
              0.90645
            ],
            [
              0.11126,
              0.43647,
              0.50047,
              0.57693,
              0.66906,
              0.77959,
              0.91146
            ],
            [
              0.11671,
              0.44325,
              0.50714,
              0.58398,
              0.67553,
              0.78609,
              0.91751
            ],
            [
              0.12622,
              0.45357,
              0.51755,
              0.59414,
              0.68661,
              0.79665,
              0.92877
            ],
            [
              0.14164,
              0.46902,
              0.53325,
              0.61032,
              0.70248,
              0.81306,
              0.94502
            ],
            [
              0.16621,
              0.49309,
              0.55699,
              0.63394,
              0.72666,
              0.83744,
              0.96953
            ],
            [
              0.20402,
              0.52943,
              0.5939,
              0.67035,
              0.76242,
              0.87476,
              1.00796
            ],
            [
              0.26218,
              0.58548,
              0.65074,
              0.72683,
              0.82015,
              0.93155,
              1.06425
            ],
            [
              0.34816,
              0.67199,
              0.73599,
              0.81159,
              0.90489,
              1.01589,
              1.14909
            ],
            [
              0.46572,
              0.80162,
              0.86612,
              0.94232,
              1.03472,
              1.14322,
              1.27732
            ],
            [
              0.62687,
              0.99867,
              1.06247,
              1.13867,
              1.22917,
              1.34117,
              1.47277
            ],
            [
              0.8497,
              1.2952,
              1.3583,
              1.4343,
              1.5262,
              1.6363,
              1.768
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03126,
              0.17389,
              0.20253,
              0.23638,
              0.27745,
              0.3269,
              0.38583
            ],
            [
              0.03127,
              0.1739,
              0.2024,
              0.23642,
              0.27746,
              0.3269,
              0.38582
            ],
            [
              0.03127,
              0.17399,
              0.20227,
              0.23641,
              0.27747,
              0.32674,
              0.38584
            ],
            [
              0.03129,
              0.17392,
              0.20228,
              0.23669,
              0.27744,
              0.32676,
              0.38571
            ],
            [
              0.03123,
              0.17388,
              0.20227,
              0.23642,
              0.27747,
              0.32676,
              0.38581
            ],
            [
              0.03293,
              0.17388,
              0.20228,
              0.2365,
              0.27747,
              0.32674,
              0.38612
            ],
            [
              0.03868,
              0.17383,
              0.20227,
              0.23638,
              0.27749,
              0.32692,
              0.38585
            ],
            [
              0.04838,
              0.17392,
              0.2026,
              0.23645,
              0.27746,
              0.32669,
              0.38611
            ],
            [
              0.06156,
              0.17894,
              0.20525,
              0.23745,
              0.27805,
              0.32672,
              0.38574
            ],
            [
              0.0801,
              0.19502,
              0.21856,
              0.2478,
              0.28497,
              0.33037,
              0.38757
            ],
            [
              0.10554,
              0.23172,
              0.25091,
              0.27619,
              0.30884,
              0.34997,
              0.40162
            ],
            [
              0.141,
              0.2903,
              0.3108,
              0.3348,
              0.3623,
              0.397,
              0.4421
            ],
            [
              0.1909,
              0.3694,
              0.3935,
              0.4212,
              0.4523,
              0.4878,
              0.5282
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.08817,
              0.50529,
              0.58686,
              0.68859,
              0.80836,
              0.95208,
              1.12263
            ],
            [
              0.08819,
              0.5042,
              0.58794,
              0.6886,
              0.80839,
              0.95246,
              1.12456
            ],
            [
              0.08816,
              0.50528,
              0.58707,
              0.68667,
              0.80847,
              0.95283,
              1.12474
            ],
            [
              0.08805,
              0.50539,
              0.58852,
              0.68861,
              0.80788,
              0.95007,
              1.12394
            ],
            [
              0.08798,
              0.50539,
              0.58842,
              0.68807,
              0.80864,
              0.95015,
              1.12474
            ],
            [
              0.08782,
              0.50521,
              0.5885,
              0.68868,
              0.80619,
              0.95281,
              1.12432
            ],
            [
              0.08776,
              0.50526,
              0.58803,
              0.68817,
              0.80846,
              0.95284,
              1.1251
            ],
            [
              0.08716,
              0.50519,
              0.58805,
              0.68662,
              0.80735,
              0.95222,
              1.12554
            ],
            [
              0.09228,
              0.50538,
              0.58808,
              0.6886,
              0.80835,
              0.95277,
              1.12535
            ],
            [
              0.10815,
              0.50505,
              0.58811,
              0.68727,
              0.80801,
              0.95197,
              1.12541
            ],
            [
              0.13934,
              0.5045,
              0.5879,
              0.6883,
              0.8081,
              0.9518,
              1.1254
            ],
            [
              0.182,
              0.5133,
              0.591,
              0.6883,
              0.8071,
              0.9519,
              1.1253
            ],
            [
              0.2401,
              0.5518,
              0.6213,
              0.7087,
              0.8188,
              0.9552,
              1.125
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04149,
              0.15248,
              0.17469,
              0.20111,
              0.23294,
              0.27098,
              0.31698
            ],
            [
              0.04477,
              0.15625,
              0.17824,
              0.20459,
              0.23652,
              0.27446,
              0.32049
            ],
            [
              0.04876,
              0.16045,
              0.18245,
              0.20885,
              0.2408,
              0.27879,
              0.32471
            ],
            [
              0.05478,
              0.16684,
              0.18876,
              0.21529,
              0.24719,
              0.28514,
              0.33121
            ],
            [
              0.064,
              0.17646,
              0.1985,
              0.2248,
              0.25682,
              0.2949,
              0.3408
            ],
            [
              0.07798,
              0.19078,
              0.21285,
              0.23927,
              0.27114,
              0.30949,
              0.35505
            ],
            [
              0.09808,
              0.21229,
              0.23434,
              0.26089,
              0.29276,
              0.33088,
              0.37677
            ],
            [
              0.12421,
              0.24457,
              0.26651,
              0.29309,
              0.3248,
              0.36307,
              0.40932
            ],
            [
              0.1581,
              0.29299,
              0.31494,
              0.34147,
              0.37312,
              0.41198,
              0.45766
            ],
            [
              0.20259,
              0.36615,
              0.38842,
              0.41483,
              0.44625,
              0.4849,
              0.53053
            ],
            [
              0.26073,
              0.46712,
              0.49382,
              0.52352,
              0.55632,
              0.59482,
              0.64022
            ],
            [
              0.33667,
              0.59867,
              0.63217,
              0.66887,
              0.71037,
              0.75547,
              0.80507
            ],
            [
              0.4354,
              0.7714,
              0.8136,
              0.8606,
              0.9117,
              0.9679,
              1.0295
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.14054,
              0.59633,
              0.68594,
              0.79444,
              0.92427,
              1.07967,
              1.26557
            ],
            [
              0.14168,
              0.59955,
              0.68932,
              0.79766,
              0.92783,
              1.08344,
              1.26934
            ],
            [
              0.14358,
              0.60353,
              0.69378,
              0.80167,
              0.9311,
              1.08732,
              1.27352
            ],
            [
              0.14761,
              0.6092,
              0.69963,
              0.80802,
              0.93802,
              1.09358,
              1.27988
            ],
            [
              0.15546,
              0.61857,
              0.7089,
              0.81706,
              0.94781,
              1.10351,
              1.29041
            ],
            [
              0.16941,
              0.63297,
              0.7233,
              0.8322,
              0.96252,
              1.11792,
              1.30522
            ],
            [
              0.1922,
              0.65532,
              0.74599,
              0.85433,
              0.98543,
              1.14183,
              1.32883
            ],
            [
              0.22841,
              0.68967,
              0.78019,
              0.88906,
              1.02016,
              1.17666,
              1.36416
            ],
            [
              0.28428,
              0.74266,
              0.83335,
              0.94275,
              1.07385,
              1.23065,
              1.41915
            ],
            [
              0.37057,
              0.82399,
              0.91439,
              1.02459,
              1.15509,
              1.31249,
              1.50049
            ],
            [
              0.49192,
              0.94972,
              1.03972,
              1.14912,
              1.27912,
              1.43562,
              1.62462
            ],
            [
              0.65737,
              1.13957,
              1.22937,
              1.33817,
              1.46617,
              1.62427,
              1.81217
            ],
            [
              0.885,
              1.4261,
              1.5156,
              1.6233,
              1.7509,
              1.9084,
              2.0961
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03121,
              0.17389,
              0.2024,
              0.23685,
              0.27746,
              0.32669,
              0.38579
            ],
            [
              0.03123,
              0.17402,
              0.20229,
              0.23682,
              0.2774,
              0.32671,
              0.38624
            ],
            [
              0.03122,
              0.17408,
              0.20228,
              0.23639,
              0.27744,
              0.32673,
              0.38578
            ],
            [
              0.03125,
              0.17388,
              0.20228,
              0.23687,
              0.27742,
              0.32671,
              0.3863
            ],
            [
              0.03119,
              0.17402,
              0.20225,
              0.2364,
              0.27774,
              0.32673,
              0.38576
            ],
            [
              0.03284,
              0.17422,
              0.20227,
              0.2364,
              0.27743,
              0.32674,
              0.38577
            ],
            [
              0.03843,
              0.17383,
              0.20227,
              0.2364,
              0.27745,
              0.32675,
              0.38574
            ],
            [
              0.04808,
              0.17389,
              0.20261,
              0.23638,
              0.27745,
              0.32669,
              0.38596
            ],
            [
              0.06125,
              0.17884,
              0.20518,
              0.23743,
              0.27804,
              0.32671,
              0.38574
            ],
            [
              0.07957,
              0.1949,
              0.21832,
              0.24753,
              0.28494,
              0.33029,
              0.38753
            ],
            [
              0.10497,
              0.23081,
              0.2505,
              0.27586,
              0.30879,
              0.34956,
              0.40147
            ],
            [
              0.1404,
              0.2895,
              0.3104,
              0.3348,
              0.3618,
              0.3962,
              0.4415
            ],
            [
              0.1903,
              0.3686,
              0.3931,
              0.4203,
              0.4519,
              0.487,
              0.527
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.12365,
              0.70294,
              0.81809,
              0.9576,
              1.12361,
              1.32661,
              1.5663
            ],
            [
              0.12344,
              0.70301,
              0.81827,
              0.9571,
              1.12449,
              1.32251,
              1.56646
            ],
            [
              0.12347,
              0.70373,
              0.82069,
              0.95918,
              1.12573,
              1.3266,
              1.56649
            ],
            [
              0.12298,
              0.70299,
              0.81787,
              0.95801,
              1.12322,
              1.32651,
              1.56638
            ],
            [
              0.12308,
              0.70287,
              0.8179,
              0.95687,
              1.12503,
              1.32344,
              1.56677
            ],
            [
              0.12273,
              0.70282,
              0.81857,
              0.95782,
              1.12366,
              1.32651,
              1.56429
            ],
            [
              0.12216,
              0.7035,
              0.81797,
              0.95646,
              1.12393,
              1.32403,
              1.5624
            ],
            [
              0.12081,
              0.70276,
              0.81804,
              0.95706,
              1.12422,
              1.32256,
              1.56663
            ],
            [
              0.12127,
              0.70471,
              0.81858,
              0.95623,
              1.12341,
              1.32325,
              1.56281
            ],
            [
              0.13191,
              0.70321,
              0.81835,
              0.95627,
              1.12299,
              1.3242,
              1.5624
            ],
            [
              0.15943,
              0.7042,
              0.8182,
              0.9566,
              1.1239,
              1.3243,
              1.5621
            ],
            [
              0.2043,
              0.7034,
              0.8189,
              0.9562,
              1.1259,
              1.3233,
              1.5621
            ],
            [
              0.2651,
              0.7241,
              0.8295,
              0.9618,
              1.1256,
              1.3232,
              1.5617
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04153,
              0.15269,
              0.17457,
              0.20105,
              0.23308,
              0.271,
              0.31672
            ],
            [
              0.0448,
              0.15621,
              0.17812,
              0.20456,
              0.23643,
              0.27482,
              0.3206
            ],
            [
              0.04877,
              0.16046,
              0.18251,
              0.20882,
              0.24082,
              0.27881,
              0.32497
            ],
            [
              0.05475,
              0.16676,
              0.1889,
              0.21519,
              0.24719,
              0.28519,
              0.33136
            ],
            [
              0.06392,
              0.17633,
              0.1985,
              0.22478,
              0.25679,
              0.29488,
              0.34097
            ],
            [
              0.07793,
              0.19057,
              0.21259,
              0.23918,
              0.27097,
              0.30921,
              0.35528
            ],
            [
              0.09786,
              0.21195,
              0.23402,
              0.26052,
              0.29253,
              0.33045,
              0.37637
            ],
            [
              0.12396,
              0.24411,
              0.26621,
              0.29257,
              0.32485,
              0.3632,
              0.40906
            ],
            [
              0.15792,
              0.29262,
              0.3149,
              0.34133,
              0.37326,
              0.4115,
              0.45691
            ],
            [
              0.20229,
              0.36599,
              0.3881,
              0.41446,
              0.44627,
              0.48439,
              0.53003
            ],
            [
              0.26059,
              0.46612,
              0.49342,
              0.52332,
              0.55642,
              0.59442,
              0.63982
            ],
            [
              0.33657,
              0.59797,
              0.63207,
              0.66907,
              0.70997,
              0.75467,
              0.80437
            ],
            [
              0.4354,
              0.7707,
              0.8131,
              0.8601,
              0.9113,
              0.9674,
              1.0283
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.14619,
              0.47858,
              0.54402,
              0.62269,
              0.717,
              0.83022,
              0.96584
            ],
            [
              0.14899,
              0.48236,
              0.54772,
              0.62643,
              0.7209,
              0.83412,
              0.96985
            ],
            [
              0.15254,
              0.48674,
              0.55223,
              0.6309,
              0.72546,
              0.83871,
              0.97453
            ],
            [
              0.15821,
              0.49332,
              0.55888,
              0.63777,
              0.73233,
              0.84589,
              0.98147
            ],
            [
              0.16749,
              0.5038,
              0.56947,
              0.6483,
              0.74289,
              0.85633,
              0.99221
            ],
            [
              0.18284,
              0.51933,
              0.58516,
              0.66403,
              0.75886,
              0.87213,
              1.00872
            ],
            [
              0.20643,
              0.54312,
              0.60916,
              0.68824,
              0.78319,
              0.89673,
              1.03243
            ],
            [
              0.24371,
              0.57922,
              0.64526,
              0.72438,
              0.81932,
              0.93436,
              1.07076
            ],
            [
              0.30088,
              0.63645,
              0.70183,
              0.78155,
              0.87675,
              0.99095,
              1.12715
            ],
            [
              0.38806,
              0.72159,
              0.78679,
              0.86619,
              0.96129,
              1.07539,
              1.21199
            ],
            [
              0.51712,
              0.85142,
              0.91682,
              0.99602,
              1.08982,
              1.20282,
              1.34042
            ],
            [
              0.69347,
              1.04747,
              1.11287,
              1.19117,
              1.28637,
              1.39897,
              1.53547
            ],
            [
              0.9359,
              1.3432,
              1.4085,
              1.4859,
              1.5811,
              1.6942,
              1.8294
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03866,
              0.18574,
              0.21408,
              0.24809,
              0.2893,
              0.33832,
              0.39732
            ],
            [
              0.03868,
              0.18574,
              0.21411,
              0.24809,
              0.28928,
              0.33855,
              0.39717
            ],
            [
              0.0387,
              0.18573,
              0.21415,
              0.2482,
              0.28923,
              0.33851,
              0.39723
            ],
            [
              0.03867,
              0.18573,
              0.21416,
              0.2482,
              0.28924,
              0.33851,
              0.39721
            ],
            [
              0.03863,
              0.18572,
              0.21417,
              0.24812,
              0.28917,
              0.33853,
              0.39717
            ],
            [
              0.04034,
              0.18573,
              0.21405,
              0.24815,
              0.28919,
              0.33853,
              0.3973
            ],
            [
              0.04606,
              0.1857,
              0.21411,
              0.24815,
              0.28924,
              0.33836,
              0.3974
            ],
            [
              0.05837,
              0.18576,
              0.21411,
              0.24821,
              0.28924,
              0.33852,
              0.39721
            ],
            [
              0.07555,
              0.1906,
              0.21688,
              0.2492,
              0.28939,
              0.33836,
              0.39726
            ],
            [
              0.09948,
              0.20684,
              0.23023,
              0.25961,
              0.29648,
              0.34205,
              0.39863
            ],
            [
              0.13168,
              0.24358,
              0.26292,
              0.28807,
              0.32034,
              0.36118,
              0.41251
            ],
            [
              0.176,
              0.3041,
              0.3237,
              0.347,
              0.3741,
              0.4091,
              0.4536
            ],
            [
              0.2377,
              0.3865,
              0.4097,
              0.4358,
              0.4659,
              0.5002,
              0.5398
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.11114,
              0.53989,
              0.62546,
              0.728,
              0.85067,
              0.99844,
              1.17475
            ],
            [
              0.11106,
              0.54,
              0.62545,
              0.72795,
              0.85039,
              0.99841,
              1.17553
            ],
            [
              0.11108,
              0.53995,
              0.62489,
              0.72743,
              0.85117,
              0.9982,
              1.17619
            ],
            [
              0.11104,
              0.53984,
              0.62501,
              0.72724,
              0.85036,
              0.99866,
              1.17566
            ],
            [
              0.111,
              0.53983,
              0.62493,
              0.72803,
              0.85026,
              0.99856,
              1.17431
            ],
            [
              0.11097,
              0.54011,
              0.62499,
              0.72788,
              0.8512,
              0.99872,
              1.17615
            ],
            [
              0.11094,
              0.53992,
              0.6249,
              0.72738,
              0.85124,
              0.99901,
              1.1752
            ],
            [
              0.11072,
              0.54016,
              0.62491,
              0.72775,
              0.85069,
              0.99884,
              1.17576
            ],
            [
              0.1103,
              0.54018,
              0.6254,
              0.72729,
              0.85039,
              0.99883,
              1.17531
            ],
            [
              0.11787,
              0.53995,
              0.62531,
              0.72736,
              0.85043,
              0.99859,
              1.1761
            ],
            [
              0.14024,
              0.54,
              0.6255,
              0.7274,
              0.8509,
              0.9986,
              1.175
            ],
            [
              0.1814,
              0.5438,
              0.6257,
              0.7271,
              0.8506,
              0.9989,
              1.1752
            ],
            [
              0.2371,
              0.5745,
              0.6483,
              0.742,
              0.8572,
              0.9997,
              1.175
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04158,
              0.15262,
              0.17464,
              0.20132,
              0.23287,
              0.27116,
              0.31706
            ],
            [
              0.04487,
              0.15616,
              0.17825,
              0.20483,
              0.23642,
              0.27465,
              0.32069
            ],
            [
              0.04885,
              0.16038,
              0.18247,
              0.20899,
              0.24066,
              0.2789,
              0.32492
            ],
            [
              0.05488,
              0.16681,
              0.1889,
              0.21547,
              0.2471,
              0.28528,
              0.33142
            ],
            [
              0.06413,
              0.1764,
              0.19845,
              0.22493,
              0.25705,
              0.29515,
              0.34093
            ],
            [
              0.0781,
              0.19097,
              0.21294,
              0.23935,
              0.27144,
              0.30942,
              0.35522
            ],
            [
              0.09821,
              0.21232,
              0.23443,
              0.26103,
              0.29277,
              0.33115,
              0.37689
            ],
            [
              0.12437,
              0.24462,
              0.26671,
              0.29308,
              0.32489,
              0.36326,
              0.40949
            ],
            [
              0.1582,
              0.2931,
              0.31504,
              0.34166,
              0.37332,
              0.41214,
              0.45777
            ],
            [
              0.20283,
              0.3663,
              0.38856,
              0.41496,
              0.44648,
              0.4849,
              0.53065
            ],
            [
              0.26103,
              0.46722,
              0.49392,
              0.52372,
              0.55652,
              0.59462,
              0.64032
            ],
            [
              0.33707,
              0.59887,
              0.63237,
              0.66927,
              0.71057,
              0.75557,
              0.80517
            ],
            [
              0.4359,
              0.7716,
              0.8138,
              0.8609,
              0.9118,
              0.9681,
              1.0297
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.19624,
              0.6594,
              0.75057,
              0.86007,
              0.99177,
              1.14967,
              1.33877
            ],
            [
              0.19828,
              0.66282,
              0.75398,
              0.86357,
              0.99534,
              1.15324,
              1.34244
            ],
            [
              0.20098,
              0.66661,
              0.75796,
              0.86769,
              0.99942,
              1.15752,
              1.34672
            ],
            [
              0.20541,
              0.67256,
              0.76401,
              0.87374,
              1.00558,
              1.16397,
              1.35337
            ],
            [
              0.21329,
              0.68211,
              0.77363,
              0.88349,
              1.01531,
              1.17381,
              1.36301
            ],
            [
              0.22681,
              0.69637,
              0.78811,
              0.89816,
              1.03022,
              1.18872,
              1.37842
            ],
            [
              0.2485,
              0.71866,
              0.81074,
              0.92103,
              1.05323,
              1.21153,
              1.40183
            ],
            [
              0.28393,
              0.75307,
              0.84526,
              0.95566,
              1.08806,
              1.24686,
              1.43746
            ],
            [
              0.33874,
              0.80635,
              0.89885,
              1.00985,
              1.14255,
              1.30145,
              1.49145
            ],
            [
              0.42278,
              0.88759,
              0.97969,
              1.09109,
              1.22369,
              1.38269,
              1.57289
            ],
            [
              0.55192,
              1.01192,
              1.10532,
              1.21552,
              1.34672,
              1.50642,
              1.69722
            ],
            [
              0.73397,
              1.20247,
              1.29447,
              1.40357,
              1.53587,
              1.69507,
              1.88537
            ],
            [
              0.9829,
              1.489,
              1.5804,
              1.6886,
              1.8201,
              1.9794,
              2.1694
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.0386,
              0.18568,
              0.21408,
              0.24817,
              0.28925,
              0.33853,
              0.39747
            ],
            [
              0.03861,
              0.18567,
              0.21409,
              0.24818,
              0.28923,
              0.33853,
              0.39735
            ],
            [
              0.03861,
              0.18566,
              0.21408,
              0.24815,
              0.28924,
              0.33849,
              0.39725
            ],
            [
              0.03864,
              0.18568,
              0.21413,
              0.24822,
              0.28925,
              0.33845,
              0.39729
            ],
            [
              0.03859,
              0.1857,
              0.21406,
              0.24831,
              0.28924,
              0.3385,
              0.3974
            ],
            [
              0.04024,
              0.18573,
              0.21408,
              0.24821,
              0.2893,
              0.33837,
              0.39723
            ],
            [
              0.04585,
              0.18569,
              0.21409,
              0.24819,
              0.28926,
              0.33848,
              0.39749
            ],
            [
              0.05805,
              0.18573,
              0.2141,
              0.24822,
              0.28928,
              0.33852,
              0.39723
            ],
            [
              0.07531,
              0.19049,
              0.21675,
              0.24923,
              0.28939,
              0.3385,
              0.39728
            ],
            [
              0.09895,
              0.20669,
              0.22998,
              0.25941,
              0.2964,
              0.34203,
              0.39856
            ],
            [
              0.13119,
              0.24263,
              0.26252,
              0.28779,
              0.32043,
              0.36115,
              0.41242
            ],
            [
              0.1754,
              0.3033,
              0.3235,
              0.3468,
              0.3735,
              0.4084,
              0.4532
            ],
            [
              0.2371,
              0.3856,
              0.4089,
              0.4349,
              0.4653,
              0.4995,
              0.5385
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.15426,
              0.74398,
              0.86138,
              1.00213,
              1.1713,
              1.37343,
              1.61671
            ],
            [
              0.15426,
              0.74396,
              0.86138,
              1.00211,
              1.17133,
              1.37362,
              1.61689
            ],
            [
              0.15422,
              0.74438,
              0.86121,
              1.0013,
              1.1706,
              1.37338,
              1.61674
            ],
            [
              0.15433,
              0.74392,
              0.86134,
              1.00207,
              1.1704,
              1.3735,
              1.61725
            ],
            [
              0.15419,
              0.74386,
              0.86086,
              1.002,
              1.17117,
              1.37442,
              1.61668
            ],
            [
              0.15411,
              0.74395,
              0.86136,
              1.00204,
              1.17128,
              1.37356,
              1.61768
            ],
            [
              0.15401,
              0.74437,
              0.86086,
              1.00148,
              1.1707,
              1.37408,
              1.61662
            ],
            [
              0.1536,
              0.74388,
              0.86089,
              1.00196,
              1.17111,
              1.37337,
              1.61672
            ],
            [
              0.15261,
              0.74405,
              0.8609,
              1.0017,
              1.17075,
              1.37352,
              1.61709
            ],
            [
              0.15357,
              0.74388,
              0.86107,
              1.0017,
              1.1705,
              1.3738,
              1.6173
            ],
            [
              0.1683,
              0.7441,
              0.8613,
              1.002,
              1.1706,
              1.3737,
              1.6171
            ],
            [
              0.2077,
              0.7436,
              0.8612,
              1.0021,
              1.1709,
              1.3738,
              1.6166
            ],
            [
              0.2655,
              0.7563,
              0.8667,
              1.0028,
              1.1704,
              1.3741,
              1.6174
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04157,
              0.15263,
              0.17466,
              0.20132,
              0.23303,
              0.27103,
              0.31706
            ],
            [
              0.04486,
              0.15616,
              0.17827,
              0.2048,
              0.23642,
              0.27463,
              0.32069
            ],
            [
              0.04884,
              0.16037,
              0.18246,
              0.20889,
              0.24062,
              0.27895,
              0.32488
            ],
            [
              0.05487,
              0.16679,
              0.18893,
              0.21544,
              0.24707,
              0.28537,
              0.33137
            ],
            [
              0.06407,
              0.17642,
              0.19851,
              0.22497,
              0.25703,
              0.29496,
              0.34074
            ],
            [
              0.07808,
              0.19077,
              0.21284,
              0.23939,
              0.27142,
              0.3097,
              0.3553
            ],
            [
              0.09817,
              0.2123,
              0.2344,
              0.26096,
              0.29296,
              0.33106,
              0.37681
            ],
            [
              0.12433,
              0.24458,
              0.26659,
              0.29302,
              0.32483,
              0.36324,
              0.40945
            ],
            [
              0.15826,
              0.29301,
              0.31506,
              0.34161,
              0.37325,
              0.4121,
              0.45773
            ],
            [
              0.20276,
              0.36624,
              0.38851,
              0.41489,
              0.44638,
              0.48485,
              0.5306
            ],
            [
              0.26097,
              0.46722,
              0.49392,
              0.52362,
              0.55642,
              0.59482,
              0.64022
            ],
            [
              0.33697,
              0.59877,
              0.63227,
              0.66927,
              0.71047,
              0.75547,
              0.80507
            ],
            [
              0.4359,
              0.7715,
              0.8137,
              0.8606,
              0.9118,
              0.968,
              1.0296
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.23,
              0.6798,
              0.76775,
              0.87333,
              1.00007,
              1.15197,
              1.33407
            ],
            [
              0.23247,
              0.68323,
              0.77124,
              0.87685,
              1.00354,
              1.15554,
              1.33754
            ],
            [
              0.23565,
              0.68727,
              0.77536,
              0.88106,
              1.00802,
              1.15992,
              1.34192
            ],
            [
              0.24088,
              0.69329,
              0.78151,
              0.88726,
              1.01418,
              1.16657,
              1.34868
            ],
            [
              0.2494,
              0.70284,
              0.79107,
              0.89693,
              1.02401,
              1.17621,
              1.35851
            ],
            [
              0.26321,
              0.7177,
              0.80611,
              0.91206,
              1.03932,
              1.19172,
              1.37402
            ],
            [
              0.28553,
              0.74055,
              0.82907,
              0.93523,
              1.06233,
              1.21483,
              1.39763
            ],
            [
              0.3208,
              0.77523,
              0.86396,
              0.97036,
              1.09776,
              1.25106,
              1.43356
            ],
            [
              0.37554,
              0.82915,
              0.91815,
              1.02495,
              1.15275,
              1.30545,
              1.48825
            ],
            [
              0.45947,
              0.91159,
              0.99959,
              1.10659,
              1.23429,
              1.38739,
              1.57039
            ],
            [
              0.58732,
              1.03662,
              1.12552,
              1.23122,
              1.35842,
              1.51232,
              1.69532
            ],
            [
              0.77857,
              1.22727,
              1.31527,
              1.41887,
              1.54837,
              1.70117,
              1.88267
            ],
            [
              1.0415,
              1.5147,
              1.6019,
              1.7084,
              1.8341,
              1.987,
              2.1695
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03859,
              0.18974,
              0.21923,
              0.2547,
              0.29711,
              0.34743,
              0.40738
            ],
            [
              0.03861,
              0.18968,
              0.21924,
              0.25476,
              0.297,
              0.34751,
              0.40744
            ],
            [
              0.03863,
              0.18968,
              0.21922,
              0.25474,
              0.29699,
              0.34751,
              0.40745
            ],
            [
              0.03862,
              0.1897,
              0.21928,
              0.25476,
              0.29701,
              0.34749,
              0.40746
            ],
            [
              0.03859,
              0.18969,
              0.21922,
              0.2547,
              0.29712,
              0.34749,
              0.40739
            ],
            [
              0.04024,
              0.18968,
              0.21923,
              0.25469,
              0.29712,
              0.34748,
              0.40737
            ],
            [
              0.04586,
              0.1897,
              0.21926,
              0.25468,
              0.29708,
              0.3475,
              0.40739
            ],
            [
              0.05814,
              0.18974,
              0.21925,
              0.25463,
              0.29705,
              0.34752,
              0.4074
            ],
            [
              0.07574,
              0.19454,
              0.2219,
              0.25573,
              0.2972,
              0.34749,
              0.40739
            ],
            [
              0.10096,
              0.21072,
              0.23517,
              0.26593,
              0.30417,
              0.35099,
              0.40852
            ],
            [
              0.13698,
              0.24683,
              0.26772,
              0.29435,
              0.32823,
              0.37011,
              0.42251
            ],
            [
              0.1907,
              0.3098,
              0.3303,
              0.3538,
              0.3816,
              0.4175,
              0.4631
            ],
            [
              0.2675,
              0.3966,
              0.4196,
              0.4457,
              0.4756,
              0.5099,
              0.5489
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.17151,
              0.74109,
              0.85375,
              0.98966,
              1.15247,
              1.34763,
              1.58223
            ],
            [
              0.17151,
              0.74103,
              0.85382,
              0.98976,
              1.15243,
              1.34782,
              1.58182
            ],
            [
              0.17147,
              0.74137,
              0.85359,
              0.98967,
              1.15252,
              1.34766,
              1.5818
            ],
            [
              0.17143,
              0.74159,
              0.8541,
              0.98957,
              1.15227,
              1.34806,
              1.5822
            ],
            [
              0.17149,
              0.74078,
              0.85405,
              0.98969,
              1.15244,
              1.34759,
              1.58135
            ],
            [
              0.17154,
              0.74093,
              0.85355,
              0.98958,
              1.15233,
              1.34749,
              1.58176
            ],
            [
              0.17149,
              0.74111,
              0.85418,
              0.98934,
              1.15238,
              1.34802,
              1.58179
            ],
            [
              0.17133,
              0.74154,
              0.85395,
              0.98959,
              1.15252,
              1.34772,
              1.58173
            ],
            [
              0.17097,
              0.74124,
              0.85439,
              0.98971,
              1.15255,
              1.34766,
              1.58226
            ],
            [
              0.1693,
              0.74156,
              0.85393,
              0.98973,
              1.1525,
              1.348,
              1.5822
            ],
            [
              0.1769,
              0.7413,
              0.854,
              0.9894,
              1.1522,
              1.3478,
              1.5822
            ],
            [
              0.2064,
              0.7408,
              0.8539,
              0.9893,
              1.1524,
              1.3476,
              1.5818
            ],
            [
              0.2626,
              0.7494,
              0.8569,
              0.9896,
              1.152,
              1.3478,
              1.5811
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04807,
              0.15914,
              0.18105,
              0.20762,
              0.23942,
              0.27742,
              0.32335
            ],
            [
              0.05185,
              0.16311,
              0.18511,
              0.21148,
              0.24329,
              0.28164,
              0.32734
            ],
            [
              0.05628,
              0.16781,
              0.18974,
              0.21626,
              0.24819,
              0.28628,
              0.33199
            ],
            [
              0.06268,
              0.17456,
              0.19659,
              0.22304,
              0.25482,
              0.2929,
              0.33897
            ],
            [
              0.072,
              0.18427,
              0.20628,
              0.23267,
              0.26446,
              0.30282,
              0.34875
            ],
            [
              0.08571,
              0.19842,
              0.22049,
              0.24691,
              0.27869,
              0.31714,
              0.36279
            ],
            [
              0.10569,
              0.21934,
              0.24144,
              0.2679,
              0.29988,
              0.33818,
              0.38385
            ],
            [
              0.13289,
              0.25055,
              0.27254,
              0.29913,
              0.33118,
              0.36928,
              0.41539
            ],
            [
              0.17028,
              0.29705,
              0.31919,
              0.34595,
              0.37794,
              0.41616,
              0.46229
            ],
            [
              0.22101,
              0.36664,
              0.38906,
              0.41596,
              0.44808,
              0.48656,
              0.53264
            ],
            [
              0.28918,
              0.46442,
              0.48982,
              0.51902,
              0.55252,
              0.59132,
              0.63752
            ],
            [
              0.38047,
              0.59887,
              0.62867,
              0.66237,
              0.70067,
              0.74417,
              0.79367
            ],
            [
              0.5024,
              0.782,
              0.8185,
              0.8589,
              0.9041,
              0.9548,
              1.0118
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.11319,
              0.37682,
              0.4289,
              0.49155,
              0.56678,
              0.65705,
              0.76493
            ],
            [
              0.11605,
              0.38013,
              0.43228,
              0.49491,
              0.57023,
              0.66042,
              0.76869
            ],
            [
              0.1199,
              0.38454,
              0.43666,
              0.4993,
              0.57462,
              0.66501,
              0.77312
            ],
            [
              0.12615,
              0.39137,
              0.44355,
              0.50623,
              0.58149,
              0.67197,
              0.78006
            ],
            [
              0.13626,
              0.40184,
              0.45411,
              0.51685,
              0.59226,
              0.68248,
              0.79071
            ],
            [
              0.15203,
              0.41794,
              0.47021,
              0.533,
              0.60834,
              0.69887,
              0.80716
            ],
            [
              0.17651,
              0.44238,
              0.49471,
              0.55757,
              0.63305,
              0.72353,
              0.83168
            ],
            [
              0.21419,
              0.47959,
              0.53187,
              0.5947,
              0.67007,
              0.76028,
              0.86976
            ],
            [
              0.27139,
              0.53654,
              0.58857,
              0.65185,
              0.72725,
              0.81745,
              0.92485
            ],
            [
              0.35755,
              0.62267,
              0.67449,
              0.73739,
              0.81249,
              0.90189,
              1.01089
            ],
            [
              0.47622,
              0.75082,
              0.80382,
              0.86632,
              0.94082,
              1.03072,
              1.13962
            ],
            [
              0.63797,
              0.94657,
              0.99827,
              1.06027,
              1.13417,
              1.22607,
              1.33347
            ],
            [
              0.8597,
              1.2402,
              1.2916,
              1.3538,
              1.4286,
              1.5185,
              1.6257
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03131,
              0.17399,
              0.20229,
              0.23637,
              0.27768,
              0.3268,
              0.3858
            ],
            [
              0.03131,
              0.1739,
              0.20234,
              0.23645,
              0.27749,
              0.32662,
              0.38603
            ],
            [
              0.03131,
              0.17389,
              0.2023,
              0.23639,
              0.27739,
              0.32675,
              0.38586
            ],
            [
              0.03131,
              0.17394,
              0.20251,
              0.2364,
              0.27749,
              0.3268,
              0.38567
            ],
            [
              0.03131,
              0.1739,
              0.20228,
              0.23643,
              0.27749,
              0.32674,
              0.38566
            ],
            [
              0.03171,
              0.17402,
              0.20222,
              0.23642,
              0.27745,
              0.3267,
              0.38587
            ],
            [
              0.03448,
              0.17416,
              0.20226,
              0.23641,
              0.27746,
              0.32714,
              0.38584
            ],
            [
              0.04023,
              0.17385,
              0.20226,
              0.23682,
              0.27741,
              0.32672,
              0.38629
            ],
            [
              0.04862,
              0.17676,
              0.20389,
              0.23747,
              0.27748,
              0.32669,
              0.38583
            ],
            [
              0.06136,
              0.18626,
              0.21194,
              0.24352,
              0.28179,
              0.32902,
              0.38659
            ],
            [
              0.07993,
              0.20892,
              0.23147,
              0.2604,
              0.29641,
              0.34068,
              0.3958
            ],
            [
              0.1062,
              0.2467,
              0.27,
              0.2979,
              0.3303,
              0.37,
              0.4203
            ],
            [
              0.1435,
              0.3027,
              0.327,
              0.3558,
              0.3894,
              0.4292,
              0.4762
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.08724,
              0.43152,
              0.49996,
              0.58206,
              0.68081,
              0.79948,
              0.94202
            ],
            [
              0.08724,
              0.43119,
              0.49984,
              0.58213,
              0.68055,
              0.79951,
              0.9414
            ],
            [
              0.08723,
              0.43153,
              0.49991,
              0.58214,
              0.68105,
              0.7993,
              0.94158
            ],
            [
              0.08728,
              0.4312,
              0.49977,
              0.58213,
              0.68046,
              0.79953,
              0.94157
            ],
            [
              0.08726,
              0.4314,
              0.49996,
              0.58204,
              0.68064,
              0.79953,
              0.94166
            ],
            [
              0.08709,
              0.43156,
              0.49953,
              0.58208,
              0.6811,
              0.79968,
              0.94137
            ],
            [
              0.08702,
              0.43108,
              0.49987,
              0.58194,
              0.68098,
              0.79962,
              0.94162
            ],
            [
              0.08681,
              0.43151,
              0.49966,
              0.58201,
              0.6805,
              0.79977,
              0.94136
            ],
            [
              0.08996,
              0.43161,
              0.49988,
              0.58181,
              0.68099,
              0.799,
              0.94129
            ],
            [
              0.10337,
              0.43144,
              0.49994,
              0.58184,
              0.6807,
              0.79917,
              0.94164
            ],
            [
              0.13216,
              0.4318,
              0.4997,
              0.582,
              0.6806,
              0.7997,
              0.9415
            ],
            [
              0.1719,
              0.4469,
              0.5091,
              0.5864,
              0.6812,
              0.7998,
              0.9416
            ],
            [
              0.2263,
              0.495,
              0.5497,
              0.6189,
              0.7051,
              0.8128,
              0.9465
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04808,
              0.15906,
              0.18119,
              0.20759,
              0.23938,
              0.27766,
              0.32332
            ],
            [
              0.0519,
              0.16313,
              0.18513,
              0.21164,
              0.24338,
              0.2814,
              0.32746
            ],
            [
              0.05632,
              0.16781,
              0.18992,
              0.21634,
              0.24801,
              0.28643,
              0.33217
            ],
            [
              0.06278,
              0.17461,
              0.19662,
              0.22314,
              0.25494,
              0.29318,
              0.33875
            ],
            [
              0.07208,
              0.18437,
              0.20639,
              0.23289,
              0.26464,
              0.30304,
              0.34885
            ],
            [
              0.08583,
              0.19856,
              0.22063,
              0.24707,
              0.27894,
              0.31729,
              0.36311
            ],
            [
              0.10585,
              0.2195,
              0.24164,
              0.26803,
              0.30002,
              0.33833,
              0.38411
            ],
            [
              0.13306,
              0.25071,
              0.27279,
              0.29936,
              0.33138,
              0.36949,
              0.41556
            ],
            [
              0.17046,
              0.29733,
              0.31944,
              0.34619,
              0.37818,
              0.41641,
              0.46254
            ],
            [
              0.22119,
              0.36688,
              0.38932,
              0.41622,
              0.44834,
              0.48682,
              0.5329
            ],
            [
              0.28938,
              0.46472,
              0.49022,
              0.51932,
              0.55282,
              0.59162,
              0.63782
            ],
            [
              0.38067,
              0.59917,
              0.62897,
              0.66257,
              0.70097,
              0.74447,
              0.79397
            ],
            [
              0.5025,
              0.7825,
              0.8188,
              0.8593,
              0.9045,
              0.9551,
              1.0121
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.12904,
              0.43531,
              0.4958,
              0.56852,
              0.65604,
              0.76086,
              0.88649
            ],
            [
              0.13158,
              0.43849,
              0.49896,
              0.57171,
              0.65923,
              0.76407,
              0.88965
            ],
            [
              0.13512,
              0.4426,
              0.50318,
              0.57591,
              0.6635,
              0.76839,
              0.89402
            ],
            [
              0.14089,
              0.44909,
              0.50977,
              0.58261,
              0.67,
              0.77512,
              0.90075
            ],
            [
              0.15057,
              0.45932,
              0.51998,
              0.59286,
              0.68026,
              0.78545,
              0.91112
            ],
            [
              0.1656,
              0.47496,
              0.53575,
              0.60872,
              0.69632,
              0.80144,
              0.92712
            ],
            [
              0.18963,
              0.49904,
              0.55984,
              0.63284,
              0.72047,
              0.82548,
              0.95133
            ],
            [
              0.22657,
              0.53555,
              0.59637,
              0.66937,
              0.75696,
              0.86196,
              0.98866
            ],
            [
              0.28281,
              0.59102,
              0.65081,
              0.72526,
              0.81295,
              0.91775,
              1.04365
            ],
            [
              0.36862,
              0.67479,
              0.73619,
              0.80929,
              0.89659,
              1.00059,
              1.12789
            ],
            [
              0.48902,
              0.80172,
              0.86332,
              0.93612,
              1.02272,
              1.12782,
              1.25432
            ],
            [
              0.65277,
              0.99457,
              1.05467,
              1.12687,
              1.21277,
              1.31877,
              1.44487
            ],
            [
              0.8768,
              1.2841,
              1.3437,
              1.4162,
              1.5031,
              1.607,
              1.7325
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03129,
              0.17389,
              0.20251,
              0.23642,
              0.27746,
              0.32709,
              0.38584
            ],
            [
              0.03127,
              0.17389,
              0.20228,
              0.23667,
              0.27746,
              0.32676,
              0.38571
            ],
            [
              0.0313,
              0.17391,
              0.20253,
              0.2364,
              0.27747,
              0.32667,
              0.38608
            ],
            [
              0.03128,
              0.17389,
              0.20229,
              0.23648,
              0.27745,
              0.32687,
              0.38586
            ],
            [
              0.0313,
              0.1739,
              0.20228,
              0.23641,
              0.27747,
              0.32667,
              0.38571
            ],
            [
              0.03168,
              0.17402,
              0.20222,
              0.23642,
              0.27745,
              0.32673,
              0.38581
            ],
            [
              0.03444,
              0.17416,
              0.20226,
              0.2364,
              0.27744,
              0.32673,
              0.38583
            ],
            [
              0.04017,
              0.17386,
              0.20226,
              0.23682,
              0.27741,
              0.32671,
              0.38576
            ],
            [
              0.04852,
              0.17662,
              0.20386,
              0.23745,
              0.27747,
              0.32669,
              0.38579
            ],
            [
              0.06124,
              0.18608,
              0.21185,
              0.24346,
              0.28174,
              0.32903,
              0.38661
            ],
            [
              0.07979,
              0.20879,
              0.23142,
              0.26022,
              0.29631,
              0.34059,
              0.3958
            ],
            [
              0.1061,
              0.2466,
              0.2699,
              0.2977,
              0.3303,
              0.3699,
              0.4201
            ],
            [
              0.1434,
              0.3022,
              0.3268,
              0.3555,
              0.389,
              0.429,
              0.4759
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.10113,
              0.49822,
              0.57698,
              0.67183,
              0.78565,
              0.92257,
              1.0865
            ],
            [
              0.10101,
              0.49822,
              0.57722,
              0.67181,
              0.78575,
              0.92283,
              1.08577
            ],
            [
              0.10105,
              0.49819,
              0.57697,
              0.67173,
              0.78576,
              0.92256,
              1.0865
            ],
            [
              0.10115,
              0.49828,
              0.57704,
              0.67166,
              0.78594,
              0.92257,
              1.0865
            ],
            [
              0.10096,
              0.49823,
              0.577,
              0.67183,
              0.78604,
              0.9227,
              1.08579
            ],
            [
              0.10113,
              0.498,
              0.57697,
              0.67169,
              0.786,
              0.92261,
              1.08674
            ],
            [
              0.10083,
              0.49837,
              0.57703,
              0.6717,
              0.78589,
              0.92279,
              1.08572
            ],
            [
              0.10054,
              0.49826,
              0.57713,
              0.67165,
              0.78549,
              0.92282,
              1.08646
            ],
            [
              0.10159,
              0.49829,
              0.57695,
              0.67161,
              0.78565,
              0.92293,
              1.08625
            ],
            [
              0.11278,
              0.4985,
              0.57704,
              0.67171,
              0.78572,
              0.9221,
              1.08673
            ],
            [
              0.1405,
              0.4978,
              0.577,
              0.6716,
              0.7856,
              0.9224,
              1.086
            ],
            [
              0.1809,
              0.5075,
              0.5816,
              0.6728,
              0.7853,
              0.9228,
              1.086
            ],
            [
              0.2364,
              0.5479,
              0.6146,
              0.6971,
              0.8005,
              0.9287,
              1.0873
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04808,
              0.15902,
              0.18118,
              0.2076,
              0.23931,
              0.27767,
              0.32337
            ],
            [
              0.05188,
              0.16316,
              0.18512,
              0.21164,
              0.2434,
              0.28142,
              0.32742
            ],
            [
              0.05632,
              0.16777,
              0.1899,
              0.21636,
              0.24804,
              0.28638,
              0.33222
            ],
            [
              0.06277,
              0.17463,
              0.19665,
              0.22318,
              0.25481,
              0.29308,
              0.33881
            ],
            [
              0.07208,
              0.18436,
              0.20638,
              0.23275,
              0.2646,
              0.30301,
              0.34877
            ],
            [
              0.08582,
              0.19855,
              0.22062,
              0.24705,
              0.27893,
              0.31727,
              0.3631
            ],
            [
              0.10583,
              0.21949,
              0.24162,
              0.26802,
              0.3,
              0.33834,
              0.38409
            ],
            [
              0.13304,
              0.25068,
              0.27275,
              0.29934,
              0.33136,
              0.36946,
              0.41557
            ],
            [
              0.17043,
              0.29726,
              0.31941,
              0.34616,
              0.37815,
              0.41638,
              0.46251
            ],
            [
              0.22117,
              0.36684,
              0.3893,
              0.41619,
              0.44831,
              0.48679,
              0.53287
            ],
            [
              0.28935,
              0.46462,
              0.49012,
              0.51932,
              0.55282,
              0.59152,
              0.63772
            ],
            [
              0.38057,
              0.59917,
              0.62887,
              0.66257,
              0.70087,
              0.74437,
              0.79387
            ],
            [
              0.5025,
              0.7825,
              0.8188,
              0.8592,
              0.9045,
              0.9551,
              1.012
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.1268,
              0.42666,
              0.48592,
              0.5571,
              0.6428,
              0.74548,
              0.86836
            ],
            [
              0.12937,
              0.42981,
              0.4891,
              0.56038,
              0.64602,
              0.74864,
              0.8716
            ],
            [
              0.13296,
              0.43406,
              0.49336,
              0.56454,
              0.65017,
              0.75306,
              0.87603
            ],
            [
              0.13883,
              0.44059,
              0.49993,
              0.57124,
              0.657,
              0.75974,
              0.88287
            ],
            [
              0.14854,
              0.45083,
              0.51023,
              0.58167,
              0.66735,
              0.77006,
              0.89326
            ],
            [
              0.16365,
              0.46657,
              0.52603,
              0.5975,
              0.68324,
              0.78624,
              0.90923
            ],
            [
              0.18779,
              0.49068,
              0.5502,
              0.62169,
              0.70749,
              0.81051,
              0.93343
            ],
            [
              0.22483,
              0.5273,
              0.58686,
              0.65832,
              0.74406,
              0.84686,
              0.97086
            ],
            [
              0.28121,
              0.58297,
              0.64143,
              0.7144,
              0.80025,
              0.90295,
              1.02595
            ],
            [
              0.36712,
              0.66689,
              0.72709,
              0.79859,
              0.88409,
              0.98589,
              1.11049
            ],
            [
              0.48732,
              0.79422,
              0.85452,
              0.92582,
              1.01052,
              1.11332,
              1.23722
            ],
            [
              0.65077,
              0.98747,
              1.04637,
              1.11707,
              1.20107,
              1.30467,
              1.42827
            ],
            [
              0.8745,
              1.2777,
              1.336,
              1.4069,
              1.492,
              1.5938,
              1.7166
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03129,
              0.17389,
              0.20229,
              0.2364,
              0.27745,
              0.32671,
              0.38588
            ],
            [
              0.03128,
              0.17387,
              0.20228,
              0.23674,
              0.27742,
              0.32678,
              0.3857
            ],
            [
              0.0313,
              0.1739,
              0.20226,
              0.23651,
              0.27748,
              0.32668,
              0.38581
            ],
            [
              0.03129,
              0.17384,
              0.2024,
              0.2364,
              0.2775,
              0.32677,
              0.38589
            ],
            [
              0.0313,
              0.1739,
              0.20228,
              0.23642,
              0.27748,
              0.32665,
              0.38611
            ],
            [
              0.03168,
              0.17402,
              0.20223,
              0.23642,
              0.27745,
              0.32716,
              0.3858
            ],
            [
              0.03445,
              0.17417,
              0.20227,
              0.2364,
              0.27743,
              0.32696,
              0.38583
            ],
            [
              0.04017,
              0.17386,
              0.20227,
              0.23682,
              0.27742,
              0.32671,
              0.38632
            ],
            [
              0.04853,
              0.17692,
              0.20387,
              0.23745,
              0.27747,
              0.32669,
              0.38579
            ],
            [
              0.06126,
              0.18617,
              0.21176,
              0.24346,
              0.28174,
              0.32906,
              0.38655
            ],
            [
              0.07981,
              0.20865,
              0.2314,
              0.26028,
              0.29636,
              0.34054,
              0.3958
            ],
            [
              0.1061,
              0.2465,
              0.2698,
              0.2977,
              0.3303,
              0.37,
              0.4201
            ],
            [
              0.1435,
              0.3022,
              0.3268,
              0.3556,
              0.3891,
              0.4289,
              0.476
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.09921,
              0.48821,
              0.56549,
              0.65832,
              0.77018,
              0.90402,
              1.06411
            ],
            [
              0.09892,
              0.48819,
              0.56546,
              0.65852,
              0.76991,
              0.90423,
              1.0648
            ],
            [
              0.09899,
              0.48822,
              0.56546,
              0.6581,
              0.76992,
              0.90397,
              1.06487
            ],
            [
              0.0989,
              0.48839,
              0.56561,
              0.65863,
              0.77017,
              0.90445,
              1.06477
            ],
            [
              0.09888,
              0.48821,
              0.56536,
              0.65844,
              0.76994,
              0.9044,
              1.06409
            ],
            [
              0.09907,
              0.48838,
              0.56536,
              0.65836,
              0.76981,
              0.90428,
              1.06492
            ],
            [
              0.09872,
              0.48839,
              0.56554,
              0.65827,
              0.7702,
              0.90396,
              1.0651
            ],
            [
              0.09833,
              0.48797,
              0.56547,
              0.65859,
              0.76994,
              0.90388,
              1.06499
            ],
            [
              0.09986,
              0.48828,
              0.56563,
              0.65814,
              0.76977,
              0.90428,
              1.0652
            ],
            [
              0.11128,
              0.48803,
              0.56563,
              0.65813,
              0.76995,
              0.90406,
              1.06433
            ],
            [
              0.13931,
              0.488,
              0.5657,
              0.6583,
              0.7699,
              0.9043,
              1.0644
            ],
            [
              0.1797,
              0.4984,
              0.5704,
              0.6596,
              0.7701,
              0.9045,
              1.0646
            ],
            [
              0.235,
              0.5401,
              0.6044,
              0.6853,
              0.7861,
              0.9113,
              1.0664
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04814,
              0.15905,
              0.18111,
              0.20767,
              0.23926,
              0.27764,
              0.32338
            ],
            [
              0.05196,
              0.16329,
              0.18522,
              0.2119,
              0.24369,
              0.28175,
              0.32723
            ],
            [
              0.05639,
              0.16801,
              0.18987,
              0.21642,
              0.24816,
              0.28637,
              0.33224
            ],
            [
              0.06291,
              0.17463,
              0.19681,
              0.22326,
              0.25496,
              0.29335,
              0.33903
            ],
            [
              0.07228,
              0.18454,
              0.20661,
              0.2331,
              0.26491,
              0.30296,
              0.349
            ],
            [
              0.08606,
              0.19879,
              0.22086,
              0.24726,
              0.27926,
              0.31741,
              0.36306
            ],
            [
              0.10618,
              0.21982,
              0.24195,
              0.26838,
              0.30033,
              0.33864,
              0.38434
            ],
            [
              0.13347,
              0.25117,
              0.27321,
              0.29986,
              0.33186,
              0.36992,
              0.41599
            ],
            [
              0.17089,
              0.2978,
              0.32002,
              0.34677,
              0.37876,
              0.41693,
              0.46305
            ],
            [
              0.22164,
              0.36746,
              0.38992,
              0.4167,
              0.44885,
              0.48736,
              0.53343
            ],
            [
              0.28979,
              0.46532,
              0.49092,
              0.52012,
              0.55352,
              0.59222,
              0.63842
            ],
            [
              0.38097,
              0.59997,
              0.62977,
              0.66347,
              0.70177,
              0.74517,
              0.79457
            ],
            [
              0.5028,
              0.7833,
              0.8196,
              0.8601,
              0.9053,
              0.9559,
              1.0128
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.17342,
              0.60508,
              0.69043,
              0.79302,
              0.91628,
              1.06427,
              1.24147
            ],
            [
              0.17517,
              0.60778,
              0.69321,
              0.79582,
              0.9191,
              1.06704,
              1.24424
            ],
            [
              0.1779,
              0.61142,
              0.69685,
              0.79947,
              0.92283,
              1.07092,
              1.24832
            ],
            [
              0.18268,
              0.6173,
              0.70278,
              0.80554,
              0.9289,
              1.07698,
              1.25428
            ],
            [
              0.19101,
              0.62657,
              0.71214,
              0.81492,
              0.93831,
              1.08651,
              1.26391
            ],
            [
              0.20469,
              0.64119,
              0.72688,
              0.82979,
              0.95332,
              1.10142,
              1.27892
            ],
            [
              0.2269,
              0.66395,
              0.74971,
              0.85269,
              0.97623,
              1.12443,
              1.30193
            ],
            [
              0.26182,
              0.69877,
              0.78458,
              0.88756,
              1.01116,
              1.15946,
              1.33776
            ],
            [
              0.316,
              0.75103,
              0.83695,
              0.93995,
              1.06455,
              1.21285,
              1.39045
            ],
            [
              0.39827,
              0.83169,
              0.91749,
              1.02149,
              1.14469,
              1.29379,
              1.47169
            ],
            [
              0.52272,
              0.95342,
              1.04062,
              1.14332,
              1.26572,
              1.41552,
              1.59332
            ],
            [
              0.69217,
              1.13877,
              1.22487,
              1.32667,
              1.44817,
              1.59907,
              1.77687
            ],
            [
              0.9225,
              1.4181,
              1.5036,
              1.605,
              1.7283,
              1.8764,
              2.0537
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03121,
              0.17395,
              0.20261,
              0.23635,
              0.27743,
              0.32713,
              0.3858
            ],
            [
              0.03124,
              0.17392,
              0.20264,
              0.23657,
              0.2778,
              0.32665,
              0.38576
            ],
            [
              0.03125,
              0.17397,
              0.20229,
              0.23657,
              0.27746,
              0.32671,
              0.38587
            ],
            [
              0.03126,
              0.17388,
              0.2025,
              0.23642,
              0.27743,
              0.32709,
              0.38583
            ],
            [
              0.03126,
              0.17384,
              0.20226,
              0.23667,
              0.27744,
              0.32672,
              0.38579
            ],
            [
              0.03161,
              0.17399,
              0.20222,
              0.2364,
              0.27776,
              0.32675,
              0.38578
            ],
            [
              0.03433,
              0.17416,
              0.20224,
              0.2364,
              0.27742,
              0.32672,
              0.38576
            ],
            [
              0.04,
              0.17384,
              0.20226,
              0.23681,
              0.27737,
              0.32671,
              0.38576
            ],
            [
              0.04832,
              0.17665,
              0.20376,
              0.2374,
              0.27746,
              0.32669,
              0.38586
            ],
            [
              0.06097,
              0.18595,
              0.21169,
              0.24335,
              0.28178,
              0.32894,
              0.38655
            ],
            [
              0.07948,
              0.20833,
              0.23104,
              0.25994,
              0.29607,
              0.34035,
              0.3956
            ],
            [
              0.1059,
              0.246,
              0.2695,
              0.2973,
              0.3298,
              0.3696,
              0.4198
            ],
            [
              0.1432,
              0.3016,
              0.3261,
              0.3549,
              0.3884,
              0.4285,
              0.4755
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.14258,
              0.69498,
              0.80449,
              0.93594,
              1.0943,
              1.28428,
              1.51184
            ],
            [
              0.14257,
              0.69495,
              0.80446,
              0.93616,
              1.09463,
              1.28432,
              1.51197
            ],
            [
              0.14228,
              0.69494,
              0.80451,
              0.93627,
              1.09438,
              1.28407,
              1.5107
            ],
            [
              0.14228,
              0.69483,
              0.80451,
              0.93626,
              1.09462,
              1.28428,
              1.51167
            ],
            [
              0.14239,
              0.6949,
              0.80462,
              0.9363,
              1.09428,
              1.28371,
              1.51181
            ],
            [
              0.14209,
              0.69494,
              0.80433,
              0.9361,
              1.09464,
              1.28426,
              1.5117
            ],
            [
              0.14193,
              0.69486,
              0.80444,
              0.93618,
              1.09459,
              1.28429,
              1.51158
            ],
            [
              0.14096,
              0.69489,
              0.80441,
              0.93633,
              1.09449,
              1.28425,
              1.51178
            ],
            [
              0.13909,
              0.69494,
              0.80457,
              0.93618,
              1.0944,
              1.28471,
              1.51204
            ],
            [
              0.14449,
              0.6949,
              0.80454,
              0.9361,
              1.0944,
              1.2847,
              1.5121
            ],
            [
              0.16455,
              0.6946,
              0.8045,
              0.9363,
              1.0945,
              1.2845,
              1.5122
            ],
            [
              0.2066,
              0.6944,
              0.8034,
              0.9361,
              1.0947,
              1.2845,
              1.5119
            ],
            [
              0.2645,
              0.7171,
              0.8172,
              0.9415,
              1.095,
              1.2839,
              1.512
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.04816,
              0.15914,
              0.18109,
              0.20756,
              0.23946,
              0.27782,
              0.32344
            ],
            [
              0.05198,
              0.16323,
              0.18533,
              0.21159,
              0.24341,
              0.28152,
              0.32764
            ],
            [
              0.0564,
              0.16787,
              0.18982,
              0.2163,
              0.24811,
              0.28657,
              0.33233
            ],
            [
              0.06284,
              0.17461,
              0.19661,
              0.22304,
              0.25489,
              0.29307,
              0.33886
            ],
            [
              0.07217,
              0.18433,
              0.20653,
              0.23286,
              0.26469,
              0.3032,
              0.34884
            ],
            [
              0.08592,
              0.19848,
              0.22056,
              0.24717,
              0.27903,
              0.31744,
              0.36326
            ],
            [
              0.10594,
              0.21963,
              0.24154,
              0.26812,
              0.30015,
              0.33842,
              0.38422
            ],
            [
              0.13316,
              0.25064,
              0.2728,
              0.29945,
              0.33127,
              0.36956,
              0.41572
            ],
            [
              0.17056,
              0.29736,
              0.31953,
              0.3462,
              0.3781,
              0.41648,
              0.46268
            ],
            [
              0.22133,
              0.36696,
              0.38941,
              0.4163,
              0.44837,
              0.48678,
              0.53274
            ],
            [
              0.28956,
              0.46482,
              0.49022,
              0.51942,
              0.55292,
              0.59162,
              0.63782
            ],
            [
              0.38087,
              0.59927,
              0.62907,
              0.66267,
              0.70107,
              0.74447,
              0.79397
            ],
            [
              0.5028,
              0.7827,
              0.8189,
              0.8594,
              0.9046,
              0.9552,
              1.0121
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.16128,
              0.46627,
              0.52629,
              0.59842,
              0.68503,
              0.78905,
              0.91354
            ],
            [
              0.16412,
              0.46942,
              0.52952,
              0.60163,
              0.68825,
              0.79236,
              0.91673
            ],
            [
              0.16791,
              0.47366,
              0.53377,
              0.60591,
              0.69265,
              0.79666,
              0.92107
            ],
            [
              0.174,
              0.48025,
              0.54043,
              0.61262,
              0.69929,
              0.80344,
              0.92788
            ],
            [
              0.18377,
              0.49051,
              0.55072,
              0.62297,
              0.70961,
              0.81377,
              0.93827
            ],
            [
              0.1991,
              0.50633,
              0.56659,
              0.63892,
              0.72568,
              0.82982,
              0.95422
            ],
            [
              0.22324,
              0.53045,
              0.59076,
              0.66313,
              0.74994,
              0.85393,
              0.97843
            ],
            [
              0.26008,
              0.56707,
              0.62739,
              0.69971,
              0.78646,
              0.89126,
              1.01576
            ],
            [
              0.31602,
              0.62167,
              0.6833,
              0.75575,
              0.84255,
              0.94615,
              1.07165
            ],
            [
              0.40118,
              0.70719,
              0.76759,
              0.83979,
              0.92599,
              1.03059,
              1.15569
            ],
            [
              0.52872,
              0.83402,
              0.89482,
              0.96642,
              1.05182,
              1.15722,
              1.28232
            ],
            [
              0.70417,
              1.02677,
              1.08617,
              1.15727,
              1.24377,
              1.34837,
              1.47317
            ],
            [
              0.9438,
              1.3159,
              1.3757,
              1.4473,
              1.5332,
              1.637,
              1.7611
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03868,
              0.18574,
              0.21406,
              0.24818,
              0.28932,
              0.33833,
              0.39718
            ],
            [
              0.03869,
              0.18572,
              0.2142,
              0.24814,
              0.28917,
              0.33854,
              0.39743
            ],
            [
              0.03871,
              0.18576,
              0.21402,
              0.24813,
              0.28916,
              0.33832,
              0.39731
            ],
            [
              0.03868,
              0.18569,
              0.21403,
              0.24818,
              0.28926,
              0.33828,
              0.3972
            ],
            [
              0.0387,
              0.1857,
              0.21415,
              0.24819,
              0.28931,
              0.3384,
              0.39715
            ],
            [
              0.0391,
              0.18572,
              0.21405,
              0.24815,
              0.28933,
              0.33844,
              0.39715
            ],
            [
              0.0419,
              0.18574,
              0.21409,
              0.24826,
              0.28931,
              0.33831,
              0.39729
            ],
            [
              0.04911,
              0.18569,
              0.21407,
              0.24819,
              0.28923,
              0.33849,
              0.39726
            ],
            [
              0.06004,
              0.18851,
              0.21571,
              0.24885,
              0.28926,
              0.33844,
              0.39723
            ],
            [
              0.07608,
              0.19811,
              0.2236,
              0.25497,
              0.29359,
              0.34074,
              0.39802
            ],
            [
              0.09889,
              0.22031,
              0.24344,
              0.27224,
              0.30812,
              0.3523,
              0.4068
            ],
            [
              0.131,
              0.2599,
              0.2825,
              0.3096,
              0.3416,
              0.3819,
              0.4318
            ],
            [
              0.1762,
              0.3176,
              0.3412,
              0.3693,
              0.4022,
              0.4412,
              0.4869
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.11835,
              0.51343,
              0.59195,
              0.68587,
              0.79874,
              0.93429,
              1.09661
            ],
            [
              0.1184,
              0.51367,
              0.59167,
              0.68587,
              0.79875,
              0.93401,
              1.09564
            ],
            [
              0.11836,
              0.51369,
              0.59167,
              0.68561,
              0.79853,
              0.93426,
              1.09662
            ],
            [
              0.11837,
              0.51367,
              0.59167,
              0.68588,
              0.79876,
              0.93401,
              1.09665
            ],
            [
              0.11839,
              0.51367,
              0.59171,
              0.68569,
              0.79878,
              0.93409,
              1.09576
            ],
            [
              0.11834,
              0.51372,
              0.59177,
              0.68565,
              0.79837,
              0.93422,
              1.09667
            ],
            [
              0.11825,
              0.51367,
              0.59159,
              0.6856,
              0.79868,
              0.93431,
              1.09658
            ],
            [
              0.11818,
              0.51369,
              0.59167,
              0.68567,
              0.79844,
              0.93402,
              1.09634
            ],
            [
              0.1177,
              0.51371,
              0.59141,
              0.68544,
              0.79833,
              0.93425,
              1.09673
            ],
            [
              0.12267,
              0.51347,
              0.59171,
              0.68565,
              0.79837,
              0.93357,
              1.09668
            ],
            [
              0.14256,
              0.5134,
              0.5917,
              0.6859,
              0.7986,
              0.9338,
              1.0963
            ],
            [
              0.1826,
              0.5191,
              0.5937,
              0.686,
              0.7986,
              0.9338,
              1.0962
            ],
            [
              0.2369,
              0.5544,
              0.6216,
              0.7052,
              0.8096,
              0.9379,
              1.0972
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.0482,
              0.15914,
              0.18111,
              0.20756,
              0.23933,
              0.27779,
              0.32352
            ],
            [
              0.05202,
              0.16324,
              0.18517,
              0.21163,
              0.2434,
              0.28158,
              0.3274
            ],
            [
              0.05646,
              0.16787,
              0.19011,
              0.21637,
              0.24818,
              0.28665,
              0.33219
            ],
            [
              0.06295,
              0.17472,
              0.19695,
              0.2232,
              0.25504,
              0.29352,
              0.33918
            ],
            [
              0.07237,
              0.18449,
              0.20652,
              0.23325,
              0.26482,
              0.30302,
              0.34917
            ],
            [
              0.08614,
              0.19872,
              0.22079,
              0.24733,
              0.27941,
              0.31756,
              0.36316
            ],
            [
              0.10626,
              0.21995,
              0.24186,
              0.26847,
              0.30043,
              0.33876,
              0.38439
            ],
            [
              0.13358,
              0.2511,
              0.2733,
              0.29998,
              0.33172,
              0.37,
              0.41615
            ],
            [
              0.171,
              0.29787,
              0.32011,
              0.34679,
              0.37867,
              0.41701,
              0.4632
            ],
            [
              0.22177,
              0.36754,
              0.38999,
              0.41679,
              0.44884,
              0.48732,
              0.53327
            ],
            [
              0.28997,
              0.46542,
              0.49102,
              0.52022,
              0.55362,
              0.59232,
              0.63842
            ],
            [
              0.38117,
              0.60007,
              0.62987,
              0.66357,
              0.70177,
              0.74517,
              0.79467
            ],
            [
              0.5031,
              0.7834,
              0.8197,
              0.8602,
              0.9054,
              0.956,
              1.0129
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.22055,
              0.65144,
              0.73637,
              0.83839,
              0.96094,
              1.10797,
              1.28407
            ],
            [
              0.22273,
              0.65423,
              0.73917,
              0.84124,
              0.9638,
              1.11084,
              1.28684
            ],
            [
              0.22579,
              0.65787,
              0.74286,
              0.84496,
              0.96759,
              1.11472,
              1.29082
            ],
            [
              0.23095,
              0.66383,
              0.74891,
              0.85108,
              0.97367,
              1.12078,
              1.29697
            ],
            [
              0.23956,
              0.6732,
              0.7583,
              0.86052,
              0.98321,
              1.13041,
              1.30661
            ],
            [
              0.25358,
              0.68794,
              0.77317,
              0.87549,
              0.99822,
              1.14542,
              1.32152
            ],
            [
              0.27574,
              0.7108,
              0.79611,
              0.89843,
              1.02123,
              1.16853,
              1.34463
            ],
            [
              0.31045,
              0.74573,
              0.83106,
              0.93336,
              1.05616,
              1.20336,
              1.38066
            ],
            [
              0.36431,
              0.79825,
              0.88345,
              0.98685,
              1.10965,
              1.25705,
              1.43435
            ],
            [
              0.44573,
              0.87879,
              0.96399,
              1.06739,
              1.18949,
              1.33819,
              1.51489
            ],
            [
              0.57042,
              1.00162,
              1.08742,
              1.18892,
              1.30992,
              1.46032,
              1.63682
            ],
            [
              0.75257,
              1.18677,
              1.27117,
              1.37207,
              1.49627,
              1.64397,
              1.82047
            ],
            [
              1.0,
              1.4659,
              1.5506,
              1.6518,
              1.7744,
              1.9215,
              2.0975
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03861,
              0.18567,
              0.21406,
              0.2481,
              0.28918,
              0.33848,
              0.3972
            ],
            [
              0.03864,
              0.1857,
              0.21405,
              0.24821,
              0.28922,
              0.33837,
              0.39733
            ],
            [
              0.03864,
              0.18567,
              0.21412,
              0.24812,
              0.28931,
              0.3384,
              0.39744
            ],
            [
              0.03866,
              0.18573,
              0.21421,
              0.24811,
              0.28926,
              0.33857,
              0.39739
            ],
            [
              0.03867,
              0.18568,
              0.21406,
              0.24822,
              0.2892,
              0.33851,
              0.39729
            ],
            [
              0.03904,
              0.1857,
              0.21404,
              0.24816,
              0.28923,
              0.33834,
              0.39722
            ],
            [
              0.04177,
              0.18574,
              0.21412,
              0.24818,
              0.2893,
              0.33844,
              0.39733
            ],
            [
              0.04889,
              0.18568,
              0.21412,
              0.2482,
              0.28924,
              0.3385,
              0.39725
            ],
            [
              0.05975,
              0.18844,
              0.21561,
              0.24889,
              0.28926,
              0.33845,
              0.39723
            ],
            [
              0.07578,
              0.19786,
              0.22349,
              0.2549,
              0.29361,
              0.34074,
              0.39799
            ],
            [
              0.09856,
              0.22004,
              0.24315,
              0.27205,
              0.30798,
              0.35206,
              0.4067
            ],
            [
              0.1307,
              0.2593,
              0.282,
              0.3092,
              0.3413,
              0.3816,
              0.4317
            ],
            [
              0.1759,
              0.3169,
              0.3406,
              0.3686,
              0.4016,
              0.4406,
              0.4865
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.16773,
              0.7185,
              0.82828,
              0.95902,
              1.11598,
              1.30453,
              1.53078
            ],
            [
              0.16769,
              0.7187,
              0.82736,
              0.95892,
              1.11613,
              1.30457,
              1.53045
            ],
            [
              0.16773,
              0.71852,
              0.82735,
              0.95818,
              1.11576,
              1.30462,
              1.53081
            ],
            [
              0.16771,
              0.71831,
              0.82835,
              0.95873,
              1.11609,
              1.30434,
              1.53045
            ],
            [
              0.16769,
              0.71858,
              0.8274,
              0.95865,
              1.11545,
              1.30438,
              1.53076
            ],
            [
              0.16765,
              0.71835,
              0.8279,
              0.95863,
              1.11612,
              1.30459,
              1.53064
            ],
            [
              0.16756,
              0.71839,
              0.828,
              0.95904,
              1.11575,
              1.30452,
              1.53041
            ],
            [
              0.16737,
              0.7184,
              0.82799,
              0.959,
              1.11564,
              1.30451,
              1.5306
            ],
            [
              0.1665,
              0.71833,
              0.82788,
              0.95865,
              1.11583,
              1.30489,
              1.53047
            ],
            [
              0.16583,
              0.71875,
              0.82781,
              0.95861,
              1.1159,
              1.3046,
              1.5306
            ],
            [
              0.1773,
              0.7191,
              0.8279,
              0.9585,
              1.1159,
              1.3047,
              1.5305
            ],
            [
              0.2126,
              0.7178,
              0.8274,
              0.9584,
              1.1157,
              1.3047,
              1.5303
            ],
            [
              0.2691,
              0.7334,
              0.8352,
              0.9616,
              1.1159,
              1.3044,
              1.5308
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.0482,
              0.15914,
              0.18111,
              0.20756,
              0.23933,
              0.27779,
              0.32354
            ],
            [
              0.05197,
              0.16325,
              0.18533,
              0.21163,
              0.24335,
              0.28156,
              0.32733
            ],
            [
              0.05644,
              0.16785,
              0.18982,
              0.21647,
              0.24811,
              0.2863,
              0.33239
            ],
            [
              0.06294,
              0.17472,
              0.19692,
              0.22318,
              0.25498,
              0.2935,
              0.33925
            ],
            [
              0.07235,
              0.18446,
              0.2065,
              0.23318,
              0.2648,
              0.303,
              0.34913
            ],
            [
              0.08613,
              0.19886,
              0.22076,
              0.24727,
              0.27939,
              0.31732,
              0.36316
            ],
            [
              0.10623,
              0.21981,
              0.24183,
              0.26843,
              0.30041,
              0.3388,
              0.38429
            ],
            [
              0.13354,
              0.25106,
              0.27323,
              0.29996,
              0.33168,
              0.37004,
              0.41611
            ],
            [
              0.17095,
              0.29782,
              0.32004,
              0.34674,
              0.37861,
              0.41698,
              0.46314
            ],
            [
              0.22171,
              0.36748,
              0.38994,
              0.41672,
              0.44879,
              0.48726,
              0.53322
            ],
            [
              0.28992,
              0.46532,
              0.49092,
              0.52012,
              0.55352,
              0.59222,
              0.63842
            ],
            [
              0.38127,
              0.59997,
              0.62977,
              0.66347,
              0.70167,
              0.74517,
              0.79457
            ],
            [
              0.503,
              0.7833,
              0.8196,
              0.8601,
              0.9053,
              0.9559,
              1.0128
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.25017,
              0.66733,
              0.74903,
              0.84714,
              0.96483,
              1.10597,
              1.27497
            ],
            [
              0.25255,
              0.67017,
              0.75191,
              0.85003,
              0.96776,
              1.10894,
              1.27794
            ],
            [
              0.2558,
              0.67393,
              0.75569,
              0.85385,
              0.97165,
              1.11292,
              1.28192
            ],
            [
              0.26133,
              0.68002,
              0.76179,
              0.86003,
              0.97788,
              1.11908,
              1.28818
            ],
            [
              0.27035,
              0.68953,
              0.77141,
              0.8696,
              0.98751,
              1.12881,
              1.29791
            ],
            [
              0.28476,
              0.70455,
              0.78648,
              0.88476,
              1.00262,
              1.14402,
              1.31292
            ],
            [
              0.30734,
              0.72766,
              0.80963,
              0.90803,
              1.02593,
              1.16723,
              1.33623
            ],
            [
              0.34224,
              0.76285,
              0.84486,
              0.94316,
              1.06106,
              1.20296,
              1.37256
            ],
            [
              0.39564,
              0.81565,
              0.89865,
              0.99695,
              1.11495,
              1.25645,
              1.42665
            ],
            [
              0.47822,
              0.89669,
              0.97979,
              1.07769,
              1.19649,
              1.33829,
              1.50779
            ],
            [
              0.60242,
              1.02092,
              1.10232,
              1.19952,
              1.31512,
              1.46102,
              1.63042
            ],
            [
              0.79017,
              1.20597,
              1.28687,
              1.38327,
              1.50397,
              1.64567,
              1.81507
            ],
            [
              1.0492,
              1.4869,
              1.5676,
              1.6657,
              1.7834,
              1.9246,
              2.0934
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.03861,
              0.18968,
              0.21921,
              0.25462,
              0.29708,
              0.34754,
              0.40735
            ],
            [
              0.03862,
              0.18969,
              0.21925,
              0.25463,
              0.29698,
              0.34742,
              0.40739
            ],
            [
              0.03865,
              0.18969,
              0.2192,
              0.25476,
              0.29699,
              0.3475,
              0.40742
            ],
            [
              0.03865,
              0.18975,
              0.21932,
              0.25461,
              0.29706,
              0.34757,
              0.40735
            ],
            [
              0.03868,
              0.1897,
              0.21922,
              0.25477,
              0.29696,
              0.34749,
              0.40746
            ],
            [
              0.03905,
              0.18979,
              0.21922,
              0.2547,
              0.29712,
              0.34738,
              0.40738
            ],
            [
              0.04177,
              0.18976,
              0.21923,
              0.25469,
              0.2971,
              0.34747,
              0.40737
            ],
            [
              0.04895,
              0.18969,
              0.21926,
              0.25474,
              0.29697,
              0.3475,
              0.40743
            ],
            [
              0.06003,
              0.19241,
              0.22078,
              0.25531,
              0.29708,
              0.34749,
              0.40738
            ],
            [
              0.07671,
              0.20191,
              0.22864,
              0.26139,
              0.30136,
              0.3497,
              0.40811
            ],
            [
              0.10107,
              0.22412,
              0.24824,
              0.27853,
              0.31577,
              0.36135,
              0.4168
            ],
            [
              0.137,
              0.2651,
              0.2885,
              0.3162,
              0.3492,
              0.3907,
              0.4418
            ],
            [
              0.1918,
              0.3256,
              0.3496,
              0.378,
              0.4113,
              0.4506,
              0.4968
            ]
          ]
        },
        "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.00743,
            0.00891,
            0.01069,
            0.01283,
            0.0154,
            0.01848
          ],
          "values": [
            [
              0.18192,
              0.71294,
              0.81739,
              0.94361,
              1.09483,
              1.27616,
              1.49333
            ],
            [
              0.18166,
              0.71288,
              0.81821,
              0.94394,
              1.09477,
              1.27609,
              1.49303
            ],
            [
              0.18178,
              0.71321,
              0.81759,
              0.94331,
              1.09451,
              1.27599,
              1.49353
            ],
            [
              0.1818,
              0.71318,
              0.81732,
              0.94409,
              1.09505,
              1.27584,
              1.49337
            ],
            [
              0.18194,
              0.71288,
              0.81757,
              0.94334,
              1.09483,
              1.27602,
              1.49313
            ],
            [
              0.18175,
              0.71307,
              0.81762,
              0.94399,
              1.09486,
              1.27622,
              1.49329
            ],
            [
              0.18169,
              0.71319,
              0.81745,
              0.94388,
              1.09455,
              1.27631,
              1.49353
            ],
            [
              0.18181,
              0.71273,
              0.81745,
              0.94429,
              1.09509,
              1.27613,
              1.49312
            ],
            [
              0.1815,
              0.71268,
              0.81728,
              0.9444,
              1.09488,
              1.27613,
              1.49324
            ],
            [
              0.18011,
              0.71257,
              0.81797,
              0.9437,
              1.0949,
              1.2764,
              1.4935
            ],
            [
              0.1853,
              0.7136,
              0.818,
              0.9435,
              1.0947,
              1.2761,
              1.4936
            ],
            [
              0.2126,
              0.7123,
              0.8178,
              0.9437,
              1.0945,
              1.2762,
              1.4934
            ],
            [
              0.2679,
              0.7242,
              0.824,
              0.9453,
              1.0941,
              1.2758,
              1.493
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}